diff options
Diffstat (limited to 'tests/fixtures/spec_testsuites/core/if.json')
| -rw-r--r-- | tests/fixtures/spec_testsuites/core/if.json | 243 |
1 files changed, 243 insertions, 0 deletions
diff --git a/tests/fixtures/spec_testsuites/core/if.json b/tests/fixtures/spec_testsuites/core/if.json new file mode 100644 index 0000000..10fc835 --- /dev/null +++ b/tests/fixtures/spec_testsuites/core/if.json @@ -0,0 +1,243 @@ +{"source_filename": "./if.wast", + "commands": [ + {"type": "module", "line": 3, "filename": "if.0.wasm"}, + {"type": "assert_return", "line": 537, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 538, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, + {"type": "assert_return", "line": 539, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "100"}]}, "expected": []}, + {"type": "assert_return", "line": 540, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967294"}]}, "expected": []}, + {"type": "assert_return", "line": 542, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "8"}]}, + {"type": "assert_return", "line": 543, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "7"}]}, + {"type": "assert_return", "line": 544, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "7"}]}, + {"type": "assert_return", "line": 545, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "4294967286"}]}, "expected": [{"type": "i32", "value": "7"}]}, + {"type": "assert_return", "line": 547, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "9"}, {"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 548, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 549, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 550, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "4294967291"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 552, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "11"}]}, + {"type": "assert_return", "line": 553, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "10"}]}, + {"type": "assert_return", "line": 554, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "10"}]}, + {"type": "assert_return", "line": 555, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "9"}]}, + {"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "10"}]}, + {"type": "assert_return", "line": 557, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "9"}]}, + {"type": "assert_return", "line": 558, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "10"}]}, + {"type": "assert_return", "line": 559, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "4294967185"}, {"type": "i32", "value": "4294967294"}]}, "expected": [{"type": "i32", "value": "9"}]}, + {"type": "assert_return", "line": 561, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 562, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 563, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 564, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 565, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 566, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 568, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 569, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 570, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 571, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 575, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 576, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 578, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 579, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 580, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 581, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 583, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 584, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 585, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 586, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 588, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 589, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 590, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 591, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 592, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_trap", "line": 593, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "1"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, + {"type": "assert_return", "line": 595, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 596, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, + {"type": "assert_return", "line": 597, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 598, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, + {"type": "assert_return", "line": 600, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 601, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 603, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 604, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 606, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 607, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 609, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 610, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, + {"type": "assert_return", "line": 612, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 613, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 615, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 616, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 618, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 619, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 621, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 622, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 624, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 625, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 627, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 628, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 629, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 631, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "15"}]}, + {"type": "assert_return", "line": 632, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967284"}]}, + {"type": "assert_return", "line": 633, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967281"}]}, + {"type": "assert_return", "line": 634, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]}, + {"type": "assert_return", "line": 636, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 637, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 639, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 640, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 641, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 642, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 644, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967284"}]}, + {"type": "assert_return", "line": 645, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]}, + {"type": "assert_return", "line": 647, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 648, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 650, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967293"}]}, + {"type": "assert_return", "line": 651, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "27"}]}, + {"type": "assert_return", "line": 653, "action": {"type": "invoke", "field": "break-bare", "args": []}, "expected": [{"type": "i32", "value": "19"}]}, + {"type": "assert_return", "line": 654, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "18"}]}, + {"type": "assert_return", "line": 655, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "21"}]}, + {"type": "assert_return", "line": 656, "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"}]}, + {"type": "assert_return", "line": 659, "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"}]}, + {"type": "assert_return", "line": 663, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 664, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 665, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 666, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 667, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 668, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 669, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 670, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 671, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 672, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 673, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 674, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 676, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967282"}]}, + {"type": "assert_return", "line": 677, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967290"}]}, + {"type": "assert_return", "line": 680, "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"}]}, + {"type": "assert_return", "line": 684, "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"}]}, + {"type": "assert_return", "line": 688, "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"}]}, + {"type": "assert_return", "line": 692, "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"}]}, + {"type": "assert_return", "line": 696, "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"}]}, + {"type": "assert_return", "line": 700, "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"}]}, + {"type": "assert_return", "line": 704, "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"}]}, + {"type": "assert_return", "line": 708, "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"}]}, + {"type": "assert_return", "line": 713, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, + {"type": "assert_return", "line": 716, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "1230"}, {"type": "i64", "value": "23"}]}, "expected": [{"type": "i64", "value": "1253"}]}, + {"type": "assert_return", "line": 719, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, + {"type": "assert_return", "line": 722, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, + {"type": "assert_return", "line": 725, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, + {"type": "assert_return", "line": 728, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, + {"type": "assert_return", "line": 731, "action": {"type": "invoke", "field": "type-use", "args": []}, "expected": []}, + {"type": "assert_return", "line": 733, "action": {"type": "invoke", "field": "atypical-condition", "args": []}, "expected": []}, + {"type": "assert_malformed", "line": 736, "filename": "if.1.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 745, "filename": "if.2.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 754, "filename": "if.3.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 763, "filename": "if.4.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 772, "filename": "if.5.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 781, "filename": "if.6.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 788, "filename": "if.7.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 796, "filename": "if.8.wat", "text": "inline function type", "module_type": "text"}, + {"type": "assert_malformed", "line": 806, "filename": "if.9.wat", "text": "inline function type", "module_type": "text"}, + {"type": "assert_malformed", "line": 816, "filename": "if.10.wat", "text": "inline function type", "module_type": "text"}, + {"type": "assert_malformed", "line": 826, "filename": "if.11.wat", "text": "inline function type", "module_type": "text"}, + {"type": "assert_invalid", "line": 836, "filename": "if.12.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 844, "filename": "if.13.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 848, "filename": "if.14.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 852, "filename": "if.15.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 856, "filename": "if.16.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 861, "filename": "if.17.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 865, "filename": "if.18.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 869, "filename": "if.19.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 873, "filename": "if.20.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 878, "filename": "if.21.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 884, "filename": "if.22.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 890, "filename": "if.23.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 896, "filename": "if.24.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 903, "filename": "if.25.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 909, "filename": "if.26.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 915, "filename": "if.27.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 921, "filename": "if.28.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 928, "filename": "if.29.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 934, "filename": "if.30.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 940, "filename": "if.31.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 947, "filename": "if.32.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 953, "filename": "if.33.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 959, "filename": "if.34.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 966, "filename": "if.35.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 972, "filename": "if.36.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 979, "filename": "if.37.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 985, "filename": "if.38.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 991, "filename": "if.39.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 998, "filename": "if.40.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1004, "filename": "if.41.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1010, "filename": "if.42.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1017, "filename": "if.43.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1023, "filename": "if.44.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1029, "filename": "if.45.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1036, "filename": "if.46.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1042, "filename": "if.47.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1048, "filename": "if.48.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1055, "filename": "if.49.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1062, "filename": "if.50.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1069, "filename": "if.51.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1077, "filename": "if.52.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1083, "filename": "if.53.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1089, "filename": "if.54.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1096, "filename": "if.55.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1102, "filename": "if.56.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1109, "filename": "if.57.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1119, "filename": "if.58.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1129, "filename": "if.59.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1140, "filename": "if.60.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1146, "filename": "if.61.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1152, "filename": "if.62.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1158, "filename": "if.63.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1165, "filename": "if.64.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1174, "filename": "if.65.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1183, "filename": "if.66.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1192, "filename": "if.67.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1202, "filename": "if.68.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1211, "filename": "if.69.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1220, "filename": "if.70.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1229, "filename": "if.71.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1239, "filename": "if.72.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1248, "filename": "if.73.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1257, "filename": "if.74.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1266, "filename": "if.75.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1275, "filename": "if.76.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1285, "filename": "if.77.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1296, "filename": "if.78.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1304, "filename": "if.79.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1313, "filename": "if.80.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1322, "filename": "if.81.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1331, "filename": "if.82.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1341, "filename": "if.83.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1350, "filename": "if.84.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1359, "filename": "if.85.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1368, "filename": "if.86.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1376, "filename": "if.87.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1384, "filename": "if.88.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1393, "filename": "if.89.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1409, "filename": "if.90.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1418, "filename": "if.91.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1427, "filename": "if.92.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1436, "filename": "if.93.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1445, "filename": "if.94.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1454, "filename": "if.95.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1464, "filename": "if.96.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1470, "filename": "if.97.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1476, "filename": "if.98.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1482, "filename": "if.99.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1488, "filename": "if.100.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1494, "filename": "if.101.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1500, "filename": "if.102.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1506, "filename": "if.103.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_malformed", "line": 1513, "filename": "if.104.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 1517, "filename": "if.105.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 1522, "filename": "if.106.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1526, "filename": "if.107.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1530, "filename": "if.108.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1534, "filename": "if.109.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1538, "filename": "if.110.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1542, "filename": "if.111.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1546, "filename": "if.112.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1550, "filename": "if.113.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1554, "filename": "if.114.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1558, "filename": "if.115.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1562, "filename": "if.116.wat", "text": "unexpected token", "module_type": "text"}]} |