diff options
Diffstat (limited to 'test/spec/memory64/table_grow.txt')
| -rw-r--r-- | test/spec/memory64/table_grow.txt | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/test/spec/memory64/table_grow.txt b/test/spec/memory64/table_grow.txt new file mode 100644 index 00000000..d0d621fc --- /dev/null +++ b/test/spec/memory64/table_grow.txt @@ -0,0 +1,39 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_grow.wast +;;; ARGS*: --enable-memory64 +(;; STDOUT ;;; +out/test/spec/memory64/table_grow.wast:26: assert_trap passed: out of bounds table access: table.set at 0 >= max value 0 +out/test/spec/memory64/table_grow.wast:27: assert_trap passed: out of bounds table access: table.get at 0 >= max value 0 +out/test/spec/memory64/table_grow.wast:34: assert_trap passed: out of bounds table access: table.set at 1 >= max value 1 +out/test/spec/memory64/table_grow.wast:35: assert_trap passed: out of bounds table access: table.get at 1 >= max value 1 +out/test/spec/memory64/table_grow.wast:46: assert_trap passed: out of bounds table access: table.set at 5 >= max value 5 +out/test/spec/memory64/table_grow.wast:47: assert_trap passed: out of bounds table access: table.get at 5 >= max value 5 +out/test/spec/memory64/table_grow.wast:51: assert_trap passed: out of bounds table access: table.set at 0 >= max value 0 +out/test/spec/memory64/table_grow.wast:52: assert_trap passed: out of bounds table access: table.get at 0 >= max value 0 +out/test/spec/memory64/table_grow.wast:59: assert_trap passed: out of bounds table access: table.set at 1 >= max value 1 +out/test/spec/memory64/table_grow.wast:60: assert_trap passed: out of bounds table access: table.get at 1 >= max value 1 +out/test/spec/memory64/table_grow.wast:71: assert_trap passed: out of bounds table access: table.set at 5 >= max value 5 +out/test/spec/memory64/table_grow.wast:72: assert_trap passed: out of bounds table access: table.get at 5 >= max value 5 +out/test/spec/memory64/table_grow.wast:147: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.5.wasm:0000021: error: type mismatch in table.grow, expected [externref, i32] but got [] + 0000021: error: OnTableGrowExpr callback failed +out/test/spec/memory64/table_grow.wast:156: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.6.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [externref] + 0000023: error: OnTableGrowExpr callback failed +out/test/spec/memory64/table_grow.wast:165: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.7.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [i32] + 0000023: error: OnTableGrowExpr callback failed +out/test/spec/memory64/table_grow.wast:174: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.8.wasm:0000028: error: type mismatch in table.grow, expected [externref, i32] but got [externref, f32] + 0000028: error: OnTableGrowExpr callback failed +out/test/spec/memory64/table_grow.wast:183: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.9.wasm:0000026: error: type mismatch in table.grow, expected [funcref, i32] but got [externref, i32] + 0000026: error: OnTableGrowExpr callback failed +out/test/spec/memory64/table_grow.wast:193: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.10.wasm:0000025: error: type mismatch at end of function, expected [] but got [i32] + 0000025: error: EndFunctionBody callback failed +out/test/spec/memory64/table_grow.wast:202: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.11.wasm:0000026: error: type mismatch in implicit return, expected [f32] but got [i32] + 0000026: error: EndFunctionBody callback failed +71/71 tests passed. +;;; STDOUT ;;) |