Skip to content

Commit f971f86

Browse files
committed
Auto merge of #27507 - eefriedman:link-section, r=alexcrichton
Fixes #27467.
2 parents 7a7789d + c40703f commit f971f86

File tree

2 files changed

+55
-15
lines changed

2 files changed

+55
-15
lines changed

src/librustc_trans/trans/base.rs

Lines changed: 19 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -2032,6 +2032,23 @@ pub fn update_linkage(ccx: &CrateContext,
20322032
}
20332033
}
20342034

2035+
fn set_global_section(ccx: &CrateContext, llval: ValueRef, i: &ast::Item) {
2036+
match attr::first_attr_value_str_by_name(&i.attrs,
2037+
"link_section") {
2038+
Some(sect) => {
2039+
if contains_null(&sect) {
2040+
ccx.sess().fatal(&format!("Illegal null byte in link_section value: `{}`",
2041+
&sect));
2042+
}
2043+
unsafe {
2044+
let buf = CString::new(sect.as_bytes()).unwrap();
2045+
llvm::LLVMSetSection(llval, buf.as_ptr());
2046+
}
2047+
},
2048+
None => ()
2049+
}
2050+
}
2051+
20352052
pub fn trans_item(ccx: &CrateContext, item: &ast::Item) {
20362053
let _icx = push_ctxt("trans_item");
20372054

@@ -2054,6 +2071,7 @@ pub fn trans_item(ccx: &CrateContext, item: &ast::Item) {
20542071
} else {
20552072
trans_fn(ccx, &**decl, &**body, llfn, empty_substs, item.id, &item.attrs);
20562073
}
2074+
set_global_section(ccx, llfn, item);
20572075
update_linkage(ccx, llfn, Some(item.id),
20582076
if is_origin { OriginalTranslation } else { InlinedCopy });
20592077

@@ -2103,6 +2121,7 @@ pub fn trans_item(ccx: &CrateContext, item: &ast::Item) {
21032121
v.visit_expr(&**expr);
21042122

21052123
let g = consts::trans_static(ccx, m, expr, item.id, &item.attrs);
2124+
set_global_section(ccx, g, item);
21062125
update_linkage(ccx, g, Some(item.id), OriginalTranslation);
21072126
},
21082127
ast::ItemForeignMod(ref foreign_mod) => {
@@ -2387,21 +2406,6 @@ pub fn get_item_val(ccx: &CrateContext, id: ast::NodeId) -> ValueRef {
23872406
_ => ccx.sess().bug("get_item_val: weird result in table")
23882407
};
23892408

2390-
match attr::first_attr_value_str_by_name(&i.attrs,
2391-
"link_section") {
2392-
Some(sect) => {
2393-
if contains_null(&sect) {
2394-
ccx.sess().fatal(&format!("Illegal null byte in link_section value: `{}`",
2395-
&sect));
2396-
}
2397-
unsafe {
2398-
let buf = CString::new(sect.as_bytes()).unwrap();
2399-
llvm::LLVMSetSection(v, buf.as_ptr());
2400-
}
2401-
},
2402-
None => ()
2403-
}
2404-
24052409
v
24062410
}
24072411

src/test/codegen/link_section.rs

Lines changed: 36 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,36 @@
1+
// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
2+
// file at the top-level directory of this distribution and at
3+
// http://rust-lang.org/COPYRIGHT.
4+
//
5+
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6+
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7+
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8+
// option. This file may not be copied, modified, or distributed
9+
// except according to those terms.
10+
11+
// compile-flags: -C no-prepopulate-passes
12+
13+
// CHECK: @VAR1 = constant i32 1, section ".test_one"
14+
#[no_mangle]
15+
#[link_section = ".test_one"]
16+
pub static VAR1: u32 = 1;
17+
18+
pub enum E {
19+
A(u32),
20+
B(f32)
21+
}
22+
23+
// CHECK: @VAR2 = constant {{.*}} { i32 0, i32 666, {{.*}} }, section ".test_two"
24+
#[no_mangle]
25+
#[link_section = ".test_two"]
26+
pub static VAR2: E = E::A(666);
27+
28+
// CHECK: @VAR3 = constant {{.*}} { i32 1, float 1.000000e+00, {{.*}} }, section ".test_three"
29+
#[no_mangle]
30+
#[link_section = ".test_three"]
31+
pub static VAR3: E = E::B(1.);
32+
33+
// CHECK: define void @fn1() {{.*}} section ".test_four" {
34+
#[no_mangle]
35+
#[link_section = ".test_four"]
36+
pub fn fn1() {}

0 commit comments

Comments
 (0)