diff --git a/.github/workflows/commit.yaml b/.github/workflows/commit.yaml index e6b5153929..9cc4db3600 100644 --- a/.github/workflows/commit.yaml +++ b/.github/workflows/commit.yaml @@ -33,7 +33,7 @@ jobs: steps: - name: Install latest wast2json run: | # Needed for build.spectest. wabt includes wast2json. - wabt_version=1.0.33 + wabt_version=1.0.34 wabt_url=https://github.com/WebAssembly/wabt/releases/download/${wabt_version}/wabt-${wabt_version}-ubuntu.tar.gz curl -sSL ${wabt_url} | tar --strip-components 2 -C /usr/local/bin -xzf - wabt-${wabt_version}/bin/wast2json diff --git a/Makefile b/Makefile index 1a53b529b6..53db2d0ce4 100644 --- a/Makefile +++ b/Makefile @@ -119,8 +119,8 @@ spectest_v1_testdata_dir := $(spectest_v1_dir)/testdata spec_version_v1 := wg-1.0 spectest_v2_dir := $(spectest_base_dir)/v2 spectest_v2_testdata_dir := $(spectest_v2_dir)/testdata -# Latest draft state as of May 23, 2023. -spec_version_v2 := 2e8912e88a3118a46b90e8ccb659e24b4e8f3c23 +# Latest draft state as of March 12, 2024. +spec_version_v2 := 1c5e5d178bd75c79b7a12881c529098beaee2a05 spectest_threads_dir := $(spectest_base_dir)/threads spectest_threads_testdata_dir := $(spectest_threads_dir)/testdata # From https://github.com/WebAssembly/threads/tree/upstream-rebuild which has not been merged to main yet. @@ -167,8 +167,8 @@ build.spectest.v2: # Note: SIMD cases are placed in the "simd" subdirectory. @cd $(spectest_v2_testdata_dir) \ && curl -sSL 'https://api.github.com/repos/WebAssembly/spec/contents/test/core/simd?ref=$(spec_version_v2)' | jq -r '.[]| .download_url' | grep -E ".wast" | xargs -Iurl curl -sJL url -O @cd $(spectest_v2_testdata_dir) && for f in `find . -name '*.wast'`; do \ - wast2json --debug-names --no-check $$f; \ - done + wast2json --debug-names --no-check $$f || true; \ + done # Ignore the error here as some tests (e.g. comments.wast right now) are not supported by wast2json yet. # Note: We currently cannot build the "threads" subdirectory that spawns threads due to missing support in wast2json. # https://github.com/WebAssembly/wabt/issues/2348#issuecomment-1878003959 diff --git a/examples/allocation/zig/testdata/greet.zig b/examples/allocation/zig/testdata/greet.zig index 9cb5784103..e66c10e5b8 100644 --- a/examples/allocation/zig/testdata/greet.zig +++ b/examples/allocation/zig/testdata/greet.zig @@ -58,6 +58,6 @@ pub export fn greeting(message: [*]const u8, size: u32) u64 { // stringToPtr returns a pointer and size pair for the given string in a way // compatible with WebAssembly numeric types. pub fn stringToPtr(s: []const u8) u64 { - const p: u64 = @ptrToInt(s.ptr); + const p: u64 = @intFromPtr(s.ptr); return p << 32 | s.len; } diff --git a/internal/integration_test/spectest/spectest.go b/internal/integration_test/spectest/spectest.go index 87bc6fa138..0638883efd 100644 --- a/internal/integration_test/spectest/spectest.go +++ b/internal/integration_test/spectest/spectest.go @@ -317,9 +317,9 @@ func (c command) expectedError() (err error) { // // cd testdata; wat2wasm --debug-names spectest.wat // -// This module is required by some test cases, and instantiated before running cases. -// See https://github.com/WebAssembly/spec/blob/wg-1.0/test/core/imports.wast -// See https://github.com/WebAssembly/spec/blob/wg-1.0/interpreter/script/js.ml#L13-L25 +// This module is required by some test cases, and must be instantiated before running cases. +// See https://github.com/WebAssembly/spec/blob/1c5e5d178bd75c79b7a12881c529098beaee2a05/test/core/imports.wast +// See https://github.com/WebAssembly/spec/blob/1c5e5d178bd75c79b7a12881c529098beaee2a05/interpreter/script/js.ml#L33-L50 // //go:embed testdata/spectest.wasm var spectestWasm []byte diff --git a/internal/integration_test/spectest/testdata/spectest.wasm b/internal/integration_test/spectest/testdata/spectest.wasm index 2b31edead8..2f9d8cfadf 100644 Binary files a/internal/integration_test/spectest/testdata/spectest.wasm and b/internal/integration_test/spectest/testdata/spectest.wasm differ diff --git a/internal/integration_test/spectest/testdata/spectest.wat b/internal/integration_test/spectest/testdata/spectest.wat index 6149dd758e..f1d471701d 100644 --- a/internal/integration_test/spectest/testdata/spectest.wat +++ b/internal/integration_test/spectest/testdata/spectest.wat @@ -1,8 +1,8 @@ (module $spectest (global (export "global_i32") i32 (i32.const 666)) (global (export "global_i64") i64 (i64.const 666)) - (global (export "global_f32") f32 (f32.const 666)) - (global (export "global_f64") f64 (f64.const 666)) + (global (export "global_f32") f32 (f32.const 666.6)) + (global (export "global_f64") f64 (f64.const 666.6)) (table (export "table") 10 20 funcref) diff --git a/internal/integration_test/spectest/v2/testdata/binary.109.wasm b/internal/integration_test/spectest/v2/testdata/binary.109.wasm index 6fd5badb36..8d636efe42 100644 Binary files a/internal/integration_test/spectest/v2/testdata/binary.109.wasm and b/internal/integration_test/spectest/v2/testdata/binary.109.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/binary.json b/internal/integration_test/spectest/v2/testdata/binary.json index 73767d65e7..bdc7f92a36 100644 --- a/internal/integration_test/spectest/v2/testdata/binary.json +++ b/internal/integration_test/spectest/v2/testdata/binary.json @@ -110,5 +110,5 @@ {"type": "assert_malformed", "line": 1055, "filename": "binary.107.wasm", "text": "section size mismatch", "module_type": "binary"}, {"type": "module", "line": 1068, "filename": "binary.108.wasm"}, {"type": "assert_malformed", "line": 1086, "filename": "binary.109.wasm", "text": "unexpected end", "module_type": "binary"}, - {"type": "module", "line": 1107, "filename": "binary.110.wasm"}, - {"type": "assert_malformed", "line": 1121, "filename": "binary.111.wasm", "text": "unexpected content after last section", "module_type": "binary"}]} + {"type": "module", "line": 1119, "filename": "binary.110.wasm"}, + {"type": "assert_malformed", "line": 1133, "filename": "binary.111.wasm", "text": "unexpected content after last section", "module_type": "binary"}]} diff --git a/internal/integration_test/spectest/v2/testdata/binary.wast b/internal/integration_test/spectest/v2/testdata/binary.wast index c777bebb0b..a707b90359 100644 --- a/internal/integration_test/spectest/v2/testdata/binary.wast +++ b/internal/integration_test/spectest/v2/testdata/binary.wast @@ -1085,8 +1085,19 @@ (assert_malformed (module binary "\00asm" "\01\00\00\00" - "\01\04\01" ;; type section + "\01\25\0c" ;; type section "\60\00\00" ;; type 0 + "\60\00\00" ;; type 1 + "\60\00\00" ;; type 2 + "\60\00\00" ;; type 3 + "\60\00\00" ;; type 4 + "\60\00\00" ;; type 5 + "\60\00\00" ;; type 6 + "\60\00\00" ;; type 7 + "\60\00\00" ;; type 8 + "\60\00\00" ;; type 9 + "\60\00\00" ;; type 10 + "\60\00\00" ;; type 11 "\03\02\01\00" ;; func section "\0a\13\01" ;; code section "\11\00" ;; func 0 @@ -1097,8 +1108,9 @@ "\0e\01" ;; br_table with inconsistent target count (1 declared, 2 given) "\00" ;; break depth 0 "\01" ;; break depth 1 - "\02" ;; break depth for default - "\0b\0b\0b" ;; end + "\02" ;; break depth for default, interpreted as a block + "\0b" ;; end, interpreted as type 11 for the block + "\0b\0b" ;; end ) "unexpected end" ) diff --git a/internal/integration_test/spectest/v2/testdata/comments.wast b/internal/integration_test/spectest/v2/testdata/comments.wast index c291370fa7..5ef64a6c1e 100644 Binary files a/internal/integration_test/spectest/v2/testdata/comments.wast and b/internal/integration_test/spectest/v2/testdata/comments.wast differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.56.wasm b/internal/integration_test/spectest/v2/testdata/elem.56.wasm index 0da8674836..62bda01004 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.56.wasm and b/internal/integration_test/spectest/v2/testdata/elem.56.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.57.wasm b/internal/integration_test/spectest/v2/testdata/elem.57.wasm index 62bda01004..3c8e9865ea 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.57.wasm and b/internal/integration_test/spectest/v2/testdata/elem.57.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.58.wasm b/internal/integration_test/spectest/v2/testdata/elem.58.wasm index 3c8e9865ea..d651b03c39 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.58.wasm and b/internal/integration_test/spectest/v2/testdata/elem.58.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.59.wasm b/internal/integration_test/spectest/v2/testdata/elem.59.wasm index d651b03c39..ad77835cf6 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.59.wasm and b/internal/integration_test/spectest/v2/testdata/elem.59.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.60.wasm b/internal/integration_test/spectest/v2/testdata/elem.60.wasm index ad77835cf6..485b218f4d 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.60.wasm and b/internal/integration_test/spectest/v2/testdata/elem.60.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.61.wasm b/internal/integration_test/spectest/v2/testdata/elem.61.wasm index 485b218f4d..9b8e44b567 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.61.wasm and b/internal/integration_test/spectest/v2/testdata/elem.61.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.62.wasm b/internal/integration_test/spectest/v2/testdata/elem.62.wasm index 9b8e44b567..ea5854fa5c 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.62.wasm and b/internal/integration_test/spectest/v2/testdata/elem.62.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.63.wasm b/internal/integration_test/spectest/v2/testdata/elem.63.wasm index ea5854fa5c..9410d1fed8 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.63.wasm and b/internal/integration_test/spectest/v2/testdata/elem.63.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.64.wasm b/internal/integration_test/spectest/v2/testdata/elem.64.wasm index 9410d1fed8..850b3829a6 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.64.wasm and b/internal/integration_test/spectest/v2/testdata/elem.64.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.65.wasm b/internal/integration_test/spectest/v2/testdata/elem.65.wasm index 850b3829a6..07a0a85856 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.65.wasm and b/internal/integration_test/spectest/v2/testdata/elem.65.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.66.wasm b/internal/integration_test/spectest/v2/testdata/elem.66.wasm index 07a0a85856..58f364cee1 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.66.wasm and b/internal/integration_test/spectest/v2/testdata/elem.66.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.67.wasm b/internal/integration_test/spectest/v2/testdata/elem.67.wasm index 58f364cee1..de641d09a5 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.67.wasm and b/internal/integration_test/spectest/v2/testdata/elem.67.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.68.wasm b/internal/integration_test/spectest/v2/testdata/elem.68.wasm index de641d09a5..ae53007c17 100644 Binary files a/internal/integration_test/spectest/v2/testdata/elem.68.wasm and b/internal/integration_test/spectest/v2/testdata/elem.68.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/elem.json b/internal/integration_test/spectest/v2/testdata/elem.json index 410ab69bbf..2d029d7e50 100644 --- a/internal/integration_test/spectest/v2/testdata/elem.json +++ b/internal/integration_test/spectest/v2/testdata/elem.json @@ -62,40 +62,39 @@ {"type": "assert_invalid", "line": 511, "filename": "elem.53.wasm", "text": "type mismatch", "module_type": "binary"}, {"type": "assert_invalid", "line": 519, "filename": "elem.54.wasm", "text": "type mismatch", "module_type": "binary"}, {"type": "assert_invalid", "line": 527, "filename": "elem.55.wasm", "text": "constant expression required", "module_type": "binary"}, - {"type": "assert_invalid", "line": 536, "filename": "elem.56.wasm", "text": "constant expression required", "module_type": "binary"}, - {"type": "module", "line": 545, "filename": "elem.57.wasm"}, - {"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "call-overwritten", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, - {"type": "module", "line": 558, "filename": "elem.58.wasm"}, - {"type": "assert_return", "line": 569, "action": {"type": "invoke", "field": "call-overwritten-element", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, - {"type": "module", "line": 573, "name": "$module1", "filename": "elem.59.wasm"}, - {"type": "register", "line": 591, "name": "$module1", "as": "module1"}, - {"type": "assert_trap", "line": 593, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, - {"type": "assert_return", "line": 594, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "65"}]}, - {"type": "assert_return", "line": 595, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, - {"type": "module", "line": 597, "name": "$module2", "filename": "elem.60.wasm"}, - {"type": "assert_return", "line": 606, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]}, - {"type": "assert_return", "line": 607, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "68"}]}, - {"type": "assert_return", "line": 608, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, - {"type": "module", "line": 610, "name": "$module3", "filename": "elem.61.wasm"}, - {"type": "assert_return", "line": 619, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]}, - {"type": "assert_return", "line": 620, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "69"}]}, - {"type": "assert_return", "line": 621, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "70"}]}, - {"type": "assert_invalid", "line": 626, "filename": "elem.62.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 631, "filename": "elem.63.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 636, "filename": "elem.64.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 645, "filename": "elem.65.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "module", "line": 654, "name": "$m", "filename": "elem.66.wasm"}, - {"type": "register", "line": 661, "name": "$m", "as": "exporter"}, - {"type": "assert_return", "line": 663, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "null"}]}, - {"type": "assert_return", "line": 664, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "null"}]}, - {"type": "assert_return", "line": 666, "action": {"type": "invoke", "module": "$m", "field": "set", "args": [{"type": "i32", "value": "0"}, {"type": "externref", "value": "42"}]}, "expected": []}, - {"type": "assert_return", "line": 667, "action": {"type": "invoke", "module": "$m", "field": "set", "args": [{"type": "i32", "value": "1"}, {"type": "externref", "value": "137"}]}, "expected": []}, - {"type": "assert_return", "line": 669, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "42"}]}, - {"type": "assert_return", "line": 670, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "137"}]}, - {"type": "module", "line": 672, "filename": "elem.67.wasm"}, - {"type": "assert_return", "line": 676, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "null"}]}, - {"type": "assert_return", "line": 677, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "137"}]}, - {"type": "module", "line": 681, "name": "$module4", "filename": "elem.68.wasm"}, - {"type": "register", "line": 688, "name": "$module4", "as": "module4"}, - {"type": "module", "line": 690, "filename": "elem.69.wasm"}, - {"type": "assert_return", "line": 700, "action": {"type": "invoke", "field": "call_imported_elem", "args": []}, "expected": [{"type": "i32", "value": "42"}]}]} + {"type": "module", "line": 537, "filename": "elem.56.wasm"}, + {"type": "assert_return", "line": 548, "action": {"type": "invoke", "field": "call-overwritten", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, + {"type": "module", "line": 550, "filename": "elem.57.wasm"}, + {"type": "assert_return", "line": 561, "action": {"type": "invoke", "field": "call-overwritten-element", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, + {"type": "module", "line": 565, "name": "$module1", "filename": "elem.58.wasm"}, + {"type": "register", "line": 583, "name": "$module1", "as": "module1"}, + {"type": "assert_trap", "line": 585, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, + {"type": "assert_return", "line": 586, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "65"}]}, + {"type": "assert_return", "line": 587, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, + {"type": "module", "line": 589, "name": "$module2", "filename": "elem.59.wasm"}, + {"type": "assert_return", "line": 598, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]}, + {"type": "assert_return", "line": 599, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "68"}]}, + {"type": "assert_return", "line": 600, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]}, + {"type": "module", "line": 602, "name": "$module3", "filename": "elem.60.wasm"}, + {"type": "assert_return", "line": 611, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]}, + {"type": "assert_return", "line": 612, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "69"}]}, + {"type": "assert_return", "line": 613, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "70"}]}, + {"type": "assert_invalid", "line": 618, "filename": "elem.61.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 623, "filename": "elem.62.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 628, "filename": "elem.63.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 637, "filename": "elem.64.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "module", "line": 646, "name": "$m", "filename": "elem.65.wasm"}, + {"type": "register", "line": 653, "name": "$m", "as": "exporter"}, + {"type": "assert_return", "line": 655, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 656, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 658, "action": {"type": "invoke", "module": "$m", "field": "set", "args": [{"type": "i32", "value": "0"}, {"type": "externref", "value": "42"}]}, "expected": []}, + {"type": "assert_return", "line": 659, "action": {"type": "invoke", "module": "$m", "field": "set", "args": [{"type": "i32", "value": "1"}, {"type": "externref", "value": "137"}]}, "expected": []}, + {"type": "assert_return", "line": 661, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "42"}]}, + {"type": "assert_return", "line": 662, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "137"}]}, + {"type": "module", "line": 664, "filename": "elem.66.wasm"}, + {"type": "assert_return", "line": 668, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "null"}]}, + {"type": "assert_return", "line": 669, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "137"}]}, + {"type": "module", "line": 673, "name": "$module4", "filename": "elem.67.wasm"}, + {"type": "register", "line": 680, "name": "$module4", "as": "module4"}, + {"type": "module", "line": 682, "filename": "elem.68.wasm"}, + {"type": "assert_return", "line": 692, "action": {"type": "invoke", "field": "call_imported_elem", "args": []}, "expected": [{"type": "i32", "value": "42"}]}]} diff --git a/internal/integration_test/spectest/v2/testdata/elem.wast b/internal/integration_test/spectest/v2/testdata/elem.wast index 4a399ecae6..33b3f67bc6 100644 --- a/internal/integration_test/spectest/v2/testdata/elem.wast +++ b/internal/integration_test/spectest/v2/testdata/elem.wast @@ -532,14 +532,6 @@ "constant expression required" ) -(assert_invalid - (module - (table 1 funcref) - (elem (i32.const 0) funcref (item (i32.add (i32.const 0) (i32.const 1)))) - ) - "constant expression required" -) - ;; Two elements target the same slot (module diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.0.wasm b/internal/integration_test/spectest/v2/testdata/float_literals.0.wasm index 702daf4656..dfd593d48d 100644 Binary files a/internal/integration_test/spectest/v2/testdata/float_literals.0.wasm and b/internal/integration_test/spectest/v2/testdata/float_literals.0.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.40.wat b/internal/integration_test/spectest/v2/testdata/float_literals.40.wat index a693cae62b..9a509f802f 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.40.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.40.wat @@ -1 +1 @@ -(global f64 (f64.const _100)) \ No newline at end of file +(global f32 (f32.const nan:0x80_0000)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.41.wat b/internal/integration_test/spectest/v2/testdata/float_literals.41.wat index 0c05fbdd09..a693cae62b 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.41.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.41.wat @@ -1 +1 @@ -(global f64 (f64.const +_100)) \ No newline at end of file +(global f64 (f64.const _100)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.42.wat b/internal/integration_test/spectest/v2/testdata/float_literals.42.wat index 1bd9319996..0c05fbdd09 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.42.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.42.wat @@ -1 +1 @@ -(global f64 (f64.const -_100)) \ No newline at end of file +(global f64 (f64.const +_100)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.43.wat b/internal/integration_test/spectest/v2/testdata/float_literals.43.wat index a7eace7862..1bd9319996 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.43.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.43.wat @@ -1 +1 @@ -(global f64 (f64.const 99_)) \ No newline at end of file +(global f64 (f64.const -_100)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.44.wat b/internal/integration_test/spectest/v2/testdata/float_literals.44.wat index 6779af43f4..a7eace7862 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.44.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.44.wat @@ -1 +1 @@ -(global f64 (f64.const 1__000)) \ No newline at end of file +(global f64 (f64.const 99_)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.45.wat b/internal/integration_test/spectest/v2/testdata/float_literals.45.wat index fc9639b82a..6779af43f4 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.45.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.45.wat @@ -1 +1 @@ -(global f64 (f64.const _1.0)) \ No newline at end of file +(global f64 (f64.const 1__000)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.46.wat b/internal/integration_test/spectest/v2/testdata/float_literals.46.wat index d1812e29d0..fc9639b82a 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.46.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.46.wat @@ -1 +1 @@ -(global f64 (f64.const 1.0_)) \ No newline at end of file +(global f64 (f64.const _1.0)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.47.wat b/internal/integration_test/spectest/v2/testdata/float_literals.47.wat index 009eff337c..d1812e29d0 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.47.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.47.wat @@ -1 +1 @@ -(global f64 (f64.const 1_.0)) \ No newline at end of file +(global f64 (f64.const 1.0_)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.48.wat b/internal/integration_test/spectest/v2/testdata/float_literals.48.wat index 02b36ab47f..009eff337c 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.48.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.48.wat @@ -1 +1 @@ -(global f64 (f64.const 1._0)) \ No newline at end of file +(global f64 (f64.const 1_.0)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.49.wat b/internal/integration_test/spectest/v2/testdata/float_literals.49.wat index 033379988c..02b36ab47f 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.49.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.49.wat @@ -1 +1 @@ -(global f64 (f64.const _1e1)) \ No newline at end of file +(global f64 (f64.const 1._0)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.50.wat b/internal/integration_test/spectest/v2/testdata/float_literals.50.wat index 1abe21ecab..033379988c 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.50.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.50.wat @@ -1 +1 @@ -(global f64 (f64.const 1e1_)) \ No newline at end of file +(global f64 (f64.const _1e1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.51.wat b/internal/integration_test/spectest/v2/testdata/float_literals.51.wat index 943f72f3ab..1abe21ecab 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.51.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.51.wat @@ -1 +1 @@ -(global f64 (f64.const 1_e1)) \ No newline at end of file +(global f64 (f64.const 1e1_)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.52.wat b/internal/integration_test/spectest/v2/testdata/float_literals.52.wat index 4065b3cfc9..943f72f3ab 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.52.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.52.wat @@ -1 +1 @@ -(global f64 (f64.const 1e_1)) \ No newline at end of file +(global f64 (f64.const 1_e1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.53.wat b/internal/integration_test/spectest/v2/testdata/float_literals.53.wat index cb4aed15ea..4065b3cfc9 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.53.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.53.wat @@ -1 +1 @@ -(global f64 (f64.const _1.0e1)) \ No newline at end of file +(global f64 (f64.const 1e_1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.54.wat b/internal/integration_test/spectest/v2/testdata/float_literals.54.wat index 3984984426..cb4aed15ea 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.54.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.54.wat @@ -1 +1 @@ -(global f64 (f64.const 1.0e1_)) \ No newline at end of file +(global f64 (f64.const _1.0e1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.55.wat b/internal/integration_test/spectest/v2/testdata/float_literals.55.wat index d7026b1721..3984984426 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.55.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.55.wat @@ -1 +1 @@ -(global f64 (f64.const 1.0_e1)) \ No newline at end of file +(global f64 (f64.const 1.0e1_)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.56.wat b/internal/integration_test/spectest/v2/testdata/float_literals.56.wat index 09ef16ce36..d7026b1721 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.56.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.56.wat @@ -1 +1 @@ -(global f64 (f64.const 1.0e_1)) \ No newline at end of file +(global f64 (f64.const 1.0_e1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.57.wat b/internal/integration_test/spectest/v2/testdata/float_literals.57.wat index 3b6c16346f..09ef16ce36 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.57.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.57.wat @@ -1 +1 @@ -(global f64 (f64.const 1.0e+_1)) \ No newline at end of file +(global f64 (f64.const 1.0e_1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.58.wat b/internal/integration_test/spectest/v2/testdata/float_literals.58.wat index 9962ae54b8..3b6c16346f 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.58.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.58.wat @@ -1 +1 @@ -(global f64 (f64.const 1.0e_+1)) \ No newline at end of file +(global f64 (f64.const 1.0e+_1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.59.wat b/internal/integration_test/spectest/v2/testdata/float_literals.59.wat index f2d17fba5c..9962ae54b8 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.59.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.59.wat @@ -1 +1 @@ -(global f64 (f64.const _0x100)) \ No newline at end of file +(global f64 (f64.const 1.0e_+1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.60.wat b/internal/integration_test/spectest/v2/testdata/float_literals.60.wat index 2d58756087..f2d17fba5c 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.60.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.60.wat @@ -1 +1 @@ -(global f64 (f64.const 0_x100)) \ No newline at end of file +(global f64 (f64.const _0x100)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.61.wat b/internal/integration_test/spectest/v2/testdata/float_literals.61.wat index f415fae85e..2d58756087 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.61.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.61.wat @@ -1 +1 @@ -(global f64 (f64.const 0x_100)) \ No newline at end of file +(global f64 (f64.const 0_x100)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.62.wat b/internal/integration_test/spectest/v2/testdata/float_literals.62.wat index 616bcf4b91..f415fae85e 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.62.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.62.wat @@ -1 +1 @@ -(global f64 (f64.const 0x00_)) \ No newline at end of file +(global f64 (f64.const 0x_100)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.63.wat b/internal/integration_test/spectest/v2/testdata/float_literals.63.wat index 16b3dfcb0f..616bcf4b91 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.63.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.63.wat @@ -1 +1 @@ -(global f64 (f64.const 0xff__ffff)) \ No newline at end of file +(global f64 (f64.const 0x00_)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.64.wat b/internal/integration_test/spectest/v2/testdata/float_literals.64.wat index 30ab06c8b5..16b3dfcb0f 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.64.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.64.wat @@ -1 +1 @@ -(global f64 (f64.const 0x_1.0)) \ No newline at end of file +(global f64 (f64.const 0xff__ffff)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.65.wat b/internal/integration_test/spectest/v2/testdata/float_literals.65.wat index a84553475f..30ab06c8b5 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.65.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.65.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1.0_)) \ No newline at end of file +(global f64 (f64.const 0x_1.0)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.66.wat b/internal/integration_test/spectest/v2/testdata/float_literals.66.wat index 2b0898b253..a84553475f 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.66.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.66.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1_.0)) \ No newline at end of file +(global f64 (f64.const 0x1.0_)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.67.wat b/internal/integration_test/spectest/v2/testdata/float_literals.67.wat index d9d9e9a6d4..2b0898b253 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.67.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.67.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1._0)) \ No newline at end of file +(global f64 (f64.const 0x1_.0)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.68.wat b/internal/integration_test/spectest/v2/testdata/float_literals.68.wat index 9e418732cd..d9d9e9a6d4 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.68.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.68.wat @@ -1 +1 @@ -(global f64 (f64.const 0x_1p1)) \ No newline at end of file +(global f64 (f64.const 0x1._0)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.69.wat b/internal/integration_test/spectest/v2/testdata/float_literals.69.wat index 8436c08130..9e418732cd 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.69.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.69.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1p1_)) \ No newline at end of file +(global f64 (f64.const 0x_1p1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.70.wat b/internal/integration_test/spectest/v2/testdata/float_literals.70.wat index b6acb2faa4..8436c08130 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.70.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.70.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1_p1)) \ No newline at end of file +(global f64 (f64.const 0x1p1_)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.71.wat b/internal/integration_test/spectest/v2/testdata/float_literals.71.wat index 30724aa28c..b6acb2faa4 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.71.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.71.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1p_1)) \ No newline at end of file +(global f64 (f64.const 0x1_p1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.72.wat b/internal/integration_test/spectest/v2/testdata/float_literals.72.wat index 1210f96888..30724aa28c 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.72.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.72.wat @@ -1 +1 @@ -(global f64 (f64.const 0x_1.0p1)) \ No newline at end of file +(global f64 (f64.const 0x1p_1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.73.wat b/internal/integration_test/spectest/v2/testdata/float_literals.73.wat index d342d2bc59..1210f96888 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.73.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.73.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1.0p1_)) \ No newline at end of file +(global f64 (f64.const 0x_1.0p1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.74.wat b/internal/integration_test/spectest/v2/testdata/float_literals.74.wat index 3cc71931f7..d342d2bc59 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.74.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.74.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1.0_p1)) \ No newline at end of file +(global f64 (f64.const 0x1.0p1_)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.75.wat b/internal/integration_test/spectest/v2/testdata/float_literals.75.wat index 60b79f27b0..3cc71931f7 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.75.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.75.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1.0p_1)) \ No newline at end of file +(global f64 (f64.const 0x1.0_p1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.76.wat b/internal/integration_test/spectest/v2/testdata/float_literals.76.wat index 01001491dc..60b79f27b0 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.76.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.76.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1.0p+_1)) \ No newline at end of file +(global f64 (f64.const 0x1.0p_1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.77.wat b/internal/integration_test/spectest/v2/testdata/float_literals.77.wat index 448eb59c66..01001491dc 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.77.wat +++ b/internal/integration_test/spectest/v2/testdata/float_literals.77.wat @@ -1 +1 @@ -(global f64 (f64.const 0x1.0p_+1)) \ No newline at end of file +(global f64 (f64.const 0x1.0p+_1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.78.wat b/internal/integration_test/spectest/v2/testdata/float_literals.78.wat new file mode 100644 index 0000000000..448eb59c66 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/float_literals.78.wat @@ -0,0 +1 @@ +(global f64 (f64.const 0x1.0p_+1)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.79.wat b/internal/integration_test/spectest/v2/testdata/float_literals.79.wat new file mode 100644 index 0000000000..5837499562 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/float_literals.79.wat @@ -0,0 +1 @@ +(global f64 (f64.const nan:0x10_0000_0000_0000)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.json b/internal/integration_test/spectest/v2/testdata/float_literals.json index 6d796d8145..bc47a455bd 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.json +++ b/internal/integration_test/spectest/v2/testdata/float_literals.json @@ -1,163 +1,181 @@ {"source_filename": "./float_literals.wast", "commands": [ {"type": "module", "line": 3, "filename": "float_literals.0.wasm"}, - {"type": "assert_return", "line": 105, "action": {"type": "invoke", "field": "f32.nan", "args": []}, "expected": [{"type": "i32", "value": "2143289344"}]}, - {"type": "assert_return", "line": 106, "action": {"type": "invoke", "field": "f32.positive_nan", "args": []}, "expected": [{"type": "i32", "value": "2143289344"}]}, - {"type": "assert_return", "line": 107, "action": {"type": "invoke", "field": "f32.negative_nan", "args": []}, "expected": [{"type": "i32", "value": "4290772992"}]}, - {"type": "assert_return", "line": 108, "action": {"type": "invoke", "field": "f32.plain_nan", "args": []}, "expected": [{"type": "i32", "value": "2143289344"}]}, - {"type": "assert_return", "line": 109, "action": {"type": "invoke", "field": "f32.informally_known_as_plain_snan", "args": []}, "expected": [{"type": "i32", "value": "2141192192"}]}, - {"type": "assert_return", "line": 110, "action": {"type": "invoke", "field": "f32.all_ones_nan", "args": []}, "expected": [{"type": "i32", "value": "4294967295"}]}, - {"type": "assert_return", "line": 111, "action": {"type": "invoke", "field": "f32.misc_nan", "args": []}, "expected": [{"type": "i32", "value": "2139169605"}]}, - {"type": "assert_return", "line": 112, "action": {"type": "invoke", "field": "f32.misc_positive_nan", "args": []}, "expected": [{"type": "i32", "value": "2142257232"}]}, - {"type": "assert_return", "line": 113, "action": {"type": "invoke", "field": "f32.misc_negative_nan", "args": []}, "expected": [{"type": "i32", "value": "4289379550"}]}, - {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "f32.infinity", "args": []}, "expected": [{"type": "i32", "value": "2139095040"}]}, - {"type": "assert_return", "line": 115, "action": {"type": "invoke", "field": "f32.positive_infinity", "args": []}, "expected": [{"type": "i32", "value": "2139095040"}]}, - {"type": "assert_return", "line": 116, "action": {"type": "invoke", "field": "f32.negative_infinity", "args": []}, "expected": [{"type": "i32", "value": "4286578688"}]}, - {"type": "assert_return", "line": 117, "action": {"type": "invoke", "field": "f32.zero", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 118, "action": {"type": "invoke", "field": "f32.positive_zero", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 119, "action": {"type": "invoke", "field": "f32.negative_zero", "args": []}, "expected": [{"type": "i32", "value": "2147483648"}]}, - {"type": "assert_return", "line": 120, "action": {"type": "invoke", "field": "f32.misc", "args": []}, "expected": [{"type": "i32", "value": "1086918619"}]}, - {"type": "assert_return", "line": 121, "action": {"type": "invoke", "field": "f32.min_positive", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 122, "action": {"type": "invoke", "field": "f32.min_normal", "args": []}, "expected": [{"type": "i32", "value": "8388608"}]}, - {"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "f32.max_subnormal", "args": []}, "expected": [{"type": "i32", "value": "8388607"}]}, - {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "f32.max_finite", "args": []}, "expected": [{"type": "i32", "value": "2139095039"}]}, - {"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "f32.trailing_dot", "args": []}, "expected": [{"type": "i32", "value": "1149239296"}]}, - {"type": "assert_return", "line": 126, "action": {"type": "invoke", "field": "f32_dec.zero", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "f32_dec.positive_zero", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 128, "action": {"type": "invoke", "field": "f32_dec.negative_zero", "args": []}, "expected": [{"type": "i32", "value": "2147483648"}]}, - {"type": "assert_return", "line": 129, "action": {"type": "invoke", "field": "f32_dec.misc", "args": []}, "expected": [{"type": "i32", "value": "1086918619"}]}, - {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "f32_dec.min_positive", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "f32_dec.min_normal", "args": []}, "expected": [{"type": "i32", "value": "8388608"}]}, - {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "f32_dec.max_subnormal", "args": []}, "expected": [{"type": "i32", "value": "8388607"}]}, - {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "f32_dec.max_finite", "args": []}, "expected": [{"type": "i32", "value": "2139095039"}]}, - {"type": "assert_return", "line": 134, "action": {"type": "invoke", "field": "f32_dec.trailing_dot", "args": []}, "expected": [{"type": "i32", "value": "1343554297"}]}, - {"type": "assert_return", "line": 135, "action": {"type": "invoke", "field": "f32_dec.root_beer_float", "args": []}, "expected": [{"type": "i32", "value": "1065353217"}]}, - {"type": "assert_return", "line": 137, "action": {"type": "invoke", "field": "f64.nan", "args": []}, "expected": [{"type": "i64", "value": "9221120237041090560"}]}, - {"type": "assert_return", "line": 138, "action": {"type": "invoke", "field": "f64.positive_nan", "args": []}, "expected": [{"type": "i64", "value": "9221120237041090560"}]}, - {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "f64.negative_nan", "args": []}, "expected": [{"type": "i64", "value": "18444492273895866368"}]}, - {"type": "assert_return", "line": 140, "action": {"type": "invoke", "field": "f64.plain_nan", "args": []}, "expected": [{"type": "i64", "value": "9221120237041090560"}]}, - {"type": "assert_return", "line": 141, "action": {"type": "invoke", "field": "f64.informally_known_as_plain_snan", "args": []}, "expected": [{"type": "i64", "value": "9219994337134247936"}]}, - {"type": "assert_return", "line": 142, "action": {"type": "invoke", "field": "f64.all_ones_nan", "args": []}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, - {"type": "assert_return", "line": 143, "action": {"type": "invoke", "field": "f64.misc_nan", "args": []}, "expected": [{"type": "i64", "value": "9218888453225749180"}]}, - {"type": "assert_return", "line": 144, "action": {"type": "invoke", "field": "f64.misc_positive_nan", "args": []}, "expected": [{"type": "i64", "value": "9219717281780008969"}]}, - {"type": "assert_return", "line": 145, "action": {"type": "invoke", "field": "f64.misc_negative_nan", "args": []}, "expected": [{"type": "i64", "value": "18442992325002076997"}]}, - {"type": "assert_return", "line": 146, "action": {"type": "invoke", "field": "f64.infinity", "args": []}, "expected": [{"type": "i64", "value": "9218868437227405312"}]}, - {"type": "assert_return", "line": 147, "action": {"type": "invoke", "field": "f64.positive_infinity", "args": []}, "expected": [{"type": "i64", "value": "9218868437227405312"}]}, - {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "f64.negative_infinity", "args": []}, "expected": [{"type": "i64", "value": "18442240474082181120"}]}, - {"type": "assert_return", "line": 149, "action": {"type": "invoke", "field": "f64.zero", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, - {"type": "assert_return", "line": 150, "action": {"type": "invoke", "field": "f64.positive_zero", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, - {"type": "assert_return", "line": 151, "action": {"type": "invoke", "field": "f64.negative_zero", "args": []}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, - {"type": "assert_return", "line": 152, "action": {"type": "invoke", "field": "f64.misc", "args": []}, "expected": [{"type": "i64", "value": "4618760256179416344"}]}, - {"type": "assert_return", "line": 153, "action": {"type": "invoke", "field": "f64.min_positive", "args": []}, "expected": [{"type": "i64", "value": "1"}]}, - {"type": "assert_return", "line": 154, "action": {"type": "invoke", "field": "f64.min_normal", "args": []}, "expected": [{"type": "i64", "value": "4503599627370496"}]}, - {"type": "assert_return", "line": 155, "action": {"type": "invoke", "field": "f64.max_subnormal", "args": []}, "expected": [{"type": "i64", "value": "4503599627370495"}]}, - {"type": "assert_return", "line": 156, "action": {"type": "invoke", "field": "f64.max_finite", "args": []}, "expected": [{"type": "i64", "value": "9218868437227405311"}]}, - {"type": "assert_return", "line": 157, "action": {"type": "invoke", "field": "f64.trailing_dot", "args": []}, "expected": [{"type": "i64", "value": "5057542381537067008"}]}, - {"type": "assert_return", "line": 158, "action": {"type": "invoke", "field": "f64_dec.zero", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, - {"type": "assert_return", "line": 159, "action": {"type": "invoke", "field": "f64_dec.positive_zero", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, - {"type": "assert_return", "line": 160, "action": {"type": "invoke", "field": "f64_dec.negative_zero", "args": []}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, - {"type": "assert_return", "line": 161, "action": {"type": "invoke", "field": "f64_dec.misc", "args": []}, "expected": [{"type": "i64", "value": "4618760256179416344"}]}, - {"type": "assert_return", "line": 162, "action": {"type": "invoke", "field": "f64_dec.min_positive", "args": []}, "expected": [{"type": "i64", "value": "1"}]}, - {"type": "assert_return", "line": 163, "action": {"type": "invoke", "field": "f64_dec.min_normal", "args": []}, "expected": [{"type": "i64", "value": "4503599627370496"}]}, - {"type": "assert_return", "line": 164, "action": {"type": "invoke", "field": "f64_dec.max_subnormal", "args": []}, "expected": [{"type": "i64", "value": "4503599627370495"}]}, - {"type": "assert_return", "line": 165, "action": {"type": "invoke", "field": "f64_dec.max_finite", "args": []}, "expected": [{"type": "i64", "value": "9218868437227405311"}]}, - {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "f64_dec.trailing_dot", "args": []}, "expected": [{"type": "i64", "value": "6103021453049119613"}]}, - {"type": "assert_return", "line": 167, "action": {"type": "invoke", "field": "f64_dec.root_beer_float", "args": []}, "expected": [{"type": "i64", "value": "4607182419335945764"}]}, - {"type": "assert_return", "line": 169, "action": {"type": "invoke", "field": "f32-dec-sep1", "args": []}, "expected": [{"type": "f32", "value": "1232348160"}]}, - {"type": "assert_return", "line": 170, "action": {"type": "invoke", "field": "f32-dec-sep2", "args": []}, "expected": [{"type": "f32", "value": "1148846080"}]}, - {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "f32-dec-sep3", "args": []}, "expected": [{"type": "f32", "value": "1148897552"}]}, - {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "f32-dec-sep4", "args": []}, "expected": [{"type": "f32", "value": "1482758550"}]}, - {"type": "assert_return", "line": 173, "action": {"type": "invoke", "field": "f32-dec-sep5", "args": []}, "expected": [{"type": "f32", "value": "1847438964"}]}, - {"type": "assert_return", "line": 174, "action": {"type": "invoke", "field": "f32-hex-sep1", "args": []}, "expected": [{"type": "f32", "value": "1294004234"}]}, - {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "f32-hex-sep2", "args": []}, "expected": [{"type": "f32", "value": "1205143424"}]}, - {"type": "assert_return", "line": 176, "action": {"type": "invoke", "field": "f32-hex-sep3", "args": []}, "expected": [{"type": "f32", "value": "1193345009"}]}, - {"type": "assert_return", "line": 177, "action": {"type": "invoke", "field": "f32-hex-sep4", "args": []}, "expected": [{"type": "f32", "value": "1240465408"}]}, - {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "f32-hex-sep5", "args": []}, "expected": [{"type": "f32", "value": "1437319208"}]}, - {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "f64-dec-sep1", "args": []}, "expected": [{"type": "f64", "value": "4696837146684686336"}]}, - {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "f64-dec-sep2", "args": []}, "expected": [{"type": "f64", "value": "4652007308841189376"}]}, - {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "f64-dec-sep3", "args": []}, "expected": [{"type": "f64", "value": "4652034942576659200"}]}, - {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "f64-dec-sep4", "args": []}, "expected": [{"type": "f64", "value": "2796837019126844485"}]}, - {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "f64-dec-sep5", "args": []}, "expected": [{"type": "f64", "value": "5027061507362119324"}]}, - {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "f64-hex-sep1", "args": []}, "expected": [{"type": "f64", "value": "4838519794133185330"}]}, - {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "f64-hex-sep2", "args": []}, "expected": [{"type": "f64", "value": "4682231715257647104"}]}, - {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "f64-hex-sep3", "args": []}, "expected": [{"type": "f64", "value": "4675897489574114112"}]}, - {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "f64-hex-sep4", "args": []}, "expected": [{"type": "f64", "value": "4701195061021376512"}]}, - {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "f64-hex-sep5", "args": []}, "expected": [{"type": "f64", "value": "4806880140420149248"}]}, - {"type": "module", "line": 192, "filename": "float_literals.1.wasm"}, - {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "4294967249", "args": []}, "expected": [{"type": "f64", "value": "4751297606777307136"}]}, - {"type": "assert_malformed", "line": 204, "filename": "float_literals.2.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 208, "filename": "float_literals.3.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 212, "filename": "float_literals.4.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 216, "filename": "float_literals.5.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 220, "filename": "float_literals.6.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 224, "filename": "float_literals.7.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 228, "filename": "float_literals.8.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 232, "filename": "float_literals.9.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 236, "filename": "float_literals.10.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 240, "filename": "float_literals.11.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 244, "filename": "float_literals.12.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 248, "filename": "float_literals.13.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 252, "filename": "float_literals.14.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 256, "filename": "float_literals.15.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 260, "filename": "float_literals.16.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 264, "filename": "float_literals.17.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 268, "filename": "float_literals.18.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 272, "filename": "float_literals.19.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 276, "filename": "float_literals.20.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 280, "filename": "float_literals.21.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 284, "filename": "float_literals.22.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 288, "filename": "float_literals.23.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 292, "filename": "float_literals.24.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 296, "filename": "float_literals.25.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 300, "filename": "float_literals.26.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 304, "filename": "float_literals.27.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 308, "filename": "float_literals.28.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 312, "filename": "float_literals.29.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 316, "filename": "float_literals.30.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 320, "filename": "float_literals.31.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 324, "filename": "float_literals.32.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 328, "filename": "float_literals.33.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 332, "filename": "float_literals.34.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 336, "filename": "float_literals.35.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 340, "filename": "float_literals.36.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 344, "filename": "float_literals.37.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 348, "filename": "float_literals.38.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 352, "filename": "float_literals.39.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 357, "filename": "float_literals.40.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 361, "filename": "float_literals.41.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 365, "filename": "float_literals.42.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 369, "filename": "float_literals.43.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 373, "filename": "float_literals.44.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 377, "filename": "float_literals.45.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 381, "filename": "float_literals.46.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 385, "filename": "float_literals.47.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 389, "filename": "float_literals.48.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 393, "filename": "float_literals.49.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 397, "filename": "float_literals.50.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 401, "filename": "float_literals.51.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 405, "filename": "float_literals.52.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 409, "filename": "float_literals.53.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 413, "filename": "float_literals.54.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 417, "filename": "float_literals.55.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 421, "filename": "float_literals.56.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 425, "filename": "float_literals.57.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 429, "filename": "float_literals.58.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 433, "filename": "float_literals.59.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 437, "filename": "float_literals.60.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 441, "filename": "float_literals.61.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 445, "filename": "float_literals.62.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 449, "filename": "float_literals.63.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 453, "filename": "float_literals.64.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 457, "filename": "float_literals.65.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 461, "filename": "float_literals.66.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 465, "filename": "float_literals.67.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 469, "filename": "float_literals.68.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 473, "filename": "float_literals.69.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 477, "filename": "float_literals.70.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 481, "filename": "float_literals.71.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 485, "filename": "float_literals.72.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 489, "filename": "float_literals.73.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 493, "filename": "float_literals.74.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 497, "filename": "float_literals.75.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 501, "filename": "float_literals.76.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 505, "filename": "float_literals.77.wat", "text": "unknown operator", "module_type": "text"}]} + {"type": "assert_return", "line": 121, "action": {"type": "invoke", "field": "f32.nan", "args": []}, "expected": [{"type": "i32", "value": "2143289344"}]}, + {"type": "assert_return", "line": 122, "action": {"type": "invoke", "field": "f32.positive_nan", "args": []}, "expected": [{"type": "i32", "value": "2143289344"}]}, + {"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "f32.negative_nan", "args": []}, "expected": [{"type": "i32", "value": "4290772992"}]}, + {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "f32.plain_nan", "args": []}, "expected": [{"type": "i32", "value": "2143289344"}]}, + {"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "f32.informally_known_as_plain_snan", "args": []}, "expected": [{"type": "i32", "value": "2141192192"}]}, + {"type": "assert_return", "line": 126, "action": {"type": "invoke", "field": "f32.all_ones_nan", "args": []}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "f32.misc_nan", "args": []}, "expected": [{"type": "i32", "value": "2139169605"}]}, + {"type": "assert_return", "line": 128, "action": {"type": "invoke", "field": "f32.misc_positive_nan", "args": []}, "expected": [{"type": "i32", "value": "2142257232"}]}, + {"type": "assert_return", "line": 129, "action": {"type": "invoke", "field": "f32.misc_negative_nan", "args": []}, "expected": [{"type": "i32", "value": "4289379550"}]}, + {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "f32.infinity", "args": []}, "expected": [{"type": "i32", "value": "2139095040"}]}, + {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "f32.positive_infinity", "args": []}, "expected": [{"type": "i32", "value": "2139095040"}]}, + {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "f32.negative_infinity", "args": []}, "expected": [{"type": "i32", "value": "4286578688"}]}, + {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "f32.zero", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 134, "action": {"type": "invoke", "field": "f32.positive_zero", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 135, "action": {"type": "invoke", "field": "f32.negative_zero", "args": []}, "expected": [{"type": "i32", "value": "2147483648"}]}, + {"type": "assert_return", "line": 136, "action": {"type": "invoke", "field": "f32.misc", "args": []}, "expected": [{"type": "i32", "value": "1086918619"}]}, + {"type": "assert_return", "line": 137, "action": {"type": "invoke", "field": "f32.min_positive", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 138, "action": {"type": "invoke", "field": "f32.min_normal", "args": []}, "expected": [{"type": "i32", "value": "8388608"}]}, + {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "f32.max_subnormal", "args": []}, "expected": [{"type": "i32", "value": "8388607"}]}, + {"type": "assert_return", "line": 140, "action": {"type": "invoke", "field": "f32.max_finite", "args": []}, "expected": [{"type": "i32", "value": "2139095039"}]}, + {"type": "assert_return", "line": 141, "action": {"type": "invoke", "field": "f32.trailing_dot", "args": []}, "expected": [{"type": "i32", "value": "1149239296"}]}, + {"type": "assert_return", "line": 142, "action": {"type": "invoke", "field": "f32.misc_int", "args": []}, "expected": [{"type": "i32", "value": "1200726656"}]}, + {"type": "assert_return", "line": 143, "action": {"type": "invoke", "field": "f32.large_int", "args": []}, "expected": [{"type": "i32", "value": "1736441856"}]}, + {"type": "assert_return", "line": 144, "action": {"type": "invoke", "field": "f32.min_int32", "args": []}, "expected": [{"type": "i32", "value": "3472883712"}]}, + {"type": "assert_return", "line": 145, "action": {"type": "invoke", "field": "f32.min_int64", "args": []}, "expected": [{"type": "i32", "value": "3741319168"}]}, + {"type": "assert_return", "line": 146, "action": {"type": "invoke", "field": "f32_dec.zero", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 147, "action": {"type": "invoke", "field": "f32_dec.positive_zero", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "f32_dec.negative_zero", "args": []}, "expected": [{"type": "i32", "value": "2147483648"}]}, + {"type": "assert_return", "line": 149, "action": {"type": "invoke", "field": "f32_dec.misc", "args": []}, "expected": [{"type": "i32", "value": "1086918619"}]}, + {"type": "assert_return", "line": 150, "action": {"type": "invoke", "field": "f32_dec.min_positive", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 151, "action": {"type": "invoke", "field": "f32_dec.min_normal", "args": []}, "expected": [{"type": "i32", "value": "8388608"}]}, + {"type": "assert_return", "line": 152, "action": {"type": "invoke", "field": "f32_dec.max_subnormal", "args": []}, "expected": [{"type": "i32", "value": "8388607"}]}, + {"type": "assert_return", "line": 153, "action": {"type": "invoke", "field": "f32_dec.max_finite", "args": []}, "expected": [{"type": "i32", "value": "2139095039"}]}, + {"type": "assert_return", "line": 154, "action": {"type": "invoke", "field": "f32_dec.trailing_dot", "args": []}, "expected": [{"type": "i32", "value": "1343554297"}]}, + {"type": "assert_return", "line": 155, "action": {"type": "invoke", "field": "f32_dec.root_beer_float", "args": []}, "expected": [{"type": "i32", "value": "1065353217"}]}, + {"type": "assert_return", "line": 156, "action": {"type": "invoke", "field": "f32_dec.misc_int", "args": []}, "expected": [{"type": "i32", "value": "1178657792"}]}, + {"type": "assert_return", "line": 157, "action": {"type": "invoke", "field": "f32_dec.large_int", "args": []}, "expected": [{"type": "i32", "value": "1621981420"}]}, + {"type": "assert_return", "line": 158, "action": {"type": "invoke", "field": "f32_dec.min_int32", "args": []}, "expected": [{"type": "i32", "value": "3472883712"}]}, + {"type": "assert_return", "line": 159, "action": {"type": "invoke", "field": "f32_dec.min_int64", "args": []}, "expected": [{"type": "i32", "value": "3741319168"}]}, + {"type": "assert_return", "line": 161, "action": {"type": "invoke", "field": "f64.nan", "args": []}, "expected": [{"type": "i64", "value": "9221120237041090560"}]}, + {"type": "assert_return", "line": 162, "action": {"type": "invoke", "field": "f64.positive_nan", "args": []}, "expected": [{"type": "i64", "value": "9221120237041090560"}]}, + {"type": "assert_return", "line": 163, "action": {"type": "invoke", "field": "f64.negative_nan", "args": []}, "expected": [{"type": "i64", "value": "18444492273895866368"}]}, + {"type": "assert_return", "line": 164, "action": {"type": "invoke", "field": "f64.plain_nan", "args": []}, "expected": [{"type": "i64", "value": "9221120237041090560"}]}, + {"type": "assert_return", "line": 165, "action": {"type": "invoke", "field": "f64.informally_known_as_plain_snan", "args": []}, "expected": [{"type": "i64", "value": "9219994337134247936"}]}, + {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "f64.all_ones_nan", "args": []}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, + {"type": "assert_return", "line": 167, "action": {"type": "invoke", "field": "f64.misc_nan", "args": []}, "expected": [{"type": "i64", "value": "9218888453225749180"}]}, + {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "f64.misc_positive_nan", "args": []}, "expected": [{"type": "i64", "value": "9219717281780008969"}]}, + {"type": "assert_return", "line": 169, "action": {"type": "invoke", "field": "f64.misc_negative_nan", "args": []}, "expected": [{"type": "i64", "value": "18442992325002076997"}]}, + {"type": "assert_return", "line": 170, "action": {"type": "invoke", "field": "f64.infinity", "args": []}, "expected": [{"type": "i64", "value": "9218868437227405312"}]}, + {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "f64.positive_infinity", "args": []}, "expected": [{"type": "i64", "value": "9218868437227405312"}]}, + {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "f64.negative_infinity", "args": []}, "expected": [{"type": "i64", "value": "18442240474082181120"}]}, + {"type": "assert_return", "line": 173, "action": {"type": "invoke", "field": "f64.zero", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, + {"type": "assert_return", "line": 174, "action": {"type": "invoke", "field": "f64.positive_zero", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, + {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "f64.negative_zero", "args": []}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, + {"type": "assert_return", "line": 176, "action": {"type": "invoke", "field": "f64.misc", "args": []}, "expected": [{"type": "i64", "value": "4618760256179416344"}]}, + {"type": "assert_return", "line": 177, "action": {"type": "invoke", "field": "f64.min_positive", "args": []}, "expected": [{"type": "i64", "value": "1"}]}, + {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "f64.min_normal", "args": []}, "expected": [{"type": "i64", "value": "4503599627370496"}]}, + {"type": "assert_return", "line": 179, "action": {"type": "invoke", "field": "f64.max_subnormal", "args": []}, "expected": [{"type": "i64", "value": "4503599627370495"}]}, + {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "f64.max_finite", "args": []}, "expected": [{"type": "i64", "value": "9218868437227405311"}]}, + {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "f64.trailing_dot", "args": []}, "expected": [{"type": "i64", "value": "5057542381537067008"}]}, + {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "f64.misc_int", "args": []}, "expected": [{"type": "i64", "value": "4679860480993394688"}]}, + {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "f64.large_int", "args": []}, "expected": [{"type": "i64", "value": "4967470388989657088"}]}, + {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "f64.min_int32", "args": []}, "expected": [{"type": "i64", "value": "13970166044103278592"}]}, + {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "f64.min_int64", "args": []}, "expected": [{"type": "i64", "value": "14114281232179134464"}]}, + {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "f64_dec.zero", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, + {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "f64_dec.positive_zero", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, + {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "f64_dec.negative_zero", "args": []}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, + {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "f64_dec.misc", "args": []}, "expected": [{"type": "i64", "value": "4618760256179416344"}]}, + {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "f64_dec.min_positive", "args": []}, "expected": [{"type": "i64", "value": "1"}]}, + {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "f64_dec.min_normal", "args": []}, "expected": [{"type": "i64", "value": "4503599627370496"}]}, + {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "f64_dec.max_subnormal", "args": []}, "expected": [{"type": "i64", "value": "4503599627370495"}]}, + {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "f64_dec.max_finite", "args": []}, "expected": [{"type": "i64", "value": "9218868437227405311"}]}, + {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "f64_dec.trailing_dot", "args": []}, "expected": [{"type": "i64", "value": "6103021453049119613"}]}, + {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "f64_dec.root_beer_float", "args": []}, "expected": [{"type": "i64", "value": "4607182419335945764"}]}, + {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "f64_dec.misc_int", "args": []}, "expected": [{"type": "i64", "value": "4668012349850910720"}]}, + {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "f64_dec.large_int", "args": []}, "expected": [{"type": "i64", "value": "4906019910204099648"}]}, + {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "f64_dec.min_int32", "args": []}, "expected": [{"type": "i64", "value": "13970166044103278592"}]}, + {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "f64_dec.min_int64", "args": []}, "expected": [{"type": "i64", "value": "14114281232179134464"}]}, + {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "f32-dec-sep1", "args": []}, "expected": [{"type": "f32", "value": "1232348160"}]}, + {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "f32-dec-sep2", "args": []}, "expected": [{"type": "f32", "value": "1148846080"}]}, + {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "f32-dec-sep3", "args": []}, "expected": [{"type": "f32", "value": "1148897552"}]}, + {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "f32-dec-sep4", "args": []}, "expected": [{"type": "f32", "value": "1482758550"}]}, + {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "f32-dec-sep5", "args": []}, "expected": [{"type": "f32", "value": "1847438964"}]}, + {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "f32-hex-sep1", "args": []}, "expected": [{"type": "f32", "value": "1294004234"}]}, + {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "f32-hex-sep2", "args": []}, "expected": [{"type": "f32", "value": "1205143424"}]}, + {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "f32-hex-sep3", "args": []}, "expected": [{"type": "f32", "value": "1193345009"}]}, + {"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "f32-hex-sep4", "args": []}, "expected": [{"type": "f32", "value": "1240465408"}]}, + {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "f32-hex-sep5", "args": []}, "expected": [{"type": "f32", "value": "1437319208"}]}, + {"type": "assert_return", "line": 212, "action": {"type": "invoke", "field": "f64-dec-sep1", "args": []}, "expected": [{"type": "f64", "value": "4696837146684686336"}]}, + {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "f64-dec-sep2", "args": []}, "expected": [{"type": "f64", "value": "4652007308841189376"}]}, + {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "f64-dec-sep3", "args": []}, "expected": [{"type": "f64", "value": "4652034942576659200"}]}, + {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "f64-dec-sep4", "args": []}, "expected": [{"type": "f64", "value": "2796837019126844485"}]}, + {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "f64-dec-sep5", "args": []}, "expected": [{"type": "f64", "value": "5027061507362119324"}]}, + {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "f64-hex-sep1", "args": []}, "expected": [{"type": "f64", "value": "4838519794133185330"}]}, + {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "f64-hex-sep2", "args": []}, "expected": [{"type": "f64", "value": "4682231715257647104"}]}, + {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "f64-hex-sep3", "args": []}, "expected": [{"type": "f64", "value": "4675897489574114112"}]}, + {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "f64-hex-sep4", "args": []}, "expected": [{"type": "f64", "value": "4701195061021376512"}]}, + {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "f64-hex-sep5", "args": []}, "expected": [{"type": "f64", "value": "4806880140420149248"}]}, + {"type": "module", "line": 224, "filename": "float_literals.1.wasm"}, + {"type": "assert_return", "line": 233, "action": {"type": "invoke", "field": "4294967249", "args": []}, "expected": [{"type": "f64", "value": "4751297606777307136"}]}, + {"type": "assert_malformed", "line": 236, "filename": "float_literals.2.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 240, "filename": "float_literals.3.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 244, "filename": "float_literals.4.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 248, "filename": "float_literals.5.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 252, "filename": "float_literals.6.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 256, "filename": "float_literals.7.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 260, "filename": "float_literals.8.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 264, "filename": "float_literals.9.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 268, "filename": "float_literals.10.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 272, "filename": "float_literals.11.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 276, "filename": "float_literals.12.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 280, "filename": "float_literals.13.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 284, "filename": "float_literals.14.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 288, "filename": "float_literals.15.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 292, "filename": "float_literals.16.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 296, "filename": "float_literals.17.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 300, "filename": "float_literals.18.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 304, "filename": "float_literals.19.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 308, "filename": "float_literals.20.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 312, "filename": "float_literals.21.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 316, "filename": "float_literals.22.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 320, "filename": "float_literals.23.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 324, "filename": "float_literals.24.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 328, "filename": "float_literals.25.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 332, "filename": "float_literals.26.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 336, "filename": "float_literals.27.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 340, "filename": "float_literals.28.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 344, "filename": "float_literals.29.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 348, "filename": "float_literals.30.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 352, "filename": "float_literals.31.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 356, "filename": "float_literals.32.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 360, "filename": "float_literals.33.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 364, "filename": "float_literals.34.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 368, "filename": "float_literals.35.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 372, "filename": "float_literals.36.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 376, "filename": "float_literals.37.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 380, "filename": "float_literals.38.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 384, "filename": "float_literals.39.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 388, "filename": "float_literals.40.wat", "text": "constant out of range", "module_type": "text"}, + {"type": "assert_malformed", "line": 393, "filename": "float_literals.41.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 397, "filename": "float_literals.42.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 401, "filename": "float_literals.43.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 405, "filename": "float_literals.44.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 409, "filename": "float_literals.45.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 413, "filename": "float_literals.46.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 417, "filename": "float_literals.47.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 421, "filename": "float_literals.48.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 425, "filename": "float_literals.49.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 429, "filename": "float_literals.50.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 433, "filename": "float_literals.51.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 437, "filename": "float_literals.52.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 441, "filename": "float_literals.53.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 445, "filename": "float_literals.54.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 449, "filename": "float_literals.55.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 453, "filename": "float_literals.56.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 457, "filename": "float_literals.57.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 461, "filename": "float_literals.58.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 465, "filename": "float_literals.59.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 469, "filename": "float_literals.60.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 473, "filename": "float_literals.61.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 477, "filename": "float_literals.62.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 481, "filename": "float_literals.63.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 485, "filename": "float_literals.64.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 489, "filename": "float_literals.65.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 493, "filename": "float_literals.66.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 497, "filename": "float_literals.67.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 501, "filename": "float_literals.68.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 505, "filename": "float_literals.69.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 509, "filename": "float_literals.70.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 513, "filename": "float_literals.71.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 517, "filename": "float_literals.72.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 521, "filename": "float_literals.73.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 525, "filename": "float_literals.74.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 529, "filename": "float_literals.75.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 533, "filename": "float_literals.76.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 537, "filename": "float_literals.77.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 541, "filename": "float_literals.78.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 545, "filename": "float_literals.79.wat", "text": "constant out of range", "module_type": "text"}]} diff --git a/internal/integration_test/spectest/v2/testdata/float_literals.wast b/internal/integration_test/spectest/v2/testdata/float_literals.wast index fefb91fbb7..9f6fa55ad3 100644 --- a/internal/integration_test/spectest/v2/testdata/float_literals.wast +++ b/internal/integration_test/spectest/v2/testdata/float_literals.wast @@ -25,6 +25,10 @@ (func (export "f32.max_finite") (result i32) (i32.reinterpret_f32 (f32.const 0x1.fffffep+127))) (func (export "f32.max_subnormal") (result i32) (i32.reinterpret_f32 (f32.const 0x1.fffffcp-127))) (func (export "f32.trailing_dot") (result i32) (i32.reinterpret_f32 (f32.const 0x1.p10))) + (func (export "f32.misc_int") (result i32) (i32.reinterpret_f32 (f32.const 0x12345))) + (func (export "f32.large_int") (result i32) (i32.reinterpret_f32 (f32.const 0x1_0000_0000_0000_0000_0000))) + (func (export "f32.min_int32") (result i32) (i32.reinterpret_f32 (f32.const -0x8000_0000))) + (func (export "f32.min_int64") (result i32) (i32.reinterpret_f32 (f32.const -0x8000_0000_0000_0000))) ;; f32 in decimal format (func (export "f32_dec.zero") (result i32) (i32.reinterpret_f32 (f32.const 0.0e0))) @@ -36,6 +40,10 @@ (func (export "f32_dec.max_subnormal") (result i32) (i32.reinterpret_f32 (f32.const 1.1754942e-38))) (func (export "f32_dec.max_finite") (result i32) (i32.reinterpret_f32 (f32.const 3.4028234e+38))) (func (export "f32_dec.trailing_dot") (result i32) (i32.reinterpret_f32 (f32.const 1.e10))) + (func (export "f32_dec.misc_int") (result i32) (i32.reinterpret_f32 (f32.const 12345))) + (func (export "f32_dec.large_int") (result i32) (i32.reinterpret_f32 (f32.const 100_000_000_000_000_000_000))) + (func (export "f32_dec.min_int32") (result i32) (i32.reinterpret_f32 (f32.const -2147483648))) + (func (export "f32_dec.min_int64") (result i32) (i32.reinterpret_f32 (f32.const -9223372036854775808))) ;; https://twitter.com/Archivd/status/994637336506912768 (func (export "f32_dec.root_beer_float") (result i32) (i32.reinterpret_f32 (f32.const 1.000000119))) @@ -64,6 +72,10 @@ (func (export "f64.max_subnormal") (result i64) (i64.reinterpret_f64 (f64.const 0x0.fffffffffffffp-1022))) (func (export "f64.max_finite") (result i64) (i64.reinterpret_f64 (f64.const 0x1.fffffffffffffp+1023))) (func (export "f64.trailing_dot") (result i64) (i64.reinterpret_f64 (f64.const 0x1.p100))) + (func (export "f64.misc_int") (result i64) (i64.reinterpret_f64 (f64.const 0x12345))) + (func (export "f64.large_int") (result i64) (i64.reinterpret_f64 (f64.const 0x1_0000_0000_0000_0000_0000))) + (func (export "f64.min_int32") (result i64) (i64.reinterpret_f64 (f64.const -0x8000_0000))) + (func (export "f64.min_int64") (result i64) (i64.reinterpret_f64 (f64.const -0x8000_0000_0000_0000))) ;; f64 numbers in decimal format (func (export "f64_dec.zero") (result i64) (i64.reinterpret_f64 (f64.const 0.0e0))) @@ -75,6 +87,10 @@ (func (export "f64_dec.max_subnormal") (result i64) (i64.reinterpret_f64 (f64.const 2.2250738585072011e-308))) (func (export "f64_dec.max_finite") (result i64) (i64.reinterpret_f64 (f64.const 1.7976931348623157e+308))) (func (export "f64_dec.trailing_dot") (result i64) (i64.reinterpret_f64 (f64.const 1.e100))) + (func (export "f64_dec.misc_int") (result i64) (i64.reinterpret_f64 (f64.const 12345))) + (func (export "f64_dec.large_int") (result i64) (i64.reinterpret_f64 (f64.const 100_000_000_000_000_000_000))) + (func (export "f64_dec.min_int32") (result i64) (i64.reinterpret_f64 (f64.const -2147483648))) + (func (export "f64_dec.min_int64") (result i64) (i64.reinterpret_f64 (f64.const -9223372036854775808))) ;; https://twitter.com/Archivd/status/994637336506912768 (func (export "f64_dec.root_beer_float") (result i64) (i64.reinterpret_f64 (f64.const 1.000000119))) @@ -123,6 +139,10 @@ (assert_return (invoke "f32.max_subnormal") (i32.const 0x7fffff)) (assert_return (invoke "f32.max_finite") (i32.const 0x7f7fffff)) (assert_return (invoke "f32.trailing_dot") (i32.const 0x44800000)) +(assert_return (invoke "f32.misc_int") (i32.const 0x4791a280)) +(assert_return (invoke "f32.large_int") (i32.const 0x67800000)) +(assert_return (invoke "f32.min_int32") (i32.const 0xcf000000)) +(assert_return (invoke "f32.min_int64") (i32.const 0xdf000000)) (assert_return (invoke "f32_dec.zero") (i32.const 0)) (assert_return (invoke "f32_dec.positive_zero") (i32.const 0)) (assert_return (invoke "f32_dec.negative_zero") (i32.const 0x80000000)) @@ -133,6 +153,10 @@ (assert_return (invoke "f32_dec.max_finite") (i32.const 0x7f7fffff)) (assert_return (invoke "f32_dec.trailing_dot") (i32.const 0x501502f9)) (assert_return (invoke "f32_dec.root_beer_float") (i32.const 0x3f800001)) +(assert_return (invoke "f32_dec.misc_int") (i32.const 0x4640e400)) +(assert_return (invoke "f32_dec.large_int") (i32.const 0x60ad78ec)) +(assert_return (invoke "f32_dec.min_int32") (i32.const 0xcf000000)) +(assert_return (invoke "f32_dec.min_int64") (i32.const 0xdf000000)) (assert_return (invoke "f64.nan") (i64.const 0x7ff8000000000000)) (assert_return (invoke "f64.positive_nan") (i64.const 0x7ff8000000000000)) @@ -155,6 +179,10 @@ (assert_return (invoke "f64.max_subnormal") (i64.const 0xfffffffffffff)) (assert_return (invoke "f64.max_finite") (i64.const 0x7fefffffffffffff)) (assert_return (invoke "f64.trailing_dot") (i64.const 0x4630000000000000)) +(assert_return (invoke "f64.misc_int") (i64.const 0x40f2345000000000)) +(assert_return (invoke "f64.large_int") (i64.const 0x44f0000000000000)) +(assert_return (invoke "f64.min_int32") (i64.const 0xc1e0000000000000)) +(assert_return (invoke "f64.min_int64") (i64.const 0xc3e0000000000000)) (assert_return (invoke "f64_dec.zero") (i64.const 0)) (assert_return (invoke "f64_dec.positive_zero") (i64.const 0)) (assert_return (invoke "f64_dec.negative_zero") (i64.const 0x8000000000000000)) @@ -165,6 +193,10 @@ (assert_return (invoke "f64_dec.max_finite") (i64.const 0x7fefffffffffffff)) (assert_return (invoke "f64_dec.trailing_dot") (i64.const 0x54b249ad2594c37d)) (assert_return (invoke "f64_dec.root_beer_float") (i64.const 0x3ff000001ff19e24)) +(assert_return (invoke "f64_dec.misc_int") (i64.const 0x40c81c8000000000)) +(assert_return (invoke "f64_dec.large_int") (i64.const 0x4415af1d78b58c40)) +(assert_return (invoke "f64_dec.min_int32") (i64.const 0xc1e0000000000000)) +(assert_return (invoke "f64_dec.min_int64") (i64.const 0xc3e0000000000000)) (assert_return (invoke "f32-dec-sep1") (f32.const 1000000)) (assert_return (invoke "f32-dec-sep2") (f32.const 1000)) @@ -352,6 +384,10 @@ (module quote "(global f32 (f32.const 0x1.0p_+1))") "unknown operator" ) +(assert_malformed + (module quote "(global f32 (f32.const nan:0x80_0000))") + "constant out of range" +) (assert_malformed (module quote "(global f64 (f64.const _100))") @@ -505,3 +541,7 @@ (module quote "(global f64 (f64.const 0x1.0p_+1))") "unknown operator" ) +(assert_malformed + (module quote "(global f64 (f64.const nan:0x10_0000_0000_0000))") + "constant out of range" +) diff --git a/internal/integration_test/spectest/v2/testdata/if.0.wasm b/internal/integration_test/spectest/v2/testdata/if.0.wasm index fe399d6065..5c0730bcf6 100644 Binary files a/internal/integration_test/spectest/v2/testdata/if.0.wasm and b/internal/integration_test/spectest/v2/testdata/if.0.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/if.116.wat b/internal/integration_test/spectest/v2/testdata/if.116.wat new file mode 100644 index 0000000000..4a5ec6ed67 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/if.116.wat @@ -0,0 +1 @@ +(func (if i32.const 0 (then) (else))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/if.json b/internal/integration_test/spectest/v2/testdata/if.json index 17dfee9b53..10fc835868 100644 --- a/internal/integration_test/spectest/v2/testdata/if.json +++ b/internal/integration_test/spectest/v2/testdata/if.json @@ -1,241 +1,243 @@ {"source_filename": "./if.wast", "commands": [ {"type": "module", "line": 3, "filename": "if.0.wasm"}, - {"type": "assert_return", "line": 529, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, - {"type": "assert_return", "line": 530, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, - {"type": "assert_return", "line": 531, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "100"}]}, "expected": []}, - {"type": "assert_return", "line": 532, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967294"}]}, "expected": []}, - {"type": "assert_return", "line": 534, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "8"}]}, - {"type": "assert_return", "line": 535, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "7"}]}, - {"type": "assert_return", "line": 536, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "7"}]}, - {"type": "assert_return", "line": 537, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "4294967286"}]}, "expected": [{"type": "i32", "value": "7"}]}, - {"type": "assert_return", "line": 539, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "9"}, {"type": "i32", "value": "4294967295"}]}, - {"type": "assert_return", "line": 540, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 541, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 542, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "4294967291"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 544, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "11"}]}, - {"type": "assert_return", "line": 545, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "10"}]}, - {"type": "assert_return", "line": 546, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "10"}]}, - {"type": "assert_return", "line": 547, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "9"}]}, - {"type": "assert_return", "line": 548, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "10"}]}, - {"type": "assert_return", "line": 549, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "9"}]}, - {"type": "assert_return", "line": 550, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "10"}]}, - {"type": "assert_return", "line": 551, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "4294967185"}, {"type": "i32", "value": "4294967294"}]}, "expected": [{"type": "i32", "value": "9"}]}, - {"type": "assert_return", "line": 553, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 554, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 555, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 557, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 558, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 560, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 561, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 562, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 563, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 564, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 565, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 567, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 568, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 570, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 571, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 575, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 576, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 577, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 578, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 580, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 581, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 582, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 583, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 584, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_trap", "line": 585, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "1"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, - {"type": "assert_return", "line": 587, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, - {"type": "assert_return", "line": 588, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, - {"type": "assert_return", "line": 589, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, - {"type": "assert_return", "line": 590, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, - {"type": "assert_return", "line": 592, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 593, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 595, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 596, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 598, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 599, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 601, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, - {"type": "assert_return", "line": 602, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, - {"type": "assert_return", "line": 604, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 605, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 607, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 608, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 610, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 611, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 613, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 614, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 616, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 617, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 619, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 620, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 621, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 623, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "15"}]}, - {"type": "assert_return", "line": 624, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967284"}]}, - {"type": "assert_return", "line": 625, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967281"}]}, - {"type": "assert_return", "line": 626, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]}, - {"type": "assert_return", "line": 628, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 629, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 631, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 632, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 633, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 634, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 636, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967284"}]}, - {"type": "assert_return", "line": 637, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]}, - {"type": "assert_return", "line": 639, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 640, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 642, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967293"}]}, - {"type": "assert_return", "line": 643, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "27"}]}, - {"type": "assert_return", "line": 645, "action": {"type": "invoke", "field": "break-bare", "args": []}, "expected": [{"type": "i32", "value": "19"}]}, - {"type": "assert_return", "line": 646, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "18"}]}, - {"type": "assert_return", "line": 647, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "21"}]}, - {"type": "assert_return", "line": 648, "action": {"type": "invoke", "field": "break-multi-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967278"}, {"type": "i32", "value": "18"}, {"type": "i64", "value": "18446744073709551598"}]}, - {"type": "assert_return", "line": 651, "action": {"type": "invoke", "field": "break-multi-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "18"}, {"type": "i32", "value": "4294967278"}, {"type": "i64", "value": "18"}]}, - {"type": "assert_return", "line": 655, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, - {"type": "assert_return", "line": 656, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 657, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, - {"type": "assert_return", "line": 658, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 659, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 660, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 661, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, - {"type": "assert_return", "line": 662, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 663, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, - {"type": "assert_return", "line": 664, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 665, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 666, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_return", "line": 668, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967282"}]}, - {"type": "assert_return", "line": 669, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967290"}]}, - {"type": "assert_return", "line": 672, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 676, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "100"}, {"type": "i64", "value": "124"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "224"}, {"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 680, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 684, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 688, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}, {"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 692, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 696, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}, {"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 700, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 705, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, - {"type": "assert_return", "line": 708, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "1230"}, {"type": "i64", "value": "23"}]}, "expected": [{"type": "i64", "value": "1253"}]}, - {"type": "assert_return", "line": 711, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, - {"type": "assert_return", "line": 714, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, - {"type": "assert_return", "line": 717, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, - {"type": "assert_return", "line": 720, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, - {"type": "assert_return", "line": 723, "action": {"type": "invoke", "field": "type-use", "args": []}, "expected": []}, - {"type": "assert_malformed", "line": 726, "filename": "if.1.wat", "text": "unexpected token", "module_type": "text"}, - {"type": "assert_malformed", "line": 735, "filename": "if.2.wat", "text": "unexpected token", "module_type": "text"}, - {"type": "assert_malformed", "line": 744, "filename": "if.3.wat", "text": "unexpected token", "module_type": "text"}, - {"type": "assert_malformed", "line": 753, "filename": "if.4.wat", "text": "unexpected token", "module_type": "text"}, - {"type": "assert_malformed", "line": 762, "filename": "if.5.wat", "text": "unexpected token", "module_type": "text"}, - {"type": "assert_malformed", "line": 771, "filename": "if.6.wat", "text": "unexpected token", "module_type": "text"}, - {"type": "assert_malformed", "line": 778, "filename": "if.7.wat", "text": "unexpected token", "module_type": "text"}, - {"type": "assert_malformed", "line": 786, "filename": "if.8.wat", "text": "inline function type", "module_type": "text"}, - {"type": "assert_malformed", "line": 796, "filename": "if.9.wat", "text": "inline function type", "module_type": "text"}, - {"type": "assert_malformed", "line": 806, "filename": "if.10.wat", "text": "inline function type", "module_type": "text"}, - {"type": "assert_malformed", "line": 816, "filename": "if.11.wat", "text": "inline function type", "module_type": "text"}, - {"type": "assert_invalid", "line": 826, "filename": "if.12.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 834, "filename": "if.13.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 838, "filename": "if.14.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 842, "filename": "if.15.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 846, "filename": "if.16.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 851, "filename": "if.17.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 855, "filename": "if.18.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 859, "filename": "if.19.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 863, "filename": "if.20.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 868, "filename": "if.21.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 874, "filename": "if.22.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 880, "filename": "if.23.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 886, "filename": "if.24.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 893, "filename": "if.25.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 899, "filename": "if.26.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 905, "filename": "if.27.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 911, "filename": "if.28.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 918, "filename": "if.29.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 924, "filename": "if.30.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 930, "filename": "if.31.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 937, "filename": "if.32.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 943, "filename": "if.33.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 949, "filename": "if.34.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 956, "filename": "if.35.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 962, "filename": "if.36.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 969, "filename": "if.37.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 975, "filename": "if.38.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 981, "filename": "if.39.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 988, "filename": "if.40.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 994, "filename": "if.41.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1000, "filename": "if.42.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1007, "filename": "if.43.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1013, "filename": "if.44.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1019, "filename": "if.45.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1026, "filename": "if.46.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1032, "filename": "if.47.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1038, "filename": "if.48.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1045, "filename": "if.49.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1052, "filename": "if.50.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1059, "filename": "if.51.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1067, "filename": "if.52.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1073, "filename": "if.53.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1079, "filename": "if.54.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1086, "filename": "if.55.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1092, "filename": "if.56.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1099, "filename": "if.57.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1109, "filename": "if.58.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1119, "filename": "if.59.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1130, "filename": "if.60.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1136, "filename": "if.61.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1142, "filename": "if.62.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1148, "filename": "if.63.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1155, "filename": "if.64.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1164, "filename": "if.65.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1173, "filename": "if.66.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1182, "filename": "if.67.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1192, "filename": "if.68.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1201, "filename": "if.69.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1210, "filename": "if.70.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1219, "filename": "if.71.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1229, "filename": "if.72.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1238, "filename": "if.73.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1247, "filename": "if.74.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1256, "filename": "if.75.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1265, "filename": "if.76.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1275, "filename": "if.77.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1286, "filename": "if.78.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1294, "filename": "if.79.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1303, "filename": "if.80.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1312, "filename": "if.81.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1321, "filename": "if.82.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1331, "filename": "if.83.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1340, "filename": "if.84.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1349, "filename": "if.85.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1358, "filename": "if.86.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1366, "filename": "if.87.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1374, "filename": "if.88.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1383, "filename": "if.89.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1399, "filename": "if.90.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1408, "filename": "if.91.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1417, "filename": "if.92.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1426, "filename": "if.93.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1435, "filename": "if.94.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1444, "filename": "if.95.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1454, "filename": "if.96.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1460, "filename": "if.97.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1466, "filename": "if.98.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1472, "filename": "if.99.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1478, "filename": "if.100.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1484, "filename": "if.101.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1490, "filename": "if.102.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_invalid", "line": 1496, "filename": "if.103.wasm", "text": "type mismatch", "module_type": "binary"}, - {"type": "assert_malformed", "line": 1503, "filename": "if.104.wat", "text": "unexpected token", "module_type": "text"}, - {"type": "assert_malformed", "line": 1507, "filename": "if.105.wat", "text": "unexpected token", "module_type": "text"}, - {"type": "assert_malformed", "line": 1512, "filename": "if.106.wat", "text": "mismatching label", "module_type": "text"}, - {"type": "assert_malformed", "line": 1516, "filename": "if.107.wat", "text": "mismatching label", "module_type": "text"}, - {"type": "assert_malformed", "line": 1520, "filename": "if.108.wat", "text": "mismatching label", "module_type": "text"}, - {"type": "assert_malformed", "line": 1524, "filename": "if.109.wat", "text": "mismatching label", "module_type": "text"}, - {"type": "assert_malformed", "line": 1528, "filename": "if.110.wat", "text": "mismatching label", "module_type": "text"}, - {"type": "assert_malformed", "line": 1532, "filename": "if.111.wat", "text": "mismatching label", "module_type": "text"}, - {"type": "assert_malformed", "line": 1536, "filename": "if.112.wat", "text": "mismatching label", "module_type": "text"}, - {"type": "assert_malformed", "line": 1540, "filename": "if.113.wat", "text": "mismatching label", "module_type": "text"}, - {"type": "assert_malformed", "line": 1544, "filename": "if.114.wat", "text": "mismatching label", "module_type": "text"}, - {"type": "assert_malformed", "line": 1548, "filename": "if.115.wat", "text": "mismatching label", "module_type": "text"}]} + {"type": "assert_return", "line": 537, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 538, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, + {"type": "assert_return", "line": 539, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "100"}]}, "expected": []}, + {"type": "assert_return", "line": 540, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967294"}]}, "expected": []}, + {"type": "assert_return", "line": 542, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "8"}]}, + {"type": "assert_return", "line": 543, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "7"}]}, + {"type": "assert_return", "line": 544, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "7"}]}, + {"type": "assert_return", "line": 545, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "4294967286"}]}, "expected": [{"type": "i32", "value": "7"}]}, + {"type": "assert_return", "line": 547, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "9"}, {"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 548, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 549, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 550, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "4294967291"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 552, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "11"}]}, + {"type": "assert_return", "line": 553, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "10"}]}, + {"type": "assert_return", "line": 554, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "10"}]}, + {"type": "assert_return", "line": 555, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "9"}]}, + {"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "10"}]}, + {"type": "assert_return", "line": 557, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "9"}]}, + {"type": "assert_return", "line": 558, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "10"}]}, + {"type": "assert_return", "line": 559, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "4294967185"}, {"type": "i32", "value": "4294967294"}]}, "expected": [{"type": "i32", "value": "9"}]}, + {"type": "assert_return", "line": 561, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 562, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 563, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 564, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 565, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 566, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 568, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 569, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 570, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 571, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 575, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 576, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 578, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 579, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 580, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 581, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 583, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 584, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 585, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 586, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 588, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 589, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 590, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 591, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 592, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_trap", "line": 593, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "1"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, + {"type": "assert_return", "line": 595, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 596, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, + {"type": "assert_return", "line": 597, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 598, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, + {"type": "assert_return", "line": 600, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 601, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 603, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 604, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 606, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 607, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 609, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": []}, + {"type": "assert_return", "line": 610, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": []}, + {"type": "assert_return", "line": 612, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 613, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 615, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 616, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 618, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 619, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 621, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 622, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 624, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 625, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 627, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 628, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 629, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 631, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "15"}]}, + {"type": "assert_return", "line": 632, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967284"}]}, + {"type": "assert_return", "line": 633, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967281"}]}, + {"type": "assert_return", "line": 634, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]}, + {"type": "assert_return", "line": 636, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 637, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 639, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 640, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 641, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 642, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 644, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967284"}]}, + {"type": "assert_return", "line": 645, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]}, + {"type": "assert_return", "line": 647, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 648, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 650, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967293"}]}, + {"type": "assert_return", "line": 651, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "27"}]}, + {"type": "assert_return", "line": 653, "action": {"type": "invoke", "field": "break-bare", "args": []}, "expected": [{"type": "i32", "value": "19"}]}, + {"type": "assert_return", "line": 654, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "18"}]}, + {"type": "assert_return", "line": 655, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "21"}]}, + {"type": "assert_return", "line": 656, "action": {"type": "invoke", "field": "break-multi-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967278"}, {"type": "i32", "value": "18"}, {"type": "i64", "value": "18446744073709551598"}]}, + {"type": "assert_return", "line": 659, "action": {"type": "invoke", "field": "break-multi-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "18"}, {"type": "i32", "value": "4294967278"}, {"type": "i64", "value": "18"}]}, + {"type": "assert_return", "line": 663, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 664, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 665, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 666, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 667, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 668, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 669, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 670, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 671, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 672, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 673, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 674, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_return", "line": 676, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967282"}]}, + {"type": "assert_return", "line": 677, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967290"}]}, + {"type": "assert_return", "line": 680, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 684, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "100"}, {"type": "i64", "value": "124"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "224"}, {"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 688, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 692, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 696, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 700, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 704, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 708, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 713, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, + {"type": "assert_return", "line": 716, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "1230"}, {"type": "i64", "value": "23"}]}, "expected": [{"type": "i64", "value": "1253"}]}, + {"type": "assert_return", "line": 719, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, + {"type": "assert_return", "line": 722, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, + {"type": "assert_return", "line": 725, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, + {"type": "assert_return", "line": 728, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, + {"type": "assert_return", "line": 731, "action": {"type": "invoke", "field": "type-use", "args": []}, "expected": []}, + {"type": "assert_return", "line": 733, "action": {"type": "invoke", "field": "atypical-condition", "args": []}, "expected": []}, + {"type": "assert_malformed", "line": 736, "filename": "if.1.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 745, "filename": "if.2.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 754, "filename": "if.3.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 763, "filename": "if.4.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 772, "filename": "if.5.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 781, "filename": "if.6.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 788, "filename": "if.7.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 796, "filename": "if.8.wat", "text": "inline function type", "module_type": "text"}, + {"type": "assert_malformed", "line": 806, "filename": "if.9.wat", "text": "inline function type", "module_type": "text"}, + {"type": "assert_malformed", "line": 816, "filename": "if.10.wat", "text": "inline function type", "module_type": "text"}, + {"type": "assert_malformed", "line": 826, "filename": "if.11.wat", "text": "inline function type", "module_type": "text"}, + {"type": "assert_invalid", "line": 836, "filename": "if.12.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 844, "filename": "if.13.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 848, "filename": "if.14.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 852, "filename": "if.15.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 856, "filename": "if.16.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 861, "filename": "if.17.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 865, "filename": "if.18.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 869, "filename": "if.19.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 873, "filename": "if.20.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 878, "filename": "if.21.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 884, "filename": "if.22.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 890, "filename": "if.23.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 896, "filename": "if.24.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 903, "filename": "if.25.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 909, "filename": "if.26.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 915, "filename": "if.27.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 921, "filename": "if.28.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 928, "filename": "if.29.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 934, "filename": "if.30.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 940, "filename": "if.31.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 947, "filename": "if.32.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 953, "filename": "if.33.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 959, "filename": "if.34.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 966, "filename": "if.35.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 972, "filename": "if.36.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 979, "filename": "if.37.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 985, "filename": "if.38.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 991, "filename": "if.39.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 998, "filename": "if.40.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1004, "filename": "if.41.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1010, "filename": "if.42.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1017, "filename": "if.43.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1023, "filename": "if.44.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1029, "filename": "if.45.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1036, "filename": "if.46.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1042, "filename": "if.47.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1048, "filename": "if.48.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1055, "filename": "if.49.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1062, "filename": "if.50.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1069, "filename": "if.51.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1077, "filename": "if.52.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1083, "filename": "if.53.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1089, "filename": "if.54.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1096, "filename": "if.55.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1102, "filename": "if.56.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1109, "filename": "if.57.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1119, "filename": "if.58.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1129, "filename": "if.59.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1140, "filename": "if.60.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1146, "filename": "if.61.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1152, "filename": "if.62.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1158, "filename": "if.63.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1165, "filename": "if.64.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1174, "filename": "if.65.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1183, "filename": "if.66.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1192, "filename": "if.67.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1202, "filename": "if.68.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1211, "filename": "if.69.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1220, "filename": "if.70.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1229, "filename": "if.71.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1239, "filename": "if.72.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1248, "filename": "if.73.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1257, "filename": "if.74.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1266, "filename": "if.75.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1275, "filename": "if.76.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1285, "filename": "if.77.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1296, "filename": "if.78.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1304, "filename": "if.79.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1313, "filename": "if.80.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1322, "filename": "if.81.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1331, "filename": "if.82.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1341, "filename": "if.83.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1350, "filename": "if.84.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1359, "filename": "if.85.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1368, "filename": "if.86.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1376, "filename": "if.87.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1384, "filename": "if.88.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1393, "filename": "if.89.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1409, "filename": "if.90.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1418, "filename": "if.91.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1427, "filename": "if.92.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1436, "filename": "if.93.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1445, "filename": "if.94.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1454, "filename": "if.95.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1464, "filename": "if.96.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1470, "filename": "if.97.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1476, "filename": "if.98.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1482, "filename": "if.99.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1488, "filename": "if.100.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1494, "filename": "if.101.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1500, "filename": "if.102.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_invalid", "line": 1506, "filename": "if.103.wasm", "text": "type mismatch", "module_type": "binary"}, + {"type": "assert_malformed", "line": 1513, "filename": "if.104.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 1517, "filename": "if.105.wat", "text": "unexpected token", "module_type": "text"}, + {"type": "assert_malformed", "line": 1522, "filename": "if.106.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1526, "filename": "if.107.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1530, "filename": "if.108.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1534, "filename": "if.109.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1538, "filename": "if.110.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1542, "filename": "if.111.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1546, "filename": "if.112.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1550, "filename": "if.113.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1554, "filename": "if.114.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1558, "filename": "if.115.wat", "text": "mismatching label", "module_type": "text"}, + {"type": "assert_malformed", "line": 1562, "filename": "if.116.wat", "text": "unexpected token", "module_type": "text"}]} diff --git a/internal/integration_test/spectest/v2/testdata/if.wast b/internal/integration_test/spectest/v2/testdata/if.wast index 1cbb617a7f..2ea45f6fa0 100644 --- a/internal/integration_test/spectest/v2/testdata/if.wast +++ b/internal/integration_test/spectest/v2/testdata/if.wast @@ -524,6 +524,14 @@ ) (drop) (drop) (drop) ) + + ;; Atypical folded condition syntax + + (func (export "atypical-condition") + i32.const 0 + (if (then) (else)) + (if (i32.const 1) (i32.eqz) (then) (else)) + ) ) (assert_return (invoke "empty" (i32.const 0))) @@ -722,6 +730,8 @@ (assert_return (invoke "type-use")) +(assert_return (invoke "atypical-condition")) + (assert_malformed (module quote "(type $sig (func (param i32) (result i32)))" @@ -1547,4 +1557,8 @@ (assert_malformed (module quote "(func i32.const 0 if $a else $l end $l)") "mismatching label" +) +(assert_malformed + (module quote "(func (if i32.const 0 (then) (else)))") + "unexpected token" ) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/imports.36.wasm b/internal/integration_test/spectest/v2/testdata/imports.36.wasm index d3dd90ce06..e6c9c5c347 100644 Binary files a/internal/integration_test/spectest/v2/testdata/imports.36.wasm and b/internal/integration_test/spectest/v2/testdata/imports.36.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/imports.json b/internal/integration_test/spectest/v2/testdata/imports.json index 12dd69e4dc..3bb611bad5 100644 --- a/internal/integration_test/spectest/v2/testdata/imports.json +++ b/internal/integration_test/spectest/v2/testdata/imports.json @@ -42,144 +42,147 @@ {"type": "assert_unlinkable", "line": 215, "filename": "imports.34.wasm", "text": "incompatible import type", "module_type": "binary"}, {"type": "assert_unlinkable", "line": 219, "filename": "imports.35.wasm", "text": "incompatible import type", "module_type": "binary"}, {"type": "module", "line": 226, "filename": "imports.36.wasm"}, - {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "get-0", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, - {"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "get-1", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, - {"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "get-x", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, - {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "get-y", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, - {"type": "module", "line": 248, "filename": "imports.37.wasm"}, - {"type": "module", "line": 249, "filename": "imports.38.wasm"}, - {"type": "module", "line": 250, "filename": "imports.39.wasm"}, - {"type": "assert_unlinkable", "line": 253, "filename": "imports.40.wasm", "text": "unknown import", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 257, "filename": "imports.41.wasm", "text": "unknown import", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 262, "filename": "imports.42.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 266, "filename": "imports.43.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 270, "filename": "imports.44.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 274, "filename": "imports.45.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 278, "filename": "imports.46.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 282, "filename": "imports.47.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 286, "filename": "imports.48.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 290, "filename": "imports.49.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 294, "filename": "imports.50.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 298, "filename": "imports.51.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 302, "filename": "imports.52.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 306, "filename": "imports.53.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 311, "filename": "imports.54.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 315, "filename": "imports.55.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 319, "filename": "imports.56.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 323, "filename": "imports.57.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 327, "filename": "imports.58.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 331, "filename": "imports.59.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "module", "line": 338, "filename": "imports.60.wasm"}, - {"type": "assert_trap", "line": 350, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, - {"type": "assert_return", "line": 351, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, - {"type": "assert_return", "line": 352, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, - {"type": "assert_trap", "line": 353, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, - {"type": "assert_trap", "line": 354, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, - {"type": "module", "line": 357, "filename": "imports.61.wasm"}, - {"type": "assert_trap", "line": 369, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, - {"type": "assert_return", "line": 370, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, - {"type": "assert_return", "line": 371, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, - {"type": "assert_trap", "line": 372, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, - {"type": "assert_trap", "line": 373, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, - {"type": "module", "line": 376, "filename": "imports.62.wasm"}, - {"type": "module", "line": 383, "filename": "imports.63.wasm"}, - {"type": "module", "line": 384, "filename": "imports.64.wasm"}, - {"type": "module", "line": 385, "filename": "imports.65.wasm"}, - {"type": "module", "line": 386, "filename": "imports.66.wasm"}, - {"type": "module", "line": 387, "filename": "imports.67.wasm"}, - {"type": "module", "line": 388, "filename": "imports.68.wasm"}, - {"type": "module", "line": 389, "filename": "imports.69.wasm"}, - {"type": "module", "line": 390, "filename": "imports.70.wasm"}, - {"type": "module", "line": 391, "filename": "imports.71.wasm"}, - {"type": "module", "line": 392, "filename": "imports.72.wasm"}, - {"type": "module", "line": 393, "filename": "imports.73.wasm"}, - {"type": "module", "line": 394, "filename": "imports.74.wasm"}, - {"type": "module", "line": 395, "filename": "imports.75.wasm"}, - {"type": "module", "line": 396, "filename": "imports.76.wasm"}, - {"type": "module", "line": 397, "filename": "imports.77.wasm"}, - {"type": "module", "line": 398, "filename": "imports.78.wasm"}, - {"type": "module", "line": 399, "filename": "imports.79.wasm"}, - {"type": "module", "line": 400, "filename": "imports.80.wasm"}, - {"type": "module", "line": 401, "filename": "imports.81.wasm"}, - {"type": "module", "line": 402, "filename": "imports.82.wasm"}, - {"type": "assert_unlinkable", "line": 405, "filename": "imports.83.wasm", "text": "unknown import", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 409, "filename": "imports.84.wasm", "text": "unknown import", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 414, "filename": "imports.85.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 418, "filename": "imports.86.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 422, "filename": "imports.87.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 426, "filename": "imports.88.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 430, "filename": "imports.89.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 434, "filename": "imports.90.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 439, "filename": "imports.91.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 443, "filename": "imports.92.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 447, "filename": "imports.93.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 451, "filename": "imports.94.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "module", "line": 459, "filename": "imports.95.wasm"}, - {"type": "assert_return", "line": 466, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 467, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, - {"type": "assert_return", "line": 468, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, - {"type": "assert_trap", "line": 469, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, - {"type": "module", "line": 471, "filename": "imports.96.wasm"}, - {"type": "assert_return", "line": 477, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, - {"type": "assert_return", "line": 478, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, - {"type": "assert_return", "line": 479, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, - {"type": "assert_trap", "line": 480, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, - {"type": "assert_invalid", "line": 483, "filename": "imports.97.wasm", "text": "multiple memories", "module_type": "binary"}, - {"type": "assert_invalid", "line": 487, "filename": "imports.98.wasm", "text": "multiple memories", "module_type": "binary"}, - {"type": "assert_invalid", "line": 491, "filename": "imports.99.wasm", "text": "multiple memories", "module_type": "binary"}, - {"type": "module", "line": 495, "filename": "imports.100.wasm"}, - {"type": "module", "line": 496, "filename": "imports.101.wasm"}, - {"type": "module", "line": 497, "filename": "imports.102.wasm"}, - {"type": "module", "line": 498, "filename": "imports.103.wasm"}, - {"type": "module", "line": 499, "filename": "imports.104.wasm"}, - {"type": "module", "line": 500, "filename": "imports.105.wasm"}, - {"type": "module", "line": 501, "filename": "imports.106.wasm"}, - {"type": "module", "line": 502, "filename": "imports.107.wasm"}, - {"type": "module", "line": 503, "filename": "imports.108.wasm"}, - {"type": "assert_unlinkable", "line": 506, "filename": "imports.109.wasm", "text": "unknown import", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 510, "filename": "imports.110.wasm", "text": "unknown import", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 515, "filename": "imports.111.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 519, "filename": "imports.112.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 523, "filename": "imports.113.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 527, "filename": "imports.114.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 532, "filename": "imports.115.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 536, "filename": "imports.116.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 540, "filename": "imports.117.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 544, "filename": "imports.118.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 548, "filename": "imports.119.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 552, "filename": "imports.120.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 557, "filename": "imports.121.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "assert_unlinkable", "line": 561, "filename": "imports.122.wasm", "text": "incompatible import type", "module_type": "binary"}, - {"type": "module", "line": 565, "filename": "imports.123.wasm"}, - {"type": "assert_return", "line": 569, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 570, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "assert_return", "line": 571, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, - {"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "module", "line": 575, "name": "$Mgm", "filename": "imports.124.wasm"}, - {"type": "register", "line": 579, "name": "$Mgm", "as": "grown-memory"}, - {"type": "assert_return", "line": 580, "action": {"type": "invoke", "module": "$Mgm", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, - {"type": "module", "line": 581, "name": "$Mgim1", "filename": "imports.125.wasm"}, - {"type": "register", "line": 586, "name": "$Mgim1", "as": "grown-imported-memory"}, - {"type": "assert_return", "line": 587, "action": {"type": "invoke", "module": "$Mgim1", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, - {"type": "module", "line": 588, "name": "$Mgim2", "filename": "imports.126.wasm"}, - {"type": "assert_return", "line": 593, "action": {"type": "invoke", "module": "$Mgim2", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "3"}]}, - {"type": "assert_malformed", "line": 599, "filename": "imports.127.wat", "text": "import after function", "module_type": "text"}, - {"type": "assert_malformed", "line": 603, "filename": "imports.128.wat", "text": "import after function", "module_type": "text"}, - {"type": "assert_malformed", "line": 607, "filename": "imports.129.wat", "text": "import after function", "module_type": "text"}, - {"type": "assert_malformed", "line": 611, "filename": "imports.130.wat", "text": "import after function", "module_type": "text"}, - {"type": "assert_malformed", "line": 616, "filename": "imports.131.wat", "text": "import after global", "module_type": "text"}, - {"type": "assert_malformed", "line": 620, "filename": "imports.132.wat", "text": "import after global", "module_type": "text"}, - {"type": "assert_malformed", "line": 624, "filename": "imports.133.wat", "text": "import after global", "module_type": "text"}, - {"type": "assert_malformed", "line": 628, "filename": "imports.134.wat", "text": "import after global", "module_type": "text"}, - {"type": "assert_malformed", "line": 633, "filename": "imports.135.wat", "text": "import after table", "module_type": "text"}, - {"type": "assert_malformed", "line": 637, "filename": "imports.136.wat", "text": "import after table", "module_type": "text"}, - {"type": "assert_malformed", "line": 641, "filename": "imports.137.wat", "text": "import after table", "module_type": "text"}, - {"type": "assert_malformed", "line": 645, "filename": "imports.138.wat", "text": "import after table", "module_type": "text"}, - {"type": "assert_malformed", "line": 650, "filename": "imports.139.wat", "text": "import after memory", "module_type": "text"}, - {"type": "assert_malformed", "line": 654, "filename": "imports.140.wat", "text": "import after memory", "module_type": "text"}, - {"type": "assert_malformed", "line": 658, "filename": "imports.141.wat", "text": "import after memory", "module_type": "text"}, - {"type": "assert_malformed", "line": 662, "filename": "imports.142.wat", "text": "import after memory", "module_type": "text"}, - {"type": "module", "line": 669, "filename": "imports.143.wasm"}, - {"type": "register", "line": 670, "as": "not wasm"}, - {"type": "assert_unlinkable", "line": 672, "filename": "imports.144.wasm", "text": "unknown import", "module_type": "binary"}]} + {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "get-0", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, + {"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "get-1", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, + {"type": "assert_return", "line": 248, "action": {"type": "invoke", "field": "get-x", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, + {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "get-y", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, + {"type": "assert_return", "line": 250, "action": {"type": "invoke", "field": "get-4", "args": []}, "expected": [{"type": "i64", "value": "666"}]}, + {"type": "assert_return", "line": 251, "action": {"type": "invoke", "field": "get-5", "args": []}, "expected": [{"type": "f32", "value": "1143383654"}]}, + {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "get-6", "args": []}, "expected": [{"type": "f64", "value": "4649074691427585229"}]}, + {"type": "module", "line": 254, "filename": "imports.37.wasm"}, + {"type": "module", "line": 255, "filename": "imports.38.wasm"}, + {"type": "module", "line": 256, "filename": "imports.39.wasm"}, + {"type": "assert_unlinkable", "line": 259, "filename": "imports.40.wasm", "text": "unknown import", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 263, "filename": "imports.41.wasm", "text": "unknown import", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 268, "filename": "imports.42.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 272, "filename": "imports.43.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 276, "filename": "imports.44.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 280, "filename": "imports.45.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 284, "filename": "imports.46.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 288, "filename": "imports.47.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 292, "filename": "imports.48.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 296, "filename": "imports.49.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 300, "filename": "imports.50.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 304, "filename": "imports.51.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 308, "filename": "imports.52.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 312, "filename": "imports.53.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 317, "filename": "imports.54.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 321, "filename": "imports.55.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 325, "filename": "imports.56.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 329, "filename": "imports.57.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 333, "filename": "imports.58.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 337, "filename": "imports.59.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "module", "line": 344, "filename": "imports.60.wasm"}, + {"type": "assert_trap", "line": 356, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, + {"type": "assert_return", "line": 357, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, + {"type": "assert_return", "line": 358, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, + {"type": "assert_trap", "line": 359, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, + {"type": "assert_trap", "line": 360, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, + {"type": "module", "line": 363, "filename": "imports.61.wasm"}, + {"type": "assert_trap", "line": 375, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, + {"type": "assert_return", "line": 376, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, + {"type": "assert_return", "line": 377, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, + {"type": "assert_trap", "line": 378, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, + {"type": "assert_trap", "line": 379, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, + {"type": "module", "line": 382, "filename": "imports.62.wasm"}, + {"type": "module", "line": 389, "filename": "imports.63.wasm"}, + {"type": "module", "line": 390, "filename": "imports.64.wasm"}, + {"type": "module", "line": 391, "filename": "imports.65.wasm"}, + {"type": "module", "line": 392, "filename": "imports.66.wasm"}, + {"type": "module", "line": 393, "filename": "imports.67.wasm"}, + {"type": "module", "line": 394, "filename": "imports.68.wasm"}, + {"type": "module", "line": 395, "filename": "imports.69.wasm"}, + {"type": "module", "line": 396, "filename": "imports.70.wasm"}, + {"type": "module", "line": 397, "filename": "imports.71.wasm"}, + {"type": "module", "line": 398, "filename": "imports.72.wasm"}, + {"type": "module", "line": 399, "filename": "imports.73.wasm"}, + {"type": "module", "line": 400, "filename": "imports.74.wasm"}, + {"type": "module", "line": 401, "filename": "imports.75.wasm"}, + {"type": "module", "line": 402, "filename": "imports.76.wasm"}, + {"type": "module", "line": 403, "filename": "imports.77.wasm"}, + {"type": "module", "line": 404, "filename": "imports.78.wasm"}, + {"type": "module", "line": 405, "filename": "imports.79.wasm"}, + {"type": "module", "line": 406, "filename": "imports.80.wasm"}, + {"type": "module", "line": 407, "filename": "imports.81.wasm"}, + {"type": "module", "line": 408, "filename": "imports.82.wasm"}, + {"type": "assert_unlinkable", "line": 411, "filename": "imports.83.wasm", "text": "unknown import", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 415, "filename": "imports.84.wasm", "text": "unknown import", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 420, "filename": "imports.85.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 424, "filename": "imports.86.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 428, "filename": "imports.87.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 432, "filename": "imports.88.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 436, "filename": "imports.89.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 440, "filename": "imports.90.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 445, "filename": "imports.91.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 449, "filename": "imports.92.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 453, "filename": "imports.93.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 457, "filename": "imports.94.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "module", "line": 465, "filename": "imports.95.wasm"}, + {"type": "assert_return", "line": 472, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 473, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, + {"type": "assert_return", "line": 474, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, + {"type": "assert_trap", "line": 475, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, + {"type": "module", "line": 477, "filename": "imports.96.wasm"}, + {"type": "assert_return", "line": 483, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, + {"type": "assert_return", "line": 484, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, + {"type": "assert_return", "line": 485, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, + {"type": "assert_trap", "line": 486, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, + {"type": "assert_invalid", "line": 489, "filename": "imports.97.wasm", "text": "multiple memories", "module_type": "binary"}, + {"type": "assert_invalid", "line": 493, "filename": "imports.98.wasm", "text": "multiple memories", "module_type": "binary"}, + {"type": "assert_invalid", "line": 497, "filename": "imports.99.wasm", "text": "multiple memories", "module_type": "binary"}, + {"type": "module", "line": 501, "filename": "imports.100.wasm"}, + {"type": "module", "line": 502, "filename": "imports.101.wasm"}, + {"type": "module", "line": 503, "filename": "imports.102.wasm"}, + {"type": "module", "line": 504, "filename": "imports.103.wasm"}, + {"type": "module", "line": 505, "filename": "imports.104.wasm"}, + {"type": "module", "line": 506, "filename": "imports.105.wasm"}, + {"type": "module", "line": 507, "filename": "imports.106.wasm"}, + {"type": "module", "line": 508, "filename": "imports.107.wasm"}, + {"type": "module", "line": 509, "filename": "imports.108.wasm"}, + {"type": "assert_unlinkable", "line": 512, "filename": "imports.109.wasm", "text": "unknown import", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 516, "filename": "imports.110.wasm", "text": "unknown import", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 521, "filename": "imports.111.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 525, "filename": "imports.112.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 529, "filename": "imports.113.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 533, "filename": "imports.114.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 538, "filename": "imports.115.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 542, "filename": "imports.116.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 546, "filename": "imports.117.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 550, "filename": "imports.118.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 554, "filename": "imports.119.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 558, "filename": "imports.120.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 563, "filename": "imports.121.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "assert_unlinkable", "line": 567, "filename": "imports.122.wasm", "text": "incompatible import type", "module_type": "binary"}, + {"type": "module", "line": 571, "filename": "imports.123.wasm"}, + {"type": "assert_return", "line": 575, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 576, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "assert_return", "line": 577, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "assert_return", "line": 578, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, + {"type": "assert_return", "line": 579, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "module", "line": 581, "name": "$Mgm", "filename": "imports.124.wasm"}, + {"type": "register", "line": 585, "name": "$Mgm", "as": "grown-memory"}, + {"type": "assert_return", "line": 586, "action": {"type": "invoke", "module": "$Mgm", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, + {"type": "module", "line": 587, "name": "$Mgim1", "filename": "imports.125.wasm"}, + {"type": "register", "line": 592, "name": "$Mgim1", "as": "grown-imported-memory"}, + {"type": "assert_return", "line": 593, "action": {"type": "invoke", "module": "$Mgim1", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, + {"type": "module", "line": 594, "name": "$Mgim2", "filename": "imports.126.wasm"}, + {"type": "assert_return", "line": 599, "action": {"type": "invoke", "module": "$Mgim2", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "3"}]}, + {"type": "assert_malformed", "line": 605, "filename": "imports.127.wat", "text": "import after function", "module_type": "text"}, + {"type": "assert_malformed", "line": 609, "filename": "imports.128.wat", "text": "import after function", "module_type": "text"}, + {"type": "assert_malformed", "line": 613, "filename": "imports.129.wat", "text": "import after function", "module_type": "text"}, + {"type": "assert_malformed", "line": 617, "filename": "imports.130.wat", "text": "import after function", "module_type": "text"}, + {"type": "assert_malformed", "line": 622, "filename": "imports.131.wat", "text": "import after global", "module_type": "text"}, + {"type": "assert_malformed", "line": 626, "filename": "imports.132.wat", "text": "import after global", "module_type": "text"}, + {"type": "assert_malformed", "line": 630, "filename": "imports.133.wat", "text": "import after global", "module_type": "text"}, + {"type": "assert_malformed", "line": 634, "filename": "imports.134.wat", "text": "import after global", "module_type": "text"}, + {"type": "assert_malformed", "line": 639, "filename": "imports.135.wat", "text": "import after table", "module_type": "text"}, + {"type": "assert_malformed", "line": 643, "filename": "imports.136.wat", "text": "import after table", "module_type": "text"}, + {"type": "assert_malformed", "line": 647, "filename": "imports.137.wat", "text": "import after table", "module_type": "text"}, + {"type": "assert_malformed", "line": 651, "filename": "imports.138.wat", "text": "import after table", "module_type": "text"}, + {"type": "assert_malformed", "line": 656, "filename": "imports.139.wat", "text": "import after memory", "module_type": "text"}, + {"type": "assert_malformed", "line": 660, "filename": "imports.140.wat", "text": "import after memory", "module_type": "text"}, + {"type": "assert_malformed", "line": 664, "filename": "imports.141.wat", "text": "import after memory", "module_type": "text"}, + {"type": "assert_malformed", "line": 668, "filename": "imports.142.wat", "text": "import after memory", "module_type": "text"}, + {"type": "module", "line": 675, "filename": "imports.143.wasm"}, + {"type": "register", "line": 676, "as": "not wasm"}, + {"type": "assert_unlinkable", "line": 678, "filename": "imports.144.wasm", "text": "unknown import", "module_type": "binary"}]} diff --git a/internal/integration_test/spectest/v2/testdata/imports.wast b/internal/integration_test/spectest/v2/testdata/imports.wast index 69f76a0bbe..0cc07cb1a9 100644 --- a/internal/integration_test/spectest/v2/testdata/imports.wast +++ b/internal/integration_test/spectest/v2/testdata/imports.wast @@ -238,12 +238,18 @@ (func (export "get-1") (result i32) (global.get 1)) (func (export "get-x") (result i32) (global.get $x)) (func (export "get-y") (result i32) (global.get $y)) + (func (export "get-4") (result i64) (global.get 4)) + (func (export "get-5") (result f32) (global.get 5)) + (func (export "get-6") (result f64) (global.get 6)) ) (assert_return (invoke "get-0") (i32.const 666)) (assert_return (invoke "get-1") (i32.const 666)) (assert_return (invoke "get-x") (i32.const 666)) (assert_return (invoke "get-y") (i32.const 666)) +(assert_return (invoke "get-4") (i64.const 666)) +(assert_return (invoke "get-5") (f32.const 666.6)) +(assert_return (invoke "get-6") (f64.const 666.6)) (module (import "test" "global-i32" (global i32))) (module (import "test" "global-f32" (global f32))) diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.0.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.0.wat new file mode 100644 index 0000000000..f19112e2f4 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.0.wat @@ -0,0 +1 @@ +(memory 1)(func (drop (current_memory))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.1.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.1.wat new file mode 100644 index 0000000000..2c1a3d6de4 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.1.wat @@ -0,0 +1 @@ +(memory 1)(func (drop (grow_memory (i32.const 0)))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.10.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.10.wat new file mode 100644 index 0000000000..6e2765d706 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.10.wat @@ -0,0 +1 @@ +(func (drop (f32x4.convert_s/i32x4 (v128.const i64x2 0 0)))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.2.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.2.wat new file mode 100644 index 0000000000..df74126197 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.2.wat @@ -0,0 +1 @@ +(func (local $i i32) (drop (get_local $i))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.3.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.3.wat new file mode 100644 index 0000000000..4f3bbfeaff --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.3.wat @@ -0,0 +1 @@ +(func (local $i i32) (set_local $i (i32.const 0))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.4.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.4.wat new file mode 100644 index 0000000000..9ec2e67e87 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.4.wat @@ -0,0 +1 @@ +(func (local $i i32) (drop (tee_local $i (i32.const 0)))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.5.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.5.wat new file mode 100644 index 0000000000..492caa8e59 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.5.wat @@ -0,0 +1 @@ +(global $g anyfunc (ref.null func)) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.6.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.6.wat new file mode 100644 index 0000000000..5a52a648b7 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.6.wat @@ -0,0 +1 @@ +(global $g i32 (i32.const 0))(func (drop (get_global $g))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.7.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.7.wat new file mode 100644 index 0000000000..345545e527 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.7.wat @@ -0,0 +1 @@ +(global $g (mut i32) (i32.const 0))(func (set_global $g (i32.const 0))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.8.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.8.wat new file mode 100644 index 0000000000..1ffa5e4cf1 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.8.wat @@ -0,0 +1 @@ +(func (drop (i32.wrap/i64 (i64.const 0)))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.9.wat b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.9.wat new file mode 100644 index 0000000000..e2d30286c6 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.9.wat @@ -0,0 +1 @@ +(func (drop (i32.trunc_s:sat/f32 (f32.const 0)))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.json b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.json new file mode 100644 index 0000000000..4d4c9cb9a0 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.json @@ -0,0 +1,13 @@ +{"source_filename": "./obsolete-keywords.wast", + "commands": [ + {"type": "assert_malformed", "line": 3, "filename": "obsolete-keywords.0.wat", "text": "unknown operator current_memory", "module_type": "text"}, + {"type": "assert_malformed", "line": 11, "filename": "obsolete-keywords.1.wat", "text": "unknown operator grow_memory", "module_type": "text"}, + {"type": "assert_malformed", "line": 20, "filename": "obsolete-keywords.2.wat", "text": "unknown operator get_local", "module_type": "text"}, + {"type": "assert_malformed", "line": 27, "filename": "obsolete-keywords.3.wat", "text": "unknown operator set_local", "module_type": "text"}, + {"type": "assert_malformed", "line": 34, "filename": "obsolete-keywords.4.wat", "text": "unknown operator tee_local", "module_type": "text"}, + {"type": "assert_malformed", "line": 41, "filename": "obsolete-keywords.5.wat", "text": "unknown operator anyfunc", "module_type": "text"}, + {"type": "assert_malformed", "line": 48, "filename": "obsolete-keywords.6.wat", "text": "unknown operator get_global", "module_type": "text"}, + {"type": "assert_malformed", "line": 56, "filename": "obsolete-keywords.7.wat", "text": "unknown operator set_global", "module_type": "text"}, + {"type": "assert_malformed", "line": 64, "filename": "obsolete-keywords.8.wat", "text": "unknown operator i32.wrap/i64", "module_type": "text"}, + {"type": "assert_malformed", "line": 71, "filename": "obsolete-keywords.9.wat", "text": "unknown operator i32.trunc_s:sat/f32", "module_type": "text"}, + {"type": "assert_malformed", "line": 78, "filename": "obsolete-keywords.10.wat", "text": "unknown operator f32x4.convert_s/i32x4", "module_type": "text"}]} diff --git a/internal/integration_test/spectest/v2/testdata/obsolete-keywords.wast b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.wast new file mode 100644 index 0000000000..a90eb96d23 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/obsolete-keywords.wast @@ -0,0 +1,82 @@ +;; Renamed in https://github.com/WebAssembly/spec/pull/720 +(assert_malformed + (module quote + "(memory 1)" + "(func (drop (current_memory)))" + ) + "unknown operator current_memory" +) + +(assert_malformed + (module quote + "(memory 1)" + "(func (drop (grow_memory (i32.const 0))))" + ) + "unknown operator grow_memory" +) + +;; Renamed in https://github.com/WebAssembly/spec/pull/926 +(assert_malformed + (module quote + "(func (local $i i32) (drop (get_local $i)))" + ) + "unknown operator get_local" +) + +(assert_malformed + (module quote + "(func (local $i i32) (set_local $i (i32.const 0)))" + ) + "unknown operator set_local" +) + +(assert_malformed + (module quote + "(func (local $i i32) (drop (tee_local $i (i32.const 0))))" + ) + "unknown operator tee_local" +) + +(assert_malformed + (module quote + "(global $g anyfunc (ref.null func))" + ) + "unknown operator anyfunc" +) + +(assert_malformed + (module quote + "(global $g i32 (i32.const 0))" + "(func (drop (get_global $g)))" + ) + "unknown operator get_global" +) + +(assert_malformed + (module quote + "(global $g (mut i32) (i32.const 0))" + "(func (set_global $g (i32.const 0)))" + ) + "unknown operator set_global" +) + +(assert_malformed + (module quote + "(func (drop (i32.wrap/i64 (i64.const 0))))" + ) + "unknown operator i32.wrap/i64" +) + +(assert_malformed + (module quote + "(func (drop (i32.trunc_s:sat/f32 (f32.const 0))))" + ) + "unknown operator i32.trunc_s:sat/f32" +) + +(assert_malformed + (module quote + "(func (drop (f32x4.convert_s/i32x4 (v128.const i64x2 0 0))))" + ) + "unknown operator f32x4.convert_s/i32x4" +) diff --git a/internal/integration_test/spectest/v2/testdata/token.10.wasm b/internal/integration_test/spectest/v2/testdata/token.10.wasm new file mode 100644 index 0000000000..03cbd80371 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.10.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.11.wasm b/internal/integration_test/spectest/v2/testdata/token.11.wasm new file mode 100644 index 0000000000..19a18da21c Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.11.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.12.wasm b/internal/integration_test/spectest/v2/testdata/token.12.wasm new file mode 100644 index 0000000000..a05187003b Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.12.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.13.wasm b/internal/integration_test/spectest/v2/testdata/token.13.wasm new file mode 100644 index 0000000000..8dfa3b71a4 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.13.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.14.wasm b/internal/integration_test/spectest/v2/testdata/token.14.wasm new file mode 100644 index 0000000000..8dfa3b71a4 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.14.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.15.wasm b/internal/integration_test/spectest/v2/testdata/token.15.wasm new file mode 100644 index 0000000000..737320c5ae Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.15.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.16.wasm b/internal/integration_test/spectest/v2/testdata/token.16.wasm new file mode 100644 index 0000000000..11267f391b Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.16.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.17.wasm b/internal/integration_test/spectest/v2/testdata/token.17.wasm new file mode 100644 index 0000000000..eac2c72f11 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.17.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.18.wasm b/internal/integration_test/spectest/v2/testdata/token.18.wasm new file mode 100644 index 0000000000..d921cfe64b Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.18.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.19.wat b/internal/integration_test/spectest/v2/testdata/token.19.wat new file mode 100644 index 0000000000..d599900580 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.19.wat @@ -0,0 +1 @@ +(func (block $l (i32.const 0) (br_table 0$l))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.2.wasm b/internal/integration_test/spectest/v2/testdata/token.2.wasm new file mode 100644 index 0000000000..8dfa3b71a4 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.2.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.20.wasm b/internal/integration_test/spectest/v2/testdata/token.20.wasm new file mode 100644 index 0000000000..d921cfe64b Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.20.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.21.wat b/internal/integration_test/spectest/v2/testdata/token.21.wat new file mode 100644 index 0000000000..3b83e1ab48 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.21.wat @@ -0,0 +1 @@ +(func (block $l (i32.const 0) (br_table $l0))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.22.wasm b/internal/integration_test/spectest/v2/testdata/token.22.wasm new file mode 100644 index 0000000000..d921cfe64b Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.22.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.23.wat b/internal/integration_test/spectest/v2/testdata/token.23.wat new file mode 100644 index 0000000000..844879d183 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.23.wat @@ -0,0 +1 @@ +(func (block $l (i32.const 0) (br_table $l$l))) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.24.wasm b/internal/integration_test/spectest/v2/testdata/token.24.wasm new file mode 100644 index 0000000000..57349bf110 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.24.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.25.wasm b/internal/integration_test/spectest/v2/testdata/token.25.wasm new file mode 100644 index 0000000000..57349bf110 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.25.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.26.wasm b/internal/integration_test/spectest/v2/testdata/token.26.wasm new file mode 100644 index 0000000000..eac2c72f11 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.26.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.27.wat b/internal/integration_test/spectest/v2/testdata/token.27.wat new file mode 100644 index 0000000000..478b507d1f --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.27.wat @@ -0,0 +1 @@ +(data"a") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.28.wasm b/internal/integration_test/spectest/v2/testdata/token.28.wasm new file mode 100644 index 0000000000..0f1476a51c Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.28.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.29.wat b/internal/integration_test/spectest/v2/testdata/token.29.wat new file mode 100644 index 0000000000..557118a877 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.29.wat @@ -0,0 +1 @@ +(data $l"a") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.3.wasm b/internal/integration_test/spectest/v2/testdata/token.3.wasm new file mode 100644 index 0000000000..031ed8af86 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.3.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.30.wasm b/internal/integration_test/spectest/v2/testdata/token.30.wasm new file mode 100644 index 0000000000..0e18824833 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.30.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.31.wat b/internal/integration_test/spectest/v2/testdata/token.31.wat new file mode 100644 index 0000000000..5d0388e7b1 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.31.wat @@ -0,0 +1 @@ +(data $l" a") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.32.wasm b/internal/integration_test/spectest/v2/testdata/token.32.wasm new file mode 100644 index 0000000000..3fce723532 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.32.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.33.wat b/internal/integration_test/spectest/v2/testdata/token.33.wat new file mode 100644 index 0000000000..d2b40f1c8a --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.33.wat @@ -0,0 +1 @@ +(data $l"a ") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.34.wasm b/internal/integration_test/spectest/v2/testdata/token.34.wasm new file mode 100644 index 0000000000..c095836c23 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.34.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.35.wat b/internal/integration_test/spectest/v2/testdata/token.35.wat new file mode 100644 index 0000000000..061fcd173a --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.35.wat @@ -0,0 +1 @@ +(data $l"a ""b") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.36.wasm b/internal/integration_test/spectest/v2/testdata/token.36.wasm new file mode 100644 index 0000000000..2b7d3d75c7 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.36.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.37.wat b/internal/integration_test/spectest/v2/testdata/token.37.wat new file mode 100644 index 0000000000..2dae1e8140 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.37.wat @@ -0,0 +1 @@ +(data $l"") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.38.wasm b/internal/integration_test/spectest/v2/testdata/token.38.wasm new file mode 100644 index 0000000000..ad6145e513 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.38.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.39.wat b/internal/integration_test/spectest/v2/testdata/token.39.wat new file mode 100644 index 0000000000..b009a623b3 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.39.wat @@ -0,0 +1 @@ +(data $l" ") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.4.wasm b/internal/integration_test/spectest/v2/testdata/token.4.wasm new file mode 100644 index 0000000000..031ed8af86 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.4.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.40.wasm b/internal/integration_test/spectest/v2/testdata/token.40.wasm new file mode 100644 index 0000000000..d26c6b064f Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.40.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.41.wat b/internal/integration_test/spectest/v2/testdata/token.41.wat new file mode 100644 index 0000000000..fc7081ff6c --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.41.wat @@ -0,0 +1 @@ +(data $l" ") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.42.wasm b/internal/integration_test/spectest/v2/testdata/token.42.wasm new file mode 100644 index 0000000000..83e39bc076 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.42.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.43.wat b/internal/integration_test/spectest/v2/testdata/token.43.wat new file mode 100644 index 0000000000..a1f52129f3 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.43.wat @@ -0,0 +1 @@ +(data "a""b") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.44.wasm b/internal/integration_test/spectest/v2/testdata/token.44.wasm new file mode 100644 index 0000000000..5a2e5d326e Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.44.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.45.wat b/internal/integration_test/spectest/v2/testdata/token.45.wat new file mode 100644 index 0000000000..888690ed87 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.45.wat @@ -0,0 +1 @@ +(data "a"" b") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.46.wasm b/internal/integration_test/spectest/v2/testdata/token.46.wasm new file mode 100644 index 0000000000..5a2e5d326e Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.46.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.47.wat b/internal/integration_test/spectest/v2/testdata/token.47.wat new file mode 100644 index 0000000000..c02893b456 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.47.wat @@ -0,0 +1 @@ +(data "a ""b") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.48.wasm b/internal/integration_test/spectest/v2/testdata/token.48.wasm new file mode 100644 index 0000000000..a4336e7a41 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.48.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.49.wat b/internal/integration_test/spectest/v2/testdata/token.49.wat new file mode 100644 index 0000000000..c3b74b48d3 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.49.wat @@ -0,0 +1 @@ +(data """") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.5.wasm b/internal/integration_test/spectest/v2/testdata/token.5.wasm new file mode 100644 index 0000000000..031ed8af86 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.5.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.50.wasm b/internal/integration_test/spectest/v2/testdata/token.50.wasm new file mode 100644 index 0000000000..3ee42bd510 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.50.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.51.wat b/internal/integration_test/spectest/v2/testdata/token.51.wat new file mode 100644 index 0000000000..19af333f2c --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.51.wat @@ -0,0 +1 @@ +(data """ ") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.52.wasm b/internal/integration_test/spectest/v2/testdata/token.52.wasm new file mode 100644 index 0000000000..3ee42bd510 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.52.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.53.wat b/internal/integration_test/spectest/v2/testdata/token.53.wat new file mode 100644 index 0000000000..ddd547345c --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.53.wat @@ -0,0 +1 @@ +(data " """) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.54.wat b/internal/integration_test/spectest/v2/testdata/token.54.wat new file mode 100644 index 0000000000..3811691a2f --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.54.wat @@ -0,0 +1 @@ +(func "a"x) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.55.wat b/internal/integration_test/spectest/v2/testdata/token.55.wat new file mode 100644 index 0000000000..465ac19dd5 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.55.wat @@ -0,0 +1 @@ +(func "a"0) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.56.wat b/internal/integration_test/spectest/v2/testdata/token.56.wat new file mode 100644 index 0000000000..5aa19d683f --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.56.wat @@ -0,0 +1 @@ +(func 0"a") \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.57.wat b/internal/integration_test/spectest/v2/testdata/token.57.wat new file mode 100644 index 0000000000..bc335d2c40 --- /dev/null +++ b/internal/integration_test/spectest/v2/testdata/token.57.wat @@ -0,0 +1 @@ +(func "a"$x) \ No newline at end of file diff --git a/internal/integration_test/spectest/v2/testdata/token.6.wasm b/internal/integration_test/spectest/v2/testdata/token.6.wasm new file mode 100644 index 0000000000..2d4d3c406a Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.6.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.7.wasm b/internal/integration_test/spectest/v2/testdata/token.7.wasm new file mode 100644 index 0000000000..91c5d09885 Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.7.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.8.wasm b/internal/integration_test/spectest/v2/testdata/token.8.wasm new file mode 100644 index 0000000000..8a85bde63e Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.8.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.9.wasm b/internal/integration_test/spectest/v2/testdata/token.9.wasm new file mode 100644 index 0000000000..808130655c Binary files /dev/null and b/internal/integration_test/spectest/v2/testdata/token.9.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/token.json b/internal/integration_test/spectest/v2/testdata/token.json index 764d727d23..fcf9221535 100644 --- a/internal/integration_test/spectest/v2/testdata/token.json +++ b/internal/integration_test/spectest/v2/testdata/token.json @@ -1,4 +1,60 @@ {"source_filename": "./token.wast", "commands": [ {"type": "assert_malformed", "line": 4, "filename": "token.0.wat", "text": "unknown operator", "module_type": "text"}, - {"type": "assert_malformed", "line": 8, "filename": "token.1.wat", "text": "unknown operator", "module_type": "text"}]} + {"type": "assert_malformed", "line": 8, "filename": "token.1.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 15, "filename": "token.2.wasm"}, + {"type": "module", "line": 18, "filename": "token.3.wasm"}, + {"type": "module", "line": 21, "filename": "token.4.wasm"}, + {"type": "module", "line": 24, "filename": "token.5.wasm"}, + {"type": "module", "line": 27, "filename": "token.6.wasm"}, + {"type": "module", "line": 30, "filename": "token.7.wasm"}, + {"type": "module", "line": 33, "filename": "token.8.wasm"}, + {"type": "module", "line": 38, "filename": "token.9.wasm"}, + {"type": "module", "line": 43, "filename": "token.10.wasm"}, + {"type": "module", "line": 47, "filename": "token.11.wasm"}, + {"type": "module", "line": 54, "filename": "token.12.wasm"}, + {"type": "module", "line": 58, "filename": "token.13.wasm"}, + {"type": "module", "line": 62, "filename": "token.14.wasm"}, + {"type": "module", "line": 66, "filename": "token.15.wasm"}, + {"type": "module", "line": 70, "filename": "token.16.wasm"}, + {"type": "module", "line": 74, "filename": "token.17.wasm"}, + {"type": "module", "line": 82, "filename": "token.18.wasm"}, + {"type": "assert_malformed", "line": 86, "filename": "token.19.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 92, "filename": "token.20.wasm"}, + {"type": "assert_malformed", "line": 96, "filename": "token.21.wat", "text": "unknown label", "module_type": "text"}, + {"type": "module", "line": 102, "filename": "token.22.wasm"}, + {"type": "assert_malformed", "line": 106, "filename": "token.23.wat", "text": "unknown label", "module_type": "text"}, + {"type": "module", "line": 112, "filename": "token.24.wasm"}, + {"type": "module", "line": 115, "filename": "token.25.wasm"}, + {"type": "module", "line": 122, "filename": "token.26.wasm"}, + {"type": "assert_malformed", "line": 126, "filename": "token.27.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 132, "filename": "token.28.wasm"}, + {"type": "assert_malformed", "line": 136, "filename": "token.29.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 142, "filename": "token.30.wasm"}, + {"type": "assert_malformed", "line": 146, "filename": "token.31.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 152, "filename": "token.32.wasm"}, + {"type": "assert_malformed", "line": 156, "filename": "token.33.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 162, "filename": "token.34.wasm"}, + {"type": "assert_malformed", "line": 166, "filename": "token.35.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 172, "filename": "token.36.wasm"}, + {"type": "assert_malformed", "line": 176, "filename": "token.37.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 182, "filename": "token.38.wasm"}, + {"type": "assert_malformed", "line": 186, "filename": "token.39.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 192, "filename": "token.40.wasm"}, + {"type": "assert_malformed", "line": 196, "filename": "token.41.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 202, "filename": "token.42.wasm"}, + {"type": "assert_malformed", "line": 206, "filename": "token.43.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 212, "filename": "token.44.wasm"}, + {"type": "assert_malformed", "line": 216, "filename": "token.45.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 222, "filename": "token.46.wasm"}, + {"type": "assert_malformed", "line": 226, "filename": "token.47.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 232, "filename": "token.48.wasm"}, + {"type": "assert_malformed", "line": 236, "filename": "token.49.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 242, "filename": "token.50.wasm"}, + {"type": "assert_malformed", "line": 246, "filename": "token.51.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "module", "line": 252, "filename": "token.52.wasm"}, + {"type": "assert_malformed", "line": 256, "filename": "token.53.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 264, "filename": "token.54.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 270, "filename": "token.55.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 276, "filename": "token.56.wat", "text": "unknown operator", "module_type": "text"}, + {"type": "assert_malformed", "line": 282, "filename": "token.57.wat", "text": "unknown operator", "module_type": "text"}]} diff --git a/internal/integration_test/spectest/v2/testdata/token.wast b/internal/integration_test/spectest/v2/testdata/token.wast index 1dcd32e7f7..624bdca6d8 100644 --- a/internal/integration_test/spectest/v2/testdata/token.wast +++ b/internal/integration_test/spectest/v2/testdata/token.wast @@ -8,3 +8,279 @@ (module quote "(func br 0drop)") "unknown operator" ) + + +;; Tokens can be delimited by parentheses + +(module + (func(nop)) +) +(module + (func (nop)nop) +) +(module + (func nop(nop)) +) +(module + (func(nop)(nop)) +) +(module + (func $f(nop)) +) +(module + (func br 0(nop)) +) +(module + (table 1 funcref) + (func) + (elem (i32.const 0)0) +) +(module + (table 1 funcref) + (func $f) + (elem (i32.const 0)$f) +) +(module + (memory 1) + (data (i32.const 0)"a") +) +(module + (import "spectest" "print"(func)) +) + + +;; Tokens can be delimited by comments + +(module + (func;;bla + ) +) +(module + (func (nop);;bla + ) +) +(module + (func nop;;bla + ) +) +(module + (func $f;;bla + ) +) +(module + (func br 0;;bla + ) +) +(module + (data "a";;bla + ) +) + + +;; Space required between symbols and non-parenthesis tokens + +(module + (func (block $l (i32.const 0) (br_table 0 $l))) +) +(assert_malformed + (module quote + "(func (block $l (i32.const 0) (br_table 0$l)))" + ) + "unknown operator" +) + +(module + (func (block $l (i32.const 0) (br_table $l 0))) +) +(assert_malformed + (module quote + "(func (block $l (i32.const 0) (br_table $l0)))" + ) + "unknown label" +) + +(module + (func (block $l (i32.const 0) (br_table $l $l))) +) +(assert_malformed + (module quote + "(func (block $l (i32.const 0) (br_table $l$l)))" + ) + "unknown label" +) + +(module + (func (block $l0 (i32.const 0) (br_table $l0))) +) +(module + (func (block $l$l (i32.const 0) (br_table $l$l))) +) + + +;; Space required between strings and non-parenthesis tokens + +(module + (data "a") +) +(assert_malformed + (module quote + "(data\"a\")" + ) + "unknown operator" +) + +(module + (data $l "a") +) +(assert_malformed + (module quote + "(data $l\"a\")" + ) + "unknown operator" +) + +(module + (data $l " a") +) +(assert_malformed + (module quote + "(data $l\" a\")" + ) + "unknown operator" +) + +(module + (data $l "a ") +) +(assert_malformed + (module quote + "(data $l\"a \")" + ) + "unknown operator" +) + +(module + (data $l "a " "b") +) +(assert_malformed + (module quote + "(data $l\"a \"\"b\")" + ) + "unknown operator" +) + +(module + (data $l "") +) +(assert_malformed + (module quote + "(data $l\"\")" + ) + "unknown operator" +) + +(module + (data $l " ") +) +(assert_malformed + (module quote + "(data $l\" \")" + ) + "unknown operator" +) + +(module + (data $l " ") +) +(assert_malformed + (module quote + "(data $l\" \")" + ) + "unknown operator" +) + +(module + (data "a" "b") +) +(assert_malformed + (module quote + "(data \"a\"\"b\")" + ) + "unknown operator" +) + +(module + (data "a" " b") +) +(assert_malformed + (module quote + "(data \"a\"\" b\")" + ) + "unknown operator" +) + +(module + (data "a " "b") +) +(assert_malformed + (module quote + "(data \"a \"\"b\")" + ) + "unknown operator" +) + +(module + (data "" "") +) +(assert_malformed + (module quote + "(data \"\"\"\")" + ) + "unknown operator" +) + +(module + (data "" " ") +) +(assert_malformed + (module quote + "(data \"\"\" \")" + ) + "unknown operator" +) + +(module + (data " " "") +) +(assert_malformed + (module quote + "(data \" \"\"\")" + ) + "unknown operator" +) + + +(assert_malformed + (module quote + "(func \"a\"x)" + ) + "unknown operator" +) +(assert_malformed + (module quote + "(func \"a\"0)" + ) + "unknown operator" +) +(assert_malformed + (module quote + "(func 0\"a\")" + ) + "unknown operator" +) +(assert_malformed + (module quote + "(func \"a\"$x)" + ) + "unknown operator" +) diff --git a/internal/integration_test/spectest/v2/testdata/unreachable.0.wasm b/internal/integration_test/spectest/v2/testdata/unreachable.0.wasm index 947209f96b..ca5423f03e 100644 Binary files a/internal/integration_test/spectest/v2/testdata/unreachable.0.wasm and b/internal/integration_test/spectest/v2/testdata/unreachable.0.wasm differ diff --git a/internal/integration_test/spectest/v2/testdata/unreachable.json b/internal/integration_test/spectest/v2/testdata/unreachable.json index d338433a87..e3d2c9e6c7 100644 --- a/internal/integration_test/spectest/v2/testdata/unreachable.json +++ b/internal/integration_test/spectest/v2/testdata/unreachable.json @@ -2,8 +2,8 @@ "commands": [ {"type": "module", "line": 3, "filename": "unreachable.0.wasm"}, {"type": "assert_trap", "line": 221, "action": {"type": "invoke", "field": "type-i32", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, - {"type": "assert_trap", "line": 222, "action": {"type": "invoke", "field": "type-i64", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, - {"type": "assert_trap", "line": 223, "action": {"type": "invoke", "field": "type-f32", "args": []}, "text": "unreachable", "expected": [{"type": "f64"}]}, + {"type": "assert_trap", "line": 222, "action": {"type": "invoke", "field": "type-i64", "args": []}, "text": "unreachable", "expected": [{"type": "i64"}]}, + {"type": "assert_trap", "line": 223, "action": {"type": "invoke", "field": "type-f32", "args": []}, "text": "unreachable", "expected": [{"type": "f32"}]}, {"type": "assert_trap", "line": 224, "action": {"type": "invoke", "field": "type-f64", "args": []}, "text": "unreachable", "expected": [{"type": "f64"}]}, {"type": "assert_trap", "line": 226, "action": {"type": "invoke", "field": "as-func-first", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, {"type": "assert_trap", "line": 227, "action": {"type": "invoke", "field": "as-func-mid", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, diff --git a/internal/integration_test/spectest/v2/testdata/unreachable.wast b/internal/integration_test/spectest/v2/testdata/unreachable.wast index 3074847a3e..19f661be1d 100644 --- a/internal/integration_test/spectest/v2/testdata/unreachable.wast +++ b/internal/integration_test/spectest/v2/testdata/unreachable.wast @@ -6,8 +6,8 @@ (func $dummy3 (param i32 i32 i32)) (func (export "type-i32") (result i32) (unreachable)) - (func (export "type-i64") (result i32) (unreachable)) - (func (export "type-f32") (result f64) (unreachable)) + (func (export "type-i64") (result i64) (unreachable)) + (func (export "type-f32") (result f32) (unreachable)) (func (export "type-f64") (result f64) (unreachable)) (func (export "as-func-first") (result i32)