nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-11-22 23:04:33 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add VFE test for 32 bit

Browse Source 
The offset in the llvm.type.checked.load intrinsic differs on 32 bit platforms
This commit is contained in:
flip1995 2022-05-12 11:04:42 +01:00 committed by Philipp Krones
parent a93ea7ebc8
commit 195f208200
No known key found for this signature in database
GPG Key ID: 1CA0DF2AF59D68A5
2 changed files with 36 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
src/test/codegen/virtual-function-elimination-32bit.rs Normal file
View File

@ -0,0 +1,35 @@
// compile-flags: -Zvirtual-function-elimination -Clto -O -Csymbol-mangling-version=v0
// ignore-64bit
// CHECK: @vtable.0 = {{.*}}, !type ![[TYPE0:[0-9]+]], !vcall_visibility ![[VCALL_VIS0:[0-9]+]]
#![crate_type = "lib"]
trait T {
// CHECK-LABEL: ; <virtual_function_elimination_32bit::S as virtual_function_elimination_32bit::T>::used
fn used(&self) -> i32 {
1
}
// CHECK-LABEL-NOT: {{.*}}::unused
fn unused(&self) -> i32 {
2
}
}
#[derive(Copy, Clone)]
struct S;
impl T for S {}
fn taking_t(t: &dyn T) -> i32 {
// CHECK: @llvm.type.checked.load({{.*}}, i32 12, metadata !"[[MANGLED_TYPE0:[0-9a-zA-Z_]+]]")
t.used()
}
pub fn main() {
let s = S;
taking_t(&s);
}
// CHECK: ![[TYPE0]] = !{i32 0, !"[[MANGLED_TYPE0]]"}
// CHECK: ![[VCALL_VIS0]] = !{i64 2}

1
src/test/codegen/virtual-function-elimination.rs
View File

@ -1,4 +1,5 @@
// compile-flags: -Zvirtual-function-elimination -Clto -O -Csymbol-mangling-version=v0
// ignore-32bit
// CHECK: @vtable.0 = {{.*}}, !type ![[TYPE0:[0-9]+]], !vcall_visibility ![[VCALL_VIS0:[0-9]+]]
// CHECK: @vtable.1 = {{.*}}, !type ![[TYPE1:[0-9]+]], !vcall_visibility ![[VCALL_VIS0:[0-9]+]]