| //! This test checks that compiler don't generate useless compares to zeros |
| //! for NonZero integer types. |
| |
| // compile-flags: -O --edition=2021 -Zmerge-functions=disabled |
| // only-64bit (because the LLVM type of i64 for usize shows up) |
| |
| #![crate_type = "lib"] |
| |
| use core::num::*; |
| 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: NonZeroU8) -> 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: NonZeroU8) -> 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: NonZeroI8) -> 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: NonZeroI8) -> 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: NonZeroU32) -> NonZeroUsize { |
| // 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: NonZeroI32) -> NonZeroIsize { |
| // 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: NonZeroU64)->bool { |
| // CHECK-NOT: br |
| // CHECK: ret i1 false |
| // CHECK-NOT: br |
| let v: u64 = x.into(); |
| v == 0 |
| } |
