diff options
| author | Keith Winstein <keithw@cs.stanford.edu> | 2023-03-13 15:07:41 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-13 22:07:41 +0000 |
| commit | 1d0a6334cb1e9536c60df46840bc90dd6ad19a30 (patch) | |
| tree | 39c3d6aee39b494e84258f59112bfdbf783f24fc /test/wasm2c/spec/multi-memory/memory_trap1.txt | |
| parent | c1de8eb9b0e4c37acd1b5ef4c55ac53ba31eae02 (diff) | |
| download | wabt-1d0a6334cb1e9536c60df46840bc90dd6ad19a30.tar.gz wabt-1d0a6334cb1e9536c60df46840bc90dd6ad19a30.tar.bz2 wabt-1d0a6334cb1e9536c60df46840bc90dd6ad19a30.zip | |
Add new tests (#2168)
Fixes a wasm2c bug where instantiation was initializing memories before
tables. The spec requires tables to be initialized before memories
(newly tested in the multi-memory linking0 test).
Remaining missing tests are:
- multi-memory/memory_copy1.txt (currently blank)
- relaxed-simd/relaxed_dot_product.txt
(we don't support the i16x8.relaxed_dot_i8x16_i7x16_s instruction)
And for wasm2c only:
- five SIMD tests
(https://github.com/WebAssembly/wabt/pull/2021#issuecomment-1396386135)
- all relaxed-simd and tail-call tests
Diffstat (limited to 'test/wasm2c/spec/multi-memory/memory_trap1.txt')
| -rw-r--r-- | test/wasm2c/spec/multi-memory/memory_trap1.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/wasm2c/spec/multi-memory/memory_trap1.txt b/test/wasm2c/spec/multi-memory/memory_trap1.txt new file mode 100644 index 00000000..9d546e97 --- /dev/null +++ b/test/wasm2c/spec/multi-memory/memory_trap1.txt @@ -0,0 +1,6 @@ +;;; TOOL: run-spec-wasm2c +;;; STDIN_FILE: third_party/testsuite/proposals/multi-memory/memory_trap1.wast +;;; ARGS*: --enable-multi-memory +(;; STDOUT ;;; +167/167 tests passed. +;;; STDOUT ;;) |