1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
|
{"source_filename": "./float_exprs.wast",
"commands": [
{"type": "module", "line": 6, "filename": "float_exprs.0.wasm"},
{"type": "assert_return", "line": 11, "action": {"type": "invoke", "field": "f64.no_contraction", "args": [{"type": "f64", "value": "13369472591878845359"}, {"type": "f64", "value": "7598224971858294334"}, {"type": "f64", "value": "7009968021366006149"}]}, "expected": [{"type": "f64", "value": "16360919150252594323"}]},
{"type": "assert_return", "line": 12, "action": {"type": "invoke", "field": "f64.no_contraction", "args": [{"type": "f64", "value": "4845207016438394692"}, {"type": "f64", "value": "3163224970157846858"}, {"type": "f64", "value": "3251145870828527841"}]}, "expected": [{"type": "f64", "value": "3401457070760597396"}]},
{"type": "assert_return", "line": 13, "action": {"type": "invoke", "field": "f64.no_contraction", "args": [{"type": "f64", "value": "11159707324127586240"}, {"type": "f64", "value": "7011538096610110295"}, {"type": "f64", "value": "4140382893275160737"}]}, "expected": [{"type": "f64", "value": "13564076370790560102"}]},
{"type": "assert_return", "line": 14, "action": {"type": "invoke", "field": "f64.no_contraction", "args": [{"type": "f64", "value": "4300281701552927458"}, {"type": "f64", "value": "13379479906516703876"}, {"type": "f64", "value": "3629658278272971302"}]}, "expected": [{"type": "f64", "value": "13072631228492738408"}]},
{"type": "assert_return", "line": 15, "action": {"type": "invoke", "field": "f64.no_contraction", "args": [{"type": "f64", "value": "9554523352352050493"}, {"type": "f64", "value": "18042841594766434431"}, {"type": "f64", "value": "4368037109959396445"}]}, "expected": [{"type": "f64", "value": "4544162191519938727"}]},
{"type": "module", "line": 19, "filename": "float_exprs.1.wasm"},
{"type": "assert_return", "line": 26, "action": {"type": "invoke", "field": "f32.no_fma", "args": [{"type": "f32", "value": "2111029761"}, {"type": "f32", "value": "879215268"}, {"type": "f32", "value": "1967953261"}]}, "expected": [{"type": "f32", "value": "1968345878"}]},
{"type": "assert_return", "line": 27, "action": {"type": "invoke", "field": "f32.no_fma", "args": [{"type": "f32", "value": "838240978"}, {"type": "f32", "value": "2796592697"}, {"type": "f32", "value": "329493464"}]}, "expected": [{"type": "f32", "value": "2569667420"}]},
{"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "f32.no_fma", "args": [{"type": "f32", "value": "1381446097"}, {"type": "f32", "value": "962187981"}, {"type": "f32", "value": "1155576972"}]}, "expected": [{"type": "f32", "value": "1278680110"}]},
{"type": "assert_return", "line": 29, "action": {"type": "invoke", "field": "f32.no_fma", "args": [{"type": "f32", "value": "999635965"}, {"type": "f32", "value": "3403528619"}, {"type": "f32", "value": "3222888213"}]}, "expected": [{"type": "f32", "value": "3338748778"}]},
{"type": "assert_return", "line": 30, "action": {"type": "invoke", "field": "f32.no_fma", "args": [{"type": "f32", "value": "2123679707"}, {"type": "f32", "value": "2625733638"}, {"type": "f32", "value": "3500197619"}]}, "expected": [{"type": "f32", "value": "3684076259"}]},
{"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "f64.no_fma", "args": [{"type": "f64", "value": "7118716943724900052"}, {"type": "f64", "value": "6546073043412611735"}, {"type": "f64", "value": "18275705786238687882"}]}, "expected": [{"type": "f64", "value": "9054581441422375136"}]},
{"type": "assert_return", "line": 32, "action": {"type": "invoke", "field": "f64.no_fma", "args": [{"type": "f64", "value": "7984371788751700236"}, {"type": "f64", "value": "4021745400549737956"}, {"type": "f64", "value": "7188568268293775252"}]}, "expected": [{"type": "f64", "value": "7398962198428541884"}]},
{"type": "assert_return", "line": 33, "action": {"type": "invoke", "field": "f64.no_fma", "args": [{"type": "f64", "value": "1362668175782178275"}, {"type": "f64", "value": "18385570095786966502"}, {"type": "f64", "value": "5677031731722859914"}]}, "expected": [{"type": "f64", "value": "15141616602947129037"}]},
{"type": "assert_return", "line": 34, "action": {"type": "invoke", "field": "f64.no_fma", "args": [{"type": "f64", "value": "12093403956019835987"}, {"type": "f64", "value": "15826077508588652458"}, {"type": "f64", "value": "4856562394320338043"}]}, "expected": [{"type": "f64", "value": "4867219230351674394"}]},
{"type": "assert_return", "line": 35, "action": {"type": "invoke", "field": "f64.no_fma", "args": [{"type": "f64", "value": "4843589256781277081"}, {"type": "f64", "value": "7695653093478086834"}, {"type": "f64", "value": "16938438850771988744"}]}, "expected": [{"type": "f64", "value": "7932313162666085329"}]},
{"type": "module", "line": 40, "filename": "float_exprs.2.wasm"},
{"type": "assert_return", "line": 47, "action": {"type": "invoke", "field": "f32.no_fold_add_zero", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 48, "action": {"type": "invoke", "field": "f64.no_fold_add_zero", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "f32.no_fold_add_zero", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 50, "action": {"type": "invoke", "field": "f64.no_fold_add_zero", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 54, "filename": "float_exprs.3.wasm"},
{"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "f32.no_fold_zero_sub", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 62, "action": {"type": "invoke", "field": "f64.no_fold_zero_sub", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 63, "action": {"type": "invoke", "field": "f32.no_fold_zero_sub", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 64, "action": {"type": "invoke", "field": "f64.no_fold_zero_sub", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 68, "filename": "float_exprs.4.wasm"},
{"type": "assert_return", "line": 75, "action": {"type": "invoke", "field": "f32.no_fold_sub_zero", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "f64.no_fold_sub_zero", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 80, "filename": "float_exprs.5.wasm"},
{"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "f32.no_fold_mul_zero", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "f32.no_fold_mul_zero", "args": [{"type": "f32", "value": "3212836864"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 89, "action": {"type": "invoke", "field": "f32.no_fold_mul_zero", "args": [{"type": "f32", "value": "3221225472"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 90, "action": {"type": "invoke", "field": "f32.no_fold_mul_zero", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "f64.no_fold_mul_zero", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "f64.no_fold_mul_zero", "args": [{"type": "f64", "value": "13830554455654793216"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 93, "action": {"type": "invoke", "field": "f64.no_fold_mul_zero", "args": [{"type": "f64", "value": "13835058055282163712"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "f64.no_fold_mul_zero", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 99, "filename": "float_exprs.6.wasm"},
{"type": "assert_return", "line": 106, "action": {"type": "invoke", "field": "f32.no_fold_mul_one", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 107, "action": {"type": "invoke", "field": "f64.no_fold_mul_one", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 111, "filename": "float_exprs.7.wasm"},
{"type": "assert_return", "line": 118, "action": {"type": "invoke", "field": "f32.no_fold_zero_div", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 119, "action": {"type": "invoke", "field": "f32.no_fold_zero_div", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 120, "action": {"type": "invoke", "field": "f32.no_fold_zero_div", "args": [{"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 121, "action": {"type": "invoke", "field": "f32.no_fold_zero_div", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 122, "action": {"type": "invoke", "field": "f64.no_fold_zero_div", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "f64.no_fold_zero_div", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "f64.no_fold_zero_div", "args": [{"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "f64.no_fold_zero_div", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 129, "filename": "float_exprs.8.wasm"},
{"type": "assert_return", "line": 136, "action": {"type": "invoke", "field": "f32.no_fold_div_one", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 137, "action": {"type": "invoke", "field": "f64.no_fold_div_one", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 141, "filename": "float_exprs.9.wasm"},
{"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "f32.no_fold_div_neg1", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 149, "action": {"type": "invoke", "field": "f64.no_fold_div_neg1", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 153, "filename": "float_exprs.10.wasm"},
{"type": "assert_return", "line": 160, "action": {"type": "invoke", "field": "f32.no_fold_neg0_sub", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 161, "action": {"type": "invoke", "field": "f64.no_fold_neg0_sub", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 165, "filename": "float_exprs.11.wasm"},
{"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "f32.no_fold_neg1_mul", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 173, "action": {"type": "invoke", "field": "f64.no_fold_neg1_mul", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 177, "filename": "float_exprs.12.wasm"},
{"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "f32.no_fold_eq_self", "args": [{"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "f64.no_fold_eq_self", "args": [{"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "module", "line": 189, "filename": "float_exprs.13.wasm"},
{"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "f32.no_fold_ne_self", "args": [{"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "f64.no_fold_ne_self", "args": [{"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "module", "line": 201, "filename": "float_exprs.14.wasm"},
{"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "f32.no_fold_sub_self", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "f32.no_fold_sub_self", "args": [{"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "f64.no_fold_sub_self", "args": [{"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "f64.no_fold_sub_self", "args": [{"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "module", "line": 215, "filename": "float_exprs.15.wasm"},
{"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "f32.no_fold_div_self", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "f32.no_fold_div_self", "args": [{"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "f32.no_fold_div_self", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "f32.no_fold_div_self", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "f64.no_fold_div_self", "args": [{"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "f64.no_fold_div_self", "args": [{"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "f64.no_fold_div_self", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 229, "action": {"type": "invoke", "field": "f64.no_fold_div_self", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "module", "line": 233, "filename": "float_exprs.16.wasm"},
{"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "3634023955"}]}, "expected": [{"type": "f32", "value": "3620628505"}]},
{"type": "assert_return", "line": 241, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "4000459555"}]}, "expected": [{"type": "f32", "value": "3986780695"}]},
{"type": "assert_return", "line": 242, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "2517965963"}]}, "expected": [{"type": "f32", "value": "2504446137"}]},
{"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "2173683100"}]}, "expected": [{"type": "f32", "value": "2160046629"}]},
{"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "2750097330"}]}, "expected": [{"type": "f32", "value": "2736571681"}]},
{"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "16679796490173820099"}]}, "expected": [{"type": "f64", "value": "16672802667330368301"}]},
{"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "13081777497422760306"}]}, "expected": [{"type": "f64", "value": "13074664638073319671"}]},
{"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "674365394458900388"}]}, "expected": [{"type": "f64", "value": "667250911628840899"}]},
{"type": "assert_return", "line": 248, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "18365700772251870524"}]}, "expected": [{"type": "f64", "value": "18358201936817915643"}]},
{"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "6476267216527259981"}]}, "expected": [{"type": "f64", "value": "6468791534604471399"}]},
{"type": "module", "line": 253, "filename": "float_exprs.17.wasm"},
{"type": "assert_return", "line": 260, "action": {"type": "invoke", "field": "f32.no_factor", "args": [{"type": "f32", "value": "3550941609"}, {"type": "f32", "value": "3628209942"}, {"type": "f32", "value": "1568101121"}]}, "expected": [{"type": "f32", "value": "4131116008"}]},
{"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "f32.no_factor", "args": [{"type": "f32", "value": "3168433147"}, {"type": "f32", "value": "1028017286"}, {"type": "f32", "value": "3141035521"}]}, "expected": [{"type": "f32", "value": "3095417249"}]},
{"type": "assert_return", "line": 262, "action": {"type": "invoke", "field": "f32.no_factor", "args": [{"type": "f32", "value": "2869115159"}, {"type": "f32", "value": "536308199"}, {"type": "f32", "value": "2100177580"}]}, "expected": [{"type": "f32", "value": "3904015703"}]},
{"type": "assert_return", "line": 263, "action": {"type": "invoke", "field": "f32.no_factor", "args": [{"type": "f32", "value": "2684117842"}, {"type": "f32", "value": "369386499"}, {"type": "f32", "value": "2061166438"}]}, "expected": [{"type": "f32", "value": "3679965352"}]},
{"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "f32.no_factor", "args": [{"type": "f32", "value": "2510116111"}, {"type": "f32", "value": "476277495"}, {"type": "f32", "value": "1237750930"}]}, "expected": [{"type": "f32", "value": "649094375"}]},
{"type": "assert_return", "line": 265, "action": {"type": "invoke", "field": "f64.no_factor", "args": [{"type": "f64", "value": "2698691837980592503"}, {"type": "f64", "value": "2529920934327896545"}, {"type": "f64", "value": "12819783413251458936"}]}, "expected": [{"type": "f64", "value": "10911876679403600666"}]},
{"type": "assert_return", "line": 266, "action": {"type": "invoke", "field": "f64.no_factor", "args": [{"type": "f64", "value": "1626864102540432200"}, {"type": "f64", "value": "9287829620889669687"}, {"type": "f64", "value": "9524500187773169472"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "f64.no_factor", "args": [{"type": "f64", "value": "12326480769054961745"}, {"type": "f64", "value": "12563546453737163926"}, {"type": "f64", "value": "15990519985875741037"}]}, "expected": [{"type": "f64", "value": "5500432744005058080"}]},
{"type": "assert_return", "line": 268, "action": {"type": "invoke", "field": "f64.no_factor", "args": [{"type": "f64", "value": "12532477544855171977"}, {"type": "f64", "value": "3439526350000314825"}, {"type": "f64", "value": "12694541248380731909"}]}, "expected": [{"type": "f64", "value": "11527035460272583044"}]},
{"type": "assert_return", "line": 269, "action": {"type": "invoke", "field": "f64.no_factor", "args": [{"type": "f64", "value": "1871759566187673434"}, {"type": "f64", "value": "2002968319587025494"}, {"type": "f64", "value": "16033202089880281080"}]}, "expected": [{"type": "f64", "value": "13429277897969282899"}]},
{"type": "module", "line": 273, "filename": "float_exprs.18.wasm"},
{"type": "assert_return", "line": 280, "action": {"type": "invoke", "field": "f32.no_distribute", "args": [{"type": "f32", "value": "3550941609"}, {"type": "f32", "value": "3628209942"}, {"type": "f32", "value": "1568101121"}]}, "expected": [{"type": "f32", "value": "4131116009"}]},
{"type": "assert_return", "line": 281, "action": {"type": "invoke", "field": "f32.no_distribute", "args": [{"type": "f32", "value": "3168433147"}, {"type": "f32", "value": "1028017286"}, {"type": "f32", "value": "3141035521"}]}, "expected": [{"type": "f32", "value": "3095417248"}]},
{"type": "assert_return", "line": 282, "action": {"type": "invoke", "field": "f32.no_distribute", "args": [{"type": "f32", "value": "2869115159"}, {"type": "f32", "value": "536308199"}, {"type": "f32", "value": "2100177580"}]}, "expected": [{"type": "f32", "value": "3904015704"}]},
{"type": "assert_return", "line": 283, "action": {"type": "invoke", "field": "f32.no_distribute", "args": [{"type": "f32", "value": "2684117842"}, {"type": "f32", "value": "369386499"}, {"type": "f32", "value": "2061166438"}]}, "expected": [{"type": "f32", "value": "3679965351"}]},
{"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "f32.no_distribute", "args": [{"type": "f32", "value": "2510116111"}, {"type": "f32", "value": "476277495"}, {"type": "f32", "value": "1237750930"}]}, "expected": [{"type": "f32", "value": "649094374"}]},
{"type": "assert_return", "line": 285, "action": {"type": "invoke", "field": "f64.no_distribute", "args": [{"type": "f64", "value": "2698691837980592503"}, {"type": "f64", "value": "2529920934327896545"}, {"type": "f64", "value": "12819783413251458936"}]}, "expected": [{"type": "f64", "value": "10911876679403600667"}]},
{"type": "assert_return", "line": 286, "action": {"type": "invoke", "field": "f64.no_distribute", "args": [{"type": "f64", "value": "1626864102540432200"}, {"type": "f64", "value": "9287829620889669687"}, {"type": "f64", "value": "9524500187773169472"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 287, "action": {"type": "invoke", "field": "f64.no_distribute", "args": [{"type": "f64", "value": "12326480769054961745"}, {"type": "f64", "value": "12563546453737163926"}, {"type": "f64", "value": "15990519985875741037"}]}, "expected": [{"type": "f64", "value": "5500432744005058079"}]},
{"type": "assert_return", "line": 288, "action": {"type": "invoke", "field": "f64.no_distribute", "args": [{"type": "f64", "value": "12532477544855171977"}, {"type": "f64", "value": "3439526350000314825"}, {"type": "f64", "value": "12694541248380731909"}]}, "expected": [{"type": "f64", "value": "11527035460272583043"}]},
{"type": "assert_return", "line": 289, "action": {"type": "invoke", "field": "f64.no_distribute", "args": [{"type": "f64", "value": "1871759566187673434"}, {"type": "f64", "value": "2002968319587025494"}, {"type": "f64", "value": "16033202089880281080"}]}, "expected": [{"type": "f64", "value": "13429277897969282898"}]},
{"type": "module", "line": 293, "filename": "float_exprs.19.wasm"},
{"type": "assert_return", "line": 300, "action": {"type": "invoke", "field": "f32.no_regroup_div_mul", "args": [{"type": "f32", "value": "2249624147"}, {"type": "f32", "value": "2678828342"}, {"type": "f32", "value": "95319815"}]}, "expected": [{"type": "f32", "value": "538190437"}]},
{"type": "assert_return", "line": 301, "action": {"type": "invoke", "field": "f32.no_regroup_div_mul", "args": [{"type": "f32", "value": "3978470300"}, {"type": "f32", "value": "2253997363"}, {"type": "f32", "value": "3824852100"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 302, "action": {"type": "invoke", "field": "f32.no_regroup_div_mul", "args": [{"type": "f32", "value": "3350590135"}, {"type": "f32", "value": "3042588643"}, {"type": "f32", "value": "2186448635"}]}, "expected": [{"type": "f32", "value": "4206661932"}]},
{"type": "assert_return", "line": 303, "action": {"type": "invoke", "field": "f32.no_regroup_div_mul", "args": [{"type": "f32", "value": "2430706172"}, {"type": "f32", "value": "1685220483"}, {"type": "f32", "value": "1642018044"}]}, "expected": [{"type": "f32", "value": "2473922297"}]},
{"type": "assert_return", "line": 304, "action": {"type": "invoke", "field": "f32.no_regroup_div_mul", "args": [{"type": "f32", "value": "2011387707"}, {"type": "f32", "value": "1274956446"}, {"type": "f32", "value": "3811596788"}]}, "expected": [{"type": "f32", "value": "3768838261"}]},
{"type": "assert_return", "line": 305, "action": {"type": "invoke", "field": "f64.no_regroup_div_mul", "args": [{"type": "f64", "value": "2703215631877943472"}, {"type": "f64", "value": "13295603997208052007"}, {"type": "f64", "value": "1719211436532588593"}]}, "expected": [{"type": "f64", "value": "14279677686886620461"}]},
{"type": "assert_return", "line": 306, "action": {"type": "invoke", "field": "f64.no_regroup_div_mul", "args": [{"type": "f64", "value": "6126139291059848917"}, {"type": "f64", "value": "2596039250849921421"}, {"type": "f64", "value": "17423258659719899654"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 307, "action": {"type": "invoke", "field": "f64.no_regroup_div_mul", "args": [{"type": "f64", "value": "2451868557331674239"}, {"type": "f64", "value": "8672326445062988097"}, {"type": "f64", "value": "2593279393835739385"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
{"type": "assert_return", "line": 308, "action": {"type": "invoke", "field": "f64.no_regroup_div_mul", "args": [{"type": "f64", "value": "15994259208199847538"}, {"type": "f64", "value": "16584156163346075677"}, {"type": "f64", "value": "17596923907238870430"}]}, "expected": [{"type": "f64", "value": "14981548491626301009"}]},
{"type": "assert_return", "line": 309, "action": {"type": "invoke", "field": "f64.no_regroup_div_mul", "args": [{"type": "f64", "value": "1912002771029783751"}, {"type": "f64", "value": "655387110450354003"}, {"type": "f64", "value": "10060746190138762841"}]}, "expected": [{"type": "f64", "value": "10953754119023888080"}]},
{"type": "module", "line": 313, "filename": "float_exprs.20.wasm"},
{"type": "assert_return", "line": 320, "action": {"type": "invoke", "field": "f32.no_regroup_mul_div", "args": [{"type": "f32", "value": "2249624147"}, {"type": "f32", "value": "2678828342"}, {"type": "f32", "value": "95319815"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 321, "action": {"type": "invoke", "field": "f32.no_regroup_mul_div", "args": [{"type": "f32", "value": "3978470300"}, {"type": "f32", "value": "2253997363"}, {"type": "f32", "value": "3824852100"}]}, "expected": [{"type": "f32", "value": "2408382580"}]},
{"type": "assert_return", "line": 322, "action": {"type": "invoke", "field": "f32.no_regroup_mul_div", "args": [{"type": "f32", "value": "3350590135"}, {"type": "f32", "value": "3042588643"}, {"type": "f32", "value": "2186448635"}]}, "expected": [{"type": "f32", "value": "4206661933"}]},
{"type": "assert_return", "line": 323, "action": {"type": "invoke", "field": "f32.no_regroup_mul_div", "args": [{"type": "f32", "value": "2430706172"}, {"type": "f32", "value": "1685220483"}, {"type": "f32", "value": "1642018044"}]}, "expected": [{"type": "f32", "value": "2473922298"}]},
{"type": "assert_return", "line": 324, "action": {"type": "invoke", "field": "f32.no_regroup_mul_div", "args": [{"type": "f32", "value": "2011387707"}, {"type": "f32", "value": "1274956446"}, {"type": "f32", "value": "3811596788"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
{"type": "assert_return", "line": 325, "action": {"type": "invoke", "field": "f64.no_regroup_mul_div", "args": [{"type": "f64", "value": "2703215631877943472"}, {"type": "f64", "value": "13295603997208052007"}, {"type": "f64", "value": "1719211436532588593"}]}, "expected": [{"type": "f64", "value": "14279677686886620462"}]},
{"type": "assert_return", "line": 326, "action": {"type": "invoke", "field": "f64.no_regroup_mul_div", "args": [{"type": "f64", "value": "6126139291059848917"}, {"type": "f64", "value": "2596039250849921421"}, {"type": "f64", "value": "17423258659719899654"}]}, "expected": [{"type": "f64", "value": "9746029336072872080"}]},
{"type": "assert_return", "line": 327, "action": {"type": "invoke", "field": "f64.no_regroup_mul_div", "args": [{"type": "f64", "value": "2451868557331674239"}, {"type": "f64", "value": "8672326445062988097"}, {"type": "f64", "value": "2593279393835739385"}]}, "expected": [{"type": "f64", "value": "8531093589128288889"}]},
{"type": "assert_return", "line": 328, "action": {"type": "invoke", "field": "f64.no_regroup_mul_div", "args": [{"type": "f64", "value": "15994259208199847538"}, {"type": "f64", "value": "16584156163346075677"}, {"type": "f64", "value": "17596923907238870430"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
{"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "f64.no_regroup_mul_div", "args": [{"type": "f64", "value": "1912002771029783751"}, {"type": "f64", "value": "655387110450354003"}, {"type": "f64", "value": "10060746190138762841"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "module", "line": 333, "filename": "float_exprs.21.wasm"},
{"type": "assert_return", "line": 340, "action": {"type": "invoke", "field": "f32.no_reassociate_add", "args": [{"type": "f32", "value": "3585064686"}, {"type": "f32", "value": "1354934024"}, {"type": "f32", "value": "3612934982"}, {"type": "f32", "value": "3557837641"}]}, "expected": [{"type": "f32", "value": "3614520891"}]},
{"type": "assert_return", "line": 341, "action": {"type": "invoke", "field": "f32.no_reassociate_add", "args": [{"type": "f32", "value": "997006780"}, {"type": "f32", "value": "3156314493"}, {"type": "f32", "value": "1031916275"}, {"type": "f32", "value": "3157700435"}]}, "expected": [{"type": "f32", "value": "1027365261"}]},
{"type": "assert_return", "line": 342, "action": {"type": "invoke", "field": "f32.no_reassociate_add", "args": [{"type": "f32", "value": "3506363549"}, {"type": "f32", "value": "3562765939"}, {"type": "f32", "value": "1440782572"}, {"type": "f32", "value": "1388583643"}]}, "expected": [{"type": "f32", "value": "1439168977"}]},
{"type": "assert_return", "line": 343, "action": {"type": "invoke", "field": "f32.no_reassociate_add", "args": [{"type": "f32", "value": "1460378878"}, {"type": "f32", "value": "1481791683"}, {"type": "f32", "value": "3506843934"}, {"type": "f32", "value": "1493913729"}]}, "expected": [{"type": "f32", "value": "1497931771"}]},
{"type": "assert_return", "line": 344, "action": {"type": "invoke", "field": "f32.no_reassociate_add", "args": [{"type": "f32", "value": "1975099005"}, {"type": "f32", "value": "4120668550"}, {"type": "f32", "value": "1947708458"}, {"type": "f32", "value": "4008073260"}]}, "expected": [{"type": "f32", "value": "1958779787"}]},
{"type": "assert_return", "line": 345, "action": {"type": "invoke", "field": "f64.no_reassociate_add", "args": [{"type": "f64", "value": "17619937326421449126"}, {"type": "f64", "value": "8424880666975634327"}, {"type": "f64", "value": "8461713040394112626"}, {"type": "f64", "value": "17692076622886930107"}]}, "expected": [{"type": "f64", "value": "17689770886425413754"}]},
{"type": "assert_return", "line": 346, "action": {"type": "invoke", "field": "f64.no_reassociate_add", "args": [{"type": "f64", "value": "2161744272815763681"}, {"type": "f64", "value": "2160815018984030177"}, {"type": "f64", "value": "11389452991481170854"}, {"type": "f64", "value": "11158554735757873927"}]}, "expected": [{"type": "f64", "value": "11367213592018398582"}]},
{"type": "assert_return", "line": 347, "action": {"type": "invoke", "field": "f64.no_reassociate_add", "args": [{"type": "f64", "value": "15816220208145029204"}, {"type": "f64", "value": "6443786499090728432"}, {"type": "f64", "value": "15798639273395365185"}, {"type": "f64", "value": "6395820899158300605"}]}, "expected": [{"type": "f64", "value": "15816713260997571051"}]},
{"type": "assert_return", "line": 348, "action": {"type": "invoke", "field": "f64.no_reassociate_add", "args": [{"type": "f64", "value": "12406188505172681730"}, {"type": "f64", "value": "3227622722685619614"}, {"type": "f64", "value": "12653209142287077985"}, {"type": "f64", "value": "3439058911346459774"}]}, "expected": [{"type": "f64", "value": "3437283564188778523"}]},
{"type": "assert_return", "line": 349, "action": {"type": "invoke", "field": "f64.no_reassociate_add", "args": [{"type": "f64", "value": "16720963389015391005"}, {"type": "f64", "value": "16597092572968550980"}, {"type": "f64", "value": "7518944085377596897"}, {"type": "f64", "value": "16733407756820198530"}]}, "expected": [{"type": "f64", "value": "7516931113564586278"}]},
{"type": "module", "line": 353, "filename": "float_exprs.22.wasm"},
{"type": "assert_return", "line": 360, "action": {"type": "invoke", "field": "f32.no_reassociate_mul", "args": [{"type": "f32", "value": "97158612"}, {"type": "f32", "value": "796388711"}, {"type": "f32", "value": "4071607776"}, {"type": "f32", "value": "603464324"}]}, "expected": [{"type": "f32", "value": "2373950135"}]},
{"type": "assert_return", "line": 361, "action": {"type": "invoke", "field": "f32.no_reassociate_mul", "args": [{"type": "f32", "value": "598526039"}, {"type": "f32", "value": "4072603010"}, {"type": "f32", "value": "2166864805"}, {"type": "f32", "value": "3802968051"}]}, "expected": [{"type": "f32", "value": "3152274558"}]},
{"type": "assert_return", "line": 362, "action": {"type": "invoke", "field": "f32.no_reassociate_mul", "args": [{"type": "f32", "value": "666201298"}, {"type": "f32", "value": "3678968917"}, {"type": "f32", "value": "2879732647"}, {"type": "f32", "value": "1703934016"}]}, "expected": [{"type": "f32", "value": "1439591542"}]},
{"type": "assert_return", "line": 363, "action": {"type": "invoke", "field": "f32.no_reassociate_mul", "args": [{"type": "f32", "value": "191948150"}, {"type": "f32", "value": "1717012201"}, {"type": "f32", "value": "3682645872"}, {"type": "f32", "value": "3713382507"}]}, "expected": [{"type": "f32", "value": "1814709127"}]},
{"type": "assert_return", "line": 364, "action": {"type": "invoke", "field": "f32.no_reassociate_mul", "args": [{"type": "f32", "value": "2384301792"}, {"type": "f32", "value": "656878874"}, {"type": "f32", "value": "3239861549"}, {"type": "f32", "value": "1564466295"}]}, "expected": [{"type": "f32", "value": "355327948"}]},
{"type": "assert_return", "line": 365, "action": {"type": "invoke", "field": "f64.no_reassociate_mul", "args": [{"type": "f64", "value": "10830726381612138752"}, {"type": "f64", "value": "18293529276079591087"}, {"type": "f64", "value": "12137662286027993114"}, {"type": "f64", "value": "16821646709291069775"}]}, "expected": [{"type": "f64", "value": "7368793799369880819"}]},
{"type": "assert_return", "line": 366, "action": {"type": "invoke", "field": "f64.no_reassociate_mul", "args": [{"type": "f64", "value": "6653164799371160764"}, {"type": "f64", "value": "2285295038358358170"}, {"type": "f64", "value": "9783304669150272403"}, {"type": "f64", "value": "16266005085991502709"}]}, "expected": [{"type": "f64", "value": "2720645287366687760"}]},
{"type": "assert_return", "line": 367, "action": {"type": "invoke", "field": "f64.no_reassociate_mul", "args": [{"type": "f64", "value": "2352911459797566465"}, {"type": "f64", "value": "17379873157362463143"}, {"type": "f64", "value": "1179129869275935356"}, {"type": "f64", "value": "14228398113747850351"}]}, "expected": [{"type": "f64", "value": "2873103656912958703"}]},
{"type": "assert_return", "line": 368, "action": {"type": "invoke", "field": "f64.no_reassociate_mul", "args": [{"type": "f64", "value": "7724499817746503804"}, {"type": "f64", "value": "2704005046640722176"}, {"type": "f64", "value": "5612860422806321751"}, {"type": "f64", "value": "13727818095548724091"}]}, "expected": [{"type": "f64", "value": "15948568678460814092"}]},
{"type": "assert_return", "line": 369, "action": {"type": "invoke", "field": "f64.no_reassociate_mul", "args": [{"type": "f64", "value": "3553622953022765407"}, {"type": "f64", "value": "1044040287824900408"}, {"type": "f64", "value": "17112762794520509437"}, {"type": "f64", "value": "11134095486440145773"}]}, "expected": [{"type": "f64", "value": "576919682754813073"}]},
{"type": "module", "line": 373, "filename": "float_exprs.23.wasm"},
{"type": "assert_return", "line": 380, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
{"type": "assert_return", "line": 381, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "3212836864"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
{"type": "assert_return", "line": 382, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
{"type": "assert_return", "line": 383, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "4286578688"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
{"type": "assert_return", "line": 384, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 385, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 386, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 387, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 388, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
{"type": "assert_return", "line": 389, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "13830554455654793216"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
{"type": "assert_return", "line": 390, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
{"type": "assert_return", "line": 391, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "18442240474082181120"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
{"type": "assert_return", "line": 392, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 393, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 394, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 395, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 399, "filename": "float_exprs.24.wasm"},
{"type": "assert_return", "line": 406, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
{"type": "assert_return", "line": 407, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "3212836864"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
{"type": "assert_return", "line": 408, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
{"type": "assert_return", "line": 409, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "4286578688"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
{"type": "assert_return", "line": 410, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 411, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 412, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 413, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 414, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
{"type": "assert_return", "line": 415, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "13830554455654793216"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
{"type": "assert_return", "line": 416, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
{"type": "assert_return", "line": 417, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "18442240474082181120"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
{"type": "assert_return", "line": 418, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 419, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 420, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 421, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "nan:arithmetic"}]},
{"type": "module", "line": 425, "filename": "float_exprs.25.wasm"},
{"type": "assert_return", "line": 434, "action": {"type": "invoke", "field": "f32.no_fold_to_hypot", "args": [{"type": "f32", "value": "392264092"}, {"type": "f32", "value": "497028527"}]}, "expected": [{"type": "f32", "value": "497028710"}]},
{"type": "assert_return", "line": 435, "action": {"type": "invoke", "field": "f32.no_fold_to_hypot", "args": [{"type": "f32", "value": "2623653512"}, {"type": "f32", "value": "2317012712"}]}, "expected": [{"type": "f32", "value": "476165425"}]},
{"type": "assert_return", "line": 436, "action": {"type": "invoke", "field": "f32.no_fold_to_hypot", "args": [{"type": "f32", "value": "2261577829"}, {"type": "f32", "value": "2641790518"}]}, "expected": [{"type": "f32", "value": "494307108"}]},
{"type": "assert_return", "line": 437, "action": {"type": "invoke", "field": "f32.no_fold_to_hypot", "args": [{"type": "f32", "value": "3255678581"}, {"type": "f32", "value": "1210720351"}]}, "expected": [{"type": "f32", "value": "1210720352"}]},
{"type": "assert_return", "line": 438, "action": {"type": "invoke", "field": "f32.no_fold_to_hypot", "args": [{"type": "f32", "value": "432505039"}, {"type": "f32", "value": "2618036612"}]}, "expected": [{"type": "f32", "value": "470544734"}]},
{"type": "assert_return", "line": 439, "action": {"type": "invoke", "field": "f64.no_fold_to_hypot", "args": [{"type": "f64", "value": "1743351192697472785"}, {"type": "f64", "value": "2202602366606243153"}]}, "expected": [{"type": "f64", "value": "2202599296765198670"}]},
{"type": "assert_return", "line": 440, "action": {"type": "invoke", "field": "f64.no_fold_to_hypot", "args": [{"type": "f64", "value": "6389333765198869657"}, {"type": "f64", "value": "15677343373020056630"}]}, "expected": [{"type": "f64", "value": "6453971336171062178"}]},
{"type": "assert_return", "line": 441, "action": {"type": "invoke", "field": "f64.no_fold_to_hypot", "args": [{"type": "f64", "value": "2195337108264055819"}, {"type": "f64", "value": "10384237061545402288"}]}, "expected": [{"type": "f64", "value": "2195504818343116800"}]},
{"type": "assert_return", "line": 442, "action": {"type": "invoke", "field": "f64.no_fold_to_hypot", "args": [{"type": "f64", "value": "11486582223361829725"}, {"type": "f64", "value": "1308532122426122043"}]}, "expected": [{"type": "f64", "value": "2263210186506929210"}]},
{"type": "assert_return", "line": 443, "action": {"type": "invoke", "field": "f64.no_fold_to_hypot", "args": [{"type": "f64", "value": "1591440107418864392"}, {"type": "f64", "value": "11515806374387309036"}]}, "expected": [{"type": "f64", "value": "2292434337532533215"}]},
{"type": "module", "line": 447, "filename": "float_exprs.26.wasm"},
{"type": "assert_return", "line": 452, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "3130294363"}]}, "expected": [{"type": "f32", "value": "3294406762"}]},
{"type": "assert_return", "line": 453, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "2138280080"}]}, "expected": [{"type": "f32", "value": "2204223"}]},
{"type": "assert_return", "line": 454, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "2434880051"}]}, "expected": [{"type": "f32", "value": "3989512051"}]},
{"type": "assert_return", "line": 455, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "1705936409"}]}, "expected": [{"type": "f32", "value": "423346609"}]},
{"type": "assert_return", "line": 456, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "2528120561"}]}, "expected": [{"type": "f32", "value": "3896123071"}]},
{"type": "module", "line": 460, "filename": "float_exprs.27.wasm"},
{"type": "assert_return", "line": 467, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "708147349"}]}, "expected": [{"type": "f32", "value": "1243088746"}]},
{"type": "assert_return", "line": 468, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "1005852643"}]}, "expected": [{"type": "f32", "value": "1094279611"}]},
{"type": "assert_return", "line": 469, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "517799246"}]}, "expected": [{"type": "f32", "value": "1338168541"}]},
{"type": "assert_return", "line": 470, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "704281251"}]}, "expected": [{"type": "f32", "value": "1245118689"}]},
{"type": "assert_return", "line": 471, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "347001813"}]}, "expected": [{"type": "f32", "value": "1423641701"}]},
{"type": "assert_return", "line": 473, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "8611259114887405475"}]}, "expected": [{"type": "f64", "value": "2604695339663988000"}]},
{"type": "assert_return", "line": 474, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "6008428610859539631"}]}, "expected": [{"type": "f64", "value": "3906084647186679832"}]},
{"type": "assert_return", "line": 475, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "5077495674931581012"}]}, "expected": [{"type": "f64", "value": "4371518865190387497"}]},
{"type": "assert_return", "line": 476, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "7616219057857077123"}]}, "expected": [{"type": "f64", "value": "3102407657946187309"}]},
{"type": "assert_return", "line": 477, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "5267858027841559467"}]}, "expected": [{"type": "f64", "value": "4276321761661248681"}]},
{"type": "module", "line": 481, "filename": "float_exprs.28.wasm"},
{"type": "assert_return", "line": 486, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "1574069443"}]}, "expected": [{"type": "f32", "value": "810003811"}]},
{"type": "assert_return", "line": 487, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "992487567"}]}, "expected": [{"type": "f32", "value": "1100869283"}]},
{"type": "assert_return", "line": 488, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "1644769121"}]}, "expected": [{"type": "f32", "value": "774822585"}]},
{"type": "assert_return", "line": 489, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "1180509736"}]}, "expected": [{"type": "f32", "value": "1007269771"}]},
{"type": "assert_return", "line": 490, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "1940205041"}]}, "expected": [{"type": "f32", "value": "627137240"}]},
{"type": "module", "line": 494, "filename": "float_exprs.29.wasm"},
{"type": "assert_return", "line": 505, "action": {"type": "invoke", "field": "i32.no_fold_f32_s", "args": [{"type": "i32", "value": "16777216"}]}, "expected": [{"type": "i32", "value": "16777216"}]},
{"type": "assert_return", "line": 506, "action": {"type": "invoke", "field": "i32.no_fold_f32_s", "args": [{"type": "i32", "value": "16777217"}]}, "expected": [{"type": "i32", "value": "16777216"}]},
{"type": "assert_return", "line": 507, "action": {"type": "invoke", "field": "i32.no_fold_f32_s", "args": [{"type": "i32", "value": "4026531856"}]}, "expected": [{"type": "i32", "value": "4026531856"}]},
{"type": "assert_return", "line": 509, "action": {"type": "invoke", "field": "i32.no_fold_f32_u", "args": [{"type": "i32", "value": "16777216"}]}, "expected": [{"type": "i32", "value": "16777216"}]},
{"type": "assert_return", "line": 510, "action": {"type": "invoke", "field": "i32.no_fold_f32_u", "args": [{"type": "i32", "value": "16777217"}]}, "expected": [{"type": "i32", "value": "16777216"}]},
{"type": "assert_return", "line": 511, "action": {"type": "invoke", "field": "i32.no_fold_f32_u", "args": [{"type": "i32", "value": "4026531856"}]}, "expected": [{"type": "i32", "value": "4026531840"}]},
{"type": "assert_return", "line": 513, "action": {"type": "invoke", "field": "i64.no_fold_f64_s", "args": [{"type": "i64", "value": "9007199254740992"}]}, "expected": [{"type": "i64", "value": "9007199254740992"}]},
{"type": "assert_return", "line": 514, "action": {"type": "invoke", "field": "i64.no_fold_f64_s", "args": [{"type": "i64", "value": "9007199254740993"}]}, "expected": [{"type": "i64", "value": "9007199254740992"}]},
{"type": "assert_return", "line": 515, "action": {"type": "invoke", "field": "i64.no_fold_f64_s", "args": [{"type": "i64", "value": "17293822569102705664"}]}, "expected": [{"type": "i64", "value": "17293822569102705664"}]},
{"type": "assert_return", "line": 517, "action": {"type": "invoke", "field": "i64.no_fold_f64_u", "args": [{"type": "i64", "value": "9007199254740992"}]}, "expected": [{"type": "i64", "value": "9007199254740992"}]},
{"type": "assert_return", "line": 518, "action": {"type": "invoke", "field": "i64.no_fold_f64_u", "args": [{"type": "i64", "value": "9007199254740993"}]}, "expected": [{"type": "i64", "value": "9007199254740992"}]},
{"type": "assert_return", "line": 519, "action": {"type": "invoke", "field": "i64.no_fold_f64_u", "args": [{"type": "i64", "value": "17293822569102705664"}]}, "expected": [{"type": "i64", "value": "17293822569102704640"}]},
{"type": "module", "line": 523, "filename": "float_exprs.30.wasm"},
{"type": "assert_return", "line": 530, "action": {"type": "invoke", "field": "f32.no_fold_add_sub", "args": [{"type": "f32", "value": "677030386"}, {"type": "f32", "value": "2998136214"}]}, "expected": [{"type": "f32", "value": "677380096"}]},
{"type": "assert_return", "line": 531, "action": {"type": "invoke", "field": "f32.no_fold_add_sub", "args": [{"type": "f32", "value": "3025420904"}, {"type": "f32", "value": "913921807"}]}, "expected": [{"type": "f32", "value": "3025420912"}]},
{"type": "assert_return", "line": 532, "action": {"type": "invoke", "field": "f32.no_fold_add_sub", "args": [{"type": "f32", "value": "3908960888"}, {"type": "f32", "value": "4063404061"}]}, "expected": [{"type": "f32", "value": "3909091328"}]},
{"type": "assert_return", "line": 533, "action": {"type": "invoke", "field": "f32.no_fold_add_sub", "args": [{"type": "f32", "value": "415467473"}, {"type": "f32", "value": "602055819"}]}, "expected": [{"type": "f32", "value": "415236096"}]},
{"type": "assert_return", "line": 534, "action": {"type": "invoke", "field": "f32.no_fold_add_sub", "args": [{"type": "f32", "value": "2307650739"}, {"type": "f32", "value": "2511328013"}]}, "expected": [{"type": "f32", "value": "2315255808"}]},
{"type": "assert_return", "line": 536, "action": {"type": "invoke", "field": "f64.no_fold_add_sub", "args": [{"type": "f64", "value": "9894695622864460712"}, {"type": "f64", "value": "747900745977727688"}]}, "expected": [{"type": "f64", "value": "9894695622864404480"}]},
{"type": "assert_return", "line": 537, "action": {"type": "invoke", "field": "f64.no_fold_add_sub", "args": [{"type": "f64", "value": "2152218683357821298"}, {"type": "f64", "value": "2238360073507307376"}]}, "expected": [{"type": "f64", "value": "2152218683357790208"}]},
{"type": "assert_return", "line": 538, "action": {"type": "invoke", "field": "f64.no_fold_add_sub", "args": [{"type": "f64", "value": "13697521605206502242"}, {"type": "f64", "value": "13818850255013161909"}]}, "expected": [{"type": "f64", "value": "13697521605247238144"}]},
{"type": "assert_return", "line": 539, "action": {"type": "invoke", "field": "f64.no_fold_add_sub", "args": [{"type": "f64", "value": "12298280617237492384"}, {"type": "f64", "value": "3233965342858558382"}]}, "expected": [{"type": "f64", "value": "12298280617463775232"}]},
{"type": "assert_return", "line": 540, "action": {"type": "invoke", "field": "f64.no_fold_add_sub", "args": [{"type": "f64", "value": "11043298296128683688"}, {"type": "f64", "value": "11182857345495207592"}]}, "expected": [{"type": "f64", "value": "11043298296775835648"}]},
{"type": "module", "line": 544, "filename": "float_exprs.31.wasm"},
{"type": "assert_return", "line": 551, "action": {"type": "invoke", "field": "f32.no_fold_sub_add", "args": [{"type": "f32", "value": "3291029084"}, {"type": "f32", "value": "1137280182"}]}, "expected": [{"type": "f32", "value": "3291029085"}]},
{"type": "assert_return", "line": 552, "action": {"type": "invoke", "field": "f32.no_fold_sub_add", "args": [{"type": "f32", "value": "2287045896"}, {"type": "f32", "value": "272248696"}]}, "expected": [{"type": "f32", "value": "2287075328"}]},
{"type": "assert_return", "line": 553, "action": {"type": "invoke", "field": "f32.no_fold_sub_add", "args": [{"type": "f32", "value": "1285466516"}, {"type": "f32", "value": "1361849144"}]}, "expected": [{"type": "f32", "value": "1285466624"}]},
{"type": "assert_return", "line": 554, "action": {"type": "invoke", "field": "f32.no_fold_sub_add", "args": [{"type": "f32", "value": "740009747"}, {"type": "f32", "value": "2989707904"}]}, "expected": [{"type": "f32", "value": "740007936"}]},
{"type": "assert_return", "line": 555, "action": {"type": "invoke", "field": "f32.no_fold_sub_add", "args": [{"type": "f32", "value": "1041827798"}, {"type": "f32", "value": "3335914317"}]}, "expected": [{"type": "f32", "value": "1041891328"}]},
{"type": "assert_return", "line": 557, "action": {"type": "invoke", "field": "f64.no_fold_sub_add", "args": [{"type": "f64", "value": "5758126085282503565"}, {"type": "f64", "value": "14997141603873875659"}]}, "expected": [{"type": "f64", "value": "5758126085282503568"}]},
{"type": "assert_return", "line": 558, "action": {"type": "invoke", "field": "f64.no_fold_sub_add", "args": [{"type": "f64", "value": "1609380455481879691"}, {"type": "f64", "value": "1695875689930159213"}]}, "expected": [{"type": "f64", "value": "1609380455482130432"}]},
{"type": "assert_return", "line": 559, "action": {"type": "invoke", "field": "f64.no_fold_sub_add", "args": [{"type": "f64", "value": "5738179408840599949"}, {"type": "f64", "value": "15186085143903012996"}]}, "expected": [{"type": "f64", "value": "5738148875223433216"}]},
{"type": "assert_return", "line": 560, "action": {"type": "invoke", "field": "f64.no_fold_sub_add", "args": [{"type": "f64", "value": "4492841470376833908"}, {"type": "f64", "value": "13773869588765591068"}]}, "expected": [{"type": "f64", "value": "4492841470376837120"}]},
{"type": "assert_return", "line": 561, "action": {"type": "invoke", "field": "f64.no_fold_sub_add", "args": [{"type": "f64", "value": "2955729038738127538"}, {"type": "f64", "value": "12208627806665035010"}]}, "expected": [{"type": "f64", "value": "2955729038738127552"}]},
{"type": "module", "line": 565, "filename": "float_exprs.32.wasm"},
{"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "f32.no_fold_mul_div", "args": [{"type": "f32", "value": "3672556237"}, {"type": "f32", "value": "674649243"}]}, "expected": [{"type": "f32", "value": "3672556236"}]},
{"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "f32.no_fold_mul_div", "args": [{"type": "f32", "value": "2995104604"}, {"type": "f32", "value": "178524966"}]}, "expected": [{"type": "f32", "value": "2995104594"}]},
{"type": "assert_return", "line": 574, "action": {"type": "invoke", "field": "f32.no_fold_mul_div", "args": [{"type": "f32", "value": "2817764014"}, {"type": "f32", "value": "3620253920"}]}, "expected": [{"type": "f32", "value": "2817764013"}]},
{"type": "assert_return", "line": 575, "action": {"type": "invoke", "field": "f32.no_fold_mul_div", "args": [{"type": "f32", "value": "1507152519"}, {"type": "f32", "value": "3723483599"}]}, "expected": [{"type": "f32", "value": "1507152518"}]},
{"type": "assert_return", "line": 576, "action": {"type": "invoke", "field": "f32.no_fold_mul_div", "args": [{"type": "f32", "value": "2442510077"}, {"type": "f32", "value": "2906531411"}]}, "expected": [{"type": "f32", "value": "2442510079"}]},
{"type": "assert_return", "line": 578, "action": {"type": "invoke", "field": "f64.no_fold_mul_div", "args": [{"type": "f64", "value": "10062123074470382106"}, {"type": "f64", "value": "12910565991996555404"}]}, "expected": [{"type": "f64", "value": "10062123074470422078"}]},
{"type": "assert_return", "line": 579, "action": {"type": "invoke", "field": "f64.no_fold_mul_div", "args": [{"type": "f64", "value": "6340937764684870564"}, {"type": "f64", "value": "7244253720027059594"}]}, "expected": [{"type": "f64", "value": "6340937764684870565"}]},
{"type": "assert_return", "line": 580, "action": {"type": "invoke", "field": "f64.no_fold_mul_div", "args": [{"type": "f64", "value": "14905228263410157971"}, {"type": "f64", "value": "11346251643264732732"}]}, "expected": [{"type": "f64", "value": "14905228263410157970"}]},
{"type": "assert_return", "line": 581, "action": {"type": "invoke", "field": "f64.no_fold_mul_div", "args": [{"type": "f64", "value": "3862352046163709780"}, {"type": "f64", "value": "531112307488385734"}]}, "expected": [{"type": "f64", "value": "3862079437827029803"}]},
{"type": "assert_return", "line": 582, "action": {"type": "invoke", "field": "f64.no_fold_mul_div", "args": [{"type": "f64", "value": "16807035693954817236"}, {"type": "f64", "value": "12360222454864961326"}]}, "expected": [{"type": "f64", "value": "16807035693954817237"}]},
{"type": "module", "line": 586, "filename": "float_exprs.33.wasm"},
{"type": "assert_return", "line": 593, "action": {"type": "invoke", "field": "f32.no_fold_div_mul", "args": [{"type": "f32", "value": "3538825650"}, {"type": "f32", "value": "1315641462"}]}, "expected": [{"type": "f32", "value": "3538825649"}]},
{"type": "assert_return", "line": 594, "action": {"type": "invoke", "field": "f32.no_fold_div_mul", "args": [{"type": "f32", "value": "2777664539"}, {"type": "f32", "value": "3062588018"}]}, "expected": [{"type": "f32", "value": "2777664540"}]},
{"type": "assert_return", "line": 595, "action": {"type": "invoke", "field": "f32.no_fold_div_mul", "args": [{"type": "f32", "value": "14863254"}, {"type": "f32", "value": "3278582479"}]}, "expected": [{"type": "f32", "value": "14863367"}]},
{"type": "assert_return", "line": 596, "action": {"type": "invoke", "field": "f32.no_fold_div_mul", "args": [{"type": "f32", "value": "2593594703"}, {"type": "f32", "value": "3709508810"}]}, "expected": [{"type": "f32", "value": "2593594656"}]},
{"type": "assert_return", "line": 597, "action": {"type": "invoke", "field": "f32.no_fold_div_mul", "args": [{"type": "f32", "value": "250394049"}, {"type": "f32", "value": "1296755844"}]}, "expected": [{"type": "f32", "value": "250394050"}]},
{"type": "assert_return", "line": 599, "action": {"type": "invoke", "field": "f64.no_fold_div_mul", "args": [{"type": "f64", "value": "665690489208775809"}, {"type": "f64", "value": "14660005164454413124"}]}, "expected": [{"type": "f64", "value": "665690577722002880"}]},
{"type": "assert_return", "line": 600, "action": {"type": "invoke", "field": "f64.no_fold_div_mul", "args": [{"type": "f64", "value": "10617267697387344269"}, {"type": "f64", "value": "4370684778829606254"}]}, "expected": [{"type": "f64", "value": "10617267697387344270"}]},
{"type": "assert_return", "line": 601, "action": {"type": "invoke", "field": "f64.no_fold_div_mul", "args": [{"type": "f64", "value": "13179336828827425934"}, {"type": "f64", "value": "6536345148565138764"}]}, "expected": [{"type": "f64", "value": "13179336828827425933"}]},
{"type": "assert_return", "line": 602, "action": {"type": "invoke", "field": "f64.no_fold_div_mul", "args": [{"type": "f64", "value": "12582623625647949669"}, {"type": "f64", "value": "15106746174896642041"}]}, "expected": [{"type": "f64", "value": "12582623625647949668"}]},
{"type": "assert_return", "line": 603, "action": {"type": "invoke", "field": "f64.no_fold_div_mul", "args": [{"type": "f64", "value": "16624217782795067216"}, {"type": "f64", "value": "9062205521150975866"}]}, "expected": [{"type": "f64", "value": "16624217782795067215"}]},
{"type": "module", "line": 607, "filename": "float_exprs.34.wasm"},
{"type": "assert_return", "line": 614, "action": {"type": "invoke", "field": "f32.no_fold_div2_mul2", "args": [{"type": "f32", "value": "16777215"}]}, "expected": [{"type": "f32", "value": "16777216"}]},
{"type": "assert_return", "line": 615, "action": {"type": "invoke", "field": "f64.no_fold_div2_mul2", "args": [{"type": "f64", "value": "9007199254740991"}]}, "expected": [{"type": "f64", "value": "9007199254740992"}]},
{"type": "module", "line": 619, "filename": "float_exprs.35.wasm"},
{"type": "assert_return", "line": 624, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "13235495337234861917"}]}, "expected": [{"type": "f64", "value": "13235495326728585216"}]},
{"type": "assert_return", "line": 625, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "13448204151038380655"}]}, "expected": [{"type": "f64", "value": "13448204151146151936"}]},
{"type": "assert_return", "line": 626, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "5090364081358261697"}]}, "expected": [{"type": "f64", "value": "5090364081378951168"}]},
{"type": "assert_return", "line": 627, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "13436295269174285872"}]}, "expected": [{"type": "f64", "value": "13436295269301878784"}]},
{"type": "assert_return", "line": 628, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "5076240020598306430"}]}, "expected": [{"type": "f64", "value": "5076240020759642112"}]},
{"type": "module", "line": 633, "filename": "float_exprs.36.wasm"},
{"type": "assert_return", "line": 638, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
{"type": "assert_return", "line": 639, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 640, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 641, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "1"}]}, "expected": [{"type": "f32", "value": "1"}]},
{"type": "assert_return", "line": 642, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2147483649"}]}, "expected": [{"type": "f32", "value": "2147483649"}]},
{"type": "assert_return", "line": 643, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "8388607"}]}, "expected": [{"type": "f32", "value": "8388607"}]},
{"type": "assert_return", "line": 644, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2155872255"}]}, "expected": [{"type": "f32", "value": "2155872255"}]},
{"type": "assert_return", "line": 645, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "8388608"}]}, "expected": [{"type": "f32", "value": "8388608"}]},
{"type": "assert_return", "line": 646, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2155872256"}]}, "expected": [{"type": "f32", "value": "2155872256"}]},
{"type": "assert_return", "line": 647, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2139095039"}]}, "expected": [{"type": "f32", "value": "2139095039"}]},
{"type": "assert_return", "line": 648, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "4286578687"}]}, "expected": [{"type": "f32", "value": "4286578687"}]},
{"type": "assert_return", "line": 649, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
{"type": "assert_return", "line": 650, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "4286578688"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
{"type": "module", "line": 654, "filename": "float_exprs.37.wasm"},
{"type": "assert_return", "line": 661, "action": {"type": "invoke", "field": "no_demote_mixed_add", "args": [{"type": "f64", "value": "4183652368636204281"}, {"type": "f32", "value": "69183310"}]}, "expected": [{"type": "f32", "value": "276467023"}]},
{"type": "assert_return", "line": 662, "action": {"type": "invoke", "field": "no_demote_mixed_add", "args": [{"type": "f64", "value": "4773927428111915216"}, {"type": "f32", "value": "1387972204"}]}, "expected": [{"type": "f32", "value": "1392270651"}]},
{"type": "assert_return", "line": 663, "action": {"type": "invoke", "field": "no_demote_mixed_add", "args": [{"type": "f64", "value": "4072985553596038423"}, {"type": "f32", "value": "2202918851"}]}, "expected": [{"type": "f32", "value": "66813087"}]},
{"type": "assert_return", "line": 664, "action": {"type": "invoke", "field": "no_demote_mixed_add", "args": [{"type": "f64", "value": "13740716732336801211"}, {"type": "f32", "value": "822392741"}]}, "expected": [{"type": "f32", "value": "3045484077"}]},
{"type": "assert_return", "line": 665, "action": {"type": "invoke", "field": "no_demote_mixed_add", "args": [{"type": "f64", "value": "13742514716462174325"}, {"type": "f32", "value": "2870112826"}]}, "expected": [{"type": "f32", "value": "3048850075"}]},
{"type": "assert_return", "line": 667, "action": {"type": "invoke", "field": "no_demote_mixed_add_commuted", "args": [{"type": "f32", "value": "69183310"}, {"type": "f64", "value": "4183652368636204281"}]}, "expected": [{"type": "f32", "value": "276467023"}]},
{"type": "assert_return", "line": 668, "action": {"type": "invoke", "field": "no_demote_mixed_add_commuted", "args": [{"type": "f32", "value": "1387972204"}, {"type": "f64", "value": "4773927428111915216"}]}, "expected": [{"type": "f32", "value": "1392270651"}]},
{"type": "assert_return", "line": 669, "action": {"type": "invoke", "field": "no_demote_mixed_add_commuted", "args": [{"type": "f32", "value": "2202918851"}, {"type": "f64", "value": "4072985553596038423"}]}, "expected": [{"type": "f32", "value": "66813087"}]},
{"type": "assert_return", "line": 670, "action": {"type": "invoke", "field": "no_demote_mixed_add_commuted", "args": [{"type": "f32", "value": "822392741"}, {"type": "f64", "value": "13740716732336801211"}]}, "expected": [{"type": "f32", "value": "3045484077"}]},
{"type": "assert_return", "line": 671, "action": {"type": "invoke", "field": "no_demote_mixed_add_commuted", "args": [{"type": "f32", "value": "2870112826"}, {"type": "f64", "value": "13742514716462174325"}]}, "expected": [{"type": "f32", "value": "3048850075"}]},
{"type": "module", "line": 675, "filename": "float_exprs.38.wasm"},
{"type": "assert_return", "line": 680, "action": {"type": "invoke", "field": "no_demote_mixed_sub", "args": [{"type": "f64", "value": "4979303437048015281"}, {"type": "f32", "value": "1583535740"}]}, "expected": [{"type": "f32", "value": "1758482618"}]},
{"type": "assert_return", "line": 681, "action": {"type": "invoke", "field": "no_demote_mixed_sub", "args": [{"type": "f64", "value": "13967600632962086462"}, {"type": "f32", "value": "1214924370"}]}, "expected": [{"type": "f32", "value": "3468107136"}]},
{"type": "assert_return", "line": 682, "action": {"type": "invoke", "field": "no_demote_mixed_sub", "args": [{"type": "f64", "value": "13860263758943608426"}, {"type": "f32", "value": "969848030"}]}, "expected": [{"type": "f32", "value": "3268174805"}]},
{"type": "assert_return", "line": 683, "action": {"type": "invoke", "field": "no_demote_mixed_sub", "args": [{"type": "f64", "value": "4364064588997139903"}, {"type": "f32", "value": "472962692"}]}, "expected": [{"type": "f32", "value": "612510881"}]},
{"type": "assert_return", "line": 684, "action": {"type": "invoke", "field": "no_demote_mixed_sub", "args": [{"type": "f64", "value": "4673175763235896759"}, {"type": "f32", "value": "1198952676"}]}, "expected": [{"type": "f32", "value": "3339501185"}]},
{"type": "module", "line": 688, "filename": "float_exprs.39.wasm"},
{"type": "assert_return", "line": 723, "action": {"type": "invoke", "field": "f32.i32.no_fold_trunc_s_convert_s", "args": [{"type": "f32", "value": "1069547520"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
{"type": "assert_return", "line": 724, "action": {"type": "invoke", "field": "f32.i32.no_fold_trunc_s_convert_s", "args": [{"type": "f32", "value": "3217031168"}]}, "expected": [{"type": "f32", "value": "3212836864"}]},
{"type": "assert_return", "line": 725, "action": {"type": "invoke", "field": "f32.i32.no_fold_trunc_u_convert_s", "args": [{"type": "f32", "value": "1069547520"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
{"type": "assert_return", "line": 726, "action": {"type": "invoke", "field": "f32.i32.no_fold_trunc_u_convert_s", "args": [{"type": "f32", "value": "3204448256"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 727, "action": {"type": "invoke", "field": "f32.i32.no_fold_trunc_s_convert_u", "args": [{"type": "f32", "value": "1069547520"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
{"type": "assert_return", "line": 728, "action": {"type": "invoke", "field": "f32.i32.no_fold_trunc_s_convert_u", "args": [{"type": "f32", "value": "3217031168"}]}, "expected": [{"type": "f32", "value": "1333788672"}]},
{"type": "assert_return", "line": 729, "action": {"type": "invoke", "field": "f32.i32.no_fold_trunc_u_convert_u", "args": [{"type": "f32", "value": "1069547520"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
{"type": "assert_return", "line": 730, "action": {"type": "invoke", "field": "f32.i32.no_fold_trunc_u_convert_u", "args": [{"type": "f32", "value": "3204448256"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 732, "action": {"type": "invoke", "field": "f64.i32.no_fold_trunc_s_convert_s", "args": [{"type": "f64", "value": "4609434218613702656"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
{"type": "assert_return", "line": 733, "action": {"type": "invoke", "field": "f64.i32.no_fold_trunc_s_convert_s", "args": [{"type": "f64", "value": "13832806255468478464"}]}, "expected": [{"type": "f64", "value": "13830554455654793216"}]},
{"type": "assert_return", "line": 734, "action": {"type": "invoke", "field": "f64.i32.no_fold_trunc_u_convert_s", "args": [{"type": "f64", "value": "4609434218613702656"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
{"type": "assert_return", "line": 735, "action": {"type": "invoke", "field": "f64.i32.no_fold_trunc_u_convert_s", "args": [{"type": "f64", "value": "13826050856027422720"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 736, "action": {"type": "invoke", "field": "f64.i32.no_fold_trunc_s_convert_u", "args": [{"type": "f64", "value": "4609434218613702656"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
{"type": "assert_return", "line": 737, "action": {"type": "invoke", "field": "f64.i32.no_fold_trunc_s_convert_u", "args": [{"type": "f64", "value": "13832806255468478464"}]}, "expected": [{"type": "f64", "value": "4751297606873776128"}]},
{"type": "assert_return", "line": 738, "action": {"type": "invoke", "field": "f64.i32.no_fold_trunc_u_convert_u", "args": [{"type": "f64", "value": "4609434218613702656"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
{"type": "assert_return", "line": 739, "action": {"type": "invoke", "field": "f64.i32.no_fold_trunc_u_convert_u", "args": [{"type": "f64", "value": "13826050856027422720"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 741, "action": {"type": "invoke", "field": "f32.i64.no_fold_trunc_s_convert_s", "args": [{"type": "f32", "value": "1069547520"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
{"type": "assert_return", "line": 742, "action": {"type": "invoke", "field": "f32.i64.no_fold_trunc_s_convert_s", "args": [{"type": "f32", "value": "3217031168"}]}, "expected": [{"type": "f32", "value": "3212836864"}]},
{"type": "assert_return", "line": 743, "action": {"type": "invoke", "field": "f32.i64.no_fold_trunc_u_convert_s", "args": [{"type": "f32", "value": "1069547520"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
{"type": "assert_return", "line": 744, "action": {"type": "invoke", "field": "f32.i64.no_fold_trunc_u_convert_s", "args": [{"type": "f32", "value": "3204448256"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 745, "action": {"type": "invoke", "field": "f32.i64.no_fold_trunc_s_convert_u", "args": [{"type": "f32", "value": "1069547520"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
{"type": "assert_return", "line": 746, "action": {"type": "invoke", "field": "f32.i64.no_fold_trunc_s_convert_u", "args": [{"type": "f32", "value": "3217031168"}]}, "expected": [{"type": "f32", "value": "1602224128"}]},
{"type": "assert_return", "line": 747, "action": {"type": "invoke", "field": "f32.i64.no_fold_trunc_u_convert_u", "args": [{"type": "f32", "value": "1069547520"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
{"type": "assert_return", "line": 748, "action": {"type": "invoke", "field": "f32.i64.no_fold_trunc_u_convert_u", "args": [{"type": "f32", "value": "3204448256"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 750, "action": {"type": "invoke", "field": "f64.i64.no_fold_trunc_s_convert_s", "args": [{"type": "f64", "value": "4609434218613702656"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
{"type": "assert_return", "line": 751, "action": {"type": "invoke", "field": "f64.i64.no_fold_trunc_s_convert_s", "args": [{"type": "f64", "value": "13832806255468478464"}]}, "expected": [{"type": "f64", "value": "13830554455654793216"}]},
{"type": "assert_return", "line": 752, "action": {"type": "invoke", "field": "f64.i64.no_fold_trunc_u_convert_s", "args": [{"type": "f64", "value": "4609434218613702656"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
{"type": "assert_return", "line": 753, "action": {"type": "invoke", "field": "f64.i64.no_fold_trunc_u_convert_s", "args": [{"type": "f64", "value": "13826050856027422720"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 754, "action": {"type": "invoke", "field": "f64.i64.no_fold_trunc_s_convert_u", "args": [{"type": "f64", "value": "4609434218613702656"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
{"type": "assert_return", "line": 755, "action": {"type": "invoke", "field": "f64.i64.no_fold_trunc_s_convert_u", "args": [{"type": "f64", "value": "13832806255468478464"}]}, "expected": [{"type": "f64", "value": "4895412794951729152"}]},
{"type": "assert_return", "line": 756, "action": {"type": "invoke", "field": "f64.i64.no_fold_trunc_u_convert_u", "args": [{"type": "f64", "value": "4609434218613702656"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
{"type": "assert_return", "line": 757, "action": {"type": "invoke", "field": "f64.i64.no_fold_trunc_u_convert_u", "args": [{"type": "f64", "value": "13826050856027422720"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "module", "line": 763, "filename": "float_exprs.40.wasm"},
{"type": "action", "line": 784, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "f32", "value": "1097963930"}]}, "expected": []},
{"type": "action", "line": 785, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "4"}, {"type": "f32", "value": "1098068787"}]}, "expected": []},
{"type": "action", "line": 786, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "8"}, {"type": "f32", "value": "1098173645"}]}, "expected": []},
{"type": "action", "line": 787, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "12"}, {"type": "f32", "value": "1098278502"}]}, "expected": []},
{"type": "assert_return", "line": 788, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "f32", "value": "1097963930"}]},
{"type": "assert_return", "line": 789, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "f32", "value": "1098068787"}]},
{"type": "assert_return", "line": 790, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "f32", "value": "1098173645"}]},
{"type": "assert_return", "line": 791, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "f32", "value": "1098278502"}]},
{"type": "action", "line": 792, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "16"}, {"type": "f32", "value": "1077936128"}]}, "expected": []},
{"type": "assert_return", "line": 793, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "f32", "value": "1084297489"}]},
{"type": "assert_return", "line": 794, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "f32", "value": "1084367394"}]},
{"type": "assert_return", "line": 795, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "f32", "value": "1084437299"}]},
{"type": "assert_return", "line": 796, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "f32", "value": "1084507204"}]},
{"type": "module", "line": 798, "filename": "float_exprs.41.wasm"},
{"type": "action", "line": 819, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "f64", "value": "4624690162351420211"}]}, "expected": []},
{"type": "action", "line": 820, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "8"}, {"type": "f64", "value": "4624746457346762342"}]}, "expected": []},
{"type": "action", "line": 821, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "16"}, {"type": "f64", "value": "4624802752342104474"}]}, "expected": []},
{"type": "action", "line": 822, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "24"}, {"type": "f64", "value": "4624859047337446605"}]}, "expected": []},
{"type": "assert_return", "line": 823, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "f64", "value": "4624690162351420211"}]},
{"type": "assert_return", "line": 824, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "f64", "value": "4624746457346762342"}]},
{"type": "assert_return", "line": 825, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "f64", "value": "4624802752342104474"}]},
{"type": "assert_return", "line": 826, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "24"}]}, "expected": [{"type": "f64", "value": "4624859047337446605"}]},
{"type": "action", "line": 827, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "32"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": []},
{"type": "assert_return", "line": 828, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "f64", "value": "4617353047958495778"}]},
{"type": "assert_return", "line": 829, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "f64", "value": "4617390577955390532"}]},
{"type": "assert_return", "line": 830, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "f64", "value": "4617428107952285287"}]},
{"type": "assert_return", "line": 831, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "24"}]}, "expected": [{"type": "f64", "value": "4617465637949180041"}]},
{"type": "module", "line": 835, "filename": "float_exprs.42.wasm"},
{"type": "assert_return", "line": 847, "action": {"type": "invoke", "field": "f32.ult", "args": [{"type": "f32", "value": "1077936128"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 848, "action": {"type": "invoke", "field": "f32.ult", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 849, "action": {"type": "invoke", "field": "f32.ult", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 850, "action": {"type": "invoke", "field": "f32.ult", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 851, "action": {"type": "invoke", "field": "f32.ule", "args": [{"type": "f32", "value": "1077936128"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 852, "action": {"type": "invoke", "field": "f32.ule", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 853, "action": {"type": "invoke", "field": "f32.ule", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 854, "action": {"type": "invoke", "field": "f32.ule", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 855, "action": {"type": "invoke", "field": "f32.ugt", "args": [{"type": "f32", "value": "1077936128"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 856, "action": {"type": "invoke", "field": "f32.ugt", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 857, "action": {"type": "invoke", "field": "f32.ugt", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 858, "action": {"type": "invoke", "field": "f32.ugt", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 859, "action": {"type": "invoke", "field": "f32.uge", "args": [{"type": "f32", "value": "1077936128"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 860, "action": {"type": "invoke", "field": "f32.uge", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 861, "action": {"type": "invoke", "field": "f32.uge", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 862, "action": {"type": "invoke", "field": "f32.uge", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 863, "action": {"type": "invoke", "field": "f64.ult", "args": [{"type": "f64", "value": "4613937818241073152"}, {"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 864, "action": {"type": "invoke", "field": "f64.ult", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 865, "action": {"type": "invoke", "field": "f64.ult", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 866, "action": {"type": "invoke", "field": "f64.ult", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 867, "action": {"type": "invoke", "field": "f64.ule", "args": [{"type": "f64", "value": "4613937818241073152"}, {"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 868, "action": {"type": "invoke", "field": "f64.ule", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 869, "action": {"type": "invoke", "field": "f64.ule", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 870, "action": {"type": "invoke", "field": "f64.ule", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 871, "action": {"type": "invoke", "field": "f64.ugt", "args": [{"type": "f64", "value": "4613937818241073152"}, {"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 872, "action": {"type": "invoke", "field": "f64.ugt", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 873, "action": {"type": "invoke", "field": "f64.ugt", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 874, "action": {"type": "invoke", "field": "f64.ugt", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 875, "action": {"type": "invoke", "field": "f64.uge", "args": [{"type": "f64", "value": "4613937818241073152"}, {"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 876, "action": {"type": "invoke", "field": "f64.uge", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 877, "action": {"type": "invoke", "field": "f64.uge", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 878, "action": {"type": "invoke", "field": "f64.uge", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "module", "line": 882, "filename": "float_exprs.43.wasm"},
{"type": "assert_return", "line": 894, "action": {"type": "invoke", "field": "f32.no_fold_lt_select", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 895, "action": {"type": "invoke", "field": "f32.no_fold_lt_select", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 896, "action": {"type": "invoke", "field": "f32.no_fold_lt_select", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 897, "action": {"type": "invoke", "field": "f32.no_fold_lt_select", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 898, "action": {"type": "invoke", "field": "f32.no_fold_le_select", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 899, "action": {"type": "invoke", "field": "f32.no_fold_le_select", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 900, "action": {"type": "invoke", "field": "f32.no_fold_le_select", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 901, "action": {"type": "invoke", "field": "f32.no_fold_le_select", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 902, "action": {"type": "invoke", "field": "f32.no_fold_gt_select", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 903, "action": {"type": "invoke", "field": "f32.no_fold_gt_select", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 904, "action": {"type": "invoke", "field": "f32.no_fold_gt_select", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 905, "action": {"type": "invoke", "field": "f32.no_fold_gt_select", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 906, "action": {"type": "invoke", "field": "f32.no_fold_ge_select", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 907, "action": {"type": "invoke", "field": "f32.no_fold_ge_select", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 908, "action": {"type": "invoke", "field": "f32.no_fold_ge_select", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 909, "action": {"type": "invoke", "field": "f32.no_fold_ge_select", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 910, "action": {"type": "invoke", "field": "f64.no_fold_lt_select", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 911, "action": {"type": "invoke", "field": "f64.no_fold_lt_select", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 912, "action": {"type": "invoke", "field": "f64.no_fold_lt_select", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 913, "action": {"type": "invoke", "field": "f64.no_fold_lt_select", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 914, "action": {"type": "invoke", "field": "f64.no_fold_le_select", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 915, "action": {"type": "invoke", "field": "f64.no_fold_le_select", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 916, "action": {"type": "invoke", "field": "f64.no_fold_le_select", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 917, "action": {"type": "invoke", "field": "f64.no_fold_le_select", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 918, "action": {"type": "invoke", "field": "f64.no_fold_gt_select", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 919, "action": {"type": "invoke", "field": "f64.no_fold_gt_select", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 920, "action": {"type": "invoke", "field": "f64.no_fold_gt_select", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 921, "action": {"type": "invoke", "field": "f64.no_fold_gt_select", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 922, "action": {"type": "invoke", "field": "f64.no_fold_ge_select", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 923, "action": {"type": "invoke", "field": "f64.no_fold_ge_select", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 924, "action": {"type": "invoke", "field": "f64.no_fold_ge_select", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 925, "action": {"type": "invoke", "field": "f64.no_fold_ge_select", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "module", "line": 929, "filename": "float_exprs.44.wasm"},
{"type": "assert_return", "line": 973, "action": {"type": "invoke", "field": "f32.no_fold_lt_if", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 974, "action": {"type": "invoke", "field": "f32.no_fold_lt_if", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 975, "action": {"type": "invoke", "field": "f32.no_fold_lt_if", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 976, "action": {"type": "invoke", "field": "f32.no_fold_lt_if", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 977, "action": {"type": "invoke", "field": "f32.no_fold_le_if", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 978, "action": {"type": "invoke", "field": "f32.no_fold_le_if", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 979, "action": {"type": "invoke", "field": "f32.no_fold_le_if", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 980, "action": {"type": "invoke", "field": "f32.no_fold_le_if", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 981, "action": {"type": "invoke", "field": "f32.no_fold_gt_if", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 982, "action": {"type": "invoke", "field": "f32.no_fold_gt_if", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 983, "action": {"type": "invoke", "field": "f32.no_fold_gt_if", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 984, "action": {"type": "invoke", "field": "f32.no_fold_gt_if", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 985, "action": {"type": "invoke", "field": "f32.no_fold_ge_if", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 986, "action": {"type": "invoke", "field": "f32.no_fold_ge_if", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 987, "action": {"type": "invoke", "field": "f32.no_fold_ge_if", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 988, "action": {"type": "invoke", "field": "f32.no_fold_ge_if", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 989, "action": {"type": "invoke", "field": "f64.no_fold_lt_if", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 990, "action": {"type": "invoke", "field": "f64.no_fold_lt_if", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 991, "action": {"type": "invoke", "field": "f64.no_fold_lt_if", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 992, "action": {"type": "invoke", "field": "f64.no_fold_lt_if", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 993, "action": {"type": "invoke", "field": "f64.no_fold_le_if", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 994, "action": {"type": "invoke", "field": "f64.no_fold_le_if", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 995, "action": {"type": "invoke", "field": "f64.no_fold_le_if", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 996, "action": {"type": "invoke", "field": "f64.no_fold_le_if", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 997, "action": {"type": "invoke", "field": "f64.no_fold_gt_if", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 998, "action": {"type": "invoke", "field": "f64.no_fold_gt_if", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 999, "action": {"type": "invoke", "field": "f64.no_fold_gt_if", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1000, "action": {"type": "invoke", "field": "f64.no_fold_gt_if", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1001, "action": {"type": "invoke", "field": "f64.no_fold_ge_if", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 1002, "action": {"type": "invoke", "field": "f64.no_fold_ge_if", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1003, "action": {"type": "invoke", "field": "f64.no_fold_ge_if", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1004, "action": {"type": "invoke", "field": "f64.no_fold_ge_if", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "module", "line": 1008, "filename": "float_exprs.45.wasm"},
{"type": "assert_return", "line": 1020, "action": {"type": "invoke", "field": "f32.no_fold_lt_select_to_abs", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "2141192192"}]},
{"type": "assert_return", "line": 1021, "action": {"type": "invoke", "field": "f32.no_fold_lt_select_to_abs", "args": [{"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "4290772992"}]},
{"type": "assert_return", "line": 1022, "action": {"type": "invoke", "field": "f32.no_fold_lt_select_to_abs", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1023, "action": {"type": "invoke", "field": "f32.no_fold_lt_select_to_abs", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1024, "action": {"type": "invoke", "field": "f32.no_fold_le_select_to_abs", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "2141192192"}]},
{"type": "assert_return", "line": 1025, "action": {"type": "invoke", "field": "f32.no_fold_le_select_to_abs", "args": [{"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "4290772992"}]},
{"type": "assert_return", "line": 1026, "action": {"type": "invoke", "field": "f32.no_fold_le_select_to_abs", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1027, "action": {"type": "invoke", "field": "f32.no_fold_le_select_to_abs", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1028, "action": {"type": "invoke", "field": "f32.no_fold_gt_select_to_abs", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "4288675840"}]},
{"type": "assert_return", "line": 1029, "action": {"type": "invoke", "field": "f32.no_fold_gt_select_to_abs", "args": [{"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 1030, "action": {"type": "invoke", "field": "f32.no_fold_gt_select_to_abs", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1031, "action": {"type": "invoke", "field": "f32.no_fold_gt_select_to_abs", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1032, "action": {"type": "invoke", "field": "f32.no_fold_ge_select_to_abs", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "4288675840"}]},
{"type": "assert_return", "line": 1033, "action": {"type": "invoke", "field": "f32.no_fold_ge_select_to_abs", "args": [{"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 1034, "action": {"type": "invoke", "field": "f32.no_fold_ge_select_to_abs", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1035, "action": {"type": "invoke", "field": "f32.no_fold_ge_select_to_abs", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1036, "action": {"type": "invoke", "field": "f64.no_fold_lt_select_to_abs", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "9219994337134247936"}]},
{"type": "assert_return", "line": 1037, "action": {"type": "invoke", "field": "f64.no_fold_lt_select_to_abs", "args": [{"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "18444492273895866368"}]},
{"type": "assert_return", "line": 1038, "action": {"type": "invoke", "field": "f64.no_fold_lt_select_to_abs", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1039, "action": {"type": "invoke", "field": "f64.no_fold_lt_select_to_abs", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1040, "action": {"type": "invoke", "field": "f64.no_fold_le_select_to_abs", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "9219994337134247936"}]},
{"type": "assert_return", "line": 1041, "action": {"type": "invoke", "field": "f64.no_fold_le_select_to_abs", "args": [{"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "18444492273895866368"}]},
{"type": "assert_return", "line": 1042, "action": {"type": "invoke", "field": "f64.no_fold_le_select_to_abs", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1043, "action": {"type": "invoke", "field": "f64.no_fold_le_select_to_abs", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1044, "action": {"type": "invoke", "field": "f64.no_fold_gt_select_to_abs", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "18443366373989023744"}]},
{"type": "assert_return", "line": 1045, "action": {"type": "invoke", "field": "f64.no_fold_gt_select_to_abs", "args": [{"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 1046, "action": {"type": "invoke", "field": "f64.no_fold_gt_select_to_abs", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1047, "action": {"type": "invoke", "field": "f64.no_fold_gt_select_to_abs", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1048, "action": {"type": "invoke", "field": "f64.no_fold_ge_select_to_abs", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "18443366373989023744"}]},
{"type": "assert_return", "line": 1049, "action": {"type": "invoke", "field": "f64.no_fold_ge_select_to_abs", "args": [{"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 1050, "action": {"type": "invoke", "field": "f64.no_fold_ge_select_to_abs", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1051, "action": {"type": "invoke", "field": "f64.no_fold_ge_select_to_abs", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "module", "line": 1055, "filename": "float_exprs.46.wasm"},
{"type": "assert_return", "line": 1099, "action": {"type": "invoke", "field": "f32.no_fold_lt_if_to_abs", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "2141192192"}]},
{"type": "assert_return", "line": 1100, "action": {"type": "invoke", "field": "f32.no_fold_lt_if_to_abs", "args": [{"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "4290772992"}]},
{"type": "assert_return", "line": 1101, "action": {"type": "invoke", "field": "f32.no_fold_lt_if_to_abs", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1102, "action": {"type": "invoke", "field": "f32.no_fold_lt_if_to_abs", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1103, "action": {"type": "invoke", "field": "f32.no_fold_le_if_to_abs", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "2141192192"}]},
{"type": "assert_return", "line": 1104, "action": {"type": "invoke", "field": "f32.no_fold_le_if_to_abs", "args": [{"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "4290772992"}]},
{"type": "assert_return", "line": 1105, "action": {"type": "invoke", "field": "f32.no_fold_le_if_to_abs", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1106, "action": {"type": "invoke", "field": "f32.no_fold_le_if_to_abs", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1107, "action": {"type": "invoke", "field": "f32.no_fold_gt_if_to_abs", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "4288675840"}]},
{"type": "assert_return", "line": 1108, "action": {"type": "invoke", "field": "f32.no_fold_gt_if_to_abs", "args": [{"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 1109, "action": {"type": "invoke", "field": "f32.no_fold_gt_if_to_abs", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1110, "action": {"type": "invoke", "field": "f32.no_fold_gt_if_to_abs", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1111, "action": {"type": "invoke", "field": "f32.no_fold_ge_if_to_abs", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "4288675840"}]},
{"type": "assert_return", "line": 1112, "action": {"type": "invoke", "field": "f32.no_fold_ge_if_to_abs", "args": [{"type": "f32", "value": "4290772992"}]}, "expected": [{"type": "f32", "value": "2143289344"}]},
{"type": "assert_return", "line": 1113, "action": {"type": "invoke", "field": "f32.no_fold_ge_if_to_abs", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1114, "action": {"type": "invoke", "field": "f32.no_fold_ge_if_to_abs", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1115, "action": {"type": "invoke", "field": "f64.no_fold_lt_if_to_abs", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "9219994337134247936"}]},
{"type": "assert_return", "line": 1116, "action": {"type": "invoke", "field": "f64.no_fold_lt_if_to_abs", "args": [{"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "18444492273895866368"}]},
{"type": "assert_return", "line": 1117, "action": {"type": "invoke", "field": "f64.no_fold_lt_if_to_abs", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1118, "action": {"type": "invoke", "field": "f64.no_fold_lt_if_to_abs", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1119, "action": {"type": "invoke", "field": "f64.no_fold_le_if_to_abs", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "9219994337134247936"}]},
{"type": "assert_return", "line": 1120, "action": {"type": "invoke", "field": "f64.no_fold_le_if_to_abs", "args": [{"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "18444492273895866368"}]},
{"type": "assert_return", "line": 1121, "action": {"type": "invoke", "field": "f64.no_fold_le_if_to_abs", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1122, "action": {"type": "invoke", "field": "f64.no_fold_le_if_to_abs", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1123, "action": {"type": "invoke", "field": "f64.no_fold_gt_if_to_abs", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "18443366373989023744"}]},
{"type": "assert_return", "line": 1124, "action": {"type": "invoke", "field": "f64.no_fold_gt_if_to_abs", "args": [{"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 1125, "action": {"type": "invoke", "field": "f64.no_fold_gt_if_to_abs", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1126, "action": {"type": "invoke", "field": "f64.no_fold_gt_if_to_abs", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1127, "action": {"type": "invoke", "field": "f64.no_fold_ge_if_to_abs", "args": [{"type": "f64", "value": "9219994337134247936"}]}, "expected": [{"type": "f64", "value": "18443366373989023744"}]},
{"type": "assert_return", "line": 1128, "action": {"type": "invoke", "field": "f64.no_fold_ge_if_to_abs", "args": [{"type": "f64", "value": "18444492273895866368"}]}, "expected": [{"type": "f64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 1129, "action": {"type": "invoke", "field": "f64.no_fold_ge_if_to_abs", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1130, "action": {"type": "invoke", "field": "f64.no_fold_ge_if_to_abs", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "module", "line": 1135, "filename": "float_exprs.47.wasm"},
{"type": "assert_return", "line": 1144, "action": {"type": "invoke", "field": "f32.incorrect_correction", "args": []}, "expected": [{"type": "f32", "value": "872415232"}]},
{"type": "assert_return", "line": 1145, "action": {"type": "invoke", "field": "f64.incorrect_correction", "args": []}, "expected": [{"type": "f64", "value": "13596367275031527424"}]},
{"type": "module", "line": 1150, "filename": "float_exprs.48.wasm"},
{"type": "assert_return", "line": 1167, "action": {"type": "invoke", "field": "calculate", "args": []}, "expected": [{"type": "f32", "value": "3286857379"}]},
{"type": "module", "line": 1169, "filename": "float_exprs.49.wasm"},
{"type": "assert_return", "line": 1186, "action": {"type": "invoke", "field": "calculate", "args": []}, "expected": [{"type": "f64", "value": "13870293918930799763"}]},
{"type": "module", "line": 1191, "filename": "float_exprs.50.wasm"},
{"type": "assert_return", "line": 1197, "action": {"type": "invoke", "field": "llvm_pr26746", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "module", "line": 1202, "filename": "float_exprs.51.wasm"},
{"type": "assert_return", "line": 1208, "action": {"type": "invoke", "field": "llvm_pr27153", "args": [{"type": "i32", "value": "33554434"}]}, "expected": [{"type": "f32", "value": "1270874112"}]},
{"type": "module", "line": 1213, "filename": "float_exprs.52.wasm"},
{"type": "assert_return", "line": 1220, "action": {"type": "invoke", "field": "llvm_pr27036", "args": [{"type": "i32", "value": "4269932491"}, {"type": "i32", "value": "14942208"}]}, "expected": [{"type": "f32", "value": "3407478836"}]},
{"type": "module", "line": 1230, "filename": "float_exprs.53.wasm"},
{"type": "assert_return", "line": 1244, "action": {"type": "invoke", "field": "thepast0", "args": [{"type": "f64", "value": "9007199254740992"}, {"type": "f64", "value": "4607182418800017407"}, {"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4602678819172646912"}]}, "expected": [{"type": "f64", "value": "9007199254740991"}]},
{"type": "assert_return", "line": 1245, "action": {"type": "invoke", "field": "thepast1", "args": [{"type": "f64", "value": "4363988038922010624"}, {"type": "f64", "value": "4607182418800017407"}, {"type": "f64", "value": "4363988038922010624"}]}, "expected": [{"type": "f64", "value": "13348669295526150144"}]},
{"type": "assert_return", "line": 1246, "action": {"type": "invoke", "field": "thepast2", "args": [{"type": "f32", "value": "16777216"}, {"type": "f32", "value": "1056964608"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "8388608"}]},
{"type": "module", "line": 1251, "filename": "float_exprs.54.wasm"},
{"type": "assert_return", "line": 1257, "action": {"type": "invoke", "field": "inverse", "args": [{"type": "f32", "value": "1119879168"}]}, "expected": [{"type": "f32", "value": "1009429163"}]},
{"type": "module", "line": 1262, "filename": "float_exprs.55.wasm"},
{"type": "assert_return", "line": 1272, "action": {"type": "invoke", "field": "f32_sqrt_minus_2", "args": [{"type": "f32", "value": "1082130432"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1273, "action": {"type": "invoke", "field": "f64_sqrt_minus_2", "args": [{"type": "f64", "value": "4616189618054758400"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "module", "line": 1277, "filename": "float_exprs.56.wasm"},
{"type": "assert_return", "line": 1285, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "3765723020"}]}, "expected": [{"type": "f32", "value": "3765723019"}]},
{"type": "assert_return", "line": 1286, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "426844452"}]}, "expected": [{"type": "f32", "value": "426844451"}]},
{"type": "assert_return", "line": 1287, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "535132276"}]}, "expected": [{"type": "f32", "value": "535132277"}]},
{"type": "assert_return", "line": 1288, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "3253941441"}]}, "expected": [{"type": "f32", "value": "3253941442"}]},
{"type": "assert_return", "line": 1289, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "1660734603"}]}, "expected": [{"type": "f32", "value": "1660734602"}]},
{"type": "assert_return", "line": 1291, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1292, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1293, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "4286578688"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
{"type": "assert_return", "line": 1294, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
{"type": "assert_return", "line": 1296, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "14500888369201570768"}]}, "expected": [{"type": "f64", "value": "14500888369201570769"}]},
{"type": "assert_return", "line": 1297, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "14132092565459057123"}]}, "expected": [{"type": "f64", "value": "14132092565459057122"}]},
{"type": "assert_return", "line": 1298, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "5359183527603521526"}]}, "expected": [{"type": "f64", "value": "5359183527603521525"}]},
{"type": "assert_return", "line": 1299, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "1521566147669375634"}]}, "expected": [{"type": "f64", "value": "1521566147669375633"}]},
{"type": "assert_return", "line": 1300, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "8671785631545870379"}]}, "expected": [{"type": "f64", "value": "8671785631545870378"}]},
{"type": "assert_return", "line": 1302, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1303, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1304, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "18442240474082181120"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
{"type": "assert_return", "line": 1305, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
{"type": "module", "line": 1309, "filename": "float_exprs.57.wasm"},
{"type": "assert_return", "line": 1319, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "2759308231"}, {"type": "f32", "value": "618704988"}]}, "expected": [{"type": "f32", "value": "2315864577"}]},
{"type": "assert_return", "line": 1320, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "3415653214"}, {"type": "f32", "value": "1274676302"}]}, "expected": [{"type": "f32", "value": "3625675853"}]},
{"type": "assert_return", "line": 1321, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "1446924633"}, {"type": "f32", "value": "3607373982"}]}, "expected": [{"type": "f32", "value": "4000155759"}]},
{"type": "assert_return", "line": 1322, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "1212067608"}, {"type": "f32", "value": "3278094810"}]}, "expected": [{"type": "f32", "value": "1359874131"}]},
{"type": "assert_return", "line": 1323, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "3278732464"}, {"type": "f32", "value": "3379389272"}]}, "expected": [{"type": "f32", "value": "3546030359"}]},
{"type": "assert_return", "line": 1325, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "2467435761933928117"}, {"type": "f64", "value": "2526113756828458004"}]}, "expected": [{"type": "f64", "value": "9668435399096543331"}]},
{"type": "assert_return", "line": 1326, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "2911983657790464931"}, {"type": "f64", "value": "2814431682419759911"}]}, "expected": [{"type": "f64", "value": "1217162942843921803"}]},
{"type": "assert_return", "line": 1327, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "12131637044948792058"}, {"type": "f64", "value": "12170782965730311956"}]}, "expected": [{"type": "f64", "value": "10511676135434922533"}]},
{"type": "assert_return", "line": 1328, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "14639789466354372633"}, {"type": "f64", "value": "5456963169336729236"}]}, "expected": [{"type": "f64", "value": "15530333405173431543"}]},
{"type": "assert_return", "line": 1329, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "5121779675912507154"}, {"type": "f64", "value": "14237286623175920791"}]}, "expected": [{"type": "f64", "value": "5636689734063865714"}]},
{"type": "module", "line": 1333, "filename": "float_exprs.58.wasm"},
{"type": "assert_return", "line": 1343, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "684135946"}, {"type": "f32", "value": "744319693"}]}, "expected": [{"type": "f32", "value": "2571075368"}]},
{"type": "assert_return", "line": 1344, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "3560929481"}, {"type": "f32", "value": "3496840229"}]}, "expected": [{"type": "f32", "value": "1762604185"}]},
{"type": "assert_return", "line": 1345, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "968841772"}, {"type": "f32", "value": "3106497100"}]}, "expected": [{"type": "f32", "value": "870712803"}]},
{"type": "assert_return", "line": 1346, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "697514723"}, {"type": "f32", "value": "2834753933"}]}, "expected": [{"type": "f32", "value": "327914662"}]},
{"type": "assert_return", "line": 1347, "action": {"type": "invoke", "field": "f32.no_algebraic_factoring", "args": [{"type": "f32", "value": "1498230729"}, {"type": "f32", "value": "3650453580"}]}, "expected": [{"type": "f32", "value": "4080583891"}]},
{"type": "assert_return", "line": 1349, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "6212515167506370409"}, {"type": "f64", "value": "15348474890798978273"}]}, "expected": [{"type": "f64", "value": "7818515589337550196"}]},
{"type": "assert_return", "line": 1350, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "15222970140370015722"}, {"type": "f64", "value": "15325207139996136125"}]}, "expected": [{"type": "f64", "value": "16819892485880140289"}]},
{"type": "assert_return", "line": 1351, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "4797439202963874050"}, {"type": "f64", "value": "14009643534571442918"}]}, "expected": [{"type": "f64", "value": "4987747999326390045"}]},
{"type": "assert_return", "line": 1352, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "14653559129294038194"}, {"type": "f64", "value": "14581996260169223461"}]}, "expected": [{"type": "f64", "value": "6253339631158964222"}]},
{"type": "assert_return", "line": 1353, "action": {"type": "invoke", "field": "f64.no_algebraic_factoring", "args": [{"type": "f64", "value": "12768321634751930140"}, {"type": "f64", "value": "12767602092732820937"}]}, "expected": [{"type": "f64", "value": "2473652960990319032"}]},
{"type": "module", "line": 1358, "filename": "float_exprs.59.wasm"},
{"type": "assert_return", "line": 1391, "action": {"type": "invoke", "field": "f32.simple_x4_sum", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "16"}, {"type": "i32", "value": "32"}]}, "expected": []},
{"type": "assert_return", "line": 1392, "action": {"type": "invoke", "field": "f32.load", "args": [{"type": "i32", "value": "32"}]}, "expected": [{"type": "f32", "value": "2"}]},
{"type": "assert_return", "line": 1393, "action": {"type": "invoke", "field": "f32.load", "args": [{"type": "i32", "value": "36"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1394, "action": {"type": "invoke", "field": "f32.load", "args": [{"type": "i32", "value": "40"}]}, "expected": [{"type": "f32", "value": "1"}]},
{"type": "assert_return", "line": 1395, "action": {"type": "invoke", "field": "f32.load", "args": [{"type": "i32", "value": "44"}]}, "expected": [{"type": "f32", "value": "2147483649"}]},
{"type": "module", "line": 1397, "filename": "float_exprs.60.wasm"},
{"type": "assert_return", "line": 1430, "action": {"type": "invoke", "field": "f64.simple_x4_sum", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "32"}, {"type": "i32", "value": "64"}]}, "expected": []},
{"type": "assert_return", "line": 1431, "action": {"type": "invoke", "field": "f64.load", "args": [{"type": "i32", "value": "64"}]}, "expected": [{"type": "f64", "value": "2"}]},
{"type": "assert_return", "line": 1432, "action": {"type": "invoke", "field": "f64.load", "args": [{"type": "i32", "value": "72"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1433, "action": {"type": "invoke", "field": "f64.load", "args": [{"type": "i32", "value": "80"}]}, "expected": [{"type": "f64", "value": "1"}]},
{"type": "assert_return", "line": 1434, "action": {"type": "invoke", "field": "f64.load", "args": [{"type": "i32", "value": "88"}]}, "expected": [{"type": "f64", "value": "9223372036854775809"}]},
{"type": "module", "line": 1439, "filename": "float_exprs.61.wasm"},
{"type": "assert_return", "line": 1530, "action": {"type": "invoke", "field": "f32.kahan_sum", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "256"}]}, "expected": [{"type": "f32", "value": "4085779725"}]},
{"type": "assert_return", "line": 1531, "action": {"type": "invoke", "field": "f32.plain_sum", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "256"}]}, "expected": [{"type": "f32", "value": "4082113053"}]},
{"type": "module", "line": 1533, "filename": "float_exprs.62.wasm"},
{"type": "assert_return", "line": 1581, "action": {"type": "invoke", "field": "f64.kahan_sum", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "256"}]}, "expected": [{"type": "f64", "value": "9105671289202277512"}]},
{"type": "assert_return", "line": 1582, "action": {"type": "invoke", "field": "f64.plain_sum", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "256"}]}, "expected": [{"type": "f64", "value": "9105671289202539655"}]},
{"type": "module", "line": 1586, "filename": "float_exprs.63.wasm"},
{"type": "assert_return", "line": 1594, "action": {"type": "invoke", "field": "f32.no_fold_neg_sub", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1595, "action": {"type": "invoke", "field": "f32.no_fold_neg_sub", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1596, "action": {"type": "invoke", "field": "f32.no_fold_neg_sub", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1597, "action": {"type": "invoke", "field": "f32.no_fold_neg_sub", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1599, "action": {"type": "invoke", "field": "f64.no_fold_neg_sub", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1600, "action": {"type": "invoke", "field": "f64.no_fold_neg_sub", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1601, "action": {"type": "invoke", "field": "f64.no_fold_neg_sub", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1602, "action": {"type": "invoke", "field": "f64.no_fold_neg_sub", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "module", "line": 1606, "filename": "float_exprs.64.wasm"},
{"type": "assert_return", "line": 1614, "action": {"type": "invoke", "field": "f32.no_fold_neg_add", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1615, "action": {"type": "invoke", "field": "f32.no_fold_neg_add", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1616, "action": {"type": "invoke", "field": "f32.no_fold_neg_add", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1617, "action": {"type": "invoke", "field": "f32.no_fold_neg_add", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1619, "action": {"type": "invoke", "field": "f64.no_fold_neg_add", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1620, "action": {"type": "invoke", "field": "f64.no_fold_neg_add", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1621, "action": {"type": "invoke", "field": "f64.no_fold_neg_add", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1622, "action": {"type": "invoke", "field": "f64.no_fold_neg_add", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "module", "line": 1626, "filename": "float_exprs.65.wasm"},
{"type": "assert_return", "line": 1634, "action": {"type": "invoke", "field": "f32.no_fold_add_neg_neg", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1635, "action": {"type": "invoke", "field": "f32.no_fold_add_neg_neg", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1636, "action": {"type": "invoke", "field": "f32.no_fold_add_neg_neg", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1637, "action": {"type": "invoke", "field": "f32.no_fold_add_neg_neg", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1639, "action": {"type": "invoke", "field": "f64.no_fold_add_neg_neg", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1640, "action": {"type": "invoke", "field": "f64.no_fold_add_neg_neg", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1641, "action": {"type": "invoke", "field": "f64.no_fold_add_neg_neg", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1642, "action": {"type": "invoke", "field": "f64.no_fold_add_neg_neg", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "module", "line": 1646, "filename": "float_exprs.66.wasm"},
{"type": "assert_return", "line": 1654, "action": {"type": "invoke", "field": "f32.no_fold_add_neg", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1655, "action": {"type": "invoke", "field": "f32.no_fold_add_neg", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1656, "action": {"type": "invoke", "field": "f32.no_fold_add_neg", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 1657, "action": {"type": "invoke", "field": "f32.no_fold_add_neg", "args": [{"type": "f32", "value": "4286578688"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 1659, "action": {"type": "invoke", "field": "f64.no_fold_add_neg", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1660, "action": {"type": "invoke", "field": "f64.no_fold_add_neg", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1661, "action": {"type": "invoke", "field": "f64.no_fold_add_neg", "args": [{"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 1662, "action": {"type": "invoke", "field": "f64.no_fold_add_neg", "args": [{"type": "f64", "value": "18442240474082181120"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "module", "line": 1666, "filename": "float_exprs.67.wasm"},
{"type": "assert_return", "line": 1680, "action": {"type": "invoke", "field": "f32.no_fold_6x_via_add", "args": [{"type": "f32", "value": "4046243078"}]}, "expected": [{"type": "f32", "value": "4068578245"}]},
{"type": "assert_return", "line": 1681, "action": {"type": "invoke", "field": "f32.no_fold_6x_via_add", "args": [{"type": "f32", "value": "2573857750"}]}, "expected": [{"type": "f32", "value": "2595190497"}]},
{"type": "assert_return", "line": 1682, "action": {"type": "invoke", "field": "f32.no_fold_6x_via_add", "args": [{"type": "f32", "value": "419462401"}]}, "expected": [{"type": "f32", "value": "440449921"}]},
{"type": "assert_return", "line": 1683, "action": {"type": "invoke", "field": "f32.no_fold_6x_via_add", "args": [{"type": "f32", "value": "2955475482"}]}, "expected": [{"type": "f32", "value": "2977789734"}]},
{"type": "assert_return", "line": 1684, "action": {"type": "invoke", "field": "f32.no_fold_6x_via_add", "args": [{"type": "f32", "value": "3883931973"}]}, "expected": [{"type": "f32", "value": "3904906727"}]},
{"type": "assert_return", "line": 1686, "action": {"type": "invoke", "field": "f64.no_fold_6x_via_add", "args": [{"type": "f64", "value": "14137662215323058150"}]}, "expected": [{"type": "f64", "value": "14149352706895019994"}]},
{"type": "assert_return", "line": 1687, "action": {"type": "invoke", "field": "f64.no_fold_6x_via_add", "args": [{"type": "f64", "value": "11424134044545165748"}]}, "expected": [{"type": "f64", "value": "11435767596137037638"}]},
{"type": "assert_return", "line": 1688, "action": {"type": "invoke", "field": "f64.no_fold_6x_via_add", "args": [{"type": "f64", "value": "15055410132664937138"}]}, "expected": [{"type": "f64", "value": "15066699987142021125"}]},
{"type": "assert_return", "line": 1689, "action": {"type": "invoke", "field": "f64.no_fold_6x_via_add", "args": [{"type": "f64", "value": "7991451501228919438"}]}, "expected": [{"type": "f64", "value": "8003319959635773419"}]},
{"type": "assert_return", "line": 1690, "action": {"type": "invoke", "field": "f64.no_fold_6x_via_add", "args": [{"type": "f64", "value": "14886926859367497770"}]}, "expected": [{"type": "f64", "value": "14898679235615764511"}]},
{"type": "module", "line": 1695, "filename": "float_exprs.68.wasm"},
{"type": "assert_return", "line": 1703, "action": {"type": "invoke", "field": "f32.no_fold_div_div", "args": [{"type": "f32", "value": "3875242260"}, {"type": "f32", "value": "3086869257"}, {"type": "f32", "value": "3301317576"}]}, "expected": [{"type": "f32", "value": "3911440926"}]},
{"type": "assert_return", "line": 1704, "action": {"type": "invoke", "field": "f32.no_fold_div_div", "args": [{"type": "f32", "value": "485052055"}, {"type": "f32", "value": "1996083391"}, {"type": "f32", "value": "2276616712"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1705, "action": {"type": "invoke", "field": "f32.no_fold_div_div", "args": [{"type": "f32", "value": "1430470604"}, {"type": "f32", "value": "186144382"}, {"type": "f32", "value": "1953564780"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
{"type": "assert_return", "line": 1706, "action": {"type": "invoke", "field": "f32.no_fold_div_div", "args": [{"type": "f32", "value": "3101818893"}, {"type": "f32", "value": "4258133430"}, {"type": "f32", "value": "2855958950"}]}, "expected": [{"type": "f32", "value": "2411777082"}]},
{"type": "assert_return", "line": 1707, "action": {"type": "invoke", "field": "f32.no_fold_div_div", "args": [{"type": "f32", "value": "1458407223"}, {"type": "f32", "value": "1537931089"}, {"type": "f32", "value": "4260989344"}]}, "expected": [{"type": "f32", "value": "2147507000"}]},
{"type": "assert_return", "line": 1709, "action": {"type": "invoke", "field": "f64.no_fold_div_div", "args": [{"type": "f64", "value": "6128077243319875447"}, {"type": "f64", "value": "7240092044185667120"}, {"type": "f64", "value": "10312472494987686942"}]}, "expected": [{"type": "f64", "value": "16236150182064455170"}]},
{"type": "assert_return", "line": 1710, "action": {"type": "invoke", "field": "f64.no_fold_div_div", "args": [{"type": "f64", "value": "17395933367696573535"}, {"type": "f64", "value": "4478922858584402707"}, {"type": "f64", "value": "6032094754408482817"}]}, "expected": [{"type": "f64", "value": "16098470347548634769"}]},
{"type": "assert_return", "line": 1711, "action": {"type": "invoke", "field": "f64.no_fold_div_div", "args": [{"type": "f64", "value": "13843263185226986279"}, {"type": "f64", "value": "17796742619038211051"}, {"type": "f64", "value": "5375701731263473827"}]}, "expected": [{"type": "f64", "value": "44472927"}]},
{"type": "assert_return", "line": 1712, "action": {"type": "invoke", "field": "f64.no_fold_div_div", "args": [{"type": "f64", "value": "17547288444310957340"}, {"type": "f64", "value": "911654786857739111"}, {"type": "f64", "value": "8937284546802896640"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
{"type": "assert_return", "line": 1713, "action": {"type": "invoke", "field": "f64.no_fold_div_div", "args": [{"type": "f64", "value": "9835707468114203513"}, {"type": "f64", "value": "1924400690116523912"}, {"type": "f64", "value": "13208934041167870811"}]}, "expected": [{"type": "f64", "value": "3916014548332337260"}]},
{"type": "module", "line": 1719, "filename": "float_exprs.69.wasm"},
{"type": "assert_return", "line": 1727, "action": {"type": "invoke", "field": "f32.no_fold_mul_divs", "args": [{"type": "f32", "value": "2304917983"}, {"type": "f32", "value": "301403678"}, {"type": "f32", "value": "331350955"}, {"type": "f32", "value": "3251297465"}]}, "expected": [{"type": "f32", "value": "148760966"}]},
{"type": "assert_return", "line": 1728, "action": {"type": "invoke", "field": "f32.no_fold_mul_divs", "args": [{"type": "f32", "value": "4068974897"}, {"type": "f32", "value": "1276265036"}, {"type": "f32", "value": "930821438"}, {"type": "f32", "value": "1044692964"}]}, "expected": [{"type": "f32", "value": "3742862674"}]},
{"type": "assert_return", "line": 1729, "action": {"type": "invoke", "field": "f32.no_fold_mul_divs", "args": [{"type": "f32", "value": "3496980369"}, {"type": "f32", "value": "3548280607"}, {"type": "f32", "value": "3461305482"}, {"type": "f32", "value": "3298174616"}]}, "expected": [{"type": "f32", "value": "1176926862"}]},
{"type": "assert_return", "line": 1730, "action": {"type": "invoke", "field": "f32.no_fold_mul_divs", "args": [{"type": "f32", "value": "4135236702"}, {"type": "f32", "value": "787270424"}, {"type": "f32", "value": "932959293"}, {"type": "f32", "value": "1724950821"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
{"type": "assert_return", "line": 1731, "action": {"type": "invoke", "field": "f32.no_fold_mul_divs", "args": [{"type": "f32", "value": "622783177"}, {"type": "f32", "value": "2677642769"}, {"type": "f32", "value": "307759154"}, {"type": "f32", "value": "768171421"}]}, "expected": [{"type": "f32", "value": "2844661464"}]},
{"type": "assert_return", "line": 1733, "action": {"type": "invoke", "field": "f64.no_fold_mul_divs", "args": [{"type": "f64", "value": "10143060558527560466"}, {"type": "f64", "value": "11745059379675007839"}, {"type": "f64", "value": "16295837305232663584"}, {"type": "f64", "value": "5444961058358534642"}]}, "expected": [{"type": "f64", "value": "13856326607560224491"}]},
{"type": "assert_return", "line": 1734, "action": {"type": "invoke", "field": "f64.no_fold_mul_divs", "args": [{"type": "f64", "value": "14349445329289351080"}, {"type": "f64", "value": "468238185841254727"}, {"type": "f64", "value": "15463559257629249878"}, {"type": "f64", "value": "15937497686185055572"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
{"type": "assert_return", "line": 1735, "action": {"type": "invoke", "field": "f64.no_fold_mul_divs", "args": [{"type": "f64", "value": "15220380342429201729"}, {"type": "f64", "value": "14697937818549468616"}, {"type": "f64", "value": "13203624158275174657"}, {"type": "f64", "value": "17131104131485469546"}]}, "expected": [{"type": "f64", "value": "1202126128702318245"}]},
{"type": "assert_return", "line": 1736, "action": {"type": "invoke", "field": "f64.no_fold_mul_divs", "args": [{"type": "f64", "value": "14414969397981384765"}, {"type": "f64", "value": "12269327994486371199"}, {"type": "f64", "value": "298707625567048656"}, {"type": "f64", "value": "5613107161545919917"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1737, "action": {"type": "invoke", "field": "f64.no_fold_mul_divs", "args": [{"type": "f64", "value": "4529089342618677929"}, {"type": "f64", "value": "3361245300043094097"}, {"type": "f64", "value": "1815899012046749567"}, {"type": "f64", "value": "15418396504351552390"}]}, "expected": [{"type": "f64", "value": "10619033301585441215"}]},
{"type": "module", "line": 1741, "filename": "float_exprs.70.wasm"},
{"type": "assert_return", "line": 1749, "action": {"type": "invoke", "field": "f32.no_fold_add_divs", "args": [{"type": "f32", "value": "1136439096"}, {"type": "f32", "value": "3173274359"}, {"type": "f32", "value": "4274852390"}]}, "expected": [{"type": "f32", "value": "2221638875"}]},
{"type": "assert_return", "line": 1750, "action": {"type": "invoke", "field": "f32.no_fold_add_divs", "args": [{"type": "f32", "value": "2690073844"}, {"type": "f32", "value": "2809448479"}, {"type": "f32", "value": "3608905030"}]}, "expected": [{"type": "f32", "value": "264862203"}]},
{"type": "assert_return", "line": 1751, "action": {"type": "invoke", "field": "f32.no_fold_add_divs", "args": [{"type": "f32", "value": "2830184964"}, {"type": "f32", "value": "530019033"}, {"type": "f32", "value": "3623253973"}]}, "expected": [{"type": "f32", "value": "272108594"}]},
{"type": "assert_return", "line": 1752, "action": {"type": "invoke", "field": "f32.no_fold_add_divs", "args": [{"type": "f32", "value": "2365787800"}, {"type": "f32", "value": "245111369"}, {"type": "f32", "value": "3952003433"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1753, "action": {"type": "invoke", "field": "f32.no_fold_add_divs", "args": [{"type": "f32", "value": "982471119"}, {"type": "f32", "value": "1045692415"}, {"type": "f32", "value": "37216954"}]}, "expected": [{"type": "f32", "value": "2073319791"}]},
{"type": "assert_return", "line": 1755, "action": {"type": "invoke", "field": "f64.no_fold_add_divs", "args": [{"type": "f64", "value": "15770585325769044278"}, {"type": "f64", "value": "6564157675451289455"}, {"type": "f64", "value": "8712254759989822359"}]}, "expected": [{"type": "f64", "value": "2458462832069881218"}]},
{"type": "assert_return", "line": 1756, "action": {"type": "invoke", "field": "f64.no_fold_add_divs", "args": [{"type": "f64", "value": "14069844870254671283"}, {"type": "f64", "value": "4634122757084803708"}, {"type": "f64", "value": "9524897388132352235"}]}, "expected": [{"type": "f64", "value": "9152039358940941283"}]},
{"type": "assert_return", "line": 1757, "action": {"type": "invoke", "field": "f64.no_fold_add_divs", "args": [{"type": "f64", "value": "9479648703296052622"}, {"type": "f64", "value": "214573661502224386"}, {"type": "f64", "value": "6877551490107761946"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1758, "action": {"type": "invoke", "field": "f64.no_fold_add_divs", "args": [{"type": "f64", "value": "6019502660029506228"}, {"type": "f64", "value": "15316513033818836241"}, {"type": "f64", "value": "4039967192182502935"}]}, "expected": [{"type": "f64", "value": "15883525310425977300"}]},
{"type": "assert_return", "line": 1759, "action": {"type": "invoke", "field": "f64.no_fold_add_divs", "args": [{"type": "f64", "value": "10555667216821129841"}, {"type": "f64", "value": "1207418919037494573"}, {"type": "f64", "value": "4296330408727545598"}]}, "expected": [{"type": "f64", "value": "10866511466898347555"}]},
{"type": "module", "line": 1763, "filename": "float_exprs.71.wasm"},
{"type": "assert_return", "line": 1771, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "2662226315"}]}, "expected": [{"type": "f32", "value": "514742673"}]},
{"type": "assert_return", "line": 1772, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "2606267634"}]}, "expected": [{"type": "f32", "value": "458819801"}]},
{"type": "assert_return", "line": 1773, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "2624528574"}]}, "expected": [{"type": "f32", "value": "477049564"}]},
{"type": "assert_return", "line": 1774, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "347235385"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1775, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "1978715378"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
{"type": "assert_return", "line": 1777, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "2225189009770021885"}]}, "expected": [{"type": "f64", "value": "2225189011649283571"}]},
{"type": "assert_return", "line": 1778, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "11517048459773840771"}]}, "expected": [{"type": "f64", "value": "2293676422919064961"}]},
{"type": "assert_return", "line": 1779, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "11484764485761855006"}]}, "expected": [{"type": "f64", "value": "2261392448906973069"}]},
{"type": "assert_return", "line": 1780, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "11056484744549647728"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 1781, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "8465406758332488378"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
{"type": "module", "line": 1785, "filename": "float_exprs.72.wasm"},
{"type": "assert_return", "line": 1793, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrts", "args": [{"type": "f32", "value": "24047316"}, {"type": "f32", "value": "2517821717"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 1794, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrts", "args": [{"type": "f32", "value": "295749258"}, {"type": "f32", "value": "803416494"}]}, "expected": [{"type": "f32", "value": "549395357"}]},
{"type": "assert_return", "line": 1795, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrts", "args": [{"type": "f32", "value": "329708528"}, {"type": "f32", "value": "1120042892"}]}, "expected": [{"type": "f32", "value": "724841268"}]},
{"type": "assert_return", "line": 1796, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrts", "args": [{"type": "f32", "value": "1916535951"}, {"type": "f32", "value": "994115420"}]}, "expected": [{"type": "f32", "value": "1455324620"}]},
{"type": "assert_return", "line": 1797, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrts", "args": [{"type": "f32", "value": "598482176"}, {"type": "f32", "value": "990534933"}]}, "expected": [{"type": "f32", "value": "794443079"}]},
{"type": "assert_return", "line": 1799, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrts", "args": [{"type": "f64", "value": "10974446854152441278"}, {"type": "f64", "value": "13797896470155574122"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 1800, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrts", "args": [{"type": "f64", "value": "1712959863583927241"}, {"type": "f64", "value": "2792003944717853898"}]}, "expected": [{"type": "f64", "value": "2252469008297979510"}]},
{"type": "assert_return", "line": 1801, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrts", "args": [{"type": "f64", "value": "4208351758938831157"}, {"type": "f64", "value": "497361189565243603"}]}, "expected": [{"type": "f64", "value": "2352856462697312748"}]},
{"type": "assert_return", "line": 1802, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrts", "args": [{"type": "f64", "value": "2976792199849816182"}, {"type": "f64", "value": "2030444188042608984"}]}, "expected": [{"type": "f64", "value": "2503613111125550255"}]},
{"type": "assert_return", "line": 1803, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrts", "args": [{"type": "f64", "value": "4717634334691577101"}, {"type": "f64", "value": "6919598687070693285"}]}, "expected": [{"type": "f64", "value": "5818898567902921651"}]},
{"type": "module", "line": 1807, "filename": "float_exprs.73.wasm"},
{"type": "assert_return", "line": 1815, "action": {"type": "invoke", "field": "f32.no_fold_div_sqrts", "args": [{"type": "f32", "value": "3428799709"}, {"type": "f32", "value": "2733489079"}]}, "expected": [{"type": "f32", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 1816, "action": {"type": "invoke", "field": "f32.no_fold_div_sqrts", "args": [{"type": "f32", "value": "1339867611"}, {"type": "f32", "value": "1296568207"}]}, "expected": [{"type": "f32", "value": "1086203643"}]},
{"type": "assert_return", "line": 1817, "action": {"type": "invoke", "field": "f32.no_fold_div_sqrts", "args": [{"type": "f32", "value": "65679161"}, {"type": "f32", "value": "1196795110"}]}, "expected": [{"type": "f32", "value": "498959746"}]},
{"type": "assert_return", "line": 1818, "action": {"type": "invoke", "field": "f32.no_fold_div_sqrts", "args": [{"type": "f32", "value": "1566143010"}, {"type": "f32", "value": "816694667"}]}, "expected": [{"type": "f32", "value": "1439333972"}]},
{"type": "assert_return", "line": 1819, "action": {"type": "invoke", "field": "f32.no_fold_div_sqrts", "args": [{"type": "f32", "value": "130133331"}, {"type": "f32", "value": "208189588"}]}, "expected": [{"type": "f32", "value": "1025844032"}]},
{"type": "assert_return", "line": 1821, "action": {"type": "invoke", "field": "f64.no_fold_div_sqrts", "args": [{"type": "f64", "value": "10629913473787695463"}, {"type": "f64", "value": "12991130264919696663"}]}, "expected": [{"type": "f64", "value": "nan:canonical"}]},
{"type": "assert_return", "line": 1822, "action": {"type": "invoke", "field": "f64.no_fold_div_sqrts", "args": [{"type": "f64", "value": "1966780663211935584"}, {"type": "f64", "value": "7043916066229883379"}]}, "expected": [{"type": "f64", "value": "2068364230648818889"}]},
{"type": "assert_return", "line": 1823, "action": {"type": "invoke", "field": "f64.no_fold_div_sqrts", "args": [{"type": "f64", "value": "6965599900716272009"}, {"type": "f64", "value": "4118781927977980600"}]}, "expected": [{"type": "f64", "value": "6030491425828883991"}]},
{"type": "assert_return", "line": 1824, "action": {"type": "invoke", "field": "f64.no_fold_div_sqrts", "args": [{"type": "f64", "value": "962551478168675351"}, {"type": "f64", "value": "5918292176617055751"}]}, "expected": [{"type": "f64", "value": "2129092583060403799"}]},
{"type": "assert_return", "line": 1825, "action": {"type": "invoke", "field": "f64.no_fold_div_sqrts", "args": [{"type": "f64", "value": "1056821405580891413"}, {"type": "f64", "value": "8865548665903786673"}]}, "expected": [{"type": "f64", "value": "702724841785532050"}]},
{"type": "module", "line": 1829, "filename": "float_exprs.74.wasm"},
{"type": "assert_return", "line": 1837, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrt_div", "args": [{"type": "f32", "value": "3900330981"}, {"type": "f32", "value": "1843416431"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
{"type": "assert_return", "line": 1838, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrt_div", "args": [{"type": "f32", "value": "2210946958"}, {"type": "f32", "value": "256302916"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 1839, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrt_div", "args": [{"type": "f32", "value": "1312995444"}, {"type": "f32", "value": "2371494"}]}, "expected": [{"type": "f32", "value": "1849105549"}]},
{"type": "assert_return", "line": 1840, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrt_div", "args": [{"type": "f32", "value": "3576537897"}, {"type": "f32", "value": "2010442638"}]}, "expected": [{"type": "f32", "value": "3104219421"}]},
{"type": "assert_return", "line": 1841, "action": {"type": "invoke", "field": "f32.no_fold_mul_sqrt_div", "args": [{"type": "f32", "value": "3284697858"}, {"type": "f32", "value": "1124488329"}]}, "expected": [{"type": "f32", "value": "3255461622"}]},
{"type": "assert_return", "line": 1843, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrt_div", "args": [{"type": "f64", "value": "7751219282814906463"}, {"type": "f64", "value": "8023732701704228537"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
{"type": "assert_return", "line": 1844, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrt_div", "args": [{"type": "f64", "value": "10108528314069607083"}, {"type": "f64", "value": "1595930056995453707"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
{"type": "assert_return", "line": 1845, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrt_div", "args": [{"type": "f64", "value": "2695209648295623224"}, {"type": "f64", "value": "7133480874314061811"}]}, "expected": [{"type": "f64", "value": "1432338140829931582"}]},
{"type": "assert_return", "line": 1846, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrt_div", "args": [{"type": "f64", "value": "15416524255949334213"}, {"type": "f64", "value": "2434442666062773630"}]}, "expected": [{"type": "f64", "value": "16502590179898118478"}]},
{"type": "assert_return", "line": 1847, "action": {"type": "invoke", "field": "f64.no_fold_mul_sqrt_div", "args": [{"type": "f64", "value": "5076901024782455083"}, {"type": "f64", "value": "8399438310541178654"}]}, "expected": [{"type": "f64", "value": "3180744754328846996"}]},
{"type": "module", "line": 1852, "filename": "float_exprs.75.wasm"},
{"type": "assert_return", "line": 1860, "action": {"type": "invoke", "field": "f32.no_flush_intermediate_subnormal", "args": [{"type": "f32", "value": "8388608"}, {"type": "f32", "value": "872415232"}, {"type": "f32", "value": "1258291200"}]}, "expected": [{"type": "f32", "value": "8388608"}]},
{"type": "assert_return", "line": 1861, "action": {"type": "invoke", "field": "f64.no_flush_intermediate_subnormal", "args": [{"type": "f64", "value": "4503599627370496"}, {"type": "f64", "value": "4372995238176751616"}, {"type": "f64", "value": "4841369599423283200"}]}, "expected": [{"type": "f64", "value": "4503599627370496"}]},
{"type": "module", "line": 1866, "filename": "float_exprs.76.wasm"},
{"type": "assert_return", "line": 1889, "action": {"type": "invoke", "field": "f32.recoding_eq", "args": [{"type": "f32", "value": "4286578688"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 1890, "action": {"type": "invoke", "field": "f32.recoding_le", "args": [{"type": "f32", "value": "4286578688"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 1891, "action": {"type": "invoke", "field": "f32.recoding_lt", "args": [{"type": "f32", "value": "4286578688"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 1893, "action": {"type": "invoke", "field": "f32.recoding_eq", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 1894, "action": {"type": "invoke", "field": "f32.recoding_le", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 1895, "action": {"type": "invoke", "field": "f32.recoding_lt", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 1897, "action": {"type": "invoke", "field": "f64.recoding_eq", "args": [{"type": "f64", "value": "18442240474082181120"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 1898, "action": {"type": "invoke", "field": "f64.recoding_le", "args": [{"type": "f64", "value": "18442240474082181120"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 1899, "action": {"type": "invoke", "field": "f64.recoding_lt", "args": [{"type": "f64", "value": "18442240474082181120"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 1901, "action": {"type": "invoke", "field": "f64.recoding_eq", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 1902, "action": {"type": "invoke", "field": "f64.recoding_le", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 1903, "action": {"type": "invoke", "field": "f64.recoding_lt", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 1905, "action": {"type": "invoke", "field": "recoding_demote", "args": [{"type": "f64", "value": "4014054135371399168"}, {"type": "f32", "value": "1150853120"}]}, "expected": [{"type": "f32", "value": "46548238"}]},
{"type": "module", "line": 1910, "filename": "float_exprs.77.wasm"},
{"type": "assert_return", "line": 1918, "action": {"type": "invoke", "field": "f32.no_extended_precision_div", "args": [{"type": "f32", "value": "1077936128"}, {"type": "f32", "value": "1088421888"}, {"type": "f32", "value": "1054567863"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 1919, "action": {"type": "invoke", "field": "f64.no_extended_precision_div", "args": [{"type": "f64", "value": "4613937818241073152"}, {"type": "f64", "value": "4619567317775286272"}, {"type": "f64", "value": "4601392076421969627"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "module", "line": 1926, "filename": "float_exprs.78.wasm"},
{"type": "assert_return", "line": 1934, "action": {"type": "invoke", "field": "f32.no_distribute_exact", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 1935, "action": {"type": "invoke", "field": "f64.no_distribute_exact", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "module", "line": 1940, "filename": "float_exprs.79.wasm"},
{"type": "assert_return", "line": 1972, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "f32", "value": "1068827891"}]},
{"type": "assert_return", "line": 1973, "action": {"type": "invoke", "field": "f32.xkcd_sqrt_2", "args": [{"type": "f32", "value": "1077936128"}, {"type": "f32", "value": "1084227584"}, {"type": "f32", "value": "1078530011"}, {"type": "f32", "value": "1088421888"}]}, "expected": [{"type": "f32", "value": "1068827946"}]},
{"type": "assert_return", "line": 1974, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1071494103"}]},
{"type": "assert_return", "line": 1975, "action": {"type": "invoke", "field": "f32.xkcd_sqrt_3", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1076754516"}, {"type": "f32", "value": "1078530011"}]}, "expected": [{"type": "f32", "value": "1071481194"}]},
{"type": "assert_return", "line": 1976, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1084227584"}]}, "expected": [{"type": "f32", "value": "1074731965"}]},
{"type": "assert_return", "line": 1977, "action": {"type": "invoke", "field": "f32.xkcd_sqrt_5", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1076754516"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1074730668"}]},
{"type": "assert_return", "line": 1978, "action": {"type": "invoke", "field": "f32.xkcd_better_sqrt_5", "args": [{"type": "f32", "value": "1095761920"}, {"type": "f32", "value": "1082130432"}, {"type": "f32", "value": "1078530011"}, {"type": "f32", "value": "1103101952"}]}, "expected": [{"type": "f32", "value": "1074731965"}]},
{"type": "assert_return", "line": 1980, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "f64", "value": "4609047870845172685"}]},
{"type": "assert_return", "line": 1981, "action": {"type": "invoke", "field": "f64.xkcd_sqrt_2", "args": [{"type": "f64", "value": "4613937818241073152"}, {"type": "f64", "value": "4617315517961601024"}, {"type": "f64", "value": "4614256656552045848"}, {"type": "f64", "value": "4619567317775286272"}]}, "expected": [{"type": "f64", "value": "4609047900099118431"}]},
{"type": "assert_return", "line": 1982, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4610479282544200874"}]},
{"type": "assert_return", "line": 1983, "action": {"type": "invoke", "field": "f64.xkcd_sqrt_3", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613303445314885481"}, {"type": "f64", "value": "4614256656552045848"}]}, "expected": [{"type": "f64", "value": "4610472352185749397"}]},
{"type": "assert_return", "line": 1984, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4617315517961601024"}]}, "expected": [{"type": "f64", "value": "4612217596255138984"}]},
{"type": "assert_return", "line": 1985, "action": {"type": "invoke", "field": "f64.xkcd_sqrt_5", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613303445314885481"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4612216900234722254"}]},
{"type": "assert_return", "line": 1986, "action": {"type": "invoke", "field": "f64.xkcd_better_sqrt_5", "args": [{"type": "f64", "value": "4623507967449235456"}, {"type": "f64", "value": "4616189618054758400"}, {"type": "f64", "value": "4614256656552045848"}, {"type": "f64", "value": "4627448617123184640"}]}, "expected": [{"type": "f64", "value": "4612217595876713891"}]},
{"type": "module", "line": 1991, "filename": "float_exprs.80.wasm"},
{"type": "assert_return", "line": 2069, "action": {"type": "invoke", "field": "f32.compute_radix", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "1073741824"}]},
{"type": "assert_return", "line": 2070, "action": {"type": "invoke", "field": "f64.compute_radix", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "4611686018427387904"}]},
{"type": "module", "line": 2075, "filename": "float_exprs.81.wasm"},
{"type": "assert_return", "line": 2083, "action": {"type": "invoke", "field": "f32.no_fold_sub1_mul_add", "args": [{"type": "f32", "value": "796917760"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 2084, "action": {"type": "invoke", "field": "f64.no_fold_sub1_mul_add", "args": [{"type": "f64", "value": "4318952042648305664"}, {"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "module", "line": 2089, "filename": "float_exprs.82.wasm"},
{"type": "assert_return", "line": 2103, "action": {"type": "invoke", "field": "f32.no_fold_add_le_monotonicity", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2104, "action": {"type": "invoke", "field": "f32.no_fold_add_le_monotonicity", "args": [{"type": "f32", "value": "2139095040"}, {"type": "f32", "value": "4286578688"}, {"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2105, "action": {"type": "invoke", "field": "f64.no_fold_add_le_monotonicity", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2106, "action": {"type": "invoke", "field": "f64.no_fold_add_le_monotonicity", "args": [{"type": "f64", "value": "9218868437227405312"}, {"type": "f64", "value": "18442240474082181120"}, {"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "module", "line": 2110, "filename": "float_exprs.83.wasm"},
{"type": "assert_return", "line": 2136, "action": {"type": "invoke", "field": "f32.not_lt", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 2137, "action": {"type": "invoke", "field": "f32.not_le", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 2138, "action": {"type": "invoke", "field": "f32.not_gt", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 2139, "action": {"type": "invoke", "field": "f32.not_ge", "args": [{"type": "f32", "value": "2143289344"}, {"type": "f32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 2140, "action": {"type": "invoke", "field": "f64.not_lt", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 2141, "action": {"type": "invoke", "field": "f64.not_le", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 2142, "action": {"type": "invoke", "field": "f64.not_gt", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 2143, "action": {"type": "invoke", "field": "f64.not_ge", "args": [{"type": "f64", "value": "9221120237041090560"}, {"type": "f64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "module", "line": 2149, "filename": "float_exprs.84.wasm"},
{"type": "assert_return", "line": 2157, "action": {"type": "invoke", "field": "f32.epsilon", "args": []}, "expected": [{"type": "f32", "value": "3019898880"}]},
{"type": "assert_return", "line": 2158, "action": {"type": "invoke", "field": "f64.epsilon", "args": []}, "expected": [{"type": "f64", "value": "4372995238176751616"}]},
{"type": "module", "line": 2164, "filename": "float_exprs.85.wasm"},
{"type": "assert_return", "line": 2212, "action": {"type": "invoke", "field": "f32.epsilon", "args": []}, "expected": [{"type": "f32", "value": "872415232"}]},
{"type": "assert_return", "line": 2213, "action": {"type": "invoke", "field": "f64.epsilon", "args": []}, "expected": [{"type": "f64", "value": "4372995238176751616"}]},
{"type": "module", "line": 2218, "filename": "float_exprs.86.wasm"},
{"type": "assert_return", "line": 2238, "action": {"type": "invoke", "field": "f32.no_trichotomy_lt", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2239, "action": {"type": "invoke", "field": "f32.no_trichotomy_le", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2240, "action": {"type": "invoke", "field": "f32.no_trichotomy_gt", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2241, "action": {"type": "invoke", "field": "f32.no_trichotomy_ge", "args": [{"type": "f32", "value": "0"}, {"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2242, "action": {"type": "invoke", "field": "f64.no_trichotomy_lt", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2243, "action": {"type": "invoke", "field": "f64.no_trichotomy_le", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2244, "action": {"type": "invoke", "field": "f64.no_trichotomy_gt", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 2245, "action": {"type": "invoke", "field": "f64.no_trichotomy_ge", "args": [{"type": "f64", "value": "0"}, {"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "module", "line": 2250, "filename": "float_exprs.87.wasm"},
{"type": "assert_return", "line": 2329, "action": {"type": "invoke", "field": "f32.arithmetic_nan_bitpattern", "args": [{"type": "i32", "value": "2139107856"}, {"type": "i32", "value": "2139107856"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2330, "action": {"type": "invoke", "field": "f32.canonical_nan_bitpattern", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2331, "action": {"type": "invoke", "field": "f32.canonical_nan_bitpattern", "args": [{"type": "i32", "value": "2143289344"}, {"type": "i32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2332, "action": {"type": "invoke", "field": "f32.canonical_nan_bitpattern", "args": [{"type": "i32", "value": "4290772992"}, {"type": "i32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2333, "action": {"type": "invoke", "field": "f32.canonical_nan_bitpattern", "args": [{"type": "i32", "value": "2143289344"}, {"type": "i32", "value": "4290772992"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2334, "action": {"type": "invoke", "field": "f32.canonical_nan_bitpattern", "args": [{"type": "i32", "value": "4290772992"}, {"type": "i32", "value": "4290772992"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2335, "action": {"type": "invoke", "field": "f32.nonarithmetic_nan_bitpattern", "args": [{"type": "i32", "value": "2143302160"}]}, "expected": [{"type": "i32", "value": "4290785808"}]},
{"type": "assert_return", "line": 2336, "action": {"type": "invoke", "field": "f32.nonarithmetic_nan_bitpattern", "args": [{"type": "i32", "value": "4290785808"}]}, "expected": [{"type": "i32", "value": "2143302160"}]},
{"type": "assert_return", "line": 2337, "action": {"type": "invoke", "field": "f32.nonarithmetic_nan_bitpattern", "args": [{"type": "i32", "value": "2139107856"}]}, "expected": [{"type": "i32", "value": "4286591504"}]},
{"type": "assert_return", "line": 2338, "action": {"type": "invoke", "field": "f32.nonarithmetic_nan_bitpattern", "args": [{"type": "i32", "value": "4286591504"}]}, "expected": [{"type": "i32", "value": "2139107856"}]},
{"type": "assert_return", "line": 2339, "action": {"type": "invoke", "field": "f64.arithmetic_nan_bitpattern", "args": [{"type": "i64", "value": "9218868437227418128"}, {"type": "i64", "value": "9218868437227418128"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2340, "action": {"type": "invoke", "field": "f64.canonical_nan_bitpattern", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2341, "action": {"type": "invoke", "field": "f64.canonical_nan_bitpattern", "args": [{"type": "i64", "value": "9221120237041090560"}, {"type": "i64", "value": "9221120237041090560"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2342, "action": {"type": "invoke", "field": "f64.canonical_nan_bitpattern", "args": [{"type": "i64", "value": "18444492273895866368"}, {"type": "i64", "value": "9221120237041090560"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2343, "action": {"type": "invoke", "field": "f64.canonical_nan_bitpattern", "args": [{"type": "i64", "value": "9221120237041090560"}, {"type": "i64", "value": "18444492273895866368"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2344, "action": {"type": "invoke", "field": "f64.canonical_nan_bitpattern", "args": [{"type": "i64", "value": "18444492273895866368"}, {"type": "i64", "value": "18444492273895866368"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2345, "action": {"type": "invoke", "field": "f64.nonarithmetic_nan_bitpattern", "args": [{"type": "i64", "value": "9221120237041103376"}]}, "expected": [{"type": "i64", "value": "18444492273895879184"}]},
{"type": "assert_return", "line": 2346, "action": {"type": "invoke", "field": "f64.nonarithmetic_nan_bitpattern", "args": [{"type": "i64", "value": "18444492273895879184"}]}, "expected": [{"type": "i64", "value": "9221120237041103376"}]},
{"type": "assert_return", "line": 2347, "action": {"type": "invoke", "field": "f64.nonarithmetic_nan_bitpattern", "args": [{"type": "i64", "value": "9218868437227418128"}]}, "expected": [{"type": "i64", "value": "18442240474082193936"}]},
{"type": "assert_return", "line": 2348, "action": {"type": "invoke", "field": "f64.nonarithmetic_nan_bitpattern", "args": [{"type": "i64", "value": "18442240474082193936"}]}, "expected": [{"type": "i64", "value": "9218868437227418128"}]},
{"type": "assert_return", "line": 2349, "action": {"type": "invoke", "field": "f32.no_fold_sub_zero", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2350, "action": {"type": "invoke", "field": "f32.no_fold_neg0_sub", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2351, "action": {"type": "invoke", "field": "f32.no_fold_mul_one", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2352, "action": {"type": "invoke", "field": "f32.no_fold_neg1_mul", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2353, "action": {"type": "invoke", "field": "f32.no_fold_div_one", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2354, "action": {"type": "invoke", "field": "f32.no_fold_div_neg1", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "assert_return", "line": 2355, "action": {"type": "invoke", "field": "f64.no_fold_sub_zero", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2356, "action": {"type": "invoke", "field": "f64.no_fold_neg0_sub", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2357, "action": {"type": "invoke", "field": "f64.no_fold_mul_one", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2358, "action": {"type": "invoke", "field": "f64.no_fold_neg1_mul", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2359, "action": {"type": "invoke", "field": "f64.no_fold_div_one", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2360, "action": {"type": "invoke", "field": "f64.no_fold_div_neg1", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
{"type": "assert_return", "line": 2361, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
{"type": "module", "line": 2366, "filename": "float_exprs.88.wasm"},
{"type": "assert_return", "line": 2389, "action": {"type": "invoke", "field": "dot_product_example", "args": [{"type": "f64", "value": "4719355144821538816"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "13830554455654793216"}, {"type": "f64", "value": "4725141118604279808"}, {"type": "f64", "value": "4720637518976909312"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "13830554455654793216"}, {"type": "f64", "value": "13938223582048944128"}]}, "expected": [{"type": "f64", "value": "4611686018427387904"}]},
{"type": "assert_return", "line": 2393, "action": {"type": "invoke", "field": "with_binary_sum_collapse", "args": [{"type": "f64", "value": "4719355144821538816"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "13830554455654793216"}, {"type": "f64", "value": "4725141118604279808"}, {"type": "f64", "value": "4720637518976909312"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "13830554455654793216"}, {"type": "f64", "value": "13938223582048944128"}]}, "expected": [{"type": "f64", "value": "4611686018427387904"}]},
{"type": "module", "line": 2400, "filename": "float_exprs.89.wasm"},
{"type": "assert_return", "line": 2411, "action": {"type": "invoke", "field": "f32.contract2fma", "args": [{"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 2412, "action": {"type": "invoke", "field": "f32.contract2fma", "args": [{"type": "f32", "value": "1066192077"}, {"type": "f32", "value": "1066192077"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 2413, "action": {"type": "invoke", "field": "f32.contract2fma", "args": [{"type": "f32", "value": "1067030937"}, {"type": "f32", "value": "1067030937"}]}, "expected": [{"type": "f32", "value": "0"}]},
{"type": "assert_return", "line": 2414, "action": {"type": "invoke", "field": "f64.contract2fma", "args": [{"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 2415, "action": {"type": "invoke", "field": "f64.contract2fma", "args": [{"type": "f64", "value": "4607632778762754458"}, {"type": "f64", "value": "4607632778762754458"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "assert_return", "line": 2416, "action": {"type": "invoke", "field": "f64.contract2fma", "args": [{"type": "f64", "value": "4608083138725491507"}, {"type": "f64", "value": "4608083138725491507"}]}, "expected": [{"type": "f64", "value": "0"}]},
{"type": "module", "line": 2421, "filename": "float_exprs.90.wasm"},
{"type": "assert_return", "line": 2430, "action": {"type": "invoke", "field": "f32.division_by_small_number", "args": [{"type": "f32", "value": "1289068416"}, {"type": "f32", "value": "1203982336"}, {"type": "f32", "value": "980151802"}]}, "expected": [{"type": "f32", "value": "1230570368"}]},
{"type": "assert_return", "line": 2431, "action": {"type": "invoke", "field": "f64.division_by_small_number", "args": [{"type": "f64", "value": "4727288602252279808"}, {"type": "f64", "value": "4681608360884174848"}, {"type": "f64", "value": "4561440258104740754"}]}, "expected": [{"type": "f64", "value": "4695882709507797376"}]},
{"type": "module", "line": 2436, "filename": "float_exprs.91.wasm"},
{"type": "assert_return", "line": 2443, "action": {"type": "invoke", "field": "f32.golden_ratio", "args": [{"type": "f32", "value": "1056964608"}, {"type": "f32", "value": "1065353216"}, {"type": "f32", "value": "1084227584"}]}, "expected": [{"type": "f32", "value": "1070537661"}]},
{"type": "assert_return", "line": 2444, "action": {"type": "invoke", "field": "f64.golden_ratio", "args": [{"type": "f64", "value": "4602678819172646912"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "f64", "value": "4617315517961601024"}]}, "expected": [{"type": "f64", "value": "4609965796441453736"}]},
{"type": "module", "line": 2449, "filename": "float_exprs.92.wasm"},
{"type": "assert_return", "line": 2462, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
{"type": "assert_return", "line": 2463, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "1070537661"}]},
{"type": "assert_return", "line": 2464, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "f32", "value": "1075479162"}]},
{"type": "assert_return", "line": 2465, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1079206061"}]},
{"type": "assert_return", "line": 2466, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1082130432"}]}, "expected": [{"type": "f32", "value": "1082625502"}]},
{"type": "assert_return", "line": 2467, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1084227584"}]}, "expected": [{"type": "f32", "value": "1084631458"}]},
{"type": "assert_return", "line": 2468, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
{"type": "assert_return", "line": 2469, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "4609965796441453736"}]},
{"type": "assert_return", "line": 2470, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "f64", "value": "4612618744449965542"}]},
{"type": "assert_return", "line": 2471, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4614619608365706490"}]},
{"type": "assert_return", "line": 2472, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4616189618054758400"}]}, "expected": [{"type": "f64", "value": "4616455406968633940"}]},
{"type": "assert_return", "line": 2473, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4617315517961601024"}]}, "expected": [{"type": "f64", "value": "4617532346471836922"}]},
{"type": "module", "line": 2478, "filename": "float_exprs.93.wasm"},
{"type": "assert_return", "line": 2483, "action": {"type": "invoke", "field": "point_four", "args": [{"type": "f64", "value": "4616189618054758400"}, {"type": "f64", "value": "4621819117588971520"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "module", "line": 2488, "filename": "float_exprs.94.wasm"},
{"type": "assert_return", "line": 2553, "action": {"type": "invoke", "field": "tau", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "f64", "value": "4618760256179416340"}]},
{"type": "assert_return", "line": 2554, "action": {"type": "invoke", "field": "tau", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "f64", "value": "4618760256179416344"}]},
{"type": "module", "line": 2558, "filename": "float_exprs.95.wasm"},
{"type": "assert_return", "line": 2569, "action": {"type": "invoke", "field": "f32.no_fold_conditional_inc", "args": [{"type": "f32", "value": "2147483648"}, {"type": "f32", "value": "3212836864"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
{"type": "assert_return", "line": 2570, "action": {"type": "invoke", "field": "f64.no_fold_conditional_inc", "args": [{"type": "f64", "value": "9223372036854775808"}, {"type": "f64", "value": "13830554455654793216"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]}]}
|
