Lines Matching full:wasm
7 declare i32 @llvm.wasm.trunc.signed.i32.f32(float)
8 declare i32 @llvm.wasm.trunc.unsigned.i32.f32(float)
9 declare i32 @llvm.wasm.trunc.signed.i32.f64(double)
10 declare i32 @llvm.wasm.trunc.unsigned.i32.f64(double)
11 declare i64 @llvm.wasm.trunc.signed.i64.f32(float)
12 declare i64 @llvm.wasm.trunc.unsigned.i64.f32(float)
13 declare i64 @llvm.wasm.trunc.signed.i64.f64(double)
14 declare i64 @llvm.wasm.trunc.unsigned.i64.f64(double)
32 ; CHECK-NEXT: [[T14:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0x41E0000000000000)
34 ; CHECK-NEXT: [[T15:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xC1E0000020000000)
36 ; CHECK-NEXT: [[T16:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0x7FF0000000000000)
38 ; CHECK-NEXT: [[T17:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xFFF0000000000000)
40 ; CHECK-NEXT: [[T18:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0x7FF8000000000000)
42 ; CHECK-NEXT: [[T19:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0x7FFA000000000000)
44 ; CHECK-NEXT: [[T20:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xFFF8000000000000)
46 ; CHECK-NEXT: [[T21:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xFFFA000000000000)
50 %t0 = call i32 @llvm.wasm.trunc.signed.i32.f32(float +0.0)
52 %t1 = call i32 @llvm.wasm.trunc.signed.i32.f32(float -0.0)
54 %t2 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0x36a0000000000000); 0x1p-149
56 %t3 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xb6a0000000000000); -0x1p-149
58 %t4 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 1.0)
60 %t5 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0x3ff19999a0000000); 0x1.19999ap+0
62 %t6 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 1.5)
64 %t7 = call i32 @llvm.wasm.trunc.signed.i32.f32(float -1.0)
66 %t8 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xbff19999a0000000); -0x1.19999ap+0
68 %t9 = call i32 @llvm.wasm.trunc.signed.i32.f32(float -1.5)
70 %t10 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xbffe666660000000); -1.9
72 %t11 = call i32 @llvm.wasm.trunc.signed.i32.f32(float -2.0)
74 %t12 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 2147483520.0)
76 %t13 = call i32 @llvm.wasm.trunc.signed.i32.f32(float -2147483648.0)
78 %t14 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 2147483648.0)
80 %t15 = call i32 @llvm.wasm.trunc.signed.i32.f32(float -2147483904.0)
82 %t16 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0x7ff0000000000000); inf
84 %t17 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xfff0000000000000); -inf
86 %t18 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0x7ff8000000000000); nan
88 %t19 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0x7ffa000000000000); nan:0x200000
90 %t20 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xfff8000000000000); -nan
92 %t21 = call i32 @llvm.wasm.trunc.signed.i32.f32(float 0xfffa000000000000); -nan:0x200000
112 ; CHECK-NEXT: [[T13:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x41F0000000000000)
114 ; CHECK-NEXT: [[T14:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float -1.000000e+00)
116 ; CHECK-NEXT: [[T15:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x7FF0000000000000)
118 ; CHECK-NEXT: [[T16:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0xFFF0000000000000)
120 ; CHECK-NEXT: [[T17:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x7FF8000000000000)
122 ; CHECK-NEXT: [[T18:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x7FFA000000000000)
124 ; CHECK-NEXT: [[T19:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0xFFF8000000000000)
126 ; CHECK-NEXT: [[T20:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0xFFFA000000000000)
130 %t0 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float +0.0)
132 %t1 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float -0.0)
134 %t2 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x36a0000000000000); 0x1p-149
136 %t3 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0xb6a0000000000000); -0x1p-149
138 %t4 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 1.0)
140 %t5 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x3ff19999a0000000); 0x1.19999ap+0
142 %t6 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 1.5)
144 %t7 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x3ffe666660000000); 1.9
146 %t8 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 2.0)
148 %t9 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 2147483648.0)
150 %t10 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 4294967040.0)
152 %t11 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0xbfecccccc0000000); -0x1.ccccccp-1
154 %t12 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0xbfefffffe0000000); -0x1.fffffep-1
156 %t13 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 4294967296.0)
158 %t14 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float -1.0)
160 %t15 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x7ff0000000000000); inf
162 %t16 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0xfff0000000000000); -inf
164 %t17 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x7ff8000000000000); nan
166 %t18 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0x7ffa000000000000); nan:0x200000
168 %t19 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0xfff8000000000000); -nan
170 %t20 = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float 0xfffa000000000000); -nan:0x200000
193 ; CHECK-NEXT: [[T16:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x41E0000000000000)
195 ; CHECK-NEXT: [[T17:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0xC1E0000000200000)
197 ; CHECK-NEXT: [[T18:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x7FF0000000000000)
199 ; CHECK-NEXT: [[T19:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0xFFF0000000000000)
201 ; CHECK-NEXT: [[T20:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x7FF8000000000000)
203 ; CHECK-NEXT: [[T21:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x7FF4000000000000)
205 ; CHECK-NEXT: [[T22:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0xFFF8000000000000)
207 ; CHECK-NEXT: [[T23:%.*]] = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x7FF4000000000000)
211 %t0 = call i32 @llvm.wasm.trunc.signed.i32.f64(double +0.0)
213 %t1 = call i32 @llvm.wasm.trunc.signed.i32.f64(double -0.0)
215 %t2 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x0010000000000001); 0x0.0000000000001p-1022
217 …%t3 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x8010000000000001); -0x1.0000000000001p-1022
219 %t4 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 1.0)
221 %t5 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x3ff199999999999a); 0x1.199999999999ap+0
223 %t6 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 1.5)
225 %t7 = call i32 @llvm.wasm.trunc.signed.i32.f64(double -1.0)
227 %t8 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0xbff199999999999a); -0x1.199999999999ap+0
229 %t9 = call i32 @llvm.wasm.trunc.signed.i32.f64(double -1.5)
231 %t10 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0xbffe666666666666); -1.9
233 %t11 = call i32 @llvm.wasm.trunc.signed.i32.f64(double -2.0)
235 %t12 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 2147483647.0)
237 %t13 = call i32 @llvm.wasm.trunc.signed.i32.f64(double -2147483648.0)
239 %t14 = call i32 @llvm.wasm.trunc.signed.i32.f64(double -2147483648.9)
241 %t15 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 2147483647.9)
243 %t16 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 2147483648.0)
245 %t17 = call i32 @llvm.wasm.trunc.signed.i32.f64(double -2147483649.0)
247 %t18 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x7ff0000000000000); inf
249 %t19 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0xfff0000000000000); -inf
251 %t20 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x7ff8000000000000); nan
253 %t21 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x7ff4000000000000); nan:0x4000000000000
255 %t22 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0xfff8000000000000); -nan
257 %t23 = call i32 @llvm.wasm.trunc.signed.i32.f64(double 0x7ff4000000000000); -nan:0x4000000000000
279 ; CHECK-NEXT: [[T15:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x41F0000000000000)
281 ; CHECK-NEXT: [[T16:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double -1.000000e+00)
283 ; CHECK-NEXT: [[T17:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 1.000000e+16)
285 ; CHECK-NEXT: [[T18:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 1.000000e+30)
287 ; CHECK-NEXT: [[T19:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x43E0000000000000)
289 ; CHECK-NEXT: [[T20:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x7FF0000000000000)
291 ; CHECK-NEXT: [[T21:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0xFFF0000000000000)
293 ; CHECK-NEXT: [[T22:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x7FF8000000000000)
295 ; CHECK-NEXT: [[T23:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x7FF4000000000000)
297 ; CHECK-NEXT: [[T24:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0xFFF8000000000000)
299 ; CHECK-NEXT: [[T25:%.*]] = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0xFFF4000000000000)
303 %t0 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double +0.0)
305 %t1 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double -0.0)
307 …%t2 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x0010000000000001); 0x0.0000000000001p-10…
309 …%t3 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x8010000000000001); -0x0.0000000000001p-1…
311 %t4 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 1.0)
313 %t5 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x3ff199999999999a); 0x1.199999999999ap+0
315 %t6 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 1.5)
317 %t7 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x3ffe666666666666); 1.9
319 %t8 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 2.0)
321 %t9 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 2147483648.0)
323 %t10 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 4294967295.0)
325 …%t11 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0xbfeccccccccccccd); -0x1.ccccccccccccdp-1
327 …%t12 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0xbfefffffffffffff); -0x1.fffffffffffffp-1
329 %t13 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 100000000.0)
331 %t14 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 4294967295.9)
333 %t15 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 4294967296.0)
335 %t16 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double -1.0)
337 %t17 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 10000000000000000.0); 1e16
339 %t18 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 1000000000000000000000000000000.0); 1e30
341 %t19 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 9223372036854775808.0)
343 %t20 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x7ff0000000000000); inf
345 %t21 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0xfff0000000000000); -inf
347 %t22 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x7ff8000000000000); nan
349 %t23 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0x7ff4000000000000); nan:0x4000000000000
351 %t24 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0xfff8000000000000); -nan
353 %t25 = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double 0xfff4000000000000); -nan:0x4000000000000
376 ; CHECK-NEXT: [[T16:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0x43E0000000000000)
378 ; CHECK-NEXT: [[T17:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xC3E0000020000000)
380 ; CHECK-NEXT: [[T18:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0x7FF0000000000000)
382 ; CHECK-NEXT: [[T19:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xFFF0000000000000)
384 ; CHECK-NEXT: [[T20:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0x7FF8000000000000)
386 ; CHECK-NEXT: [[T21:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0x7FFA000000000000)
388 ; CHECK-NEXT: [[T22:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xFFF8000000000000)
390 ; CHECK-NEXT: [[T23:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xFFFA000000000000)
394 %t0 = call i64 @llvm.wasm.trunc.signed.i64.f32(float +0.0)
396 %t1 = call i64 @llvm.wasm.trunc.signed.i64.f32(float -0.0)
398 %t2 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0x36a0000000000000); 0x1p-149
400 %t3 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xb6a0000000000000); -0x1p-149
402 %t4 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 1.0)
404 %t5 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0x3ff19999a0000000); 0x1.19999ap+0
406 %t6 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 1.5)
408 %t7 = call i64 @llvm.wasm.trunc.signed.i64.f32(float -1.0)
410 %t8 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xbff19999a0000000); -0x1.19999ap+0
412 %t9 = call i64 @llvm.wasm.trunc.signed.i64.f32(float -1.5)
414 %t10 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xbffe666660000000); -1.9
416 %t11 = call i64 @llvm.wasm.trunc.signed.i64.f32(float -2.0)
418 %t12 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 4294967296.0)
420 %t13 = call i64 @llvm.wasm.trunc.signed.i64.f32(float -4294967296.0)
422 %t14 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 9223371487098961920.0)
424 %t15 = call i64 @llvm.wasm.trunc.signed.i64.f32(float -9223372036854775808.0)
426 %t16 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 9223372036854775808.0)
428 %t17 = call i64 @llvm.wasm.trunc.signed.i64.f32(float -9223373136366403584.0)
430 %t18 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0x7ff0000000000000); inf
432 %t19 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xfff0000000000000); -inf
434 %t20 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0x7ff8000000000000); nan
436 %t21 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0x7ffa000000000000); nan:0x200000
438 %t22 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xfff8000000000000); -nan
440 %t23 = call i64 @llvm.wasm.trunc.signed.i64.f32(float 0xfffa000000000000); -nan:0x200000
458 ; CHECK-NEXT: [[T11:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0x43F0000000000000)
460 ; CHECK-NEXT: [[T12:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float -1.000000e+00)
462 ; CHECK-NEXT: [[T13:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0x7FF0000000000000)
464 ; CHECK-NEXT: [[T14:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0xFFF0000000000000)
466 ; CHECK-NEXT: [[T15:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0x7FF8000000000000)
468 ; CHECK-NEXT: [[T16:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0x7FFA000000000000)
470 ; CHECK-NEXT: [[T17:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0xFFF8000000000000)
472 ; CHECK-NEXT: [[T18:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0xFFFA000000000000)
476 %t0 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float +0.0)
478 %t1 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float -0.0)
480 %t2 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0x36a0000000000000); 0x1p-149
482 %t3 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0xb6a0000000000000); -0x1p-149
484 %t4 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 1.0)
486 %t5 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0x3ff19999a0000000); 0x1.19999ap+0
488 %t6 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 1.5)
490 %t7 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 4294967296.0)
492 %t8 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 18446742974197923840.0)
494 %t9 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0xbfecccccc0000000); -0x1.ccccccp-1
496 %t10 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0xbfefffffe0000000); -0x1.fffffep-1
498 %t11 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 18446744073709551616.0)
500 %t12 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float -1.0)
502 %t13 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0x7ff0000000000000); inf
504 %t14 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0xfff0000000000000); -inf
506 %t15 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0x7ff8000000000000); nan
508 %t16 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0x7ffa000000000000); nan:0x200000
510 %t17 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0xfff8000000000000); -nan
512 %t18 = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float 0xfffa000000000000); -nan:0x200000
535 ; CHECK-NEXT: [[T16:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x43E0000000000000)
537 ; CHECK-NEXT: [[T17:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0xC3E0000000000001)
539 ; CHECK-NEXT: [[T18:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x7FF0000000000000)
541 ; CHECK-NEXT: [[T19:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0xFFF0000000000000)
543 ; CHECK-NEXT: [[T20:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x7FF8000000000000)
545 ; CHECK-NEXT: [[T21:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x7FF4000000000000)
547 ; CHECK-NEXT: [[T22:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0xFFF8000000000000)
549 ; CHECK-NEXT: [[T23:%.*]] = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x7FF4000000000000)
553 %t0 = call i64 @llvm.wasm.trunc.signed.i64.f64(double +0.0)
555 %t1 = call i64 @llvm.wasm.trunc.signed.i64.f64(double -0.0)
557 %t2 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x0010000000000001); 0x0.0000000000001p-1022
559 …%t3 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x8010000000000001); -0x1.0000000000001p-1022
561 %t4 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 1.0)
563 %t5 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x3ff199999999999a); 0x1.199999999999ap+0
565 %t6 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 1.5)
567 %t7 = call i64 @llvm.wasm.trunc.signed.i64.f64(double -1.0)
569 %t8 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0xbff199999999999a); -0x1.199999999999ap+0
571 %t9 = call i64 @llvm.wasm.trunc.signed.i64.f64(double -1.5)
573 %t10 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0xbffe666666666666); -1.9
575 %t11 = call i64 @llvm.wasm.trunc.signed.i64.f64(double -2.0)
577 %t12 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 4294967296.0)
579 %t13 = call i64 @llvm.wasm.trunc.signed.i64.f64(double -4294967296.0)
581 %t14 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 9223372036854774784.0)
583 %t15 = call i64 @llvm.wasm.trunc.signed.i64.f64(double -9223372036854775808.0)
585 %t16 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 9223372036854775808.0)
587 %t17 = call i64 @llvm.wasm.trunc.signed.i64.f64(double -9223372036854777856.0)
589 %t18 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x7ff0000000000000); inf
591 %t19 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0xfff0000000000000); -inf
593 %t20 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x7ff8000000000000); nan
595 %t21 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x7ff4000000000000); nan:0x4000000000000
597 %t22 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0xfff8000000000000); -nan
599 %t23 = call i64 @llvm.wasm.trunc.signed.i64.f64(double 0x7ff4000000000000); -nan:0x4000000000000
621 ; CHECK-NEXT: [[T15:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x43F0000000000000)
623 ; CHECK-NEXT: [[T16:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double -1.000000e+00)
625 ; CHECK-NEXT: [[T17:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x7FF0000000000000)
627 ; CHECK-NEXT: [[T18:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0xFFF0000000000000)
629 ; CHECK-NEXT: [[T19:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x7FF8000000000000)
631 ; CHECK-NEXT: [[T20:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x7FF4000000000000)
633 ; CHECK-NEXT: [[T21:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0xFFF8000000000000)
635 ; CHECK-NEXT: [[T22:%.*]] = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0xFFF4000000000000)
639 %t0 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double +0.0)
641 %t1 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double -0.0)
643 …%t2 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x0010000000000001); 0x0.0000000000001p-10…
645 …%t3 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x8010000000000001); -0x0.0000000000001p-1…
647 %t4 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 1.0)
649 %t5 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x3ff199999999999a); 0x1.199999999999ap+0
651 %t6 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 1.5)
653 %t7 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 4294967295.0)
655 %t8 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 4294967296.0)
657 %t9 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 18446744073709549568.0)
659 …%t10 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0xbfeccccccccccccd); -0x1.ccccccccccccdp-1
661 …%t11 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0xbfefffffffffffff); -0x1.fffffffffffffp-1
663 %t12 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 100000000.0); 1e8
665 %t13 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 10000000000000000.0); 1e16
667 %t14 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 9223372036854775808.0);
669 %t15 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 18446744073709551616.0)
671 %t16 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double -1.0)
673 %t17 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x7ff0000000000000); inf
675 %t18 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0xfff0000000000000); -inf
677 %t19 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x7ff8000000000000); nan
679 %t20 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0x7ff4000000000000); nan:0x4000000000000
681 %t21 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0xfff8000000000000); -nan
683 %t22 = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double 0xfff4000000000000); -nan:0x4000000000000