mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-22 23:04:33 +00:00
84 lines
1.9 KiB
Rust
84 lines
1.9 KiB
Rust
//! 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
|
|
}
|