diff options
Diffstat (limited to 'tests/codegen/issues/issue-119422.rs')
| -rw-r--r-- | tests/codegen/issues/issue-119422.rs | 83 |
1 files changed, 0 insertions, 83 deletions
diff --git a/tests/codegen/issues/issue-119422.rs b/tests/codegen/issues/issue-119422.rs deleted file mode 100644 index 17ae71605b5..00000000000 --- a/tests/codegen/issues/issue-119422.rs +++ /dev/null @@ -1,83 +0,0 @@ -//! This test checks that compiler don't generate useless compares to zeros -//! for `NonZero` integer types. -//! -//@ compile-flags: -Copt-level=3 -Zmerge-functions=disabled -//@ edition: 2021 -//@ only-64bit (because the LLVM type of i64 for usize shows up) -#![crate_type = "lib"] - -use core::num::NonZero; -use core::ptr::NonNull; - -// CHECK-LABEL: @check_non_null -#[no_mangle] -pub fn check_non_null(x: NonNull<u8>) -> bool { - // CHECK: ret i1 false - x.as_ptr().is_null() -} - -// CHECK-LABEL: @equals_zero_is_false_u8 -#[no_mangle] -pub fn equals_zero_is_false_u8(x: NonZero<u8>) -> bool { - // CHECK-NOT: br - // CHECK: ret i1 false - // CHECK-NOT: br - x.get() == 0 -} - -// CHECK-LABEL: @not_equals_zero_is_true_u8 -#[no_mangle] -pub fn not_equals_zero_is_true_u8(x: NonZero<u8>) -> bool { - // CHECK-NOT: br - // CHECK: ret i1 true - // CHECK-NOT: br - x.get() != 0 -} - -// CHECK-LABEL: @equals_zero_is_false_i8 -#[no_mangle] -pub fn equals_zero_is_false_i8(x: NonZero<i8>) -> bool { - // CHECK-NOT: br - // CHECK: ret i1 false - // CHECK-NOT: br - x.get() == 0 -} - -// CHECK-LABEL: @not_equals_zero_is_true_i8 -#[no_mangle] -pub fn not_equals_zero_is_true_i8(x: NonZero<i8>) -> bool { - // CHECK-NOT: br - // CHECK: ret i1 true - // CHECK-NOT: br - x.get() != 0 -} - -// CHECK-LABEL: @usize_try_from_u32 -#[no_mangle] -pub fn usize_try_from_u32(x: NonZero<u32>) -> NonZero<usize> { - // CHECK-NOT: br - // CHECK: zext i32 %{{.*}} to i64 - // CHECK-NOT: br - // CHECK: ret i64 - x.try_into().unwrap() -} - -// CHECK-LABEL: @isize_try_from_i32 -#[no_mangle] -pub fn isize_try_from_i32(x: NonZero<i32>) -> NonZero<isize> { - // CHECK-NOT: br - // CHECK: sext i32 %{{.*}} to i64 - // CHECK-NOT: br - // CHECK: ret i64 - x.try_into().unwrap() -} - -// CHECK-LABEL: @u64_from_nonzero_is_not_zero -#[no_mangle] -pub fn u64_from_nonzero_is_not_zero(x: NonZero<u64>) -> bool { - // CHECK-NOT: br - // CHECK: ret i1 false - // CHECK-NOT: br - let v: u64 = x.into(); - v == 0 -} |
