Skip to content

Commit 541ad79

Browse files
Rollup merge of rust-lang#129350 - krasimirgg:llvm20, r=nikic
adapt integer comparison tests for LLVM 20 IR changes The LLVM commit llvm/llvm-project@abf69a1 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. ```@rustbot``` label: +llvm-main r? ```@nikic```
2 parents c1b0007 + f1fac42 commit 541ad79

File tree

2 files changed

+41
-22
lines changed

2 files changed

+41
-22
lines changed

Diff for: tests/assembly/x86_64-cmp.rs

+28-14
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,9 @@
1-
//@ revisions: DEBUG OPTIM
1+
//@ revisions: DEBUG LLVM-PRE-20-OPTIM LLVM-20-OPTIM
22
//@ [DEBUG] compile-flags: -C opt-level=0
3-
//@ [OPTIM] compile-flags: -C opt-level=3
3+
//@ [LLVM-PRE-20-OPTIM] compile-flags: -C opt-level=3
4+
//@ [LLVM-PRE-20-OPTIM] ignore-llvm-version: 20 - 99
5+
//@ [LLVM-20-OPTIM] compile-flags: -C opt-level=3
6+
//@ [LLVM-20-OPTIM] min-llvm-version: 20
47
//@ assembly-output: emit-asm
58
//@ compile-flags: --crate-type=lib -C llvm-args=-x86-asm-syntax=intel
69
//@ only-x86_64
@@ -21,12 +24,18 @@ pub fn signed_cmp(a: i16, b: i16) -> std::cmp::Ordering {
2124
// DEBUG: and
2225
// DEBUG: sub
2326

24-
// OPTIM: xor
25-
// OPTIM: cmp
26-
// OPTIM: setne
27-
// OPTIM: mov
28-
// OPTIM: cmovge
29-
// OPTIM: ret
27+
// LLVM-PRE-20-OPTIM: xor
28+
// LLVM-PRE-20-OPTIM: cmp
29+
// LLVM-PRE-20-OPTIM: setne
30+
// LLVM-PRE-20-OPTIM: mov
31+
// LLVM-PRE-20-OPTIM: cmovge
32+
// LLVM-PRE-20-OPTIM: ret
33+
//
34+
// LLVM-20-OPTIM: cmp
35+
// LLVM-20-OPTIM: setl
36+
// LLVM-20-OPTIM: setg
37+
// LLVM-20-OPTIM: sub
38+
// LLVM-20-OPTIM: ret
3039
three_way_compare(a, b)
3140
}
3241

@@ -41,11 +50,16 @@ pub fn unsigned_cmp(a: u16, b: u16) -> std::cmp::Ordering {
4150
// DEBUG: and
4251
// DEBUG: sub
4352

44-
// OPTIM: xor
45-
// OPTIM: cmp
46-
// OPTIM: setne
47-
// OPTIM: mov
48-
// OPTIM: cmovae
49-
// OPTIM: ret
53+
// LLVM-PRE-20-OPTIM: xor
54+
// LLVM-PRE-20-OPTIM: cmp
55+
// LLVM-PRE-20-OPTIM: setne
56+
// LLVM-PRE-20-OPTIM: mov
57+
// LLVM-PRE-20-OPTIM: cmovae
58+
// LLVM-PRE-20-OPTIM: ret
59+
//
60+
// LLVM-20-OPTIM: cmp
61+
// LLVM-20-OPTIM: seta
62+
// LLVM-20-OPTIM: sbb
63+
// LLVM-20-OPTIM: ret
5064
three_way_compare(a, b)
5165
}

Diff for: tests/codegen/integer-cmp.rs

+13-8
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,9 @@
11
// This is test for more optimal Ord implementation for integers.
22
// See <https://github.com/rust-lang/rust/issues/63758> for more info.
33

4+
//@ revisions: llvm-pre-20 llvm-20
5+
//@ [llvm-20] min-llvm-version: 20
6+
//@ [llvm-pre-20] ignore-llvm-version: 20 - 99
47
//@ compile-flags: -C opt-level=3
58

69
#![crate_type = "lib"]
@@ -10,19 +13,21 @@ use std::cmp::Ordering;
1013
// CHECK-LABEL: @cmp_signed
1114
#[no_mangle]
1215
pub fn cmp_signed(a: i64, b: i64) -> Ordering {
13-
// CHECK: icmp slt
14-
// CHECK: icmp ne
15-
// CHECK: zext i1
16-
// CHECK: select i1
16+
// llvm-20: @llvm.scmp.i8.i64
17+
// llvm-pre-20: icmp slt
18+
// llvm-pre-20: icmp ne
19+
// llvm-pre-20: zext i1
20+
// llvm-pre-20: select i1
1721
a.cmp(&b)
1822
}
1923

2024
// CHECK-LABEL: @cmp_unsigned
2125
#[no_mangle]
2226
pub fn cmp_unsigned(a: u32, b: u32) -> Ordering {
23-
// CHECK: icmp ult
24-
// CHECK: icmp ne
25-
// CHECK: zext i1
26-
// CHECK: select i1
27+
// llvm-20: @llvm.ucmp.i8.i32
28+
// llvm-pre-20: icmp ult
29+
// llvm-pre-20: icmp ne
30+
// llvm-pre-20: zext i1
31+
// llvm-pre-20: select i1
2732
a.cmp(&b)
2833
}

0 commit comments

Comments
 (0)