Skip to content

Commit

Permalink
rustc: Handle #[inline(always)] at -O0
Browse files Browse the repository at this point in the history
This commit updates the handling of `#[inline(always)]` functions at -O0 to
ensure that it's always inlined regardless of the number of codegen units used.

Closes #45201
  • Loading branch information
alexcrichton committed Oct 12, 2017
1 parent a47c9f8 commit 5d415e8
Show file tree
Hide file tree
Showing 4 changed files with 58 additions and 9 deletions.
32 changes: 24 additions & 8 deletions src/librustc_trans/trans_item.rs
Expand Up @@ -31,7 +31,7 @@ use rustc::traits;
use rustc::ty::{self, Ty, TyCtxt, TypeFoldable};
use rustc::ty::subst::{Subst, Substs};
use syntax::ast;
use syntax::attr;
use syntax::attr::{self, InlineAttr};
use syntax_pos::Span;
use syntax_pos::symbol::Symbol;
use type_of;
Expand Down Expand Up @@ -175,16 +175,32 @@ pub trait TransItemExt<'a, 'tcx>: fmt::Debug {

match *self.as_trans_item() {
TransItem::Fn(ref instance) => {
if self.explicit_linkage(tcx).is_none() &&
common::requests_inline(tcx, instance)
// If this function isn't inlined or otherwise has explicit
// linkage, then we'll be creating a globally shared version.
if self.explicit_linkage(tcx).is_some() ||
!common::requests_inline(tcx, instance)
{
if inline_in_all_cgus {
InstantiationMode::LocalCopy
} else {
return InstantiationMode::GloballyShared { may_conflict: false }
}

// At this point we don't have explicit linkage and we're an
// inlined function. If we're inlining into all CGUs then we'll
// be creating a local copy per CGU
if inline_in_all_cgus {
return InstantiationMode::LocalCopy
}

// Finally, if this is `#[inline(always)]` we're sure to respect
// that with an inline copy per CGU, but otherwise we'll be
// creating one copy of this `#[inline]` function which may
// conflict with upstream crates as it could be an exported
// symbol.
let attrs = instance.def.attrs(tcx);
match attr::find_inline_attr(Some(tcx.sess.diagnostic()), &attrs) {
InlineAttr::Always => InstantiationMode::LocalCopy,
_ => {
InstantiationMode::GloballyShared { may_conflict: true }
}
} else {
InstantiationMode::GloballyShared { may_conflict: false }
}
}
TransItem::Static(..) => {
Expand Down
Expand Up @@ -20,7 +20,7 @@
mod inline {

//~ TRANS_ITEM fn local_inlining_but_not_all::inline[0]::inlined_function[0] @@ local_inlining_but_not_all-inline[External]
#[inline(always)]
#[inline]
pub fn inlined_function()
{

Expand Down
8 changes: 8 additions & 0 deletions src/test/run-make/inline-always-many-cgu/Makefile
@@ -0,0 +1,8 @@
-include ../tools.mk

all:
$(RUSTC) foo.rs --emit llvm-ir -C codegen-units=2
if grep -w call $(TMPDIR)/*.ll; then \
echo "found call instruction when one wasn't expected"; \
exit 1; \
fi
25 changes: 25 additions & 0 deletions src/test/run-make/inline-always-many-cgu/foo.rs
@@ -0,0 +1,25 @@
// Copyright 2017 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

#![crate_type = "lib"]

pub mod a {
#[inline(always)]
pub fn foo() {
}

pub fn bar() {
}
}

#[no_mangle]
pub fn bar() {
a::foo();
}

0 comments on commit 5d415e8

Please sign in to comment.