about summary refs log tree commit diff
path: root/tests/codegen-llvm/integer-cmp.rs
blob: 812fa8e4a4244ec053fb318f11ba5a11f7cc9eba (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
// 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)
}