Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
test/codegen: test inter-crate linkage with static relocation
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 29, 2022
commit 7b9e1a95f0ca35bde8af529639dde501a0280425
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;
26 changes: 26 additions & 0 deletions src/test/codegen/static-relocation-model-msvc.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
// Verify linkage of external symbols in the static relocation model on MSVC.
//
// compile-flags: -O -C relocation-model=static
// aux-build: extern_decl.rs
// only-x86_64-pc-windows-msvc

#![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
}
}