...

Text file src/github.com/tetratelabs/wazero/internal/integration_test/spectest/v1/testdata/float_exprs.json

Documentation: github.com/tetratelabs/wazero/internal/integration_test/spectest/v1/testdata

     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