github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v2/testdata/if.json (about) 1 {"source_filename": "./if.wast", 2 "commands": [ 3 {"type": "module", "line": 3, "filename": "if.0.wasm"}, 4 {"type": "assert_return", "line": 529, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 5 {"type": "assert_return", "line": 530, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 6 {"type": "assert_return", "line": 531, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "100"}]}, "expected": []}, 7 {"type": "assert_return", "line": 532, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967294"}]}, "expected": []}, 8 {"type": "assert_return", "line": 534, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "8"}]}, 9 {"type": "assert_return", "line": 535, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "7"}]}, 10 {"type": "assert_return", "line": 536, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "7"}]}, 11 {"type": "assert_return", "line": 537, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "4294967286"}]}, "expected": [{"type": "i32", "value": "7"}]}, 12 {"type": "assert_return", "line": 539, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "9"}, {"type": "i32", "value": "4294967295"}]}, 13 {"type": "assert_return", "line": 540, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, 14 {"type": "assert_return", "line": 541, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, 15 {"type": "assert_return", "line": 542, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "4294967291"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, 16 {"type": "assert_return", "line": 544, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "11"}]}, 17 {"type": "assert_return", "line": 545, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "10"}]}, 18 {"type": "assert_return", "line": 546, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "10"}]}, 19 {"type": "assert_return", "line": 547, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "9"}]}, 20 {"type": "assert_return", "line": 548, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "10"}]}, 21 {"type": "assert_return", "line": 549, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "9"}]}, 22 {"type": "assert_return", "line": 550, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "10"}]}, 23 {"type": "assert_return", "line": 551, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "4294967185"}, {"type": "i32", "value": "4294967294"}]}, "expected": [{"type": "i32", "value": "9"}]}, 24 {"type": "assert_return", "line": 553, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 25 {"type": "assert_return", "line": 554, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 26 {"type": "assert_return", "line": 555, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 27 {"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 28 {"type": "assert_return", "line": 557, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 29 {"type": "assert_return", "line": 558, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 30 {"type": "assert_return", "line": 560, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 31 {"type": "assert_return", "line": 561, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 32 {"type": "assert_return", "line": 562, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 33 {"type": "assert_return", "line": 563, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 34 {"type": "assert_return", "line": 564, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 35 {"type": "assert_return", "line": 565, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 36 {"type": "assert_return", "line": 567, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 37 {"type": "assert_return", "line": 568, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 38 {"type": "assert_return", "line": 570, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 39 {"type": "assert_return", "line": 571, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 40 {"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 41 {"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 42 {"type": "assert_return", "line": 575, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 43 {"type": "assert_return", "line": 576, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 44 {"type": "assert_return", "line": 577, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 45 {"type": "assert_return", "line": 578, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 46 {"type": "assert_return", "line": 580, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 47 {"type": "assert_return", "line": 581, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 48 {"type": "assert_return", "line": 582, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 49 {"type": "assert_return", "line": 583, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 50 {"type": "assert_return", "line": 584, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 51 {"type": "assert_trap", "line": 585, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "1"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, 52 {"type": "assert_return", "line": 587, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 53 {"type": "assert_return", "line": 588, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 54 {"type": "assert_return", "line": 589, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 55 {"type": "assert_return", "line": 590, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 56 {"type": "assert_return", "line": 592, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 57 {"type": "assert_return", "line": 593, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 58 {"type": "assert_return", "line": 595, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 59 {"type": "assert_return", "line": 596, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 60 {"type": "assert_return", "line": 598, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 61 {"type": "assert_return", "line": 599, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 62 {"type": "assert_return", "line": 601, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, 63 {"type": "assert_return", "line": 602, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, 64 {"type": "assert_return", "line": 604, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 65 {"type": "assert_return", "line": 605, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 66 {"type": "assert_return", "line": 607, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 67 {"type": "assert_return", "line": 608, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 68 {"type": "assert_return", "line": 610, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 69 {"type": "assert_return", "line": 611, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 70 {"type": "assert_return", "line": 613, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 71 {"type": "assert_return", "line": 614, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 72 {"type": "assert_return", "line": 616, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 73 {"type": "assert_return", "line": 617, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 74 {"type": "assert_return", "line": 619, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 75 {"type": "assert_return", "line": 620, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 76 {"type": "assert_return", "line": 621, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "0"}]}, 77 {"type": "assert_return", "line": 623, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "15"}]}, 78 {"type": "assert_return", "line": 624, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967284"}]}, 79 {"type": "assert_return", "line": 625, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967281"}]}, 80 {"type": "assert_return", "line": 626, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]}, 81 {"type": "assert_return", "line": 628, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 82 {"type": "assert_return", "line": 629, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 83 {"type": "assert_return", "line": 631, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 84 {"type": "assert_return", "line": 632, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 85 {"type": "assert_return", "line": 633, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 86 {"type": "assert_return", "line": 634, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 87 {"type": "assert_return", "line": 636, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967284"}]}, 88 {"type": "assert_return", "line": 637, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]}, 89 {"type": "assert_return", "line": 639, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 90 {"type": "assert_return", "line": 640, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 91 {"type": "assert_return", "line": 642, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967293"}]}, 92 {"type": "assert_return", "line": 643, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "27"}]}, 93 {"type": "assert_return", "line": 645, "action": {"type": "invoke", "field": "break-bare", "args": []}, "expected": [{"type": "i32", "value": "19"}]}, 94 {"type": "assert_return", "line": 646, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "18"}]}, 95 {"type": "assert_return", "line": 647, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "21"}]}, 96 {"type": "assert_return", "line": 648, "action": {"type": "invoke", "field": "break-multi-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967278"}, {"type": "i32", "value": "18"}, {"type": "i64", "value": "18446744073709551598"}]}, 97 {"type": "assert_return", "line": 651, "action": {"type": "invoke", "field": "break-multi-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "18"}, {"type": "i32", "value": "4294967278"}, {"type": "i64", "value": "18"}]}, 98 {"type": "assert_return", "line": 655, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 99 {"type": "assert_return", "line": 656, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 100 {"type": "assert_return", "line": 657, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 101 {"type": "assert_return", "line": 658, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 102 {"type": "assert_return", "line": 659, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 103 {"type": "assert_return", "line": 660, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 104 {"type": "assert_return", "line": 661, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 105 {"type": "assert_return", "line": 662, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 106 {"type": "assert_return", "line": 663, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 107 {"type": "assert_return", "line": 664, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 108 {"type": "assert_return", "line": 665, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, 109 {"type": "assert_return", "line": 666, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 110 {"type": "assert_return", "line": 668, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967282"}]}, 111 {"type": "assert_return", "line": 669, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967290"}]}, 112 {"type": "assert_return", "line": 672, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, 113 {"type": "assert_return", "line": 676, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "100"}, {"type": "i64", "value": "124"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "224"}, {"type": "i32", "value": "0"}]}, 114 {"type": "assert_return", "line": 680, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i32", "value": "0"}]}, 115 {"type": "assert_return", "line": 684, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, 116 {"type": "assert_return", "line": 688, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}, {"type": "i32", "value": "1"}]}, 117 {"type": "assert_return", "line": 692, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, 118 {"type": "assert_return", "line": 696, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}, {"type": "i32", "value": "1"}]}, 119 {"type": "assert_return", "line": 700, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, 120 {"type": "assert_return", "line": 705, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, 121 {"type": "assert_return", "line": 708, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "1230"}, {"type": "i64", "value": "23"}]}, "expected": [{"type": "i64", "value": "1253"}]}, 122 {"type": "assert_return", "line": 711, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 123 {"type": "assert_return", "line": 714, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 124 {"type": "assert_return", "line": 717, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 125 {"type": "assert_return", "line": 720, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 126 {"type": "assert_return", "line": 723, "action": {"type": "invoke", "field": "type-use", "args": []}, "expected": []}, 127 {"type": "assert_malformed", "line": 726, "filename": "if.1.wat", "text": "unexpected token", "module_type": "text"}, 128 {"type": "assert_malformed", "line": 735, "filename": "if.2.wat", "text": "unexpected token", "module_type": "text"}, 129 {"type": "assert_malformed", "line": 744, "filename": "if.3.wat", "text": "unexpected token", "module_type": "text"}, 130 {"type": "assert_malformed", "line": 753, "filename": "if.4.wat", "text": "unexpected token", "module_type": "text"}, 131 {"type": "assert_malformed", "line": 762, "filename": "if.5.wat", "text": "unexpected token", "module_type": "text"}, 132 {"type": "assert_malformed", "line": 771, "filename": "if.6.wat", "text": "unexpected token", "module_type": "text"}, 133 {"type": "assert_malformed", "line": 778, "filename": "if.7.wat", "text": "unexpected token", "module_type": "text"}, 134 {"type": "assert_malformed", "line": 786, "filename": "if.8.wat", "text": "inline function type", "module_type": "text"}, 135 {"type": "assert_malformed", "line": 796, "filename": "if.9.wat", "text": "inline function type", "module_type": "text"}, 136 {"type": "assert_malformed", "line": 806, "filename": "if.10.wat", "text": "inline function type", "module_type": "text"}, 137 {"type": "assert_malformed", "line": 816, "filename": "if.11.wat", "text": "inline function type", "module_type": "text"}, 138 {"type": "assert_invalid", "line": 826, "filename": "if.12.wasm", "text": "type mismatch", "module_type": "binary"}, 139 {"type": "assert_invalid", "line": 834, "filename": "if.13.wasm", "text": "type mismatch", "module_type": "binary"}, 140 {"type": "assert_invalid", "line": 838, "filename": "if.14.wasm", "text": "type mismatch", "module_type": "binary"}, 141 {"type": "assert_invalid", "line": 842, "filename": "if.15.wasm", "text": "type mismatch", "module_type": "binary"}, 142 {"type": "assert_invalid", "line": 846, "filename": "if.16.wasm", "text": "type mismatch", "module_type": "binary"}, 143 {"type": "assert_invalid", "line": 851, "filename": "if.17.wasm", "text": "type mismatch", "module_type": "binary"}, 144 {"type": "assert_invalid", "line": 855, "filename": "if.18.wasm", "text": "type mismatch", "module_type": "binary"}, 145 {"type": "assert_invalid", "line": 859, "filename": "if.19.wasm", "text": "type mismatch", "module_type": "binary"}, 146 {"type": "assert_invalid", "line": 863, "filename": "if.20.wasm", "text": "type mismatch", "module_type": "binary"}, 147 {"type": "assert_invalid", "line": 868, "filename": "if.21.wasm", "text": "type mismatch", "module_type": "binary"}, 148 {"type": "assert_invalid", "line": 874, "filename": "if.22.wasm", "text": "type mismatch", "module_type": "binary"}, 149 {"type": "assert_invalid", "line": 880, "filename": "if.23.wasm", "text": "type mismatch", "module_type": "binary"}, 150 {"type": "assert_invalid", "line": 886, "filename": "if.24.wasm", "text": "type mismatch", "module_type": "binary"}, 151 {"type": "assert_invalid", "line": 893, "filename": "if.25.wasm", "text": "type mismatch", "module_type": "binary"}, 152 {"type": "assert_invalid", "line": 899, "filename": "if.26.wasm", "text": "type mismatch", "module_type": "binary"}, 153 {"type": "assert_invalid", "line": 905, "filename": "if.27.wasm", "text": "type mismatch", "module_type": "binary"}, 154 {"type": "assert_invalid", "line": 911, "filename": "if.28.wasm", "text": "type mismatch", "module_type": "binary"}, 155 {"type": "assert_invalid", "line": 918, "filename": "if.29.wasm", "text": "type mismatch", "module_type": "binary"}, 156 {"type": "assert_invalid", "line": 924, "filename": "if.30.wasm", "text": "type mismatch", "module_type": "binary"}, 157 {"type": "assert_invalid", "line": 930, "filename": "if.31.wasm", "text": "type mismatch", "module_type": "binary"}, 158 {"type": "assert_invalid", "line": 937, "filename": "if.32.wasm", "text": "type mismatch", "module_type": "binary"}, 159 {"type": "assert_invalid", "line": 943, "filename": "if.33.wasm", "text": "type mismatch", "module_type": "binary"}, 160 {"type": "assert_invalid", "line": 949, "filename": "if.34.wasm", "text": "type mismatch", "module_type": "binary"}, 161 {"type": "assert_invalid", "line": 956, "filename": "if.35.wasm", "text": "type mismatch", "module_type": "binary"}, 162 {"type": "assert_invalid", "line": 962, "filename": "if.36.wasm", "text": "type mismatch", "module_type": "binary"}, 163 {"type": "assert_invalid", "line": 969, "filename": "if.37.wasm", "text": "type mismatch", "module_type": "binary"}, 164 {"type": "assert_invalid", "line": 975, "filename": "if.38.wasm", "text": "type mismatch", "module_type": "binary"}, 165 {"type": "assert_invalid", "line": 981, "filename": "if.39.wasm", "text": "type mismatch", "module_type": "binary"}, 166 {"type": "assert_invalid", "line": 988, "filename": "if.40.wasm", "text": "type mismatch", "module_type": "binary"}, 167 {"type": "assert_invalid", "line": 994, "filename": "if.41.wasm", "text": "type mismatch", "module_type": "binary"}, 168 {"type": "assert_invalid", "line": 1000, "filename": "if.42.wasm", "text": "type mismatch", "module_type": "binary"}, 169 {"type": "assert_invalid", "line": 1007, "filename": "if.43.wasm", "text": "type mismatch", "module_type": "binary"}, 170 {"type": "assert_invalid", "line": 1013, "filename": "if.44.wasm", "text": "type mismatch", "module_type": "binary"}, 171 {"type": "assert_invalid", "line": 1019, "filename": "if.45.wasm", "text": "type mismatch", "module_type": "binary"}, 172 {"type": "assert_invalid", "line": 1026, "filename": "if.46.wasm", "text": "type mismatch", "module_type": "binary"}, 173 {"type": "assert_invalid", "line": 1032, "filename": "if.47.wasm", "text": "type mismatch", "module_type": "binary"}, 174 {"type": "assert_invalid", "line": 1038, "filename": "if.48.wasm", "text": "type mismatch", "module_type": "binary"}, 175 {"type": "assert_invalid", "line": 1045, "filename": "if.49.wasm", "text": "type mismatch", "module_type": "binary"}, 176 {"type": "assert_invalid", "line": 1052, "filename": "if.50.wasm", "text": "type mismatch", "module_type": "binary"}, 177 {"type": "assert_invalid", "line": 1059, "filename": "if.51.wasm", "text": "type mismatch", "module_type": "binary"}, 178 {"type": "assert_invalid", "line": 1067, "filename": "if.52.wasm", "text": "type mismatch", "module_type": "binary"}, 179 {"type": "assert_invalid", "line": 1073, "filename": "if.53.wasm", "text": "type mismatch", "module_type": "binary"}, 180 {"type": "assert_invalid", "line": 1079, "filename": "if.54.wasm", "text": "type mismatch", "module_type": "binary"}, 181 {"type": "assert_invalid", "line": 1086, "filename": "if.55.wasm", "text": "type mismatch", "module_type": "binary"}, 182 {"type": "assert_invalid", "line": 1092, "filename": "if.56.wasm", "text": "type mismatch", "module_type": "binary"}, 183 {"type": "assert_invalid", "line": 1099, "filename": "if.57.wasm", "text": "type mismatch", "module_type": "binary"}, 184 {"type": "assert_invalid", "line": 1109, "filename": "if.58.wasm", "text": "type mismatch", "module_type": "binary"}, 185 {"type": "assert_invalid", "line": 1119, "filename": "if.59.wasm", "text": "type mismatch", "module_type": "binary"}, 186 {"type": "assert_invalid", "line": 1130, "filename": "if.60.wasm", "text": "type mismatch", "module_type": "binary"}, 187 {"type": "assert_invalid", "line": 1136, "filename": "if.61.wasm", "text": "type mismatch", "module_type": "binary"}, 188 {"type": "assert_invalid", "line": 1142, "filename": "if.62.wasm", "text": "type mismatch", "module_type": "binary"}, 189 {"type": "assert_invalid", "line": 1148, "filename": "if.63.wasm", "text": "type mismatch", "module_type": "binary"}, 190 {"type": "assert_invalid", "line": 1155, "filename": "if.64.wasm", "text": "type mismatch", "module_type": "binary"}, 191 {"type": "assert_invalid", "line": 1164, "filename": "if.65.wasm", "text": "type mismatch", "module_type": "binary"}, 192 {"type": "assert_invalid", "line": 1173, "filename": "if.66.wasm", "text": "type mismatch", "module_type": "binary"}, 193 {"type": "assert_invalid", "line": 1182, "filename": "if.67.wasm", "text": "type mismatch", "module_type": "binary"}, 194 {"type": "assert_invalid", "line": 1192, "filename": "if.68.wasm", "text": "type mismatch", "module_type": "binary"}, 195 {"type": "assert_invalid", "line": 1201, "filename": "if.69.wasm", "text": "type mismatch", "module_type": "binary"}, 196 {"type": "assert_invalid", "line": 1210, "filename": "if.70.wasm", "text": "type mismatch", "module_type": "binary"}, 197 {"type": "assert_invalid", "line": 1219, "filename": "if.71.wasm", "text": "type mismatch", "module_type": "binary"}, 198 {"type": "assert_invalid", "line": 1229, "filename": "if.72.wasm", "text": "type mismatch", "module_type": "binary"}, 199 {"type": "assert_invalid", "line": 1238, "filename": "if.73.wasm", "text": "type mismatch", "module_type": "binary"}, 200 {"type": "assert_invalid", "line": 1247, "filename": "if.74.wasm", "text": "type mismatch", "module_type": "binary"}, 201 {"type": "assert_invalid", "line": 1256, "filename": "if.75.wasm", "text": "type mismatch", "module_type": "binary"}, 202 {"type": "assert_invalid", "line": 1265, "filename": "if.76.wasm", "text": "type mismatch", "module_type": "binary"}, 203 {"type": "assert_invalid", "line": 1275, "filename": "if.77.wasm", "text": "type mismatch", "module_type": "binary"}, 204 {"type": "assert_invalid", "line": 1286, "filename": "if.78.wasm", "text": "type mismatch", "module_type": "binary"}, 205 {"type": "assert_invalid", "line": 1294, "filename": "if.79.wasm", "text": "type mismatch", "module_type": "binary"}, 206 {"type": "assert_invalid", "line": 1303, "filename": "if.80.wasm", "text": "type mismatch", "module_type": "binary"}, 207 {"type": "assert_invalid", "line": 1312, "filename": "if.81.wasm", "text": "type mismatch", "module_type": "binary"}, 208 {"type": "assert_invalid", "line": 1321, "filename": "if.82.wasm", "text": "type mismatch", "module_type": "binary"}, 209 {"type": "assert_invalid", "line": 1331, "filename": "if.83.wasm", "text": "type mismatch", "module_type": "binary"}, 210 {"type": "assert_invalid", "line": 1340, "filename": "if.84.wasm", "text": "type mismatch", "module_type": "binary"}, 211 {"type": "assert_invalid", "line": 1349, "filename": "if.85.wasm", "text": "type mismatch", "module_type": "binary"}, 212 {"type": "assert_invalid", "line": 1358, "filename": "if.86.wasm", "text": "type mismatch", "module_type": "binary"}, 213 {"type": "assert_invalid", "line": 1366, "filename": "if.87.wasm", "text": "type mismatch", "module_type": "binary"}, 214 {"type": "assert_invalid", "line": 1374, "filename": "if.88.wasm", "text": "type mismatch", "module_type": "binary"}, 215 {"type": "assert_invalid", "line": 1383, "filename": "if.89.wasm", "text": "type mismatch", "module_type": "binary"}, 216 {"type": "assert_invalid", "line": 1399, "filename": "if.90.wasm", "text": "type mismatch", "module_type": "binary"}, 217 {"type": "assert_invalid", "line": 1408, "filename": "if.91.wasm", "text": "type mismatch", "module_type": "binary"}, 218 {"type": "assert_invalid", "line": 1417, "filename": "if.92.wasm", "text": "type mismatch", "module_type": "binary"}, 219 {"type": "assert_invalid", "line": 1426, "filename": "if.93.wasm", "text": "type mismatch", "module_type": "binary"}, 220 {"type": "assert_invalid", "line": 1435, "filename": "if.94.wasm", "text": "type mismatch", "module_type": "binary"}, 221 {"type": "assert_invalid", "line": 1444, "filename": "if.95.wasm", "text": "type mismatch", "module_type": "binary"}, 222 {"type": "assert_invalid", "line": 1454, "filename": "if.96.wasm", "text": "type mismatch", "module_type": "binary"}, 223 {"type": "assert_invalid", "line": 1460, "filename": "if.97.wasm", "text": "type mismatch", "module_type": "binary"}, 224 {"type": "assert_invalid", "line": 1466, "filename": "if.98.wasm", "text": "type mismatch", "module_type": "binary"}, 225 {"type": "assert_invalid", "line": 1472, "filename": "if.99.wasm", "text": "type mismatch", "module_type": "binary"}, 226 {"type": "assert_invalid", "line": 1478, "filename": "if.100.wasm", "text": "type mismatch", "module_type": "binary"}, 227 {"type": "assert_invalid", "line": 1484, "filename": "if.101.wasm", "text": "type mismatch", "module_type": "binary"}, 228 {"type": "assert_invalid", "line": 1490, "filename": "if.102.wasm", "text": "type mismatch", "module_type": "binary"}, 229 {"type": "assert_invalid", "line": 1496, "filename": "if.103.wasm", "text": "type mismatch", "module_type": "binary"}, 230 {"type": "assert_malformed", "line": 1503, "filename": "if.104.wat", "text": "unexpected token", "module_type": "text"}, 231 {"type": "assert_malformed", "line": 1507, "filename": "if.105.wat", "text": "unexpected token", "module_type": "text"}, 232 {"type": "assert_malformed", "line": 1512, "filename": "if.106.wat", "text": "mismatching label", "module_type": "text"}, 233 {"type": "assert_malformed", "line": 1516, "filename": "if.107.wat", "text": "mismatching label", "module_type": "text"}, 234 {"type": "assert_malformed", "line": 1520, "filename": "if.108.wat", "text": "mismatching label", "module_type": "text"}, 235 {"type": "assert_malformed", "line": 1524, "filename": "if.109.wat", "text": "mismatching label", "module_type": "text"}, 236 {"type": "assert_malformed", "line": 1528, "filename": "if.110.wat", "text": "mismatching label", "module_type": "text"}, 237 {"type": "assert_malformed", "line": 1532, "filename": "if.111.wat", "text": "mismatching label", "module_type": "text"}, 238 {"type": "assert_malformed", "line": 1536, "filename": "if.112.wat", "text": "mismatching label", "module_type": "text"}, 239 {"type": "assert_malformed", "line": 1540, "filename": "if.113.wat", "text": "mismatching label", "module_type": "text"}, 240 {"type": "assert_malformed", "line": 1544, "filename": "if.114.wat", "text": "mismatching label", "module_type": "text"}, 241 {"type": "assert_malformed", "line": 1548, "filename": "if.115.wat", "text": "mismatching label", "module_type": "text"}]}