diff options
Diffstat (limited to 'tests/codegen/issues/issue-115385-llvm-jump-threading.rs')
| -rw-r--r-- | tests/codegen/issues/issue-115385-llvm-jump-threading.rs | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/tests/codegen/issues/issue-115385-llvm-jump-threading.rs b/tests/codegen/issues/issue-115385-llvm-jump-threading.rs deleted file mode 100644 index 8cabd94f202..00000000000 --- a/tests/codegen/issues/issue-115385-llvm-jump-threading.rs +++ /dev/null @@ -1,46 +0,0 @@ -//@ compile-flags: -Copt-level=3 -Ccodegen-units=1 - -#![crate_type = "lib"] - -#[repr(i64)] -pub enum Boolean { - False = 0, - True = 1, -} - -impl Clone for Boolean { - fn clone(&self) -> Self { - *self - } -} - -impl Copy for Boolean {} - -extern "C" { - fn set_value(foo: *mut i64); - fn bar(); -} - -pub fn foo(x: bool) { - let mut foo = core::mem::MaybeUninit::<i64>::uninit(); - unsafe { - set_value(foo.as_mut_ptr()); - } - - if x { - let l1 = unsafe { *foo.as_mut_ptr().cast::<Boolean>() }; - if matches!(l1, Boolean::False) { - unsafe { - *foo.as_mut_ptr() = 0; - } - } - } - - let l2 = unsafe { *foo.as_mut_ptr() }; - if l2 == 2 { - // CHECK: call void @bar - unsafe { - bar(); - } - } -} |
