| //! 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"] |
| #![feature(generic_nonzero)] |
| |
| use core::ptr::NonNull; |
| use core::num::NonZero; |
| |
| // 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 |
| } |
