Skip to content

Commit

Permalink
test/codegen: test inter-crate linkage with static relocation
Browse files Browse the repository at this point in the history
Add a codegen-test that verifies inter-crate linkage with the static
relocation model. We expect all symbols that are part of a rust
compilation to end up in the same DSO, thus we expect `dso_local`
annotations.
  • Loading branch information
dvdhrm committed Nov 22, 2022
1 parent a2da749 commit 46e0b02
Show file tree
Hide file tree
Showing 2 changed files with 36 additions and 0 deletions.
11 changes: 11 additions & 0 deletions src/test/codegen/auxiliary/extern_decl.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
// Auxiliary crate that exports a function and static. Both always
// evaluate to `71`. We force mutability on the static to prevent
// it from being inlined as constant.

#![crate_type = "lib"]

#[no_mangle]
pub fn extern_fn() -> u8 { unsafe { extern_static } }

#[no_mangle]
pub static mut extern_static: u8 = 71;
25 changes: 25 additions & 0 deletions src/test/codegen/static-relocation-model.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
// Verify linkage of external symbols in the static relocation model.
//
// compile-flags: -O -C relocation-model=static
// aux-build: extern_decl.rs

#![crate_type = "rlib"]

extern crate extern_decl;

// The `extern_decl` definitions are imported from a statically linked rust
// crate, thus they are expected to be marked `dso_local` without `dllimport`.
//
// The `access_extern()` symbol is from this compilation unit, thus we expect
// it to be marked `dso_local` as well, given the static relocation model.
//
// CHECK: @extern_static = external dso_local local_unnamed_addr global i8
// CHECK: define dso_local i8 @access_extern() {{.*}}
// CHECK: declare dso_local i8 @extern_fn() {{.*}}

#[no_mangle]
pub fn access_extern() -> u8 {
unsafe {
extern_decl::extern_fn() + extern_decl::extern_static
}
}

0 comments on commit 46e0b02

Please sign in to comment.