diff options
| author | Sam Clegg <sbc@chromium.org> | 2024-05-15 16:02:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-15 23:02:14 +0000 |
| commit | 44837a7236e85c048de3214fd2ae4c37d3a034ce (patch) | |
| tree | 258209ee63492332bf0e381f6318db39b4a95026 /test/spec/memory64/table_fill.txt | |
| parent | 39f85a791cbbad91a253a851841a29777efdc2cd (diff) | |
| download | wabt-44837a7236e85c048de3214fd2ae4c37d3a034ce.tar.gz wabt-44837a7236e85c048de3214fd2ae4c37d3a034ce.tar.bz2 wabt-44837a7236e85c048de3214fd2ae4c37d3a034ce.zip | |
Update testsuite and implement table64 (#2418)
See https://github.com/WebAssembly/memory64/issues/51
Includes workaround for #2422
Diffstat (limited to 'test/spec/memory64/table_fill.txt')
| -rw-r--r-- | test/spec/memory64/table_fill.txt | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/test/spec/memory64/table_fill.txt b/test/spec/memory64/table_fill.txt new file mode 100644 index 00000000..ca924344 --- /dev/null +++ b/test/spec/memory64/table_fill.txt @@ -0,0 +1,39 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_fill.wast +;;; ARGS*: --enable-memory64 +(;; STDOUT ;;; +out/test/spec/memory64/table_fill.wast:64: assert_trap passed: out of bounds table access: table.fill out of bounds +out/test/spec/memory64/table_fill.wast:72: assert_trap passed: out of bounds table access: table.fill out of bounds +out/test/spec/memory64/table_fill.wast:77: assert_trap passed: out of bounds table access: table.fill out of bounds +out/test/spec/memory64/table_fill.wast:120: assert_trap passed: out of bounds table access: table.fill out of bounds +out/test/spec/memory64/table_fill.wast:128: assert_trap passed: out of bounds table access: table.fill out of bounds +out/test/spec/memory64/table_fill.wast:133: assert_trap passed: out of bounds table access: table.fill out of bounds +out/test/spec/memory64/table_fill.wast:140: assert_invalid passed: + out/test/spec/memory64/table_fill/table_fill.1.wasm:0000020: error: type mismatch in table.fill, expected [i32, externref, i32] but got [] + 0000020: error: OnTableFillExpr callback failed +out/test/spec/memory64/table_fill.wast:149: assert_invalid passed: + out/test/spec/memory64/table_fill/table_fill.2.wasm:0000024: error: type mismatch in table.fill, expected [i32, externref, i32] but got [externref, i32] + 0000024: error: OnTableFillExpr callback failed +out/test/spec/memory64/table_fill.wast:158: assert_invalid passed: + out/test/spec/memory64/table_fill/table_fill.3.wasm:0000024: error: type mismatch in table.fill, expected [i32, externref, i32] but got [i32, i32] + 0000024: error: OnTableFillExpr callback failed +out/test/spec/memory64/table_fill.wast:167: assert_invalid passed: + out/test/spec/memory64/table_fill/table_fill.4.wasm:0000024: error: type mismatch in table.fill, expected [i32, externref, i32] but got [i32, externref] + 0000024: error: OnTableFillExpr callback failed +out/test/spec/memory64/table_fill.wast:176: assert_invalid passed: + out/test/spec/memory64/table_fill/table_fill.5.wasm:0000029: error: type mismatch in table.fill, expected [i32, externref, i32] but got [f32, externref, i32] + 0000029: error: OnTableFillExpr callback failed +out/test/spec/memory64/table_fill.wast:185: assert_invalid passed: + out/test/spec/memory64/table_fill/table_fill.6.wasm:0000027: error: type mismatch in table.fill, expected [i32, funcref, i32] but got [i32, externref, i32] + 0000027: error: OnTableFillExpr callback failed +out/test/spec/memory64/table_fill.wast:194: assert_invalid passed: + out/test/spec/memory64/table_fill/table_fill.7.wasm:0000029: error: type mismatch in table.fill, expected [i32, externref, i32] but got [i32, externref, f32] + 0000029: error: OnTableFillExpr callback failed +out/test/spec/memory64/table_fill.wast:204: assert_invalid passed: + out/test/spec/memory64/table_fill/table_fill.8.wasm:000002a: error: type mismatch in table.fill, expected [i32, funcref, i32] but got [i32, externref, i32] + 000002a: error: OnTableFillExpr callback failed +out/test/spec/memory64/table_fill.wast:215: assert_invalid passed: + out/test/spec/memory64/table_fill/table_fill.9.wasm:0000028: error: type mismatch in implicit return, expected [i32] but got [] + 0000028: error: EndFunctionBody callback failed +80/80 tests passed. +;;; STDOUT ;;) |