diff options
Diffstat (limited to 'tests/fixtures/spec_testsuites/core/table_fill.json')
| -rw-r--r-- | tests/fixtures/spec_testsuites/core/table_fill.json | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/tests/fixtures/spec_testsuites/core/table_fill.json b/tests/fixtures/spec_testsuites/core/table_fill.json new file mode 100644 index 0000000..531d1a2 --- /dev/null +++ b/tests/fixtures/spec_testsuites/core/table_fill.json @@ -0,0 +1,47 @@ +{"source_filename": "./table_fill.wast", + "commands": [ + {"type": "module", "line": 1, "filename": "table_fill.0.wasm"}, + {"type": "assert_return", "line": 17, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 18, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 19, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 20, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 21, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 23, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "2"}, {"type": "externref", "value": "1"}, {"type": "i32", "value": "3"}]}, "expected": []}, + {"type": "assert_return", "line": 24, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 25, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "externref", "value": "1"}]}, + {"type": "assert_return", "line": 26, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "externref", "value": "1"}]}, + {"type": "assert_return", "line": 27, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "externref", "value": "1"}]}, + {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 30, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "4"}, {"type": "externref", "value": "2"}, {"type": "i32", "value": "2"}]}, "expected": []}, + {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "externref", "value": "1"}]}, + {"type": "assert_return", "line": 32, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "externref", "value": "2"}]}, + {"type": "assert_return", "line": 33, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "externref", "value": "2"}]}, + {"type": "assert_return", "line": 34, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 36, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "4"}, {"type": "externref", "value": "3"}, {"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "externref", "value": "1"}]}, + {"type": "assert_return", "line": 38, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "externref", "value": "2"}]}, + {"type": "assert_return", "line": 39, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "externref", "value": "2"}]}, + {"type": "assert_return", "line": 41, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "8"}, {"type": "externref", "value": "4"}, {"type": "i32", "value": "2"}]}, "expected": []}, + {"type": "assert_return", "line": 42, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "7"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 43, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "externref", "value": "4"}]}, + {"type": "assert_return", "line": 44, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "externref", "value": "4"}]}, + {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "fill-abbrev", "args": [{"type": "i32", "value": "9"}, {"type": "externref", "value": "null"}, {"type": "i32", "value": "1"}]}, "expected": []}, + {"type": "assert_return", "line": 47, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "externref", "value": "4"}]}, + {"type": "assert_return", "line": 48, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 50, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "10"}, {"type": "externref", "value": "5"}, {"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 51, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_trap", "line": 54, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "8"}, {"type": "externref", "value": "6"}, {"type": "i32", "value": "3"}]}, "text": "out of bounds table access", "expected": []}, + {"type": "assert_return", "line": 57, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "7"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "externref", "value": "4"}]}, + {"type": "assert_return", "line": 59, "action": {"type": "invoke", "field": "get", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_trap", "line": 62, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "11"}, {"type": "externref", "value": "null"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}, + {"type": "assert_trap", "line": 67, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "11"}, {"type": "externref", "value": "null"}, {"type": "i32", "value": "10"}]}, "text": "out of bounds table access", "expected": []}, + {"type": "assert_invalid", "line": 75, "filename": "table_fill.1.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 84, "filename": "table_fill.2.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 93, "filename": "table_fill.3.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 102, "filename": "table_fill.4.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 111, "filename": "table_fill.5.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 120, "filename": "table_fill.6.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 129, "filename": "table_fill.7.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 139, "filename": "table_fill.8.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 150, "filename": "table_fill.9.wasm", "text": "type mismatch", "module_type": "binary"}]} |