diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-07-21 14:34:12 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2025-07-22 14:28:48 +0200 |
| commit | a27f3e3fd1e4d16160f8885b6b06665b5319f56c (patch) | |
| tree | b033935392cbadf6f85d2dbddf433a88e323aeeb /tests/codegen/dst-vtable-size-range.rs | |
| parent | ed93c1783b404d728d4809973a0550eb33cd293f (diff) | |
| download | rust-a27f3e3fd1e4d16160f8885b6b06665b5319f56c.tar.gz rust-a27f3e3fd1e4d16160f8885b6b06665b5319f56c.zip | |
Rename `tests/codegen` into `tests/codegen-llvm`
Diffstat (limited to 'tests/codegen/dst-vtable-size-range.rs')
| -rw-r--r-- | tests/codegen/dst-vtable-size-range.rs | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/tests/codegen/dst-vtable-size-range.rs b/tests/codegen/dst-vtable-size-range.rs deleted file mode 100644 index 670f5e8d553..00000000000 --- a/tests/codegen/dst-vtable-size-range.rs +++ /dev/null @@ -1,35 +0,0 @@ -//@ compile-flags: -Copt-level=3 -Z merge-functions=disabled - -#![crate_type = "lib"] -#![feature(core_intrinsics)] - -// Check that we annotate size loads from vtables with 0..(isize::MAX + 1) range metadata. - -pub trait Trait { - fn f(&self); -} - -// Note that rustc uses inclusive bounds, but LLVM uses exclusive bounds for range metadata. -// CHECK-LABEL: @generate_exclusive_bound -#[no_mangle] -pub fn generate_exclusive_bound() -> usize { - // CHECK: ret [[USIZE:i[0-9]+]] [[EXCLUSIVE_BOUND:[-0-9]+]] - isize::MAX as usize + 1 -} - -// CHECK-LABEL: @size_load_from_size_of_val -#[no_mangle] -pub fn size_load_from_size_of_val(x: &dyn Trait) -> usize { - // CHECK: {{%[0-9]+}} = load [[USIZE]], {{.+}} !range [[RANGE_META:![0-9]+]] - core::mem::size_of_val(x) -} - -// CHECK-LABEL: @size_load_from_vtable_size_intrinsic -#[no_mangle] -pub unsafe fn size_load_from_vtable_size_intrinsic(x: &dyn Trait) -> usize { - let (data, vtable): (*const (), *const ()) = core::mem::transmute(x); - // CHECK: {{%[0-9]+}} = load [[USIZE]], {{.+}} !range [[RANGE_META]] - core::intrinsics::vtable_size(vtable) -} - -// CHECK: [[RANGE_META]] = !{[[USIZE]] 0, [[USIZE]] [[EXCLUSIVE_BOUND]]} |
