diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/spec/bulk-memory-operations/table_init.txt | 2 | ||||
| -rw-r--r-- | test/spec/reference-types/table-sub.txt | 12 | ||||
| -rw-r--r-- | test/spec/reference-types/table_init.txt | 2 | ||||
| -rw-r--r-- | test/typecheck/bad-bulk-memory-no-table.txt | 6 |
4 files changed, 17 insertions, 5 deletions
diff --git a/test/spec/bulk-memory-operations/table_init.txt b/test/spec/bulk-memory-operations/table_init.txt index 4ddc3581..1f08758a 100644 --- a/test/spec/bulk-memory-operations/table_init.txt +++ b/test/spec/bulk-memory-operations/table_init.txt @@ -59,7 +59,7 @@ out/test/spec/bulk-memory-operations/table_init.wast:193: assert_invalid passed: 0000000: error: elem_segment variable out of range: 0 (max 4294967295) 0000024: error: OnElemDropExpr callback failed out/test/spec/bulk-memory-operations/table_init.wast:199: assert_invalid passed: - 0000000: error: table.init requires table 0 to be an imported or defined table. + 0000000: error: table variable out of range: 0 (max 4294967295) 0000000: error: elem_segment variable out of range: 0 (max 4294967295) 000002b: error: OnTableInitExpr callback failed out/test/spec/bulk-memory-operations/table_init.wast:205: assert_invalid passed: diff --git a/test/spec/reference-types/table-sub.txt b/test/spec/reference-types/table-sub.txt new file mode 100644 index 00000000..5b14f2fb --- /dev/null +++ b/test/spec/reference-types/table-sub.txt @@ -0,0 +1,12 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/reference-types/table-sub.wast +;;; ARGS*: --enable-reference-types +(;; STDOUT ;;; +out/test/spec/reference-types/table-sub.wast:12: assert_invalid passed: + error: type mismatch at table.copy. got anyref, expected funcref + 000002a: error: OnTableCopyExpr callback failed +out/test/spec/reference-types/table-sub.wast:23: assert_invalid passed: + error: type mismatch at table.init. got anyref, expected funcref + 000002d: error: OnTableInitExpr callback failed +2/2 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/reference-types/table_init.txt b/test/spec/reference-types/table_init.txt index 52e80050..d2aefc79 100644 --- a/test/spec/reference-types/table_init.txt +++ b/test/spec/reference-types/table_init.txt @@ -59,7 +59,7 @@ out/test/spec/reference-types/table_init.wast:193: assert_invalid passed: 0000000: error: elem_segment variable out of range: 0 (max 4294967295) 0000024: error: OnElemDropExpr callback failed out/test/spec/reference-types/table_init.wast:199: assert_invalid passed: - 0000000: error: table.init requires table 0 to be an imported or defined table. + 0000000: error: table variable out of range: 0 (max 4294967295) 0000000: error: elem_segment variable out of range: 0 (max 4294967295) 000002b: error: OnTableInitExpr callback failed out/test/spec/reference-types/table_init.wast:205: assert_invalid passed: diff --git a/test/typecheck/bad-bulk-memory-no-table.txt b/test/typecheck/bad-bulk-memory-no-table.txt index 21e97f07..a3dd1a0d 100644 --- a/test/typecheck/bad-bulk-memory-no-table.txt +++ b/test/typecheck/bad-bulk-memory-no-table.txt @@ -9,16 +9,16 @@ ) ) (;; STDERR ;;; -out/test/typecheck/bad-bulk-memory-no-table.txt:7:41: error: table.init requires table 0 to be an imported or defined table. +out/test/typecheck/bad-bulk-memory-no-table.txt:7:41: error: table variable out of range: 0 (max 4294967295) i32.const 0 i32.const 0 i32.const 0 table.init 0 ^^^^^^^^^^ out/test/typecheck/bad-bulk-memory-no-table.txt:7:52: error: elem_segment variable out of range: 0 (max 4294967295) i32.const 0 i32.const 0 i32.const 0 table.init 0 ^ -out/test/typecheck/bad-bulk-memory-no-table.txt:8:41: error: table.copy requires table 0 to be an imported or defined table. +out/test/typecheck/bad-bulk-memory-no-table.txt:8:41: error: table variable out of range: 0 (max 4294967295) i32.const 0 i32.const 0 i32.const 0 table.copy ^^^^^^^^^^ -out/test/typecheck/bad-bulk-memory-no-table.txt:8:41: error: table.copy requires table 0 to be an imported or defined table. +out/test/typecheck/bad-bulk-memory-no-table.txt:8:41: error: table variable out of range: 0 (max 4294967295) i32.const 0 i32.const 0 i32.const 0 table.copy ^^^^^^^^^^ ;;; STDERR ;;) |