58c10c66c1
Lowers `mir::BinOp::Cmp` (`three_way_compare` intrinsic) to the corresponding
LLVM `llvm.{s,u}cmp.i8.*` intrinsics, added in LLVM 19.
79 lines
2.2 KiB
Rust
79 lines
2.2 KiB
Rust
//@ revisions: LLVM-PRE-20-DEBUG LLVM-20-DEBUG LLVM-PRE-20-OPTIM LLVM-20-OPTIM
|
|
//@ [LLVM-PRE-20-DEBUG] compile-flags: -C opt-level=0
|
|
//@ [LLVM-PRE-20-DEBUG] max-llvm-major-version: 19
|
|
//@ [LLVM-20-DEBUG] compile-flags: -C opt-level=0
|
|
//@ [LLVM-20-DEBUG] min-llvm-version: 20
|
|
//@ [LLVM-PRE-20-OPTIM] compile-flags: -C opt-level=3
|
|
//@ [LLVM-PRE-20-OPTIM] max-llvm-major-version: 19
|
|
//@ [LLVM-20-OPTIM] compile-flags: -C opt-level=3
|
|
//@ [LLVM-20-OPTIM] min-llvm-version: 20
|
|
//@ assembly-output: emit-asm
|
|
//@ compile-flags: --crate-type=lib -C llvm-args=-x86-asm-syntax=intel
|
|
//@ only-x86_64
|
|
//@ ignore-sgx
|
|
|
|
#![feature(core_intrinsics)]
|
|
|
|
use std::intrinsics::three_way_compare;
|
|
|
|
#[no_mangle]
|
|
// CHECK-LABEL: signed_cmp:
|
|
pub fn signed_cmp(a: i16, b: i16) -> std::cmp::Ordering {
|
|
// LLVM-PRE-20-DEBUG: cmp
|
|
// LLVM-PRE-20-DEBUG: setg
|
|
// LLVM-PRE-20-DEBUG: and
|
|
// LLVM-PRE-20-DEBUG: cmp
|
|
// LLVM-PRE-20-DEBUG: setl
|
|
// LLVM-PRE-20-DEBUG: and
|
|
// LLVM-PRE-20-DEBUG: sub
|
|
//
|
|
// LLVM-20-DEBUG: sub
|
|
// LLVM-20-DEBUG: setl
|
|
// LLVM-20-DEBUG: setg
|
|
// LLVM-20-DEBUG: sub
|
|
// LLVM-20-DEBUG: ret
|
|
|
|
// LLVM-PRE-20-OPTIM: xor
|
|
// LLVM-PRE-20-OPTIM: cmp
|
|
// LLVM-PRE-20-OPTIM: setne
|
|
// LLVM-PRE-20-OPTIM: mov
|
|
// LLVM-PRE-20-OPTIM: cmovge
|
|
// LLVM-PRE-20-OPTIM: ret
|
|
//
|
|
// LLVM-20-OPTIM: cmp
|
|
// LLVM-20-OPTIM: setl
|
|
// LLVM-20-OPTIM: setg
|
|
// LLVM-20-OPTIM: sub
|
|
// LLVM-20-OPTIM: ret
|
|
three_way_compare(a, b)
|
|
}
|
|
|
|
#[no_mangle]
|
|
// CHECK-LABEL: unsigned_cmp:
|
|
pub fn unsigned_cmp(a: u16, b: u16) -> std::cmp::Ordering {
|
|
// LLVM-PRE-20-DEBUG: cmp
|
|
// LLVM-PRE-20-DEBUG: seta
|
|
// LLVM-PRE-20-DEBUG: and
|
|
// LLVM-PRE-20-DEBUG: cmp
|
|
// LLVM-PRE-20-DEBUG: setb
|
|
// LLVM-PRE-20-DEBUG: and
|
|
// LLVM-PRE-20-DEBUG: sub
|
|
//
|
|
// LLVM-20-DEBUG: sub
|
|
// LLVM-20-DEBUG: seta
|
|
// LLVM-20-DEBUG: sbb
|
|
// LLVM-20-DEBUG: ret
|
|
|
|
// LLVM-PRE-20-OPTIM: xor
|
|
// LLVM-PRE-20-OPTIM: cmp
|
|
// LLVM-PRE-20-OPTIM: setne
|
|
// LLVM-PRE-20-OPTIM: mov
|
|
// LLVM-PRE-20-OPTIM: cmovae
|
|
// LLVM-PRE-20-OPTIM: ret
|
|
//
|
|
// LLVM-20-OPTIM: cmp
|
|
// LLVM-20-OPTIM: seta
|
|
// LLVM-20-OPTIM: sbb
|
|
// LLVM-20-OPTIM: ret
|
|
three_way_compare(a, b)
|
|
}
|