xref: /llvm-project/llvm/test/CodeGen/WebAssembly/libcalls.ll (revision e665e781dc3f8fac0400f6ac8e168805b0cdf74a) 
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -disable-wasm-fallthrough-return-opt -wasm-keep-registers | FileCheck %s
3
4; Test a subset of compiler-rt/libm libcalls expected to be emitted by the wasm backend
5
6target triple = "wasm32-unknown-unknown"
7
8declare fp128 @llvm.sqrt.f128(fp128)
9declare fp128 @llvm.floor.f128(fp128)
10declare fp128 @llvm.trunc.f128(fp128)
11declare fp128 @llvm.nearbyint.f128(fp128)
12declare fp128 @llvm.pow.f128(fp128, fp128)
13declare fp128 @llvm.powi.f128.i32(fp128, i32)
14
15declare double @llvm.tan.f64(double)
16declare double @llvm.cos.f64(double)
17declare double @llvm.log10.f64(double)
18declare double @llvm.pow.f64(double, double)
19declare double @llvm.powi.f64.i32(double, i32)
20declare double @llvm.log.f64(double)
21declare double @llvm.exp.f64(double)
22declare double @llvm.exp10.f64(double)
23declare double @llvm.ldexp.f64.i32(double, i32)
24declare {double, i32} @llvm.frexp.f64.i32(double)
25declare i32 @llvm.lround(double)
26
27declare void @escape_value(i32)
28
29define fp128 @fp128libcalls(fp128 %x, fp128 %y, i32 %z) {
30  ; compiler-rt call
31; CHECK-LABEL: fp128libcalls:
32; CHECK:         .functype fp128libcalls (i32, i64, i64, i64, i64, i32) -> ()
33; CHECK-NEXT:    .local i32
34; CHECK-NEXT:  # %bb.0:
35; CHECK-NEXT:    global.get $push18=, __stack_pointer
36; CHECK-NEXT:    i32.const $push19=, 144
37; CHECK-NEXT:    i32.sub $push39=, $pop18, $pop19
38; CHECK-NEXT:    local.tee $push38=, 6, $pop39
39; CHECK-NEXT:    global.set __stack_pointer, $pop38
40; CHECK-NEXT:    local.get $push40=, 6
41; CHECK-NEXT:    i32.const $push36=, 128
42; CHECK-NEXT:    i32.add $push37=, $pop40, $pop36
43; CHECK-NEXT:    local.get $push44=, 1
44; CHECK-NEXT:    local.get $push43=, 2
45; CHECK-NEXT:    local.get $push42=, 3
46; CHECK-NEXT:    local.get $push41=, 4
47; CHECK-NEXT:    call __addtf3, $pop37, $pop44, $pop43, $pop42, $pop41
48; CHECK-NEXT:    local.get $push45=, 6
49; CHECK-NEXT:    i32.const $push34=, 112
50; CHECK-NEXT:    i32.add $push35=, $pop45, $pop34
51; CHECK-NEXT:    local.get $push46=, 6
52; CHECK-NEXT:    i64.load $push1=, 128($pop46)
53; CHECK-NEXT:    local.get $push47=, 6
54; CHECK-NEXT:    i64.load $push0=, 136($pop47)
55; CHECK-NEXT:    local.get $push49=, 3
56; CHECK-NEXT:    local.get $push48=, 4
57; CHECK-NEXT:    call __multf3, $pop35, $pop1, $pop0, $pop49, $pop48
58; CHECK-NEXT:    local.get $push50=, 6
59; CHECK-NEXT:    i32.const $push32=, 96
60; CHECK-NEXT:    i32.add $push33=, $pop50, $pop32
61; CHECK-NEXT:    local.get $push51=, 6
62; CHECK-NEXT:    i64.load $push3=, 112($pop51)
63; CHECK-NEXT:    local.get $push52=, 6
64; CHECK-NEXT:    i64.load $push2=, 120($pop52)
65; CHECK-NEXT:    local.get $push54=, 3
66; CHECK-NEXT:    local.get $push53=, 4
67; CHECK-NEXT:    call __divtf3, $pop33, $pop3, $pop2, $pop54, $pop53
68; CHECK-NEXT:    local.get $push55=, 6
69; CHECK-NEXT:    i32.const $push30=, 80
70; CHECK-NEXT:    i32.add $push31=, $pop55, $pop30
71; CHECK-NEXT:    local.get $push56=, 6
72; CHECK-NEXT:    i64.load $push5=, 96($pop56)
73; CHECK-NEXT:    local.get $push57=, 6
74; CHECK-NEXT:    i64.load $push4=, 104($pop57)
75; CHECK-NEXT:    call sqrtl, $pop31, $pop5, $pop4
76; CHECK-NEXT:    local.get $push58=, 6
77; CHECK-NEXT:    i32.const $push28=, 64
78; CHECK-NEXT:    i32.add $push29=, $pop58, $pop28
79; CHECK-NEXT:    local.get $push59=, 6
80; CHECK-NEXT:    i64.load $push7=, 80($pop59)
81; CHECK-NEXT:    local.get $push60=, 6
82; CHECK-NEXT:    i64.load $push6=, 88($pop60)
83; CHECK-NEXT:    call floorl, $pop29, $pop7, $pop6
84; CHECK-NEXT:    local.get $push61=, 6
85; CHECK-NEXT:    i32.const $push26=, 48
86; CHECK-NEXT:    i32.add $push27=, $pop61, $pop26
87; CHECK-NEXT:    local.get $push62=, 6
88; CHECK-NEXT:    i64.load $push9=, 64($pop62)
89; CHECK-NEXT:    local.get $push63=, 6
90; CHECK-NEXT:    i64.load $push8=, 72($pop63)
91; CHECK-NEXT:    local.get $push65=, 3
92; CHECK-NEXT:    local.get $push64=, 4
93; CHECK-NEXT:    call powl, $pop27, $pop9, $pop8, $pop65, $pop64
94; CHECK-NEXT:    local.get $push66=, 6
95; CHECK-NEXT:    i32.const $push24=, 32
96; CHECK-NEXT:    i32.add $push25=, $pop66, $pop24
97; CHECK-NEXT:    local.get $push67=, 6
98; CHECK-NEXT:    i64.load $push11=, 48($pop67)
99; CHECK-NEXT:    local.get $push68=, 6
100; CHECK-NEXT:    i64.load $push10=, 56($pop68)
101; CHECK-NEXT:    local.get $push69=, 5
102; CHECK-NEXT:    call __powitf2, $pop25, $pop11, $pop10, $pop69
103; CHECK-NEXT:    local.get $push70=, 6
104; CHECK-NEXT:    i32.const $push22=, 16
105; CHECK-NEXT:    i32.add $push23=, $pop70, $pop22
106; CHECK-NEXT:    local.get $push71=, 6
107; CHECK-NEXT:    i64.load $push13=, 32($pop71)
108; CHECK-NEXT:    local.get $push72=, 6
109; CHECK-NEXT:    i64.load $push12=, 40($pop72)
110; CHECK-NEXT:    call truncl, $pop23, $pop13, $pop12
111; CHECK-NEXT:    local.get $push75=, 6
112; CHECK-NEXT:    local.get $push73=, 6
113; CHECK-NEXT:    i64.load $push15=, 16($pop73)
114; CHECK-NEXT:    local.get $push74=, 6
115; CHECK-NEXT:    i64.load $push14=, 24($pop74)
116; CHECK-NEXT:    call nearbyintl, $pop75, $pop15, $pop14
117; CHECK-NEXT:    local.get $push77=, 0
118; CHECK-NEXT:    local.get $push76=, 6
119; CHECK-NEXT:    i64.load $push16=, 8($pop76)
120; CHECK-NEXT:    i64.store 8($pop77), $pop16
121; CHECK-NEXT:    local.get $push79=, 0
122; CHECK-NEXT:    local.get $push78=, 6
123; CHECK-NEXT:    i64.load $push17=, 0($pop78)
124; CHECK-NEXT:    i64.store 0($pop79), $pop17
125; CHECK-NEXT:    local.get $push80=, 6
126; CHECK-NEXT:    i32.const $push20=, 144
127; CHECK-NEXT:    i32.add $push21=, $pop80, $pop20
128; CHECK-NEXT:    global.set __stack_pointer, $pop21
129; CHECK-NEXT:    return
130  %a = fadd fp128 %x, %y
131  %b = fmul fp128 %a, %y
132  %c = fdiv fp128 %b, %y
133  ; libm calls
134  %d = call fp128 @llvm.sqrt.f128(fp128 %c)
135  %e = call fp128 @llvm.floor.f128(fp128 %d)
136  %f = call fp128 @llvm.pow.f128(fp128 %e, fp128 %y)
137  %g = call fp128 @llvm.powi.f128.i32(fp128 %f, i32 %z)
138  %h = call fp128 @llvm.trunc.f128(fp128 %g)
139  %i = call fp128 @llvm.nearbyint.f128(fp128 %h)
140  ret fp128 %i
141}
142
143define i128 @i128libcalls(i128 %x, i128 %y) {
144  ; Basic ops should be expanded
145; CHECK-LABEL: i128libcalls:
146; CHECK:         .functype i128libcalls (i32, i64, i64, i64, i64) -> ()
147; CHECK-NEXT:    .local i32, i64
148; CHECK-NEXT:  # %bb.0:
149; CHECK-NEXT:    global.get $push8=, __stack_pointer
150; CHECK-NEXT:    i32.const $push9=, 32
151; CHECK-NEXT:    i32.sub $push17=, $pop8, $pop9
152; CHECK-NEXT:    local.tee $push16=, 5, $pop17
153; CHECK-NEXT:    global.set __stack_pointer, $pop16
154; CHECK-NEXT:    local.get $push18=, 5
155; CHECK-NEXT:    i32.const $push12=, 16
156; CHECK-NEXT:    i32.add $push13=, $pop18, $pop12
157; CHECK-NEXT:    local.get $push20=, 1
158; CHECK-NEXT:    local.get $push19=, 3
159; CHECK-NEXT:    i64.add $push15=, $pop20, $pop19
160; CHECK-NEXT:    local.tee $push14=, 6, $pop15
161; CHECK-NEXT:    local.get $push22=, 2
162; CHECK-NEXT:    local.get $push21=, 4
163; CHECK-NEXT:    i64.add $push0=, $pop22, $pop21
164; CHECK-NEXT:    local.get $push24=, 6
165; CHECK-NEXT:    local.get $push23=, 1
166; CHECK-NEXT:    i64.lt_u $push1=, $pop24, $pop23
167; CHECK-NEXT:    i64.extend_i32_u $push2=, $pop1
168; CHECK-NEXT:    i64.add $push3=, $pop0, $pop2
169; CHECK-NEXT:    local.get $push26=, 3
170; CHECK-NEXT:    local.get $push25=, 4
171; CHECK-NEXT:    call __multi3, $pop13, $pop14, $pop3, $pop26, $pop25
172; CHECK-NEXT:    local.get $push31=, 5
173; CHECK-NEXT:    local.get $push27=, 5
174; CHECK-NEXT:    i64.load $push5=, 16($pop27)
175; CHECK-NEXT:    local.get $push28=, 5
176; CHECK-NEXT:    i64.load $push4=, 24($pop28)
177; CHECK-NEXT:    local.get $push30=, 3
178; CHECK-NEXT:    local.get $push29=, 4
179; CHECK-NEXT:    call __umodti3, $pop31, $pop5, $pop4, $pop30, $pop29
180; CHECK-NEXT:    local.get $push33=, 0
181; CHECK-NEXT:    local.get $push32=, 5
182; CHECK-NEXT:    i64.load $push6=, 8($pop32)
183; CHECK-NEXT:    i64.store 8($pop33), $pop6
184; CHECK-NEXT:    local.get $push35=, 0
185; CHECK-NEXT:    local.get $push34=, 5
186; CHECK-NEXT:    i64.load $push7=, 0($pop34)
187; CHECK-NEXT:    i64.store 0($pop35), $pop7
188; CHECK-NEXT:    local.get $push36=, 5
189; CHECK-NEXT:    i32.const $push10=, 32
190; CHECK-NEXT:    i32.add $push11=, $pop36, $pop10
191; CHECK-NEXT:    global.set __stack_pointer, $pop11
192; CHECK-NEXT:    return
193  %a = add i128 %x, %y
194  %b = mul i128 %a, %y
195  %c = urem i128 %b, %y
196  ret i128 %c
197}
198
199define double @f64libcalls(double %x, double %y, i32 %z) {
200; CHECK-LABEL: f64libcalls:
201; CHECK:         .functype f64libcalls (f64, f64, i32) -> (f64)
202; CHECK-NEXT:    .local i32
203; CHECK-NEXT:  # %bb.0:
204; CHECK-NEXT:    global.get $push12=, __stack_pointer
205; CHECK-NEXT:    i32.const $push13=, 16
206; CHECK-NEXT:    i32.sub $push19=, $pop12, $pop13
207; CHECK-NEXT:    local.tee $push18=, 3, $pop19
208; CHECK-NEXT:    global.set __stack_pointer, $pop18
209; CHECK-NEXT:    local.get $push23=, 0
210; CHECK-NEXT:    local.get $push20=, 0
211; CHECK-NEXT:    call $push0=, tan, $pop20
212; CHECK-NEXT:    call $push1=, cos, $pop0
213; CHECK-NEXT:    call $push2=, log10, $pop1
214; CHECK-NEXT:    local.get $push21=, 1
215; CHECK-NEXT:    call $push3=, pow, $pop2, $pop21
216; CHECK-NEXT:    local.get $push22=, 2
217; CHECK-NEXT:    call $push4=, __powidf2, $pop3, $pop22
218; CHECK-NEXT:    call $push5=, log, $pop4
219; CHECK-NEXT:    call $push6=, exp, $pop5
220; CHECK-NEXT:    call $push7=, exp10, $pop6
221; CHECK-NEXT:    call $push8=, cbrt, $pop7
222; CHECK-NEXT:    call $push9=, lround, $pop8
223; CHECK-NEXT:    call $push10=, ldexp, $pop23, $pop9
224; CHECK-NEXT:    local.get $push24=, 3
225; CHECK-NEXT:    i32.const $push16=, 12
226; CHECK-NEXT:    i32.add $push17=, $pop24, $pop16
227; CHECK-NEXT:    call $push25=, frexp, $pop10, $pop17
228; CHECK-NEXT:    local.set 0, $pop25
229; CHECK-NEXT:    local.get $push26=, 3
230; CHECK-NEXT:    i32.load $push11=, 12($pop26)
231; CHECK-NEXT:    call escape_value, $pop11
232; CHECK-NEXT:    local.get $push27=, 3
233; CHECK-NEXT:    i32.const $push14=, 16
234; CHECK-NEXT:    i32.add $push15=, $pop27, $pop14
235; CHECK-NEXT:    global.set __stack_pointer, $pop15
236; CHECK-NEXT:    local.get $push28=, 0
237; CHECK-NEXT:    return $pop28
238
239
240 %k = call double @llvm.tan.f64(double %x)
241 %a = call double @llvm.cos.f64(double %k)
242 %b = call double @llvm.log10.f64(double %a)
243 %c = call double @llvm.pow.f64(double %b, double %y)
244 %d = call double @llvm.powi.f64.i32(double %c, i32 %z)
245 %e = call double @llvm.log.f64(double %d)
246 %f = call double @llvm.exp.f64(double %e)
247 %g = call double @llvm.exp10.f64(double %f)
248 %h = call fast double @llvm.pow.f64(double %g, double 0x3FD5555555555555)
249 %i = call i32 @llvm.lround(double %h)
250 %j = call double @llvm.ldexp.f64.i32(double %x, i32 %i);
251 %result = call {double, i32} @llvm.frexp.f64.i32(double %j)
252 %result.0 = extractvalue { double, i32 } %result, 0
253 %result.1 = extractvalue { double, i32 } %result, 1
254 call void @escape_value(i32 %result.1)
255 ret double %result.0
256}
257
258; fcmp ord and unord (RTLIB::O_F32 / RTLIB::UO_F32 etc) are a special case (see
259; comment in WebAssemblyRunimeLibcallSignatures.cpp) so check them separately.
260; no libcalls are needed for f32 and f64
261
262define i1 @unordd(double %x, double %y) {
263; CHECK-LABEL: unordd:
264; CHECK:         .functype unordd (f64, f64) -> (i32)
265; CHECK-NEXT:  # %bb.0:
266; CHECK-NEXT:    local.get $push8=, 0
267; CHECK-NEXT:    local.get $push7=, 0
268; CHECK-NEXT:    f64.ne $push4=, $pop8, $pop7
269; CHECK-NEXT:    local.get $push10=, 1
270; CHECK-NEXT:    local.get $push9=, 1
271; CHECK-NEXT:    f64.ne $push3=, $pop10, $pop9
272; CHECK-NEXT:    i32.or $push5=, $pop4, $pop3
273; CHECK-NEXT:    local.get $push12=, 0
274; CHECK-NEXT:    local.get $push11=, 0
275; CHECK-NEXT:    f64.eq $push1=, $pop12, $pop11
276; CHECK-NEXT:    local.get $push14=, 1
277; CHECK-NEXT:    local.get $push13=, 1
278; CHECK-NEXT:    f64.eq $push0=, $pop14, $pop13
279; CHECK-NEXT:    i32.and $push2=, $pop1, $pop0
280; CHECK-NEXT:    i32.xor $push6=, $pop5, $pop2
281; CHECK-NEXT:    return $pop6
282 %a = fcmp uno double %x, %y
283 %b = fcmp ord double %x, %y
284 %c = xor i1 %a, %b
285 ret i1 %c
286}
287
288define i1 @unordf(float %x, float %y) {
289; CHECK-LABEL: unordf:
290; CHECK:         .functype unordf (f32, f32) -> (i32)
291; CHECK-NEXT:  # %bb.0:
292; CHECK-NEXT:    local.get $push8=, 0
293; CHECK-NEXT:    local.get $push7=, 0
294; CHECK-NEXT:    f32.ne $push4=, $pop8, $pop7
295; CHECK-NEXT:    local.get $push10=, 1
296; CHECK-NEXT:    local.get $push9=, 1
297; CHECK-NEXT:    f32.ne $push3=, $pop10, $pop9
298; CHECK-NEXT:    i32.or $push5=, $pop4, $pop3
299; CHECK-NEXT:    local.get $push12=, 0
300; CHECK-NEXT:    local.get $push11=, 0
301; CHECK-NEXT:    f32.eq $push1=, $pop12, $pop11
302; CHECK-NEXT:    local.get $push14=, 1
303; CHECK-NEXT:    local.get $push13=, 1
304; CHECK-NEXT:    f32.eq $push0=, $pop14, $pop13
305; CHECK-NEXT:    i32.and $push2=, $pop1, $pop0
306; CHECK-NEXT:    i32.xor $push6=, $pop5, $pop2
307; CHECK-NEXT:    return $pop6
308 %a = fcmp uno float %x, %y
309 %b = fcmp ord float %x, %y
310 %c = xor i1 %a, %b
311 ret i1 %c
312}
313
314define i1 @unordt(fp128 %x, fp128 %y) {
315; CHECK-LABEL: unordt:
316; CHECK:         .functype unordt (i64, i64, i64, i64) -> (i32)
317; CHECK-NEXT:  # %bb.0:
318; CHECK-NEXT:    local.get $push6=, 0
319; CHECK-NEXT:    local.get $push5=, 1
320; CHECK-NEXT:    local.get $push4=, 2
321; CHECK-NEXT:    local.get $push3=, 3
322; CHECK-NEXT:    call $push1=, __unordtf2, $pop6, $pop5, $pop4, $pop3
323; CHECK-NEXT:    i32.const $push0=, 0
324; CHECK-NEXT:    i32.ne $push2=, $pop1, $pop0
325; CHECK-NEXT:    return $pop2
326 %a = fcmp uno fp128 %x, %y
327 ret i1 %a
328}
329
330define i1 @ordt(fp128 %x, fp128 %y) {
331; CHECK-LABEL: ordt:
332; CHECK:         .functype ordt (i64, i64, i64, i64) -> (i32)
333; CHECK-NEXT:  # %bb.0:
334; CHECK-NEXT:    local.get $push5=, 0
335; CHECK-NEXT:    local.get $push4=, 1
336; CHECK-NEXT:    local.get $push3=, 2
337; CHECK-NEXT:    local.get $push2=, 3
338; CHECK-NEXT:    call $push0=, __unordtf2, $pop5, $pop4, $pop3, $pop2
339; CHECK-NEXT:    i32.eqz $push1=, $pop0
340; CHECK-NEXT:    return $pop1
341 %a = fcmp ord fp128 %x, %y
342 ret i1 %a
343}
344