mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-31 13:04:42 +00:00
58c10c66c1
Lowers `mir::BinOp::Cmp` (`three_way_compare` intrinsic) to the corresponding
LLVM `llvm.{s,u}cmp.i8.*` intrinsics, added in LLVM 19.
63 lines
1.6 KiB
Rust
63 lines
1.6 KiB
Rust
// This is test for more optimal Ord implementation for integers.
|
|
// See <https://github.com/rust-lang/rust/issues/63758> for more info.
|
|
|
|
//@ revisions: llvm-pre-20 llvm-20
|
|
//@ [llvm-20] min-llvm-version: 20
|
|
//@ [llvm-pre-20] max-llvm-major-version: 19
|
|
//@ compile-flags: -C opt-level=3 -Zmerge-functions=disabled
|
|
|
|
#![crate_type = "lib"]
|
|
|
|
use std::cmp::Ordering;
|
|
|
|
// CHECK-LABEL: @cmp_signed
|
|
#[no_mangle]
|
|
pub fn cmp_signed(a: i64, b: i64) -> Ordering {
|
|
// llvm-20: call{{.*}} i8 @llvm.scmp.i8.i64
|
|
// llvm-pre-20: icmp slt
|
|
// llvm-pre-20: icmp ne
|
|
// llvm-pre-20: zext i1
|
|
// llvm-pre-20: select i1
|
|
a.cmp(&b)
|
|
}
|
|
|
|
// CHECK-LABEL: @cmp_unsigned
|
|
#[no_mangle]
|
|
pub fn cmp_unsigned(a: u32, b: u32) -> Ordering {
|
|
// llvm-20: call{{.*}} i8 @llvm.ucmp.i8.i32
|
|
// llvm-pre-20: icmp ult
|
|
// llvm-pre-20: icmp ne
|
|
// llvm-pre-20: zext i1
|
|
// llvm-pre-20: select i1
|
|
a.cmp(&b)
|
|
}
|
|
|
|
// CHECK-LABEL: @cmp_char
|
|
#[no_mangle]
|
|
pub fn cmp_char(a: char, b: char) -> Ordering {
|
|
// llvm-20: call{{.*}} i8 @llvm.ucmp.i8.i32
|
|
// llvm-pre-20: icmp ult
|
|
// llvm-pre-20: icmp ne
|
|
// llvm-pre-20: zext i1
|
|
// llvm-pre-20: select i1
|
|
a.cmp(&b)
|
|
}
|
|
|
|
// CHECK-LABEL: @cmp_tuple
|
|
#[no_mangle]
|
|
pub fn cmp_tuple(a: (i16, u16), b: (i16, u16)) -> Ordering {
|
|
// llvm-20-DAG: call{{.*}} i8 @llvm.ucmp.i8.i16
|
|
// llvm-20-DAG: call{{.*}} i8 @llvm.scmp.i8.i16
|
|
// llvm-20: ret i8
|
|
// llvm-pre-20: icmp slt
|
|
// llvm-pre-20: icmp ne
|
|
// llvm-pre-20: zext i1
|
|
// llvm-pre-20: select i1
|
|
// llvm-pre-20: icmp ult
|
|
// llvm-pre-20: icmp ne
|
|
// llvm-pre-20: zext i1
|
|
// llvm-pre-20: select i1
|
|
// llvm-pre-20: select i1
|
|
a.cmp(&b)
|
|
}
|