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