mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

llvm 20: adapt integer comparison tests

Browse Source 
The LLVM commit abf69a167b
changed the IR in a few comparison tests:
https://buildkite.com/llvm-project/rust-llvm-integrate-prototype/builds/30500#01917017-26fe-4a4d-956b-725a2903e5a8

Adapted accordingly.
This commit is contained in:
Krasimir Georgiev 2024-08-21 09:21:29 +00:00
parent 4d7c095832
commit f1fac42f4a
2 changed files with 41 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
tests/assembly/x86_64-cmp.rs
View File

@ -1,6 +1,9 @@
//@ revisions: DEBUG OPTIM //@ revisions: DEBUG LLVM-PRE-20-OPTIM LLVM-20-OPTIM
//@ [DEBUG] compile-flags: -C opt-level=0 //@ [DEBUG] compile-flags: -C opt-level=0
//@ [OPTIM] compile-flags: -C opt-level=3 //@ [LLVM-PRE-20-OPTIM] compile-flags: -C opt-level=3
//@ [LLVM-PRE-20-OPTIM] ignore-llvm-version: 20 - 99
//@ [LLVM-20-OPTIM] compile-flags: -C opt-level=3
//@ [LLVM-20-OPTIM] min-llvm-version: 20
//@ assembly-output: emit-asm //@ assembly-output: emit-asm
//@ compile-flags: --crate-type=lib -C llvm-args=-x86-asm-syntax=intel //@ compile-flags: --crate-type=lib -C llvm-args=-x86-asm-syntax=intel
//@ only-x86_64 //@ only-x86_64
@ -21,12 +24,18 @@ pub fn signed_cmp(a: i16, b: i16) -> std::cmp::Ordering {
// DEBUG: and // DEBUG: and
// DEBUG: sub // DEBUG: sub
// OPTIM: xor // LLVM-PRE-20-OPTIM: xor
// OPTIM: cmp // LLVM-PRE-20-OPTIM: cmp
// OPTIM: setne // LLVM-PRE-20-OPTIM: setne
// OPTIM: mov // LLVM-PRE-20-OPTIM: mov
// OPTIM: cmovge // LLVM-PRE-20-OPTIM: cmovge
// OPTIM: ret // 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) three_way_compare(a, b)
} }
@ -41,11 +50,16 @@ pub fn unsigned_cmp(a: u16, b: u16) -> std::cmp::Ordering {
// DEBUG: and // DEBUG: and
// DEBUG: sub // DEBUG: sub
// OPTIM: xor // LLVM-PRE-20-OPTIM: xor
// OPTIM: cmp // LLVM-PRE-20-OPTIM: cmp
// OPTIM: setne // LLVM-PRE-20-OPTIM: setne
// OPTIM: mov // LLVM-PRE-20-OPTIM: mov
// OPTIM: cmovae // LLVM-PRE-20-OPTIM: cmovae
// OPTIM: ret // 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) three_way_compare(a, b)
} }

21
tests/codegen/integer-cmp.rs
View File

@ -1,6 +1,9 @@
// This is test for more optimal Ord implementation for integers. // This is test for more optimal Ord implementation for integers.
// See <https://github.com/rust-lang/rust/issues/63758> for more info. // 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] ignore-llvm-version: 20 - 99
//@ compile-flags: -C opt-level=3 //@ compile-flags: -C opt-level=3
#![crate_type = "lib"] #![crate_type = "lib"]
@ -10,19 +13,21 @@
// CHECK-LABEL: @cmp_signed // CHECK-LABEL: @cmp_signed
#[no_mangle] #[no_mangle]
pub fn cmp_signed(a: i64, b: i64) -> Ordering { pub fn cmp_signed(a: i64, b: i64) -> Ordering {
// CHECK: icmp slt // llvm-20: @llvm.scmp.i8.i64
// CHECK: icmp ne // llvm-pre-20: icmp slt
// CHECK: zext i1 // llvm-pre-20: icmp ne
// CHECK: select i1 // llvm-pre-20: zext i1
// llvm-pre-20: select i1
a.cmp(&b) a.cmp(&b)
} }
// CHECK-LABEL: @cmp_unsigned // CHECK-LABEL: @cmp_unsigned
#[no_mangle] #[no_mangle]
pub fn cmp_unsigned(a: u32, b: u32) -> Ordering { pub fn cmp_unsigned(a: u32, b: u32) -> Ordering {
// CHECK: icmp ult // llvm-20: @llvm.ucmp.i8.i32
// CHECK: icmp ne // llvm-pre-20: icmp ult
// CHECK: zext i1 // llvm-pre-20: icmp ne
// CHECK: select i1 // llvm-pre-20: zext i1
// llvm-pre-20: select i1
a.cmp(&b) a.cmp(&b)
} }