1{"source_filename": "./float_exprs.wast",
2 "commands": [
3 {"type": "module", "line": 6, "filename": "float_exprs.0.wasm"},
4 {"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"}]},
5 {"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"}]},
6 {"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"}]},
7 {"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"}]},
8 {"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"}]},
9 {"type": "module", "line": 19, "filename": "float_exprs.1.wasm"},
10 {"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"}]},
11 {"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"}]},
12 {"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"}]},
13 {"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"}]},
14 {"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"}]},
15 {"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"}]},
16 {"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"}]},
17 {"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"}]},
18 {"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"}]},
19 {"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"}]},
20 {"type": "module", "line": 40, "filename": "float_exprs.2.wasm"},
21 {"type": "assert_return", "line": 47, "action": {"type": "invoke", "field": "f32.no_fold_add_zero", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
22 {"type": "assert_return", "line": 48, "action": {"type": "invoke", "field": "f64.no_fold_add_zero", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
23 {"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"}]},
24 {"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"}]},
25 {"type": "module", "line": 54, "filename": "float_exprs.3.wasm"},
26 {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "f32.no_fold_zero_sub", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
27 {"type": "assert_return", "line": 62, "action": {"type": "invoke", "field": "f64.no_fold_zero_sub", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
28 {"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"}]},
29 {"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"}]},
30 {"type": "module", "line": 68, "filename": "float_exprs.4.wasm"},
31 {"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"}]},
32 {"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"}]},
33 {"type": "module", "line": 80, "filename": "float_exprs.5.wasm"},
34 {"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "f32.no_fold_mul_zero", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
35 {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "f32.no_fold_mul_zero", "args": [{"type": "f32", "value": "3212836864"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
36 {"type": "assert_return", "line": 89, "action": {"type": "invoke", "field": "f32.no_fold_mul_zero", "args": [{"type": "f32", "value": "3221225472"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
37 {"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"}]},
38 {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "f64.no_fold_mul_zero", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
39 {"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "f64.no_fold_mul_zero", "args": [{"type": "f64", "value": "13830554455654793216"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
40 {"type": "assert_return", "line": 93, "action": {"type": "invoke", "field": "f64.no_fold_mul_zero", "args": [{"type": "f64", "value": "13835058055282163712"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
41 {"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"}]},
42 {"type": "module", "line": 99, "filename": "float_exprs.6.wasm"},
43 {"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"}]},
44 {"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"}]},
45 {"type": "module", "line": 111, "filename": "float_exprs.7.wasm"},
46 {"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"}]},
47 {"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"}]},
48 {"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"}]},
49 {"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"}]},
50 {"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"}]},
51 {"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"}]},
52 {"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"}]},
53 {"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"}]},
54 {"type": "module", "line": 129, "filename": "float_exprs.8.wasm"},
55 {"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"}]},
56 {"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"}]},
57 {"type": "module", "line": 141, "filename": "float_exprs.9.wasm"},
58 {"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"}]},
59 {"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"}]},
60 {"type": "module", "line": 153, "filename": "float_exprs.10.wasm"},
61 {"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"}]},
62 {"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"}]},
63 {"type": "module", "line": 165, "filename": "float_exprs.11.wasm"},
64 {"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"}]},
65 {"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"}]},
66 {"type": "module", "line": 177, "filename": "float_exprs.12.wasm"},
67 {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "f32.no_fold_eq_self", "args": [{"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "0"}]},
68 {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "f64.no_fold_eq_self", "args": [{"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "0"}]},
69 {"type": "module", "line": 189, "filename": "float_exprs.13.wasm"},
70 {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "f32.no_fold_ne_self", "args": [{"type": "f32", "value": "2143289344"}]}, "expected": [{"type": "i32", "value": "1"}]},
71 {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "f64.no_fold_ne_self", "args": [{"type": "f64", "value": "9221120237041090560"}]}, "expected": [{"type": "i32", "value": "1"}]},
72 {"type": "module", "line": 201, "filename": "float_exprs.14.wasm"},
73 {"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"}]},
74 {"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"}]},
75 {"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"}]},
76 {"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"}]},
77 {"type": "module", "line": 215, "filename": "float_exprs.15.wasm"},
78 {"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"}]},
79 {"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"}]},
80 {"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"}]},
81 {"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"}]},
82 {"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"}]},
83 {"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"}]},
84 {"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"}]},
85 {"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"}]},
86 {"type": "module", "line": 233, "filename": "float_exprs.16.wasm"},
87 {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "3634023955"}]}, "expected": [{"type": "f32", "value": "3620628505"}]},
88 {"type": "assert_return", "line": 241, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "4000459555"}]}, "expected": [{"type": "f32", "value": "3986780695"}]},
89 {"type": "assert_return", "line": 242, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "2517965963"}]}, "expected": [{"type": "f32", "value": "2504446137"}]},
90 {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "2173683100"}]}, "expected": [{"type": "f32", "value": "2160046629"}]},
91 {"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "f32.no_fold_div_3", "args": [{"type": "f32", "value": "2750097330"}]}, "expected": [{"type": "f32", "value": "2736571681"}]},
92 {"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "16679796490173820099"}]}, "expected": [{"type": "f64", "value": "16672802667330368301"}]},
93 {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "13081777497422760306"}]}, "expected": [{"type": "f64", "value": "13074664638073319671"}]},
94 {"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "674365394458900388"}]}, "expected": [{"type": "f64", "value": "667250911628840899"}]},
95 {"type": "assert_return", "line": 248, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "18365700772251870524"}]}, "expected": [{"type": "f64", "value": "18358201936817915643"}]},
96 {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "f64.no_fold_div_3", "args": [{"type": "f64", "value": "6476267216527259981"}]}, "expected": [{"type": "f64", "value": "6468791534604471399"}]},
97 {"type": "module", "line": 253, "filename": "float_exprs.17.wasm"},
98 {"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"}]},
99 {"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"}]},
100 {"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"}]},
101 {"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"}]},
102 {"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"}]},
103 {"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"}]},
104 {"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"}]},
105 {"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"}]},
106 {"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"}]},
107 {"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"}]},
108 {"type": "module", "line": 273, "filename": "float_exprs.18.wasm"},
109 {"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"}]},
110 {"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"}]},
111 {"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"}]},
112 {"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"}]},
113 {"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"}]},
114 {"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"}]},
115 {"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"}]},
116 {"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"}]},
117 {"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"}]},
118 {"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"}]},
119 {"type": "module", "line": 293, "filename": "float_exprs.19.wasm"},
120 {"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"}]},
121 {"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"}]},
122 {"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"}]},
123 {"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"}]},
124 {"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"}]},
125 {"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"}]},
126 {"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"}]},
127 {"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"}]},
128 {"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"}]},
129 {"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"}]},
130 {"type": "module", "line": 313, "filename": "float_exprs.20.wasm"},
131 {"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"}]},
132 {"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"}]},
133 {"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"}]},
134 {"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"}]},
135 {"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"}]},
136 {"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"}]},
137 {"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"}]},
138 {"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"}]},
139 {"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"}]},
140 {"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"}]},
141 {"type": "module", "line": 333, "filename": "float_exprs.21.wasm"},
142 {"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"}]},
143 {"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"}]},
144 {"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"}]},
145 {"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"}]},
146 {"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"}]},
147 {"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"}]},
148 {"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"}]},
149 {"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"}]},
150 {"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"}]},
151 {"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"}]},
152 {"type": "module", "line": 353, "filename": "float_exprs.22.wasm"},
153 {"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"}]},
154 {"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"}]},
155 {"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"}]},
156 {"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"}]},
157 {"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"}]},
158 {"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"}]},
159 {"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"}]},
160 {"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"}]},
161 {"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"}]},
162 {"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"}]},
163 {"type": "module", "line": 373, "filename": "float_exprs.23.wasm"},
164 {"type": "assert_return", "line": 380, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
165 {"type": "assert_return", "line": 381, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "3212836864"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
166 {"type": "assert_return", "line": 382, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
167 {"type": "assert_return", "line": 383, "action": {"type": "invoke", "field": "f32.no_fold_div_0", "args": [{"type": "f32", "value": "4286578688"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
168 {"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"}]},
169 {"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"}]},
170 {"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"}]},
171 {"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"}]},
172 {"type": "assert_return", "line": 388, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
173 {"type": "assert_return", "line": 389, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "13830554455654793216"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
174 {"type": "assert_return", "line": 390, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
175 {"type": "assert_return", "line": 391, "action": {"type": "invoke", "field": "f64.no_fold_div_0", "args": [{"type": "f64", "value": "18442240474082181120"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
176 {"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"}]},
177 {"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"}]},
178 {"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"}]},
179 {"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"}]},
180 {"type": "module", "line": 399, "filename": "float_exprs.24.wasm"},
181 {"type": "assert_return", "line": 406, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
182 {"type": "assert_return", "line": 407, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "3212836864"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
183 {"type": "assert_return", "line": 408, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
184 {"type": "assert_return", "line": 409, "action": {"type": "invoke", "field": "f32.no_fold_div_neg0", "args": [{"type": "f32", "value": "4286578688"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
185 {"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"}]},
186 {"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"}]},
187 {"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"}]},
188 {"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"}]},
189 {"type": "assert_return", "line": 414, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
190 {"type": "assert_return", "line": 415, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "13830554455654793216"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
191 {"type": "assert_return", "line": 416, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
192 {"type": "assert_return", "line": 417, "action": {"type": "invoke", "field": "f64.no_fold_div_neg0", "args": [{"type": "f64", "value": "18442240474082181120"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
193 {"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"}]},
194 {"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"}]},
195 {"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"}]},
196 {"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"}]},
197 {"type": "module", "line": 425, "filename": "float_exprs.25.wasm"},
198 {"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"}]},
199 {"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"}]},
200 {"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"}]},
201 {"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"}]},
202 {"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"}]},
203 {"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"}]},
204 {"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"}]},
205 {"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"}]},
206 {"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"}]},
207 {"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"}]},
208 {"type": "module", "line": 447, "filename": "float_exprs.26.wasm"},
209 {"type": "assert_return", "line": 452, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "3130294363"}]}, "expected": [{"type": "f32", "value": "3294406762"}]},
210 {"type": "assert_return", "line": 453, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "2138280080"}]}, "expected": [{"type": "f32", "value": "2204223"}]},
211 {"type": "assert_return", "line": 454, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "2434880051"}]}, "expected": [{"type": "f32", "value": "3989512051"}]},
212 {"type": "assert_return", "line": 455, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "1705936409"}]}, "expected": [{"type": "f32", "value": "423346609"}]},
213 {"type": "assert_return", "line": 456, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal", "args": [{"type": "f32", "value": "2528120561"}]}, "expected": [{"type": "f32", "value": "3896123071"}]},
214 {"type": "module", "line": 460, "filename": "float_exprs.27.wasm"},
215 {"type": "assert_return", "line": 467, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "708147349"}]}, "expected": [{"type": "f32", "value": "1243088746"}]},
216 {"type": "assert_return", "line": 468, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "1005852643"}]}, "expected": [{"type": "f32", "value": "1094279611"}]},
217 {"type": "assert_return", "line": 469, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "517799246"}]}, "expected": [{"type": "f32", "value": "1338168541"}]},
218 {"type": "assert_return", "line": 470, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "704281251"}]}, "expected": [{"type": "f32", "value": "1245118689"}]},
219 {"type": "assert_return", "line": 471, "action": {"type": "invoke", "field": "f32.no_approximate_reciprocal_sqrt", "args": [{"type": "f32", "value": "347001813"}]}, "expected": [{"type": "f32", "value": "1423641701"}]},
220 {"type": "assert_return", "line": 473, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "8611259114887405475"}]}, "expected": [{"type": "f64", "value": "2604695339663988000"}]},
221 {"type": "assert_return", "line": 474, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "6008428610859539631"}]}, "expected": [{"type": "f64", "value": "3906084647186679832"}]},
222 {"type": "assert_return", "line": 475, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "5077495674931581012"}]}, "expected": [{"type": "f64", "value": "4371518865190387497"}]},
223 {"type": "assert_return", "line": 476, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "7616219057857077123"}]}, "expected": [{"type": "f64", "value": "3102407657946187309"}]},
224 {"type": "assert_return", "line": 477, "action": {"type": "invoke", "field": "f64.no_fuse_reciprocal_sqrt", "args": [{"type": "f64", "value": "5267858027841559467"}]}, "expected": [{"type": "f64", "value": "4276321761661248681"}]},
225 {"type": "module", "line": 481, "filename": "float_exprs.28.wasm"},
226 {"type": "assert_return", "line": 486, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "1574069443"}]}, "expected": [{"type": "f32", "value": "810003811"}]},
227 {"type": "assert_return", "line": 487, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "992487567"}]}, "expected": [{"type": "f32", "value": "1100869283"}]},
228 {"type": "assert_return", "line": 488, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "1644769121"}]}, "expected": [{"type": "f32", "value": "774822585"}]},
229 {"type": "assert_return", "line": 489, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "1180509736"}]}, "expected": [{"type": "f32", "value": "1007269771"}]},
230 {"type": "assert_return", "line": 490, "action": {"type": "invoke", "field": "f32.no_approximate_sqrt_reciprocal", "args": [{"type": "f32", "value": "1940205041"}]}, "expected": [{"type": "f32", "value": "627137240"}]},
231 {"type": "module", "line": 494, "filename": "float_exprs.29.wasm"},
232 {"type": "assert_return", "line": 505, "action": {"type": "invoke", "field": "i32.no_fold_f32_s", "args": [{"type": "i32", "value": "16777216"}]}, "expected": [{"type": "i32", "value": "16777216"}]},
233 {"type": "assert_return", "line": 506, "action": {"type": "invoke", "field": "i32.no_fold_f32_s", "args": [{"type": "i32", "value": "16777217"}]}, "expected": [{"type": "i32", "value": "16777216"}]},
234 {"type": "assert_return", "line": 507, "action": {"type": "invoke", "field": "i32.no_fold_f32_s", "args": [{"type": "i32", "value": "4026531856"}]}, "expected": [{"type": "i32", "value": "4026531856"}]},
235 {"type": "assert_return", "line": 509, "action": {"type": "invoke", "field": "i32.no_fold_f32_u", "args": [{"type": "i32", "value": "16777216"}]}, "expected": [{"type": "i32", "value": "16777216"}]},
236 {"type": "assert_return", "line": 510, "action": {"type": "invoke", "field": "i32.no_fold_f32_u", "args": [{"type": "i32", "value": "16777217"}]}, "expected": [{"type": "i32", "value": "16777216"}]},
237 {"type": "assert_return", "line": 511, "action": {"type": "invoke", "field": "i32.no_fold_f32_u", "args": [{"type": "i32", "value": "4026531856"}]}, "expected": [{"type": "i32", "value": "4026531840"}]},
238 {"type": "assert_return", "line": 513, "action": {"type": "invoke", "field": "i64.no_fold_f64_s", "args": [{"type": "i64", "value": "9007199254740992"}]}, "expected": [{"type": "i64", "value": "9007199254740992"}]},
239 {"type": "assert_return", "line": 514, "action": {"type": "invoke", "field": "i64.no_fold_f64_s", "args": [{"type": "i64", "value": "9007199254740993"}]}, "expected": [{"type": "i64", "value": "9007199254740992"}]},
240 {"type": "assert_return", "line": 515, "action": {"type": "invoke", "field": "i64.no_fold_f64_s", "args": [{"type": "i64", "value": "17293822569102705664"}]}, "expected": [{"type": "i64", "value": "17293822569102705664"}]},
241 {"type": "assert_return", "line": 517, "action": {"type": "invoke", "field": "i64.no_fold_f64_u", "args": [{"type": "i64", "value": "9007199254740992"}]}, "expected": [{"type": "i64", "value": "9007199254740992"}]},
242 {"type": "assert_return", "line": 518, "action": {"type": "invoke", "field": "i64.no_fold_f64_u", "args": [{"type": "i64", "value": "9007199254740993"}]}, "expected": [{"type": "i64", "value": "9007199254740992"}]},
243 {"type": "assert_return", "line": 519, "action": {"type": "invoke", "field": "i64.no_fold_f64_u", "args": [{"type": "i64", "value": "17293822569102705664"}]}, "expected": [{"type": "i64", "value": "17293822569102704640"}]},
244 {"type": "module", "line": 523, "filename": "float_exprs.30.wasm"},
245 {"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"}]},
246 {"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"}]},
247 {"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"}]},
248 {"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"}]},
249 {"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"}]},
250 {"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"}]},
251 {"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"}]},
252 {"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"}]},
253 {"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"}]},
254 {"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"}]},
255 {"type": "module", "line": 544, "filename": "float_exprs.31.wasm"},
256 {"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"}]},
257 {"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"}]},
258 {"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"}]},
259 {"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"}]},
260 {"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"}]},
261 {"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"}]},
262 {"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"}]},
263 {"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"}]},
264 {"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"}]},
265 {"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"}]},
266 {"type": "module", "line": 565, "filename": "float_exprs.32.wasm"},
267 {"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"}]},
268 {"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"}]},
269 {"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"}]},
270 {"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"}]},
271 {"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"}]},
272 {"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"}]},
273 {"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"}]},
274 {"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"}]},
275 {"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"}]},
276 {"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"}]},
277 {"type": "module", "line": 586, "filename": "float_exprs.33.wasm"},
278 {"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"}]},
279 {"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"}]},
280 {"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"}]},
281 {"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"}]},
282 {"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"}]},
283 {"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"}]},
284 {"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"}]},
285 {"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"}]},
286 {"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"}]},
287 {"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"}]},
288 {"type": "module", "line": 607, "filename": "float_exprs.34.wasm"},
289 {"type": "assert_return", "line": 614, "action": {"type": "invoke", "field": "f32.no_fold_div2_mul2", "args": [{"type": "f32", "value": "16777215"}]}, "expected": [{"type": "f32", "value": "16777216"}]},
290 {"type": "assert_return", "line": 615, "action": {"type": "invoke", "field": "f64.no_fold_div2_mul2", "args": [{"type": "f64", "value": "9007199254740991"}]}, "expected": [{"type": "f64", "value": "9007199254740992"}]},
291 {"type": "module", "line": 619, "filename": "float_exprs.35.wasm"},
292 {"type": "assert_return", "line": 624, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "13235495337234861917"}]}, "expected": [{"type": "f64", "value": "13235495326728585216"}]},
293 {"type": "assert_return", "line": 625, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "13448204151038380655"}]}, "expected": [{"type": "f64", "value": "13448204151146151936"}]},
294 {"type": "assert_return", "line": 626, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "5090364081358261697"}]}, "expected": [{"type": "f64", "value": "5090364081378951168"}]},
295 {"type": "assert_return", "line": 627, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "13436295269174285872"}]}, "expected": [{"type": "f64", "value": "13436295269301878784"}]},
296 {"type": "assert_return", "line": 628, "action": {"type": "invoke", "field": "no_fold_demote_promote", "args": [{"type": "f64", "value": "5076240020598306430"}]}, "expected": [{"type": "f64", "value": "5076240020759642112"}]},
297 {"type": "module", "line": 633, "filename": "float_exprs.36.wasm"},
298 {"type": "assert_return", "line": 638, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2141192192"}]}, "expected": [{"type": "f32", "value": "nan:arithmetic"}]},
299 {"type": "assert_return", "line": 639, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
300 {"type": "assert_return", "line": 640, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
301 {"type": "assert_return", "line": 641, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "1"}]}, "expected": [{"type": "f32", "value": "1"}]},
302 {"type": "assert_return", "line": 642, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2147483649"}]}, "expected": [{"type": "f32", "value": "2147483649"}]},
303 {"type": "assert_return", "line": 643, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "8388607"}]}, "expected": [{"type": "f32", "value": "8388607"}]},
304 {"type": "assert_return", "line": 644, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2155872255"}]}, "expected": [{"type": "f32", "value": "2155872255"}]},
305 {"type": "assert_return", "line": 645, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "8388608"}]}, "expected": [{"type": "f32", "value": "8388608"}]},
306 {"type": "assert_return", "line": 646, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2155872256"}]}, "expected": [{"type": "f32", "value": "2155872256"}]},
307 {"type": "assert_return", "line": 647, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2139095039"}]}, "expected": [{"type": "f32", "value": "2139095039"}]},
308 {"type": "assert_return", "line": 648, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "4286578687"}]}, "expected": [{"type": "f32", "value": "4286578687"}]},
309 {"type": "assert_return", "line": 649, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
310 {"type": "assert_return", "line": 650, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "f32", "value": "4286578688"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
311 {"type": "module", "line": 654, "filename": "float_exprs.37.wasm"},
312 {"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"}]},
313 {"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"}]},
314 {"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"}]},
315 {"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"}]},
316 {"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"}]},
317 {"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"}]},
318 {"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"}]},
319 {"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"}]},
320 {"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"}]},
321 {"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"}]},
322 {"type": "module", "line": 675, "filename": "float_exprs.38.wasm"},
323 {"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"}]},
324 {"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"}]},
325 {"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"}]},
326 {"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"}]},
327 {"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"}]},
328 {"type": "module", "line": 688, "filename": "float_exprs.39.wasm"},
329 {"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"}]},
330 {"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"}]},
331 {"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"}]},
332 {"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"}]},
333 {"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"}]},
334 {"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"}]},
335 {"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"}]},
336 {"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"}]},
337 {"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"}]},
338 {"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"}]},
339 {"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"}]},
340 {"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"}]},
341 {"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"}]},
342 {"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"}]},
343 {"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"}]},
344 {"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"}]},
345 {"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"}]},
346 {"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"}]},
347 {"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"}]},
348 {"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"}]},
349 {"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"}]},
350 {"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"}]},
351 {"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"}]},
352 {"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"}]},
353 {"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"}]},
354 {"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"}]},
355 {"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"}]},
356 {"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"}]},
357 {"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"}]},
358 {"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"}]},
359 {"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"}]},
360 {"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"}]},
361 {"type": "module", "line": 763, "filename": "float_exprs.40.wasm"},
362 {"type": "action", "line": 784, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "f32", "value": "1097963930"}]}, "expected": []},
363 {"type": "action", "line": 785, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "4"}, {"type": "f32", "value": "1098068787"}]}, "expected": []},
364 {"type": "action", "line": 786, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "8"}, {"type": "f32", "value": "1098173645"}]}, "expected": []},
365 {"type": "action", "line": 787, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "12"}, {"type": "f32", "value": "1098278502"}]}, "expected": []},
366 {"type": "assert_return", "line": 788, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "f32", "value": "1097963930"}]},
367 {"type": "assert_return", "line": 789, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "f32", "value": "1098068787"}]},
368 {"type": "assert_return", "line": 790, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "f32", "value": "1098173645"}]},
369 {"type": "assert_return", "line": 791, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "f32", "value": "1098278502"}]},
370 {"type": "action", "line": 792, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "16"}, {"type": "f32", "value": "1077936128"}]}, "expected": []},
371 {"type": "assert_return", "line": 793, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "f32", "value": "1084297489"}]},
372 {"type": "assert_return", "line": 794, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "f32", "value": "1084367394"}]},
373 {"type": "assert_return", "line": 795, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "f32", "value": "1084437299"}]},
374 {"type": "assert_return", "line": 796, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "f32", "value": "1084507204"}]},
375 {"type": "module", "line": 798, "filename": "float_exprs.41.wasm"},
376 {"type": "action", "line": 819, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "f64", "value": "4624690162351420211"}]}, "expected": []},
377 {"type": "action", "line": 820, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "8"}, {"type": "f64", "value": "4624746457346762342"}]}, "expected": []},
378 {"type": "action", "line": 821, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "16"}, {"type": "f64", "value": "4624802752342104474"}]}, "expected": []},
379 {"type": "action", "line": 822, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "24"}, {"type": "f64", "value": "4624859047337446605"}]}, "expected": []},
380 {"type": "assert_return", "line": 823, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "f64", "value": "4624690162351420211"}]},
381 {"type": "assert_return", "line": 824, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "f64", "value": "4624746457346762342"}]},
382 {"type": "assert_return", "line": 825, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "f64", "value": "4624802752342104474"}]},
383 {"type": "assert_return", "line": 826, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "24"}]}, "expected": [{"type": "f64", "value": "4624859047337446605"}]},
384 {"type": "action", "line": 827, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "32"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": []},
385 {"type": "assert_return", "line": 828, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "f64", "value": "4617353047958495778"}]},
386 {"type": "assert_return", "line": 829, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "f64", "value": "4617390577955390532"}]},
387 {"type": "assert_return", "line": 830, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "f64", "value": "4617428107952285287"}]},
388 {"type": "assert_return", "line": 831, "action": {"type": "invoke", "field": "check", "args": [{"type": "i32", "value": "24"}]}, "expected": [{"type": "f64", "value": "4617465637949180041"}]},
389 {"type": "module", "line": 835, "filename": "float_exprs.42.wasm"},
390 {"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"}]},
391 {"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"}]},
392 {"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"}]},
393 {"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"}]},
394 {"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"}]},
395 {"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"}]},
396 {"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"}]},
397 {"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"}]},
398 {"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"}]},
399 {"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"}]},
400 {"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"}]},
401 {"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"}]},
402 {"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"}]},
403 {"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"}]},
404 {"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"}]},
405 {"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"}]},
406 {"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"}]},
407 {"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"}]},
408 {"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"}]},
409 {"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"}]},
410 {"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"}]},
411 {"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"}]},
412 {"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"}]},
413 {"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"}]},
414 {"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"}]},
415 {"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"}]},
416 {"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"}]},
417 {"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"}]},
418 {"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"}]},
419 {"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"}]},
420 {"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"}]},
421 {"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"}]},
422 {"type": "module", "line": 882, "filename": "float_exprs.43.wasm"},
423 {"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"}]},
424 {"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"}]},
425 {"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"}]},
426 {"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"}]},
427 {"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"}]},
428 {"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"}]},
429 {"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"}]},
430 {"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"}]},
431 {"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"}]},
432 {"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"}]},
433 {"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"}]},
434 {"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"}]},
435 {"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"}]},
436 {"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"}]},
437 {"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"}]},
438 {"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"}]},
439 {"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"}]},
440 {"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"}]},
441 {"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"}]},
442 {"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"}]},
443 {"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"}]},
444 {"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"}]},
445 {"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"}]},
446 {"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"}]},
447 {"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"}]},
448 {"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"}]},
449 {"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"}]},
450 {"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"}]},
451 {"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"}]},
452 {"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"}]},
453 {"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"}]},
454 {"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"}]},
455 {"type": "module", "line": 929, "filename": "float_exprs.44.wasm"},
456 {"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"}]},
457 {"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"}]},
458 {"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"}]},
459 {"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"}]},
460 {"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"}]},
461 {"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"}]},
462 {"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"}]},
463 {"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"}]},
464 {"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"}]},
465 {"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"}]},
466 {"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"}]},
467 {"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"}]},
468 {"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"}]},
469 {"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"}]},
470 {"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"}]},
471 {"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"}]},
472 {"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"}]},
473 {"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"}]},
474 {"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"}]},
475 {"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"}]},
476 {"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"}]},
477 {"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"}]},
478 {"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"}]},
479 {"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"}]},
480 {"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"}]},
481 {"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"}]},
482 {"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"}]},
483 {"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"}]},
484 {"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"}]},
485 {"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"}]},
486 {"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"}]},
487 {"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"}]},
488 {"type": "module", "line": 1008, "filename": "float_exprs.45.wasm"},
489 {"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"}]},
490 {"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"}]},
491 {"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"}]},
492 {"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"}]},
493 {"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"}]},
494 {"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"}]},
495 {"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"}]},
496 {"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"}]},
497 {"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"}]},
498 {"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"}]},
499 {"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"}]},
500 {"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"}]},
501 {"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"}]},
502 {"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"}]},
503 {"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"}]},
504 {"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"}]},
505 {"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"}]},
506 {"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"}]},
507 {"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"}]},
508 {"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"}]},
509 {"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"}]},
510 {"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"}]},
511 {"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"}]},
512 {"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"}]},
513 {"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"}]},
514 {"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"}]},
515 {"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"}]},
516 {"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"}]},
517 {"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"}]},
518 {"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"}]},
519 {"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"}]},
520 {"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"}]},
521 {"type": "module", "line": 1055, "filename": "float_exprs.46.wasm"},
522 {"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"}]},
523 {"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"}]},
524 {"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"}]},
525 {"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"}]},
526 {"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"}]},
527 {"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"}]},
528 {"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"}]},
529 {"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"}]},
530 {"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"}]},
531 {"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"}]},
532 {"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"}]},
533 {"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"}]},
534 {"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"}]},
535 {"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"}]},
536 {"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"}]},
537 {"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"}]},
538 {"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"}]},
539 {"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"}]},
540 {"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"}]},
541 {"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"}]},
542 {"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"}]},
543 {"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"}]},
544 {"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"}]},
545 {"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"}]},
546 {"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"}]},
547 {"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"}]},
548 {"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"}]},
549 {"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"}]},
550 {"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"}]},
551 {"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"}]},
552 {"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"}]},
553 {"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"}]},
554 {"type": "module", "line": 1135, "filename": "float_exprs.47.wasm"},
555 {"type": "assert_return", "line": 1144, "action": {"type": "invoke", "field": "f32.incorrect_correction", "args": []}, "expected": [{"type": "f32", "value": "872415232"}]},
556 {"type": "assert_return", "line": 1145, "action": {"type": "invoke", "field": "f64.incorrect_correction", "args": []}, "expected": [{"type": "f64", "value": "13596367275031527424"}]},
557 {"type": "module", "line": 1150, "filename": "float_exprs.48.wasm"},
558 {"type": "assert_return", "line": 1167, "action": {"type": "invoke", "field": "calculate", "args": []}, "expected": [{"type": "f32", "value": "3286857379"}]},
559 {"type": "module", "line": 1169, "filename": "float_exprs.49.wasm"},
560 {"type": "assert_return", "line": 1186, "action": {"type": "invoke", "field": "calculate", "args": []}, "expected": [{"type": "f64", "value": "13870293918930799763"}]},
561 {"type": "module", "line": 1191, "filename": "float_exprs.50.wasm"},
562 {"type": "assert_return", "line": 1197, "action": {"type": "invoke", "field": "llvm_pr26746", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
563 {"type": "module", "line": 1202, "filename": "float_exprs.51.wasm"},
564 {"type": "assert_return", "line": 1208, "action": {"type": "invoke", "field": "llvm_pr27153", "args": [{"type": "i32", "value": "33554434"}]}, "expected": [{"type": "f32", "value": "1270874112"}]},
565 {"type": "module", "line": 1213, "filename": "float_exprs.52.wasm"},
566 {"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"}]},
567 {"type": "module", "line": 1230, "filename": "float_exprs.53.wasm"},
568 {"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"}]},
569 {"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"}]},
570 {"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"}]},
571 {"type": "module", "line": 1251, "filename": "float_exprs.54.wasm"},
572 {"type": "assert_return", "line": 1257, "action": {"type": "invoke", "field": "inverse", "args": [{"type": "f32", "value": "1119879168"}]}, "expected": [{"type": "f32", "value": "1009429163"}]},
573 {"type": "module", "line": 1262, "filename": "float_exprs.55.wasm"},
574 {"type": "assert_return", "line": 1272, "action": {"type": "invoke", "field": "f32_sqrt_minus_2", "args": [{"type": "f32", "value": "1082130432"}]}, "expected": [{"type": "f32", "value": "0"}]},
575 {"type": "assert_return", "line": 1273, "action": {"type": "invoke", "field": "f64_sqrt_minus_2", "args": [{"type": "f64", "value": "4616189618054758400"}]}, "expected": [{"type": "f64", "value": "0"}]},
576 {"type": "module", "line": 1277, "filename": "float_exprs.56.wasm"},
577 {"type": "assert_return", "line": 1285, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "3765723020"}]}, "expected": [{"type": "f32", "value": "3765723019"}]},
578 {"type": "assert_return", "line": 1286, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "426844452"}]}, "expected": [{"type": "f32", "value": "426844451"}]},
579 {"type": "assert_return", "line": 1287, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "535132276"}]}, "expected": [{"type": "f32", "value": "535132277"}]},
580 {"type": "assert_return", "line": 1288, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "3253941441"}]}, "expected": [{"type": "f32", "value": "3253941442"}]},
581 {"type": "assert_return", "line": 1289, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "1660734603"}]}, "expected": [{"type": "f32", "value": "1660734602"}]},
582 {"type": "assert_return", "line": 1291, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "2147483648"}]},
583 {"type": "assert_return", "line": 1292, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
584 {"type": "assert_return", "line": 1293, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "4286578688"}]}, "expected": [{"type": "f32", "value": "4286578688"}]},
585 {"type": "assert_return", "line": 1294, "action": {"type": "invoke", "field": "f32.no_fold_recip_recip", "args": [{"type": "f32", "value": "2139095040"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
586 {"type": "assert_return", "line": 1296, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "14500888369201570768"}]}, "expected": [{"type": "f64", "value": "14500888369201570769"}]},
587 {"type": "assert_return", "line": 1297, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "14132092565459057123"}]}, "expected": [{"type": "f64", "value": "14132092565459057122"}]},
588 {"type": "assert_return", "line": 1298, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "5359183527603521526"}]}, "expected": [{"type": "f64", "value": "5359183527603521525"}]},
589 {"type": "assert_return", "line": 1299, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "1521566147669375634"}]}, "expected": [{"type": "f64", "value": "1521566147669375633"}]},
590 {"type": "assert_return", "line": 1300, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "8671785631545870379"}]}, "expected": [{"type": "f64", "value": "8671785631545870378"}]},
591 {"type": "assert_return", "line": 1302, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "9223372036854775808"}]},
592 {"type": "assert_return", "line": 1303, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
593 {"type": "assert_return", "line": 1304, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "18442240474082181120"}]}, "expected": [{"type": "f64", "value": "18442240474082181120"}]},
594 {"type": "assert_return", "line": 1305, "action": {"type": "invoke", "field": "f64.no_fold_recip_recip", "args": [{"type": "f64", "value": "9218868437227405312"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
595 {"type": "module", "line": 1309, "filename": "float_exprs.57.wasm"},
596 {"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"}]},
597 {"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"}]},
598 {"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"}]},
599 {"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"}]},
600 {"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"}]},
601 {"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"}]},
602 {"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"}]},
603 {"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"}]},
604 {"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"}]},
605 {"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"}]},
606 {"type": "module", "line": 1333, "filename": "float_exprs.58.wasm"},
607 {"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"}]},
608 {"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"}]},
609 {"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"}]},
610 {"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"}]},
611 {"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"}]},
612 {"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"}]},
613 {"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"}]},
614 {"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"}]},
615 {"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"}]},
616 {"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"}]},
617 {"type": "module", "line": 1358, "filename": "float_exprs.59.wasm"},
618 {"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": []},
619 {"type": "assert_return", "line": 1392, "action": {"type": "invoke", "field": "f32.load", "args": [{"type": "i32", "value": "32"}]}, "expected": [{"type": "f32", "value": "2"}]},
620 {"type": "assert_return", "line": 1393, "action": {"type": "invoke", "field": "f32.load", "args": [{"type": "i32", "value": "36"}]}, "expected": [{"type": "f32", "value": "0"}]},
621 {"type": "assert_return", "line": 1394, "action": {"type": "invoke", "field": "f32.load", "args": [{"type": "i32", "value": "40"}]}, "expected": [{"type": "f32", "value": "1"}]},
622 {"type": "assert_return", "line": 1395, "action": {"type": "invoke", "field": "f32.load", "args": [{"type": "i32", "value": "44"}]}, "expected": [{"type": "f32", "value": "2147483649"}]},
623 {"type": "module", "line": 1397, "filename": "float_exprs.60.wasm"},
624 {"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": []},
625 {"type": "assert_return", "line": 1431, "action": {"type": "invoke", "field": "f64.load", "args": [{"type": "i32", "value": "64"}]}, "expected": [{"type": "f64", "value": "2"}]},
626 {"type": "assert_return", "line": 1432, "action": {"type": "invoke", "field": "f64.load", "args": [{"type": "i32", "value": "72"}]}, "expected": [{"type": "f64", "value": "0"}]},
627 {"type": "assert_return", "line": 1433, "action": {"type": "invoke", "field": "f64.load", "args": [{"type": "i32", "value": "80"}]}, "expected": [{"type": "f64", "value": "1"}]},
628 {"type": "assert_return", "line": 1434, "action": {"type": "invoke", "field": "f64.load", "args": [{"type": "i32", "value": "88"}]}, "expected": [{"type": "f64", "value": "9223372036854775809"}]},
629 {"type": "module", "line": 1439, "filename": "float_exprs.61.wasm"},
630 {"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"}]},
631 {"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"}]},
632 {"type": "module", "line": 1533, "filename": "float_exprs.62.wasm"},
633 {"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"}]},
634 {"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"}]},
635 {"type": "module", "line": 1586, "filename": "float_exprs.63.wasm"},
636 {"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"}]},
637 {"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"}]},
638 {"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"}]},
639 {"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"}]},
640 {"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"}]},
641 {"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"}]},
642 {"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"}]},
643 {"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"}]},
644 {"type": "module", "line": 1606, "filename": "float_exprs.64.wasm"},
645 {"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"}]},
646 {"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"}]},
647 {"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"}]},
648 {"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"}]},
649 {"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"}]},
650 {"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"}]},
651 {"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"}]},
652 {"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"}]},
653 {"type": "module", "line": 1626, "filename": "float_exprs.65.wasm"},
654 {"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"}]},
655 {"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"}]},
656 {"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"}]},
657 {"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"}]},
658 {"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"}]},
659 {"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"}]},
660 {"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"}]},
661 {"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"}]},
662 {"type": "module", "line": 1646, "filename": "float_exprs.66.wasm"},
663 {"type": "assert_return", "line": 1654, "action": {"type": "invoke", "field": "f32.no_fold_add_neg", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "0"}]},
664 {"type": "assert_return", "line": 1655, "action": {"type": "invoke", "field": "f32.no_fold_add_neg", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
665 {"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"}]},
666 {"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"}]},
667 {"type": "assert_return", "line": 1659, "action": {"type": "invoke", "field": "f64.no_fold_add_neg", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "0"}]},
668 {"type": "assert_return", "line": 1660, "action": {"type": "invoke", "field": "f64.no_fold_add_neg", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
669 {"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"}]},
670 {"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"}]},
671 {"type": "module", "line": 1666, "filename": "float_exprs.67.wasm"},
672 {"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"}]},
673 {"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"}]},
674 {"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"}]},
675 {"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"}]},
676 {"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"}]},
677 {"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"}]},
678 {"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"}]},
679 {"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"}]},
680 {"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"}]},
681 {"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"}]},
682 {"type": "module", "line": 1695, "filename": "float_exprs.68.wasm"},
683 {"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"}]},
684 {"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"}]},
685 {"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"}]},
686 {"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"}]},
687 {"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"}]},
688 {"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"}]},
689 {"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"}]},
690 {"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"}]},
691 {"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"}]},
692 {"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"}]},
693 {"type": "module", "line": 1719, "filename": "float_exprs.69.wasm"},
694 {"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"}]},
695 {"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"}]},
696 {"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"}]},
697 {"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"}]},
698 {"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"}]},
699 {"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"}]},
700 {"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"}]},
701 {"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"}]},
702 {"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"}]},
703 {"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"}]},
704 {"type": "module", "line": 1741, "filename": "float_exprs.70.wasm"},
705 {"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"}]},
706 {"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"}]},
707 {"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"}]},
708 {"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"}]},
709 {"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"}]},
710 {"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"}]},
711 {"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"}]},
712 {"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"}]},
713 {"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"}]},
714 {"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"}]},
715 {"type": "module", "line": 1763, "filename": "float_exprs.71.wasm"},
716 {"type": "assert_return", "line": 1771, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "2662226315"}]}, "expected": [{"type": "f32", "value": "514742673"}]},
717 {"type": "assert_return", "line": 1772, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "2606267634"}]}, "expected": [{"type": "f32", "value": "458819801"}]},
718 {"type": "assert_return", "line": 1773, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "2624528574"}]}, "expected": [{"type": "f32", "value": "477049564"}]},
719 {"type": "assert_return", "line": 1774, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "347235385"}]}, "expected": [{"type": "f32", "value": "0"}]},
720 {"type": "assert_return", "line": 1775, "action": {"type": "invoke", "field": "f32.no_fold_sqrt_square", "args": [{"type": "f32", "value": "1978715378"}]}, "expected": [{"type": "f32", "value": "2139095040"}]},
721 {"type": "assert_return", "line": 1777, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "2225189009770021885"}]}, "expected": [{"type": "f64", "value": "2225189011649283571"}]},
722 {"type": "assert_return", "line": 1778, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "11517048459773840771"}]}, "expected": [{"type": "f64", "value": "2293676422919064961"}]},
723 {"type": "assert_return", "line": 1779, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "11484764485761855006"}]}, "expected": [{"type": "f64", "value": "2261392448906973069"}]},
724 {"type": "assert_return", "line": 1780, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "11056484744549647728"}]}, "expected": [{"type": "f64", "value": "0"}]},
725 {"type": "assert_return", "line": 1781, "action": {"type": "invoke", "field": "f64.no_fold_sqrt_square", "args": [{"type": "f64", "value": "8465406758332488378"}]}, "expected": [{"type": "f64", "value": "9218868437227405312"}]},
726 {"type": "module", "line": 1785, "filename": "float_exprs.72.wasm"},
727 {"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"}]},
728 {"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"}]},
729 {"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"}]},
730 {"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"}]},
731 {"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"}]},
732 {"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"}]},
733 {"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"}]},
734 {"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"}]},
735 {"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"}]},
736 {"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"}]},
737 {"type": "module", "line": 1807, "filename": "float_exprs.73.wasm"},
738 {"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"}]},
739 {"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"}]},
740 {"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"}]},
741 {"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"}]},
742 {"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"}]},
743 {"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"}]},
744 {"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"}]},
745 {"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"}]},
746 {"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"}]},
747 {"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"}]},
748 {"type": "module", "line": 1829, "filename": "float_exprs.74.wasm"},
749 {"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"}]},
750 {"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"}]},
751 {"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"}]},
752 {"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"}]},
753 {"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"}]},
754 {"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"}]},
755 {"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"}]},
756 {"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"}]},
757 {"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"}]},
758 {"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"}]},
759 {"type": "module", "line": 1852, "filename": "float_exprs.75.wasm"},
760 {"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"}]},
761 {"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"}]},
762 {"type": "module", "line": 1866, "filename": "float_exprs.76.wasm"},
763 {"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"}]},
764 {"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"}]},
765 {"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"}]},
766 {"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"}]},
767 {"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"}]},
768 {"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"}]},
769 {"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"}]},
770 {"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"}]},
771 {"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"}]},
772 {"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"}]},
773 {"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"}]},
774 {"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"}]},
775 {"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"}]},
776 {"type": "module", "line": 1910, "filename": "float_exprs.77.wasm"},
777 {"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"}]},
778 {"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"}]},
779 {"type": "module", "line": 1926, "filename": "float_exprs.78.wasm"},
780 {"type": "assert_return", "line": 1934, "action": {"type": "invoke", "field": "f32.no_distribute_exact", "args": [{"type": "f32", "value": "2147483648"}]}, "expected": [{"type": "f32", "value": "0"}]},
781 {"type": "assert_return", "line": 1935, "action": {"type": "invoke", "field": "f64.no_distribute_exact", "args": [{"type": "f64", "value": "9223372036854775808"}]}, "expected": [{"type": "f64", "value": "0"}]},
782 {"type": "module", "line": 1940, "filename": "float_exprs.79.wasm"},
783 {"type": "assert_return", "line": 1972, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "f32", "value": "1068827891"}]},
784 {"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"}]},
785 {"type": "assert_return", "line": 1974, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1071494103"}]},
786 {"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"}]},
787 {"type": "assert_return", "line": 1976, "action": {"type": "invoke", "field": "f32.sqrt", "args": [{"type": "f32", "value": "1084227584"}]}, "expected": [{"type": "f32", "value": "1074731965"}]},
788 {"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"}]},
789 {"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"}]},
790 {"type": "assert_return", "line": 1980, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "f64", "value": "4609047870845172685"}]},
791 {"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"}]},
792 {"type": "assert_return", "line": 1982, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4610479282544200874"}]},
793 {"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"}]},
794 {"type": "assert_return", "line": 1984, "action": {"type": "invoke", "field": "f64.sqrt", "args": [{"type": "f64", "value": "4617315517961601024"}]}, "expected": [{"type": "f64", "value": "4612217596255138984"}]},
795 {"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"}]},
796 {"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"}]},
797 {"type": "module", "line": 1991, "filename": "float_exprs.80.wasm"},
798 {"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"}]},
799 {"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"}]},
800 {"type": "module", "line": 2075, "filename": "float_exprs.81.wasm"},
801 {"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"}]},
802 {"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"}]},
803 {"type": "module", "line": 2089, "filename": "float_exprs.82.wasm"},
804 {"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"}]},
805 {"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"}]},
806 {"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"}]},
807 {"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"}]},
808 {"type": "module", "line": 2110, "filename": "float_exprs.83.wasm"},
809 {"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"}]},
810 {"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"}]},
811 {"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"}]},
812 {"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"}]},
813 {"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"}]},
814 {"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"}]},
815 {"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"}]},
816 {"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"}]},
817 {"type": "module", "line": 2149, "filename": "float_exprs.84.wasm"},
818 {"type": "assert_return", "line": 2157, "action": {"type": "invoke", "field": "f32.epsilon", "args": []}, "expected": [{"type": "f32", "value": "3019898880"}]},
819 {"type": "assert_return", "line": 2158, "action": {"type": "invoke", "field": "f64.epsilon", "args": []}, "expected": [{"type": "f64", "value": "4372995238176751616"}]},
820 {"type": "module", "line": 2164, "filename": "float_exprs.85.wasm"},
821 {"type": "assert_return", "line": 2212, "action": {"type": "invoke", "field": "f32.epsilon", "args": []}, "expected": [{"type": "f32", "value": "872415232"}]},
822 {"type": "assert_return", "line": 2213, "action": {"type": "invoke", "field": "f64.epsilon", "args": []}, "expected": [{"type": "f64", "value": "4372995238176751616"}]},
823 {"type": "module", "line": 2218, "filename": "float_exprs.86.wasm"},
824 {"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"}]},
825 {"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"}]},
826 {"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"}]},
827 {"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"}]},
828 {"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"}]},
829 {"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"}]},
830 {"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"}]},
831 {"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"}]},
832 {"type": "module", "line": 2250, "filename": "float_exprs.87.wasm"},
833 {"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"}]},
834 {"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"}]},
835 {"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"}]},
836 {"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"}]},
837 {"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"}]},
838 {"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"}]},
839 {"type": "assert_return", "line": 2335, "action": {"type": "invoke", "field": "f32.nonarithmetic_nan_bitpattern", "args": [{"type": "i32", "value": "2143302160"}]}, "expected": [{"type": "i32", "value": "4290785808"}]},
840 {"type": "assert_return", "line": 2336, "action": {"type": "invoke", "field": "f32.nonarithmetic_nan_bitpattern", "args": [{"type": "i32", "value": "4290785808"}]}, "expected": [{"type": "i32", "value": "2143302160"}]},
841 {"type": "assert_return", "line": 2337, "action": {"type": "invoke", "field": "f32.nonarithmetic_nan_bitpattern", "args": [{"type": "i32", "value": "2139107856"}]}, "expected": [{"type": "i32", "value": "4286591504"}]},
842 {"type": "assert_return", "line": 2338, "action": {"type": "invoke", "field": "f32.nonarithmetic_nan_bitpattern", "args": [{"type": "i32", "value": "4286591504"}]}, "expected": [{"type": "i32", "value": "2139107856"}]},
843 {"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"}]},
844 {"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"}]},
845 {"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"}]},
846 {"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"}]},
847 {"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"}]},
848 {"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"}]},
849 {"type": "assert_return", "line": 2345, "action": {"type": "invoke", "field": "f64.nonarithmetic_nan_bitpattern", "args": [{"type": "i64", "value": "9221120237041103376"}]}, "expected": [{"type": "i64", "value": "18444492273895879184"}]},
850 {"type": "assert_return", "line": 2346, "action": {"type": "invoke", "field": "f64.nonarithmetic_nan_bitpattern", "args": [{"type": "i64", "value": "18444492273895879184"}]}, "expected": [{"type": "i64", "value": "9221120237041103376"}]},
851 {"type": "assert_return", "line": 2347, "action": {"type": "invoke", "field": "f64.nonarithmetic_nan_bitpattern", "args": [{"type": "i64", "value": "9218868437227418128"}]}, "expected": [{"type": "i64", "value": "18442240474082193936"}]},
852 {"type": "assert_return", "line": 2348, "action": {"type": "invoke", "field": "f64.nonarithmetic_nan_bitpattern", "args": [{"type": "i64", "value": "18442240474082193936"}]}, "expected": [{"type": "i64", "value": "9218868437227418128"}]},
853 {"type": "assert_return", "line": 2349, "action": {"type": "invoke", "field": "f32.no_fold_sub_zero", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
854 {"type": "assert_return", "line": 2350, "action": {"type": "invoke", "field": "f32.no_fold_neg0_sub", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
855 {"type": "assert_return", "line": 2351, "action": {"type": "invoke", "field": "f32.no_fold_mul_one", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
856 {"type": "assert_return", "line": 2352, "action": {"type": "invoke", "field": "f32.no_fold_neg1_mul", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
857 {"type": "assert_return", "line": 2353, "action": {"type": "invoke", "field": "f32.no_fold_div_one", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
858 {"type": "assert_return", "line": 2354, "action": {"type": "invoke", "field": "f32.no_fold_div_neg1", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
859 {"type": "assert_return", "line": 2355, "action": {"type": "invoke", "field": "f64.no_fold_sub_zero", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
860 {"type": "assert_return", "line": 2356, "action": {"type": "invoke", "field": "f64.no_fold_neg0_sub", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
861 {"type": "assert_return", "line": 2357, "action": {"type": "invoke", "field": "f64.no_fold_mul_one", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
862 {"type": "assert_return", "line": 2358, "action": {"type": "invoke", "field": "f64.no_fold_neg1_mul", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
863 {"type": "assert_return", "line": 2359, "action": {"type": "invoke", "field": "f64.no_fold_div_one", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
864 {"type": "assert_return", "line": 2360, "action": {"type": "invoke", "field": "f64.no_fold_div_neg1", "args": [{"type": "i64", "value": "9219994337134247936"}]}, "expected": [{"type": "i64", "value": "9221120237041090560"}]},
865 {"type": "assert_return", "line": 2361, "action": {"type": "invoke", "field": "no_fold_promote_demote", "args": [{"type": "i32", "value": "2141192192"}]}, "expected": [{"type": "i32", "value": "2143289344"}]},
866 {"type": "module", "line": 2366, "filename": "float_exprs.88.wasm"},
867 {"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"}]},
868 {"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"}]},
869 {"type": "module", "line": 2400, "filename": "float_exprs.89.wasm"},
870 {"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"}]},
871 {"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"}]},
872 {"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"}]},
873 {"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"}]},
874 {"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"}]},
875 {"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"}]},
876 {"type": "module", "line": 2421, "filename": "float_exprs.90.wasm"},
877 {"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"}]},
878 {"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"}]},
879 {"type": "module", "line": 2436, "filename": "float_exprs.91.wasm"},
880 {"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"}]},
881 {"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"}]},
882 {"type": "module", "line": 2449, "filename": "float_exprs.92.wasm"},
883 {"type": "assert_return", "line": 2462, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "0"}]}, "expected": [{"type": "f32", "value": "1065353216"}]},
884 {"type": "assert_return", "line": 2463, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1065353216"}]}, "expected": [{"type": "f32", "value": "1070537661"}]},
885 {"type": "assert_return", "line": 2464, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1073741824"}]}, "expected": [{"type": "f32", "value": "1075479162"}]},
886 {"type": "assert_return", "line": 2465, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1079206061"}]},
887 {"type": "assert_return", "line": 2466, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1082130432"}]}, "expected": [{"type": "f32", "value": "1082625502"}]},
888 {"type": "assert_return", "line": 2467, "action": {"type": "invoke", "field": "f32.silver_means", "args": [{"type": "f32", "value": "1084227584"}]}, "expected": [{"type": "f32", "value": "1084631458"}]},
889 {"type": "assert_return", "line": 2468, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "0"}]}, "expected": [{"type": "f64", "value": "4607182418800017408"}]},
890 {"type": "assert_return", "line": 2469, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4607182418800017408"}]}, "expected": [{"type": "f64", "value": "4609965796441453736"}]},
891 {"type": "assert_return", "line": 2470, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4611686018427387904"}]}, "expected": [{"type": "f64", "value": "4612618744449965542"}]},
892 {"type": "assert_return", "line": 2471, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4614619608365706490"}]},
893 {"type": "assert_return", "line": 2472, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4616189618054758400"}]}, "expected": [{"type": "f64", "value": "4616455406968633940"}]},
894 {"type": "assert_return", "line": 2473, "action": {"type": "invoke", "field": "f64.silver_means", "args": [{"type": "f64", "value": "4617315517961601024"}]}, "expected": [{"type": "f64", "value": "4617532346471836922"}]},
895 {"type": "module", "line": 2478, "filename": "float_exprs.93.wasm"},
896 {"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"}]},
897 {"type": "module", "line": 2488, "filename": "float_exprs.94.wasm"},
898 {"type": "assert_return", "line": 2553, "action": {"type": "invoke", "field": "tau", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "f64", "value": "4618760256179416340"}]},
899 {"type": "assert_return", "line": 2554, "action": {"type": "invoke", "field": "tau", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "f64", "value": "4618760256179416344"}]},
900 {"type": "module", "line": 2558, "filename": "float_exprs.95.wasm"},
901 {"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"}]},
902 {"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"}]}]}
View as plain text