xref: /llvm-project/llvm/test/CodeGen/WebAssembly/scmp.ll (revision e094abde42634e38cda85a6024792f681fc58f32)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
2; RUN: llc < %s -wasm-keep-registers | FileCheck %s
3
4target triple = "wasm32-unknown-unknown"
5
6define i8 @scmp.8.8(i8 signext %x, i8 signext %y) nounwind {
7; CHECK-LABEL: scmp.8.8:
8; CHECK:         .functype scmp.8.8 (i32, i32) -> (i32)
9; CHECK-NEXT:  # %bb.0:
10; CHECK-NEXT:    local.get $push4=, 0
11; CHECK-NEXT:    local.get $push3=, 1
12; CHECK-NEXT:    i32.gt_s $push1=, $pop4, $pop3
13; CHECK-NEXT:    local.get $push6=, 0
14; CHECK-NEXT:    local.get $push5=, 1
15; CHECK-NEXT:    i32.lt_s $push0=, $pop6, $pop5
16; CHECK-NEXT:    i32.sub $push2=, $pop1, $pop0
17; CHECK-NEXT:    # fallthrough-return
18  %1 = call i8 @llvm.scmp(i8 %x, i8 %y)
19  ret i8 %1
20}
21
22define i8 @scmp.8.16(i16 signext %x, i16 signext %y) nounwind {
23; CHECK-LABEL: scmp.8.16:
24; CHECK:         .functype scmp.8.16 (i32, i32) -> (i32)
25; CHECK-NEXT:  # %bb.0:
26; CHECK-NEXT:    local.get $push4=, 0
27; CHECK-NEXT:    local.get $push3=, 1
28; CHECK-NEXT:    i32.gt_s $push1=, $pop4, $pop3
29; CHECK-NEXT:    local.get $push6=, 0
30; CHECK-NEXT:    local.get $push5=, 1
31; CHECK-NEXT:    i32.lt_s $push0=, $pop6, $pop5
32; CHECK-NEXT:    i32.sub $push2=, $pop1, $pop0
33; CHECK-NEXT:    # fallthrough-return
34  %1 = call i8 @llvm.scmp(i16 %x, i16 %y)
35  ret i8 %1
36}
37
38define i8 @scmp.8.32(i32 %x, i32 %y) nounwind {
39; CHECK-LABEL: scmp.8.32:
40; CHECK:         .functype scmp.8.32 (i32, i32) -> (i32)
41; CHECK-NEXT:  # %bb.0:
42; CHECK-NEXT:    local.get $push4=, 0
43; CHECK-NEXT:    local.get $push3=, 1
44; CHECK-NEXT:    i32.gt_s $push1=, $pop4, $pop3
45; CHECK-NEXT:    local.get $push6=, 0
46; CHECK-NEXT:    local.get $push5=, 1
47; CHECK-NEXT:    i32.lt_s $push0=, $pop6, $pop5
48; CHECK-NEXT:    i32.sub $push2=, $pop1, $pop0
49; CHECK-NEXT:    # fallthrough-return
50  %1 = call i8 @llvm.scmp(i32 %x, i32 %y)
51  ret i8 %1
52}
53
54define i8 @scmp.8.64(i64 %x, i64 %y) nounwind {
55; CHECK-LABEL: scmp.8.64:
56; CHECK:         .functype scmp.8.64 (i64, i64) -> (i32)
57; CHECK-NEXT:  # %bb.0:
58; CHECK-NEXT:    local.get $push4=, 0
59; CHECK-NEXT:    local.get $push3=, 1
60; CHECK-NEXT:    i64.gt_s $push1=, $pop4, $pop3
61; CHECK-NEXT:    local.get $push6=, 0
62; CHECK-NEXT:    local.get $push5=, 1
63; CHECK-NEXT:    i64.lt_s $push0=, $pop6, $pop5
64; CHECK-NEXT:    i32.sub $push2=, $pop1, $pop0
65; CHECK-NEXT:    # fallthrough-return
66  %1 = call i8 @llvm.scmp(i64 %x, i64 %y)
67  ret i8 %1
68}
69
70define i8 @scmp.8.128(i128 %x, i128 %y) nounwind {
71; CHECK-LABEL: scmp.8.128:
72; CHECK:         .functype scmp.8.128 (i64, i64, i64, i64) -> (i32)
73; CHECK-NEXT:    .local i32
74; CHECK-NEXT:  # %bb.0:
75; CHECK-NEXT:    local.get $push10=, 0
76; CHECK-NEXT:    local.get $push9=, 2
77; CHECK-NEXT:    i64.gt_u $push4=, $pop10, $pop9
78; CHECK-NEXT:    local.get $push12=, 1
79; CHECK-NEXT:    local.get $push11=, 3
80; CHECK-NEXT:    i64.gt_s $push3=, $pop12, $pop11
81; CHECK-NEXT:    local.get $push14=, 1
82; CHECK-NEXT:    local.get $push13=, 3
83; CHECK-NEXT:    i64.eq $push8=, $pop14, $pop13
84; CHECK-NEXT:    local.tee $push7=, 4, $pop8
85; CHECK-NEXT:    i32.select $push5=, $pop4, $pop3, $pop7
86; CHECK-NEXT:    local.get $push16=, 0
87; CHECK-NEXT:    local.get $push15=, 2
88; CHECK-NEXT:    i64.lt_u $push1=, $pop16, $pop15
89; CHECK-NEXT:    local.get $push18=, 1
90; CHECK-NEXT:    local.get $push17=, 3
91; CHECK-NEXT:    i64.lt_s $push0=, $pop18, $pop17
92; CHECK-NEXT:    local.get $push19=, 4
93; CHECK-NEXT:    i32.select $push2=, $pop1, $pop0, $pop19
94; CHECK-NEXT:    i32.sub $push6=, $pop5, $pop2
95; CHECK-NEXT:    # fallthrough-return
96  %1 = call i8 @llvm.scmp(i128 %x, i128 %y)
97  ret i8 %1
98}
99
100define i32 @scmp.32.32(i32 %x, i32 %y) nounwind {
101; CHECK-LABEL: scmp.32.32:
102; CHECK:         .functype scmp.32.32 (i32, i32) -> (i32)
103; CHECK-NEXT:  # %bb.0:
104; CHECK-NEXT:    local.get $push4=, 0
105; CHECK-NEXT:    local.get $push3=, 1
106; CHECK-NEXT:    i32.gt_s $push1=, $pop4, $pop3
107; CHECK-NEXT:    local.get $push6=, 0
108; CHECK-NEXT:    local.get $push5=, 1
109; CHECK-NEXT:    i32.lt_s $push0=, $pop6, $pop5
110; CHECK-NEXT:    i32.sub $push2=, $pop1, $pop0
111; CHECK-NEXT:    # fallthrough-return
112  %1 = call i32 @llvm.scmp(i32 %x, i32 %y)
113  ret i32 %1
114}
115
116define i32 @scmp.32.64(i64 %x, i64 %y) nounwind {
117; CHECK-LABEL: scmp.32.64:
118; CHECK:         .functype scmp.32.64 (i64, i64) -> (i32)
119; CHECK-NEXT:  # %bb.0:
120; CHECK-NEXT:    local.get $push4=, 0
121; CHECK-NEXT:    local.get $push3=, 1
122; CHECK-NEXT:    i64.gt_s $push1=, $pop4, $pop3
123; CHECK-NEXT:    local.get $push6=, 0
124; CHECK-NEXT:    local.get $push5=, 1
125; CHECK-NEXT:    i64.lt_s $push0=, $pop6, $pop5
126; CHECK-NEXT:    i32.sub $push2=, $pop1, $pop0
127; CHECK-NEXT:    # fallthrough-return
128  %1 = call i32 @llvm.scmp(i64 %x, i64 %y)
129  ret i32 %1
130}
131
132define i64 @scmp.64.64(i64 %x, i64 %y) nounwind {
133; CHECK-LABEL: scmp.64.64:
134; CHECK:         .functype scmp.64.64 (i64, i64) -> (i64)
135; CHECK-NEXT:  # %bb.0:
136; CHECK-NEXT:    local.get $push5=, 0
137; CHECK-NEXT:    local.get $push4=, 1
138; CHECK-NEXT:    i64.gt_s $push1=, $pop5, $pop4
139; CHECK-NEXT:    local.get $push7=, 0
140; CHECK-NEXT:    local.get $push6=, 1
141; CHECK-NEXT:    i64.lt_s $push0=, $pop7, $pop6
142; CHECK-NEXT:    i32.sub $push2=, $pop1, $pop0
143; CHECK-NEXT:    i64.extend_i32_s $push3=, $pop2
144; CHECK-NEXT:    # fallthrough-return
145  %1 = call i64 @llvm.scmp(i64 %x, i64 %y)
146  ret i64 %1
147}
148