//! 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
}