Skip to content

Commit a30caa6

Browse files
sbc100sbc100
authored
[WebAssembly] Add missing tests from #133289 (#133938)
1 parent 7d91c4f commit a30caa6

File tree

1 file changed

+352
-0
lines changed

1 file changed

+352
-0
lines changed

‎llvm/test/CodeGen/WebAssembly/libcalls64.ll

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

0 commit comments

Comments
 (0)