1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic 32-bit integer comparison operations assemble as expected.
5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
9 ; CHECK-NEXT: .param i32{{$}}
10 ; CHECK-NEXT: .param i32{{$}}
11 ; CHECK-NEXT: .result i32{{$}}
12 ; CHECK-NEXT: .local i32, i32, i32{{$}}
13 ; CHECK-NEXT: get_local 1{{$}}
14 ; CHECK-NEXT: set_local 2, pop{{$}}
15 ; CHECK-NEXT: get_local 0{{$}}
16 ; CHECK-NEXT: set_local 3, pop{{$}}
17 ; CHECK-NEXT: eq (get_local 3), (get_local 2){{$}}
18 ; CHECK-NEXT: set_local 4, pop{{$}}
19 ; CHECK-NEXT: return (get_local 4){{$}}
20 define i32 @eq_i32(i32 %x, i32 %y) {
21 %a = icmp eq i32 %x, %y
22 %b = zext i1 %a to i32
26 ; CHECK-LABEL: ne_i32:
27 ; CHECK: ne (get_local 3), (get_local 2){{$}}
28 ; CHECK-NEXT: set_local 4, pop{{$}}
29 define i32 @ne_i32(i32 %x, i32 %y) {
30 %a = icmp ne i32 %x, %y
31 %b = zext i1 %a to i32
35 ; CHECK-LABEL: slt_i32:
36 ; CHECK: i32.lt_s (get_local 3), (get_local 2){{$}}
37 ; CHECK-NEXT: set_local 4, pop{{$}}
38 define i32 @slt_i32(i32 %x, i32 %y) {
39 %a = icmp slt i32 %x, %y
40 %b = zext i1 %a to i32
44 ; CHECK-LABEL: sle_i32:
45 ; CHECK: i32.le_s (get_local 3), (get_local 2){{$}}
46 ; CHECK-NEXT: set_local 4, pop{{$}}
47 define i32 @sle_i32(i32 %x, i32 %y) {
48 %a = icmp sle i32 %x, %y
49 %b = zext i1 %a to i32
53 ; CHECK-LABEL: ult_i32:
54 ; CHECK: i32.lt_u (get_local 3), (get_local 2){{$}}
55 ; CHECK-NEXT: set_local 4, pop{{$}}
56 define i32 @ult_i32(i32 %x, i32 %y) {
57 %a = icmp ult i32 %x, %y
58 %b = zext i1 %a to i32
62 ; CHECK-LABEL: ule_i32:
63 ; CHECK: i32.le_u (get_local 3), (get_local 2){{$}}
64 ; CHECK-NEXT: set_local 4, pop{{$}}
65 define i32 @ule_i32(i32 %x, i32 %y) {
66 %a = icmp ule i32 %x, %y
67 %b = zext i1 %a to i32
71 ; CHECK-LABEL: sgt_i32:
72 ; CHECK: i32.gt_s (get_local 3), (get_local 2){{$}}
73 ; CHECK-NEXT: set_local 4, pop{{$}}
74 define i32 @sgt_i32(i32 %x, i32 %y) {
75 %a = icmp sgt i32 %x, %y
76 %b = zext i1 %a to i32
80 ; CHECK-LABEL: sge_i32:
81 ; CHECK: i32.ge_s (get_local 3), (get_local 2){{$}}
82 ; CHECK-NEXT: set_local 4, pop{{$}}
83 define i32 @sge_i32(i32 %x, i32 %y) {
84 %a = icmp sge i32 %x, %y
85 %b = zext i1 %a to i32
89 ; CHECK-LABEL: ugt_i32:
90 ; CHECK: i32.gt_u (get_local 3), (get_local 2){{$}}
91 ; CHECK-NEXT: set_local 4, pop{{$}}
92 define i32 @ugt_i32(i32 %x, i32 %y) {
93 %a = icmp ugt i32 %x, %y
94 %b = zext i1 %a to i32
98 ; CHECK-LABEL: uge_i32:
99 ; CHECK: i32.ge_u (get_local 3), (get_local 2){{$}}
100 ; CHECK-NEXT: set_local 4, pop{{$}}
101 define i32 @uge_i32(i32 %x, i32 %y) {
102 %a = icmp uge i32 %x, %y
103 %b = zext i1 %a to i32