Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 8a76b04a6384250f5ac9cb0f9320a39a854ebca3 / . / llvm / test / CodeGen / WebAssembly / i32.ll
blob: d958dba61360266d98b6151702649495ad6f02d5 [file] [log] [blame]
JF Bastienb9073fb2015-07-22 21:28:15 +0000[diff] [blame]1; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
JF Bastien8f9aea02015-08-01 04:48:44 +0000[diff] [blame]3; Test that basic 32-bit integer operations assemble as expected.
4
Dan Gohmandde8dce2015-08-19 20:30:20 +0000[diff] [blame]5target datalayout = "e-p:32:32-i64:64-n32:64-S128"
JF Bastienb9073fb2015-07-22 21:28:15 +0000[diff] [blame]6target triple = "wasm32-unknown-unknown"
7
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]8declare i32 @llvm.ctlz.i32(i32, i1)
9declare i32 @llvm.cttz.i32(i32, i1)
10declare i32 @llvm.ctpop.i32(i32)
11
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]12; CHECK-LABEL: add32:
13; CHECK-NEXT: .param i32{{$}}
14; CHECK-NEXT: .param i32{{$}}
15; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]16; CHECK-NEXT: .local i32, i32, i32{{$}}
17; CHECK-NEXT: get_local 1{{$}}
18; CHECK-NEXT: set_local 2, pop{{$}}
19; CHECK-NEXT: get_local 0{{$}}
20; CHECK-NEXT: set_local 3, pop{{$}}
21; CHECK-NEXT: add (get_local 3), (get_local 2){{$}}
22; CHECK-NEXT: set_local 4, pop{{$}}
23; CHECK-NEXT: return (get_local 4){{$}}
JF Bastienb9073fb2015-07-22 21:28:15 +0000[diff] [blame]24define i32 @add32(i32 %x, i32 %y) {
25 %a = add i32 %x, %y
26 ret i32 %a
27}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]28
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]29; CHECK-LABEL: sub32:
30; CHECK-NEXT: .param i32{{$}}
31; CHECK-NEXT: .param i32{{$}}
32; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]33; CHECK-NEXT: .local i32, i32, i32{{$}}
34; CHECK-NEXT: get_local 1{{$}}
35; CHECK-NEXT: set_local 2, pop{{$}}
36; CHECK-NEXT: get_local 0{{$}}
37; CHECK-NEXT: set_local 3, pop{{$}}
38; CHECK-NEXT: sub (get_local 3), (get_local 2){{$}}
39; CHECK-NEXT: set_local 4, pop{{$}}
40; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]41define i32 @sub32(i32 %x, i32 %y) {
42 %a = sub i32 %x, %y
43 ret i32 %a
44}
45
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]46; CHECK-LABEL: mul32:
47; CHECK-NEXT: .param i32{{$}}
48; CHECK-NEXT: .param i32{{$}}
49; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]50; CHECK-NEXT: .local i32, i32, i32{{$}}
51; CHECK-NEXT: get_local 1{{$}}
52; CHECK-NEXT: set_local 2, pop{{$}}
53; CHECK-NEXT: get_local 0{{$}}
54; CHECK-NEXT: set_local 3, pop{{$}}
55; CHECK-NEXT: mul (get_local 3), (get_local 2){{$}}
56; CHECK-NEXT: set_local 4, pop{{$}}
57; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]58define i32 @mul32(i32 %x, i32 %y) {
59 %a = mul i32 %x, %y
60 ret i32 %a
61}
62
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]63; CHECK-LABEL: sdiv32:
64; CHECK-NEXT: .param i32{{$}}
65; CHECK-NEXT: .param i32{{$}}
66; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]67; CHECK-NEXT: .local i32, i32, i32{{$}}
68; CHECK-NEXT: get_local 1{{$}}
69; CHECK-NEXT: set_local 2, pop{{$}}
70; CHECK-NEXT: get_local 0{{$}}
71; CHECK-NEXT: set_local 3, pop{{$}}
JF Bastienf2364bf2015-10-22 02:32:50 +0000[diff] [blame]72; CHECK-NEXT: div_s (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]73; CHECK-NEXT: set_local 4, pop{{$}}
74; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]75define i32 @sdiv32(i32 %x, i32 %y) {
76 %a = sdiv i32 %x, %y
77 ret i32 %a
78}
79
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]80; CHECK-LABEL: udiv32:
81; CHECK-NEXT: .param i32{{$}}
82; CHECK-NEXT: .param i32{{$}}
83; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]84; CHECK-NEXT: .local i32, i32, i32{{$}}
85; CHECK-NEXT: get_local 1{{$}}
86; CHECK-NEXT: set_local 2, pop{{$}}
87; CHECK-NEXT: get_local 0{{$}}
88; CHECK-NEXT: set_local 3, pop{{$}}
JF Bastienf2364bf2015-10-22 02:32:50 +0000[diff] [blame]89; CHECK-NEXT: div_u (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]90; CHECK-NEXT: set_local 4, pop{{$}}
91; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]92define i32 @udiv32(i32 %x, i32 %y) {
93 %a = udiv i32 %x, %y
94 ret i32 %a
95}
96
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]97; CHECK-LABEL: srem32:
98; CHECK-NEXT: .param i32{{$}}
99; CHECK-NEXT: .param i32{{$}}
100; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]101; CHECK-NEXT: .local i32, i32, i32{{$}}
102; CHECK-NEXT: get_local 1{{$}}
103; CHECK-NEXT: set_local 2, pop{{$}}
104; CHECK-NEXT: get_local 0{{$}}
105; CHECK-NEXT: set_local 3, pop{{$}}
JF Bastienf2364bf2015-10-22 02:32:50 +0000[diff] [blame]106; CHECK-NEXT: rem_s (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]107; CHECK-NEXT: set_local 4, pop{{$}}
108; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]109define i32 @srem32(i32 %x, i32 %y) {
110 %a = srem i32 %x, %y
111 ret i32 %a
112}
113
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]114; CHECK-LABEL: urem32:
115; CHECK-NEXT: .param i32{{$}}
116; CHECK-NEXT: .param i32{{$}}
117; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]118; CHECK-NEXT: .local i32, i32, i32{{$}}
119; CHECK-NEXT: get_local 1{{$}}
120; CHECK-NEXT: set_local 2, pop{{$}}
121; CHECK-NEXT: get_local 0{{$}}
122; CHECK-NEXT: set_local 3, pop{{$}}
JF Bastienf2364bf2015-10-22 02:32:50 +0000[diff] [blame]123; CHECK-NEXT: rem_u (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]124; CHECK-NEXT: set_local 4, pop{{$}}
125; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]126define i32 @urem32(i32 %x, i32 %y) {
127 %a = urem i32 %x, %y
128 ret i32 %a
129}
130
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]131; CHECK-LABEL: and32:
132; CHECK-NEXT: .param i32{{$}}
133; CHECK-NEXT: .param i32{{$}}
134; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]135; CHECK-NEXT: .local i32, i32, i32{{$}}
136; CHECK-NEXT: get_local 1{{$}}
137; CHECK-NEXT: set_local 2, pop{{$}}
138; CHECK-NEXT: get_local 0{{$}}
139; CHECK-NEXT: set_local 3, pop{{$}}
140; CHECK-NEXT: and (get_local 3), (get_local 2){{$}}
141; CHECK-NEXT: set_local 4, pop{{$}}
142; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]143define i32 @and32(i32 %x, i32 %y) {
144 %a = and i32 %x, %y
145 ret i32 %a
146}
147
Derek Schuff8a76b042015-11-05 17:08:11 +0000[diff] [blame^]148; CHECK-LABEL: or32:
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]149; CHECK-NEXT: .param i32{{$}}
150; CHECK-NEXT: .param i32{{$}}
151; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]152; CHECK-NEXT: .local i32, i32, i32{{$}}
153; CHECK-NEXT: get_local 1{{$}}
154; CHECK-NEXT: set_local 2, pop{{$}}
155; CHECK-NEXT: get_local 0{{$}}
156; CHECK-NEXT: set_local 3, pop{{$}}
Derek Schuff8a76b042015-11-05 17:08:11 +0000[diff] [blame^]157; CHECK-NEXT: or (get_local 3), (get_local 2){{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]158; CHECK-NEXT: set_local 4, pop{{$}}
159; CHECK-NEXT: return (get_local 4){{$}}
Derek Schuff8a76b042015-11-05 17:08:11 +0000[diff] [blame^]160define i32 @or32(i32 %x, i32 %y) {
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]161 %a = or i32 %x, %y
162 ret i32 %a
163}
164
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]165; CHECK-LABEL: xor32:
166; CHECK-NEXT: .param i32{{$}}
167; CHECK-NEXT: .param i32{{$}}
168; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]169; CHECK-NEXT: .local i32, i32, i32{{$}}
170; CHECK-NEXT: get_local 1{{$}}
171; CHECK-NEXT: set_local 2, pop{{$}}
172; CHECK-NEXT: get_local 0{{$}}
173; CHECK-NEXT: set_local 3, pop{{$}}
174; CHECK-NEXT: xor (get_local 3), (get_local 2){{$}}
175; CHECK-NEXT: set_local 4, pop{{$}}
176; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]177define i32 @xor32(i32 %x, i32 %y) {
178 %a = xor i32 %x, %y
179 ret i32 %a
180}
181
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]182; CHECK-LABEL: shl32:
183; CHECK-NEXT: .param i32{{$}}
184; CHECK-NEXT: .param i32{{$}}
185; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]186; CHECK-NEXT: .local i32, i32, i32{{$}}
187; CHECK-NEXT: get_local 1{{$}}
188; CHECK-NEXT: set_local 2, pop{{$}}
189; CHECK-NEXT: get_local 0{{$}}
190; CHECK-NEXT: set_local 3, pop{{$}}
191; CHECK-NEXT: shl (get_local 3), (get_local 2){{$}}
192; CHECK-NEXT: set_local 4, pop{{$}}
193; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]194define i32 @shl32(i32 %x, i32 %y) {
195 %a = shl i32 %x, %y
196 ret i32 %a
197}
198
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]199; CHECK-LABEL: shr32:
200; CHECK-NEXT: .param i32{{$}}
201; CHECK-NEXT: .param i32{{$}}
202; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]203; CHECK-NEXT: .local i32, i32, i32{{$}}
204; CHECK-NEXT: get_local 1{{$}}
205; CHECK-NEXT: set_local 2, pop{{$}}
206; CHECK-NEXT: get_local 0{{$}}
207; CHECK-NEXT: set_local 3, pop{{$}}
208; CHECK-NEXT: shr_u (get_local 3), (get_local 2){{$}}
209; CHECK-NEXT: set_local 4, pop{{$}}
210; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]211define i32 @shr32(i32 %x, i32 %y) {
212 %a = lshr i32 %x, %y
213 ret i32 %a
214}
215
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]216; CHECK-LABEL: sar32:
217; CHECK-NEXT: .param i32{{$}}
218; CHECK-NEXT: .param i32{{$}}
219; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]220; CHECK-NEXT: .local i32, i32, i32{{$}}
221; CHECK-NEXT: get_local 1{{$}}
222; CHECK-NEXT: set_local 2, pop{{$}}
223; CHECK-NEXT: get_local 0{{$}}
224; CHECK-NEXT: set_local 3, pop{{$}}
225; CHECK-NEXT: shr_s (get_local 3), (get_local 2){{$}}
226; CHECK-NEXT: set_local 4, pop{{$}}
227; CHECK-NEXT: return (get_local 4){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]228define i32 @sar32(i32 %x, i32 %y) {
229 %a = ashr i32 %x, %y
230 ret i32 %a
231}
232
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]233; CHECK-LABEL: clz32:
234; CHECK-NEXT: .param i32{{$}}
235; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]236; CHECK-NEXT: .local i32, i32{{$}}
237; CHECK-NEXT: get_local 0{{$}}
238; CHECK-NEXT: set_local 1, pop{{$}}
239; CHECK-NEXT: clz (get_local 1){{$}}
240; CHECK-NEXT: set_local 2, pop{{$}}
241; CHECK-NEXT: return (get_local 2){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]242define i32 @clz32(i32 %x) {
243 %a = call i32 @llvm.ctlz.i32(i32 %x, i1 false)
244 ret i32 %a
245}
246
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]247; CHECK-LABEL: clz32_zero_undef:
248; CHECK-NEXT: .param i32{{$}}
249; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]250; CHECK-NEXT: .local i32, i32{{$}}
251; CHECK-NEXT: get_local 0{{$}}
252; CHECK-NEXT: set_local 1, pop{{$}}
253; CHECK-NEXT: clz (get_local 1){{$}}
254; CHECK-NEXT: set_local 2, pop{{$}}
255; CHECK-NEXT: return (get_local 2){{$}}
Dan Gohman08fc9662015-08-24 16:39:37 +0000[diff] [blame]256define i32 @clz32_zero_undef(i32 %x) {
257 %a = call i32 @llvm.ctlz.i32(i32 %x, i1 true)
258 ret i32 %a
259}
260
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]261; CHECK-LABEL: ctz32:
262; CHECK-NEXT: .param i32{{$}}
263; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]264; CHECK-NEXT: .local i32, i32{{$}}
265; CHECK-NEXT: get_local 0{{$}}
266; CHECK-NEXT: set_local 1, pop{{$}}
267; CHECK-NEXT: ctz (get_local 1){{$}}
268; CHECK-NEXT: set_local 2, pop{{$}}
269; CHECK-NEXT: return (get_local 2){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]270define i32 @ctz32(i32 %x) {
271 %a = call i32 @llvm.cttz.i32(i32 %x, i1 false)
272 ret i32 %a
273}
274
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]275; CHECK-LABEL: ctz32_zero_undef:
276; CHECK-NEXT: .param i32{{$}}
277; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]278; CHECK-NEXT: .local i32, i32{{$}}
279; CHECK-NEXT: get_local 0{{$}}
280; CHECK-NEXT: set_local 1, pop{{$}}
281; CHECK-NEXT: ctz (get_local 1){{$}}
282; CHECK-NEXT: set_local 2, pop{{$}}
283; CHECK-NEXT: return (get_local 2){{$}}
Dan Gohman08fc9662015-08-24 16:39:37 +0000[diff] [blame]284define i32 @ctz32_zero_undef(i32 %x) {
285 %a = call i32 @llvm.cttz.i32(i32 %x, i1 true)
286 ret i32 %a
287}
288
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]289; CHECK-LABEL: popcnt32:
290; CHECK-NEXT: .param i32{{$}}
291; CHECK-NEXT: .result i32{{$}}
JF Bastien1d20a5e2015-10-16 00:53:49 +0000[diff] [blame]292; CHECK-NEXT: .local i32, i32{{$}}
293; CHECK-NEXT: get_local 0{{$}}
294; CHECK-NEXT: set_local 1, pop{{$}}
295; CHECK-NEXT: popcnt (get_local 1){{$}}
296; CHECK-NEXT: set_local 2, pop{{$}}
297; CHECK-NEXT: return (get_local 2){{$}}
JF Bastien600aee92015-07-31 17:53:38 +0000[diff] [blame]298define i32 @popcnt32(i32 %x) {
299 %a = call i32 @llvm.ctpop.i32(i32 %x)
300 ret i32 %a
301}