1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
3 ; Test that basic 32-bit integer operations assemble as expected.
5 target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
6 target triple = "wasm32-unknown-unknown"
8 declare i32 @llvm.ctlz.i32(i32, i1)
9 declare i32 @llvm.cttz.i32(i32, i1)
10 declare i32 @llvm.ctpop.i32(i32)
13 ; CHECK-NEXT: .param i32, i32{{$}}
14 ; CHECK-NEXT: .result i32{{$}}
15 ; CHECK-NEXT: i32.add $push0=, $0, $1{{$}}
16 ; CHECK-NEXT: return $pop0{{$}}
17 define i32 @add32(i32 %x, i32 %y) {
23 ; CHECK-NEXT: .param i32, i32{{$}}
24 ; CHECK-NEXT: .result i32{{$}}
25 ; CHECK-NEXT: i32.sub $push0=, $0, $1{{$}}
26 ; CHECK-NEXT: return $pop0{{$}}
27 define i32 @sub32(i32 %x, i32 %y) {
33 ; CHECK-NEXT: .param i32, i32{{$}}
34 ; CHECK-NEXT: .result i32{{$}}
35 ; CHECK-NEXT: i32.mul $push0=, $0, $1{{$}}
36 ; CHECK-NEXT: return $pop0{{$}}
37 define i32 @mul32(i32 %x, i32 %y) {
42 ; CHECK-LABEL: sdiv32:
43 ; CHECK-NEXT: .param i32, i32{{$}}
44 ; CHECK-NEXT: .result i32{{$}}
45 ; CHECK-NEXT: i32.div_s $push0=, $0, $1{{$}}
46 ; CHECK-NEXT: return $pop0{{$}}
47 define i32 @sdiv32(i32 %x, i32 %y) {
52 ; CHECK-LABEL: udiv32:
53 ; CHECK-NEXT: .param i32, i32{{$}}
54 ; CHECK-NEXT: .result i32{{$}}
55 ; CHECK-NEXT: i32.div_u $push0=, $0, $1{{$}}
56 ; CHECK-NEXT: return $pop0{{$}}
57 define i32 @udiv32(i32 %x, i32 %y) {
62 ; CHECK-LABEL: srem32:
63 ; CHECK-NEXT: .param i32, i32{{$}}
64 ; CHECK-NEXT: .result i32{{$}}
65 ; CHECK-NEXT: i32.rem_s $push0=, $0, $1{{$}}
66 ; CHECK-NEXT: return $pop0{{$}}
67 define i32 @srem32(i32 %x, i32 %y) {
72 ; CHECK-LABEL: urem32:
73 ; CHECK-NEXT: .param i32, i32{{$}}
74 ; CHECK-NEXT: .result i32{{$}}
75 ; CHECK-NEXT: i32.rem_u $push0=, $0, $1{{$}}
76 ; CHECK-NEXT: return $pop0{{$}}
77 define i32 @urem32(i32 %x, i32 %y) {
83 ; CHECK-NEXT: .param i32, i32{{$}}
84 ; CHECK-NEXT: .result i32{{$}}
85 ; CHECK-NEXT: i32.and $push0=, $0, $1{{$}}
86 ; CHECK-NEXT: return $pop0{{$}}
87 define i32 @and32(i32 %x, i32 %y) {
93 ; CHECK-NEXT: .param i32, i32{{$}}
94 ; CHECK-NEXT: .result i32{{$}}
95 ; CHECK-NEXT: i32.or $push0=, $0, $1{{$}}
96 ; CHECK-NEXT: return $pop0{{$}}
97 define i32 @or32(i32 %x, i32 %y) {
102 ; CHECK-LABEL: xor32:
103 ; CHECK-NEXT: .param i32, i32{{$}}
104 ; CHECK-NEXT: .result i32{{$}}
105 ; CHECK-NEXT: i32.xor $push0=, $0, $1{{$}}
106 ; CHECK-NEXT: return $pop0{{$}}
107 define i32 @xor32(i32 %x, i32 %y) {
112 ; CHECK-LABEL: shl32:
113 ; CHECK-NEXT: .param i32, i32{{$}}
114 ; CHECK-NEXT: .result i32{{$}}
115 ; CHECK-NEXT: i32.shl $push0=, $0, $1{{$}}
116 ; CHECK-NEXT: return $pop0{{$}}
117 define i32 @shl32(i32 %x, i32 %y) {
122 ; CHECK-LABEL: shr32:
123 ; CHECK-NEXT: .param i32, i32{{$}}
124 ; CHECK-NEXT: .result i32{{$}}
125 ; CHECK-NEXT: i32.shr_u $push0=, $0, $1{{$}}
126 ; CHECK-NEXT: return $pop0{{$}}
127 define i32 @shr32(i32 %x, i32 %y) {
132 ; CHECK-LABEL: sar32:
133 ; CHECK-NEXT: .param i32, i32{{$}}
134 ; CHECK-NEXT: .result i32{{$}}
135 ; CHECK-NEXT: i32.shr_s $push0=, $0, $1{{$}}
136 ; CHECK-NEXT: return $pop0{{$}}
137 define i32 @sar32(i32 %x, i32 %y) {
142 ; CHECK-LABEL: clz32:
143 ; CHECK-NEXT: .param i32{{$}}
144 ; CHECK-NEXT: .result i32{{$}}
145 ; CHECK-NEXT: i32.clz $push0=, $0{{$}}
146 ; CHECK-NEXT: return $pop0{{$}}
147 define i32 @clz32(i32 %x) {
148 %a = call i32 @llvm.ctlz.i32(i32 %x, i1 false)
152 ; CHECK-LABEL: clz32_zero_undef:
153 ; CHECK-NEXT: .param i32{{$}}
154 ; CHECK-NEXT: .result i32{{$}}
155 ; CHECK-NEXT: i32.clz $push0=, $0{{$}}
156 ; CHECK-NEXT: return $pop0{{$}}
157 define i32 @clz32_zero_undef(i32 %x) {
158 %a = call i32 @llvm.ctlz.i32(i32 %x, i1 true)
162 ; CHECK-LABEL: ctz32:
163 ; CHECK-NEXT: .param i32{{$}}
164 ; CHECK-NEXT: .result i32{{$}}
165 ; CHECK-NEXT: i32.ctz $push0=, $0{{$}}
166 ; CHECK-NEXT: return $pop0{{$}}
167 define i32 @ctz32(i32 %x) {
168 %a = call i32 @llvm.cttz.i32(i32 %x, i1 false)
172 ; CHECK-LABEL: ctz32_zero_undef:
173 ; CHECK-NEXT: .param i32{{$}}
174 ; CHECK-NEXT: .result i32{{$}}
175 ; CHECK-NEXT: i32.ctz $push0=, $0{{$}}
176 ; CHECK-NEXT: return $pop0{{$}}
177 define i32 @ctz32_zero_undef(i32 %x) {
178 %a = call i32 @llvm.cttz.i32(i32 %x, i1 true)
182 ; CHECK-LABEL: popcnt32:
183 ; CHECK-NEXT: .param i32{{$}}
184 ; CHECK-NEXT: .result i32{{$}}
185 ; CHECK-NEXT: i32.popcnt $push0=, $0{{$}}
186 ; CHECK-NEXT: return $pop0{{$}}
187 define i32 @popcnt32(i32 %x) {
188 %a = call i32 @llvm.ctpop.i32(i32 %x)