diff options
| author | Ben Smith <binji@chromium.org> | 2016-08-22 13:39:08 -0700 |
|---|---|---|
| committer | Ben Smith <binji@chromium.org> | 2016-09-29 11:37:27 -0700 |
| commit | 4197c06ab756cdc7c3c1cd79c219fb8a9002a342 (patch) | |
| tree | 4e31c32f0b01ac4f035e0cc96328df0503061ab4 /test/interp | |
| parent | 9b764f3d9681b1f1fa2bf2d37d00ecf1a0b14144 (diff) | |
| download | wabt-4197c06ab756cdc7c3c1cd79c219fb8a9002a342.tar.gz wabt-4197c06ab756cdc7c3c1cd79c219fb8a9002a342.tar.bz2 wabt-4197c06ab756cdc7c3c1cd79c219fb8a9002a342.zip | |
fix the interp/ tests, move the spec tests out
Mostly just requires proper implementation of drop/tee_local in
wasm-binary-reader-interpreter.c and wasm-interpreter.c.
Diffstat (limited to 'test/interp')
84 files changed, 13 insertions, 2614 deletions
diff --git a/test/interp/expr-block.txt b/test/interp/expr-block.txt index 07db59d5..652e8fa1 100644 --- a/test/interp/expr-block.txt +++ b/test/interp/expr-block.txt @@ -2,7 +2,7 @@ (module (func $test (result i32) (block - (i32.const 10) + (drop (i32.const 10)) (i32.const 1))) (export "test" $test)) (;; STDOUT ;;; diff --git a/test/interp/if-then-br.txt b/test/interp/if-then-br.txt index 4498a579..35cba010 100644 --- a/test/interp/if-then-br.txt +++ b/test/interp/if-then-br.txt @@ -1,11 +1,7 @@ ;;; TOOL: run-interp -;; The br expression breaks out of its if, without a value. Normally, the type -;; of the true branch would be i32, because the last statement has the type -;; i32. Since the br has no value, though, the true branch also has no value -;; so (i32.const 2) must be discarded. Since the true branch has no value, the -;; false branch must not have a value either, so (i32.const 3) is discarded as -;; well. +;; This used to test an odd case that forced dropping the (i32.const 3) of the +;; else branch. Now that drops are explicit, this case is straightforward. (module (func $f (param i32) (result i32) @@ -16,7 +12,7 @@ (br $l) (i32.const 2)) (else - (i32.const 3))) + (drop (i32.const 3)))) (i32.const 2)) (export "e1" $e1) diff --git a/test/interp/nested-if.txt b/test/interp/nested-if.txt index f0baac5b..261b03ee 100644 --- a/test/interp/nested-if.txt +++ b/test/interp/nested-if.txt @@ -1,13 +1,9 @@ ;;; TOOL: run-interp -;; This tests two paths branching to the same location, with different value -;; stack heights. - -;; The (i32.const 2) value needs to be discarded because the false branch of the -;; outer if does not return a value. However, in a bottom-up parser, this is not -;; known until the inner if expression is reduced. So the previously generated -;; code for the true branch of the outer if must be fixed-up later, when the -;; outer if expression is reduced. +;; This used to test an odd case where a nested if would return a void, so the +;; true branch of the outer if would have to be dropped its instructions had +;; already been generated. Now that drops are explicit, this case is +;; straightforward. (module (export "f" $f) @@ -15,7 +11,7 @@ (block $exit (if ;; outer if (i32.const 1) - (i32.const 2) + (drop (i32.const 2)) (if ;; inner if (i32.const 3) (br $exit)))) diff --git a/test/interp/spec/address.txt b/test/interp/spec/address.txt deleted file mode 100644 index 3076289e..00000000 --- a/test/interp/spec/address.txt +++ /dev/null @@ -1,49 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/address.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/address.wast:34:63: offset must be less than or equal to 0xffffffff -...memory 1) (func $bad1 (param $i i32) (i32.load offset=4294967296 (get_loca... - ^ -called import spectest.print(i32:97) -called import spectest.print(i32:98) -called import spectest.print(i32:99) -called import spectest.print(i32:122) -called import spectest.print(i32:25185) -called import spectest.print(i32:25185) -called import spectest.print(i32:25442) -called import spectest.print(i32:25699) -called import spectest.print(i32:122) -called import spectest.print(i32:1684234849) -called import spectest.print(i32:1701077858) -called import spectest.print(i32:1717920867) -called import spectest.print(i32:122) -$invoke_0() -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -$invoke_1() -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -called import spectest.print(i32:0) -3/3 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/binary.txt b/test/interp/spec/binary.txt deleted file mode 100644 index 1372a913..00000000 --- a/test/interp/spec/binary.txt +++ /dev/null @@ -1,41 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/binary.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/binary.wast:4:18: error in binary module: @0x00000000: unable to read uint32_t: magic -(assert_invalid (module "") "unexpected end") - ^^^^^^ -assert_invalid error: - third_party/testsuite/binary.wast:5:18: error in binary module: @0x00000000: unable to read uint32_t: magic -(assert_invalid (module "\01") "unexpected end") - ^^^^^^ -assert_invalid error: - third_party/testsuite/binary.wast:6:18: error in binary module: @0x00000000: unable to read uint32_t: magic -(assert_invalid (module "\00as") "unexpected end") - ^^^^^^ -assert_invalid error: - third_party/testsuite/binary.wast:7:18: error in binary module: @0x00000000: unable to read uint32_t: magic -(assert_invalid (module "\01") "unexpected end") - ^^^^^^ -assert_invalid error: - third_party/testsuite/binary.wast:8:18: error in binary module: @0x00000004: bad magic value -(assert_invalid (module "asm\00") "magic header not detected") - ^^^^^^ -assert_invalid error: - third_party/testsuite/binary.wast:10:18: error in binary module: @0x00000004: unable to read uint32_t: version -(assert_invalid (module "\00asm") "unexpected end") - ^^^^^^ -assert_invalid error: - third_party/testsuite/binary.wast:11:18: error in binary module: @0x00000004: unable to read uint32_t: version -(assert_invalid (module "\00asm\0b") "unexpected end") - ^^^^^^ -assert_invalid error: - third_party/testsuite/binary.wast:12:18: error in binary module: @0x00000004: unable to read uint32_t: version -(assert_invalid (module "\00asm\0b\00\00") "unexpected end") - ^^^^^^ -assert_invalid error: - third_party/testsuite/binary.wast:13:18: error in binary module: @0x00000008: bad wasm file version: 0x10 (expected 0xb) -(assert_invalid (module "\00asm\10\00\00\00") "unknown binary version") - ^^^^^^ -0/0 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/block.txt b/test/interp/spec/block.txt deleted file mode 100644 index 791b1818..00000000 --- a/test/interp/spec/block.txt +++ /dev/null @@ -1,81 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/block.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/block.wast:153:46: type mismatch of block. got void, expected i32 - (module (func $type-empty-i32 (result i32) (block))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:157:46: type mismatch of block. got void, expected i64 - (module (func $type-empty-i64 (result i64) (block))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:161:46: type mismatch of block. got void, expected f32 - (module (func $type-empty-f32 (result f32) (block))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:165:46: type mismatch of block. got void, expected f64 - (module (func $type-empty-f64 (result f64) (block))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:171:12: type mismatch in nop. got void, expected i32 - (block (nop)) - ^ -assert_invalid error: - third_party/testsuite/block.wast:177:12: type mismatch of block. got f32, expected i32 - (block (f32.const 0)) - ^ -assert_invalid error: - third_party/testsuite/block.wast:183:33: type mismatch in nop. got void, expected i32 - (block (br 0 (i32.const 1)) (nop)) - ^ -assert_invalid error: - third_party/testsuite/block.wast:189:33: type mismatch of block. got f32, expected i32 - (block (br 0 (i32.const 1)) (f32.const 0)) - ^ -assert_invalid error: - third_party/testsuite/block.wast:196:12: type mismatch of br value. got void, expected i32 - (block (br 0)) - ^ -assert_invalid error: - third_party/testsuite/block.wast:202:12: type mismatch of br value. got void, expected i32 - (block (br 0) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/block.wast:208:18: type mismatch of br value. got i64, expected i32 - (block (br 0 (i64.const 1)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/block.wast:214:18: type mismatch of br value. got i64, expected i32 - (block (br 0 (i64.const 1)) (br 0 (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:220:39: type mismatch of br value. got f64, expected i32 - (block (br 0 (i32.const 1)) (br 0 (f64.const 1))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:227:19: type mismatch of br value. got void, expected i32 - (block (block (br 1)) (br 0 (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:233:25: type mismatch of br value. got i64, expected i32 - (block (block (br 1 (i64.const 1))) (br 0 (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:239:21: type mismatch of br value. got void, expected i32 - (i32.ctz (block (br 0))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:245:5: type mismatch of function result. got i64, expected i32 - (i64.ctz (block (br 0 (i64.const 9)))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:250:37: type mismatch of br value. got void, expected i32 - (module (func (result i32) (block (br 0)))) - ^ -assert_invalid error: - third_party/testsuite/block.wast:254:46: type mismatch of br value. got void, expected i32 - (module (func (result i32) (i32.ctz (block (br 0))))) - ^ -19/19 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/br.txt b/test/interp/spec/br.txt deleted file mode 100644 index 6765a3ad..00000000 --- a/test/interp/spec/br.txt +++ /dev/null @@ -1,25 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/br.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/br.wast:342:12: type mismatch of br value. got void, expected i32 - (block (br 0) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br.wast:348:18: type mismatch of br value. got i64, expected i32 - (block (br 0 (i64.const 1)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br.wast:354:36: label variable out of range (max 1) - (module (func $unbound-label (br 1))) - ^ -assert_invalid error: - third_party/testsuite/br.wast:358:57: label variable out of range (max 3) - (module (func $unbound-nested-label (block (block (br 5))))) - ^ -assert_invalid error: - third_party/testsuite/br.wast:362:34: label variable out of range (max 1) - (module (func $large-label (br 0x100000001))) - ^^^^^^^^^^^ -64/64 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/br_if.txt b/test/interp/spec/br_if.txt deleted file mode 100644 index 5fe01541..00000000 --- a/test/interp/spec/br_if.txt +++ /dev/null @@ -1,93 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/br_if.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/br_if.wast:196:49: type mismatch of unary op. got void, expected i32 - (module (func $type-false-i32 (block (i32.ctz (br_if 0 (i32.const 0)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:200:49: type mismatch of unary op. got void, expected i64 - (module (func $type-false-i64 (block (i64.ctz (br_if 0 (i32.const 0)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:204:49: type mismatch of unary op. got void, expected f32 - (module (func $type-false-f32 (block (f32.neg (br_if 0 (i32.const 0)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:208:49: type mismatch of unary op. got void, expected f64 - (module (func $type-false-f64 (block (f64.neg (br_if 0 (i32.const 0)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:213:48: type mismatch of unary op. got void, expected i32 - (module (func $type-true-i32 (block (i32.ctz (br_if 0 (i32.const 1)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:217:48: type mismatch of unary op. got void, expected i64 - (module (func $type-true-i64 (block (i64.ctz (br_if 0 (i64.const 1)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:217:57: type mismatch of br_if condition. got i64, expected i32 - (module (func $type-true-i64 (block (i64.ctz (br_if 0 (i64.const 1)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:221:48: type mismatch of unary op. got void, expected f32 - (module (func $type-true-f32 (block (f32.neg (br_if 0 (f32.const 1)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:221:57: type mismatch of br_if condition. got f32, expected i32 - (module (func $type-true-f32 (block (f32.neg (br_if 0 (f32.const 1)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:225:48: type mismatch of unary op. got void, expected f64 - (module (func $type-true-f64 (block (f64.neg (br_if 0 (i64.const 1)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:225:57: type mismatch of br_if condition. got i64, expected i32 - (module (func $type-true-f64 (block (f64.neg (br_if 0 (i64.const 1)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:231:12: type mismatch of br_if value. got void, expected i32 - (block (br_if 0 (i32.const 0)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:237:12: type mismatch of br_if value. got void, expected i32 - (block (br_if 0 (i32.const 1)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:243:21: type mismatch of br_if value. got i64, expected i32 - (block (br_if 0 (i64.const 1) (i32.const 0)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:249:21: type mismatch of br_if value. got i64, expected i32 - (block (br_if 0 (i64.const 1) (i32.const 0)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:256:21: type mismatch in nop. got void, expected i32 - (block (br_if 0 (nop))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:262:21: type mismatch of br_if condition. got i64, expected i32 - (block (br_if 0 (i64.const 0))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:268:35: type mismatch in nop. got void, expected i32 - (block (br_if 0 (i32.const 0) (nop)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:274:35: type mismatch of br_if condition. got i64, expected i32 - (block (br_if 0 (i32.const 0) (i64.const 0)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:280:39: label variable out of range (max 1) - (module (func $unbound-label (br_if 1 (i32.const 1)))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:284:60: label variable out of range (max 3) - (module (func $unbound-nested-label (block (block (br_if 5 (i32.const 1)))))) - ^ -assert_invalid error: - third_party/testsuite/br_if.wast:288:37: label variable out of range (max 1) - (module (func $large-label (br_if 0x100000001 (i32.const 1)))) - ^^^^^^^^^^^ -50/50 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/br_table.txt b/test/interp/spec/br_table.txt deleted file mode 100644 index d8529709..00000000 --- a/test/interp/spec/br_table.txt +++ /dev/null @@ -1,61 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/br_table.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/br_table.wast:1261:12: type mismatch of br_table default target. got void, expected i32 - (block (br_table 0 (i32.const 1)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1267:28: type mismatch of br_table target. got i64, expected i32 - (block (br_table 0 0 0 (i64.const 1) (i32.const 1)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1267:28: type mismatch of br_table target. got i64, expected i32 - (block (br_table 0 0 0 (i64.const 1) (i32.const 1)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1267:28: type mismatch of br_table default target. got i64, expected i32 - (block (br_table 0 0 0 (i64.const 1) (i32.const 1)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1274:28: type mismatch in nop. got void, expected i32 - (block (br_table 0 0 0 (nop))) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1280:24: type mismatch of key. got i64, expected i32 - (block (br_table 0 (i64.const 0))) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1286:40: type mismatch in nop. got void, expected i32 - (block (br_table 0 0 (i32.const 0) (nop)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1292:40: type mismatch of key. got i64, expected i32 - (block (br_table 0 0 (i32.const 0) (i64.const 0)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1299:22: label variable out of range (max 2) - (block (br_table 2 1 (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1305:31: label variable out of range (max 3) - (block (block (br_table 0 5 (i32.const 1)))) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1311:24: label variable out of range (max 2) - (block (br_table 0 0x100000001 0 (i32.const 1))) - ^^^^^^^^^^^ -assert_invalid error: - third_party/testsuite/br_table.wast:1318:24: label variable out of range (max 2) - (block (br_table 1 2 (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1324:31: label variable out of range (max 3) - (block (block (br_table 0 5 (i32.const 1)))) - ^ -assert_invalid error: - third_party/testsuite/br_table.wast:1330:26: label variable out of range (max 2) - (block (br_table 0 0 0x100000001 (i32.const 1))) - ^^^^^^^^^^^ -146/146 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/break-drop.txt b/test/interp/spec/break-drop.txt deleted file mode 100644 index d432aae1..00000000 --- a/test/interp/spec/break-drop.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/break-drop.wast -(;; STDOUT ;;; -15/15 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/call.txt b/test/interp/spec/call.txt deleted file mode 100644 index 4002e211..00000000 --- a/test/interp/spec/call.txt +++ /dev/null @@ -1,73 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/call.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/call.wast:152:38: type mismatch of call result. got void, expected i32 - (func $type-void-vs-num (i32.eqz (call 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:159:37: type mismatch of call result. got i64, expected i32 - (func $type-num-vs-num (i32.eqz (call 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:167:25: too few parameters to function in call. got 0, expected 1 - (func $arity-0-vs-1 (call 1)) - ^ -assert_invalid error: - third_party/testsuite/call.wast:174:25: too few parameters to function in call. got 0, expected 2 - (func $arity-0-vs-2 (call 1)) - ^ -assert_invalid error: - third_party/testsuite/call.wast:181:25: too many parameters to function in call. got 1, expected 0 - (func $arity-1-vs-0 (call 1 (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:188:25: too many parameters to function in call. got 2, expected 0 - (func $arity-2-vs-0 (call 1 (f64.const 2) (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:196:28: too many parameters to function in call. got 3, expected 2 - (func $arity-nop-first (call 1 (nop) (i32.const 1) (i32.const 2))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:203:26: too many parameters to function in call. got 3, expected 2 - (func $arity-nop-mid (call 1 (i32.const 1) (nop) (i32.const 2))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:210:27: too many parameters to function in call. got 3, expected 2 - (func $arity-nop-last (call 1 (i32.const 1) (i32.const 2) (nop))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:218:43: type mismatch in nop. got void, expected i32 - (func $type-first-void-vs-num (call 1 (nop) (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:225:58: type mismatch in nop. got void, expected i32 - (func $type-second-void-vs-num (call 1 (i32.const 1) (nop))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:232:42: type mismatch of argument 0 of call. got f64, expected i32 - (func $type-first-num-vs-num (call 1 (f64.const 1) (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:232:56: type mismatch of argument 1 of call. got i32, expected f64 - (func $type-first-num-vs-num (call 1 (f64.const 1) (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:239:43: type mismatch of argument 0 of call. got i32, expected f64 - (func $type-second-num-vs-num (call 1 (i32.const 1) (f64.const 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:239:57: type mismatch of argument 1 of call. got f64, expected i32 - (func $type-second-num-vs-num (call 1 (i32.const 1) (f64.const 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:249:37: function variable out of range (max 1) - (module (func $unbound-func (call 1))) - ^ -assert_invalid error: - third_party/testsuite/call.wast:253:35: function variable out of range (max 1) - (module (func $large-func (call 10001232130000))) - ^^^^^^^^^^^^^^ -35/35 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/call_indirect.txt b/test/interp/spec/call_indirect.txt deleted file mode 100644 index 2fe301de..00000000 --- a/test/interp/spec/call_indirect.txt +++ /dev/null @@ -1,81 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/call_indirect.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/call_indirect.wast:201:38: type mismatch of call_indirect result. got void, expected i32 - (func $type-void-vs-num (i32.eqz (call_indirect 0 (i32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:208:37: type mismatch of call_indirect result. got i64, expected i32 - (func $type-num-vs-num (i32.eqz (call_indirect 0 (i32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:216:25: too few parameters to function in call_indirect. got 0, expected 1 - (func $arity-0-vs-1 (call_indirect 0 (i32.const 0))) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:223:25: too few parameters to function in call_indirect. got 0, expected 2 - (func $arity-0-vs-2 (call_indirect 0 (i32.const 0))) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:230:25: too many parameters to function in call_indirect. got 1, expected 0 - (func $arity-1-vs-0 (call_indirect 0 (i32.const 0) (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:238:7: too many parameters to function in call_indirect. got 2, expected 0 - (call_indirect 0 (i32.const 0) (f64.const 2) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:248:7: too many parameters to function in call_indirect. got 3, expected 2 - (call_indirect 0 (i32.const 0) (nop) (i32.const 1) (i32.const 2)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:257:7: too many parameters to function in call_indirect. got 3, expected 2 - (call_indirect 0 (i32.const 0) (i32.const 1) (nop) (i32.const 2)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:266:7: too many parameters to function in call_indirect. got 3, expected 2 - (call_indirect 0 (i32.const 0) (i32.const 1) (i32.const 2) (nop)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:275:51: type mismatch in nop. got void, expected i32 - (func $type-func-void-vs-i32 (call_indirect 0 (nop) (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:282:50: type mismatch of function index. got i64, expected i32 - (func $type-func-num-vs-i32 (call_indirect 0 (i64.const 1) (i32.const 0))) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:291:38: type mismatch in nop. got void, expected i32 - (call_indirect 0 (i32.const 0) (nop) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:300:52: type mismatch in nop. got void, expected i32 - (call_indirect 0 (i32.const 0) (i32.const 1) (nop)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:309:38: type mismatch of argument 0 of call_indirect. got f64, expected i32 - (call_indirect 0 (i32.const 0) (f64.const 1) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:309:52: type mismatch of argument 1 of call_indirect. got i32, expected f64 - (call_indirect 0 (i32.const 0) (f64.const 1) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:318:38: type mismatch of argument 0 of call_indirect. got i32, expected f64 - (call_indirect 0 (i32.const 0) (i32.const 1) (f64.const 1)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:318:52: type mismatch of argument 1 of call_indirect. got f64, expected i32 - (call_indirect 0 (i32.const 0) (i32.const 1) (f64.const 1)) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:328:46: function type variable out of range (max 1) - (module (func $unbound-type (call_indirect 1 (i32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/call_indirect.wast:332:44: function type variable out of range (max 1) - (module (func $large-type (call_indirect 10001232130000 (i32.const 0)))) - ^^^^^^^^^^^^^^ -41/41 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/comments.txt b/test/interp/spec/comments.txt deleted file mode 100644 index b09588fc..00000000 --- a/test/interp/spec/comments.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/comments.wast -(;; STDOUT ;;; -0/0 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/conversions.txt b/test/interp/spec/conversions.txt deleted file mode 100644 index c05b078c..00000000 --- a/test/interp/spec/conversions.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/conversions.wast -(;; STDOUT ;;; -359/359 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/endianness.txt b/test/interp/spec/endianness.txt deleted file mode 100644 index 6b1f4827..00000000 --- a/test/interp/spec/endianness.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/endianness.wast -(;; STDOUT ;;; -68/68 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/exports.txt b/test/interp/spec/exports.txt deleted file mode 100644 index deba9eea..00000000 --- a/test/interp/spec/exports.txt +++ /dev/null @@ -1,21 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/exports.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/exports.wast:5:44: function variable out of range (max 1) - (module (func (i32.const 1)) (export "a" 1)) - ^ -assert_invalid error: - third_party/testsuite/exports.wast:8:68: redefinition of export "a" -...dule (func (i32.const 1)) (func (i32.const 2)) (export "a" 0) (export "a" 1)) - ^^^^^^^^^^^^^^ -assert_invalid error: - third_party/testsuite/exports.wast:11:47: redefinition of export "a" - (module (func (i32.const 1)) (export "a" 0) (export "a" 0)) - ^^^^^^^^^^^^^^ -assert_invalid error: - third_party/testsuite/exports.wast:26:25: no memory to export -(assert_invalid (module (export "a" memory)) "no memory to export") - ^^^^^^^^^^^^^^^^^^^ -1/1 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/f32.load32.fail.txt b/test/interp/spec/f32.load32.fail.txt deleted file mode 100644 index e85524fd..00000000 --- a/test/interp/spec/f32.load32.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f32.load32.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/f32.load32.fail.wast:1:52: unexpected token "f32.load32" -(module (memory 1) (func (param i32) (result f32) (f32.load32 (get_local 0)))) - ^^^^^^^^^^ -third_party/testsuite/f32.load32.fail.wast:1:63: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result f32) (f32.load32 (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/f32.load64.fail.txt b/test/interp/spec/f32.load64.fail.txt deleted file mode 100644 index 5d925bcb..00000000 --- a/test/interp/spec/f32.load64.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f32.load64.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/f32.load64.fail.wast:1:52: unexpected token "f32.load64" -(module (memory 1) (func (param i32) (result f32) (f32.load64 (get_local 0)))) - ^^^^^^^^^^ -third_party/testsuite/f32.load64.fail.wast:1:63: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result f32) (f32.load64 (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/f32.store32.fail.txt b/test/interp/spec/f32.store32.fail.txt deleted file mode 100644 index 1417072c..00000000 --- a/test/interp/spec/f32.store32.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f32.store32.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/f32.store32.fail.wast:1:51: unexpected token "f32.store32" -... 1) (func (param i32) (param f32) (f32.store32 (get_local 0) (get_local 1)))) - ^^^^^^^^^^^ -third_party/testsuite/f32.store32.fail.wast:1:63: syntax error, unexpected ( -... 1) (func (param i32) (param f32) (f32.store32 (get_local 0) (get_local 1)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/f32.store64.fail.txt b/test/interp/spec/f32.store64.fail.txt deleted file mode 100644 index 0c35819d..00000000 --- a/test/interp/spec/f32.store64.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f32.store64.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/f32.store64.fail.wast:1:51: unexpected token "f32.store64" -... 1) (func (param i32) (param f64) (f32.store64 (get_local 0) (get_local 1)))) - ^^^^^^^^^^^ -third_party/testsuite/f32.store64.fail.wast:1:63: syntax error, unexpected ( -... 1) (func (param i32) (param f64) (f32.store64 (get_local 0) (get_local 1)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/f32.txt b/test/interp/spec/f32.txt deleted file mode 100644 index ab5859c0..00000000 --- a/test/interp/spec/f32.txt +++ /dev/null @@ -1,6 +0,0 @@ -;;; SLOW: -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f32.wast -(;; STDOUT ;;; -2394/2394 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/f32_cmp.txt b/test/interp/spec/f32_cmp.txt deleted file mode 100644 index 156f8bbf..00000000 --- a/test/interp/spec/f32_cmp.txt +++ /dev/null @@ -1,6 +0,0 @@ -;;; SLOW: -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f32_cmp.wast -(;; STDOUT ;;; -1944/1944 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/f64.load32.fail.txt b/test/interp/spec/f64.load32.fail.txt deleted file mode 100644 index 85cf1f5b..00000000 --- a/test/interp/spec/f64.load32.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f64.load32.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/f64.load32.fail.wast:1:52: unexpected token "f64.load32" -(module (memory 1) (func (param i32) (result f64) (f64.load32 (get_local 0)))) - ^^^^^^^^^^ -third_party/testsuite/f64.load32.fail.wast:1:63: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result f64) (f64.load32 (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/f64.load64.fail.txt b/test/interp/spec/f64.load64.fail.txt deleted file mode 100644 index 45f7458a..00000000 --- a/test/interp/spec/f64.load64.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f64.load64.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/f64.load64.fail.wast:1:52: unexpected token "f64.load64" -(module (memory 1) (func (param i32) (result f64) (f64.load64 (get_local 0)))) - ^^^^^^^^^^ -third_party/testsuite/f64.load64.fail.wast:1:63: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result f64) (f64.load64 (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/f64.store32.fail.txt b/test/interp/spec/f64.store32.fail.txt deleted file mode 100644 index e12a15ee..00000000 --- a/test/interp/spec/f64.store32.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f64.store32.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/f64.store32.fail.wast:1:51: unexpected token "f64.store32" -... 1) (func (param i32) (param f32) (f64.store32 (get_local 0) (get_local 1)))) - ^^^^^^^^^^^ -third_party/testsuite/f64.store32.fail.wast:1:63: syntax error, unexpected ( -... 1) (func (param i32) (param f32) (f64.store32 (get_local 0) (get_local 1)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/f64.store64.fail.txt b/test/interp/spec/f64.store64.fail.txt deleted file mode 100644 index 614c6664..00000000 --- a/test/interp/spec/f64.store64.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f64.store64.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/f64.store64.fail.wast:1:51: unexpected token "f64.store64" -... 1) (func (param i32) (param f64) (f64.store64 (get_local 0) (get_local 1)))) - ^^^^^^^^^^^ -third_party/testsuite/f64.store64.fail.wast:1:63: syntax error, unexpected ( -... 1) (func (param i32) (param f64) (f64.store64 (get_local 0) (get_local 1)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/f64.txt b/test/interp/spec/f64.txt deleted file mode 100644 index 6194fac3..00000000 --- a/test/interp/spec/f64.txt +++ /dev/null @@ -1,6 +0,0 @@ -;;; SLOW: -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f64.wast -(;; STDOUT ;;; -2394/2394 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/f64_cmp.txt b/test/interp/spec/f64_cmp.txt deleted file mode 100644 index 94e6e9ba..00000000 --- a/test/interp/spec/f64_cmp.txt +++ /dev/null @@ -1,6 +0,0 @@ -;;; SLOW: -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/f64_cmp.wast -(;; STDOUT ;;; -1944/1944 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/fac.txt b/test/interp/spec/fac.txt deleted file mode 100644 index 2aa0584b..00000000 --- a/test/interp/spec/fac.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/fac.wast -(;; STDOUT ;;; -6/6 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/float_exprs.txt b/test/interp/spec/float_exprs.txt deleted file mode 100644 index 8125cec1..00000000 --- a/test/interp/spec/float_exprs.txt +++ /dev/null @@ -1,15 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/float_exprs.wast -(;; STDOUT ;;; -$invoke_0() -$invoke_1() -$invoke_2() -$invoke_3() -$invoke_8() -$invoke_0() -$invoke_1() -$invoke_2() -$invoke_3() -$invoke_8() -694/694 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/float_literals.txt b/test/interp/spec/float_literals.txt deleted file mode 100644 index e4c8bb9f..00000000 --- a/test/interp/spec/float_literals.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/float_literals.wast -(;; STDOUT ;;; -60/60 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/float_memory.txt b/test/interp/spec/float_memory.txt deleted file mode 100644 index c730c779..00000000 --- a/test/interp/spec/float_memory.txt +++ /dev/null @@ -1,29 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/float_memory.wast -(;; STDOUT ;;; -$invoke_2() -$invoke_5() -$invoke_8() -$invoke_11() -$invoke_2() -$invoke_5() -$invoke_8() -$invoke_11() -$invoke_2() -$invoke_5() -$invoke_8() -$invoke_11() -$invoke_2() -$invoke_5() -$invoke_8() -$invoke_11() -$invoke_2() -$invoke_5() -$invoke_8() -$invoke_11() -$invoke_2() -$invoke_5() -$invoke_8() -$invoke_11() -60/60 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/float_misc.txt b/test/interp/spec/float_misc.txt deleted file mode 100644 index eecd3853..00000000 --- a/test/interp/spec/float_misc.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/float_misc.wast -(;; STDOUT ;;; -425/425 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/forward.txt b/test/interp/spec/forward.txt deleted file mode 100644 index d65b2e8c..00000000 --- a/test/interp/spec/forward.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/forward.wast -(;; STDOUT ;;; -4/4 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/func-local-after-body.fail.txt b/test/interp/spec/func-local-after-body.fail.txt deleted file mode 100644 index 76a9c997..00000000 --- a/test/interp/spec/func-local-after-body.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/func-local-after-body.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/func-local-after-body.fail.wast:1:22: syntax error, unexpected LOCAL -(module (func (nop) (local i32))) - ^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/func-local-before-param.fail.txt b/test/interp/spec/func-local-before-param.fail.txt deleted file mode 100644 index 9ab8667d..00000000 --- a/test/interp/spec/func-local-before-param.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/func-local-before-param.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/func-local-before-param.fail.wast:1:28: syntax error, unexpected PARAM -(module (func (local i32) (param i32))) - ^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/func-local-before-result.fail.txt b/test/interp/spec/func-local-before-result.fail.txt deleted file mode 100644 index 4888e0b2..00000000 --- a/test/interp/spec/func-local-before-result.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/func-local-before-result.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/func-local-before-result.fail.wast:1:28: syntax error, unexpected RESULT -(module (func (local i32) (result i32) (get_local 0))) - ^^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/func-param-after-body.fail.txt b/test/interp/spec/func-param-after-body.fail.txt deleted file mode 100644 index c4d24809..00000000 --- a/test/interp/spec/func-param-after-body.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/func-param-after-body.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/func-param-after-body.fail.wast:1:22: syntax error, unexpected PARAM -(module (func (nop) (param i32))) - ^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/func-result-after-body.fail.txt b/test/interp/spec/func-result-after-body.fail.txt deleted file mode 100644 index f52888a0..00000000 --- a/test/interp/spec/func-result-after-body.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/func-result-after-body.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/func-result-after-body.fail.wast:1:22: syntax error, unexpected RESULT -(module (func (nop) (result i32))) - ^^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/func-result-before-param.fail.txt b/test/interp/spec/func-result-before-param.fail.txt deleted file mode 100644 index ba3f9ddf..00000000 --- a/test/interp/spec/func-result-before-param.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/func-result-before-param.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/func-result-before-param.fail.wast:1:29: syntax error, unexpected PARAM -(module (func (result i32) (param i32) (get_local 0))) - ^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/func.txt b/test/interp/spec/func.txt deleted file mode 100644 index 6cb101e5..00000000 --- a/test/interp/spec/func.txt +++ /dev/null @@ -1,117 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/func.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/func.wast:337:65: type mismatch of function result. got i32, expected i64 - (module (func $type-local-num-vs-num (result i64) (local i32) (get_local 0))) - ^ -assert_invalid error: - third_party/testsuite/func.wast:341:61: type mismatch of convert op. got f32, expected i32 - (module (func $type-local-num-vs-num (local f32) (i32.eqz (get_local 0)))) - ^ -assert_invalid error: - third_party/testsuite/func.wast:345:65: type mismatch of unary op. got i64, expected f64 - (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (get_local 1)))) - ^ -assert_invalid error: - third_party/testsuite/func.wast:353:65: type mismatch of function result. got i32, expected i64 - (module (func $type-param-num-vs-num (param i32) (result i64) (get_local 0))) - ^ -assert_invalid error: - third_party/testsuite/func.wast:357:61: type mismatch of convert op. got f32, expected i32 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^ -assert_invalid error: - third_party/testsuite/func.wast:361:65: type mismatch of unary op. got i64, expected f64 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^ -assert_invalid error: - third_party/testsuite/func.wast:369:12: type mismatch of function result. got void, expected i32 - (module (func $type-empty-i32 (result i32))) - ^^^^ -assert_invalid error: - third_party/testsuite/func.wast:373:12: type mismatch of function result. got void, expected i64 - (module (func $type-empty-i64 (result i64))) - ^^^^ -assert_invalid error: - third_party/testsuite/func.wast:377:12: type mismatch of function result. got void, expected f32 - (module (func $type-empty-f32 (result f32))) - ^^^^ -assert_invalid error: - third_party/testsuite/func.wast:381:12: type mismatch of function result. got void, expected f64 - (module (func $type-empty-f64 (result f64))) - ^^^^ -assert_invalid error: - third_party/testsuite/func.wast:387:5: type mismatch in nop. got void, expected i32 - (nop) - ^ -assert_invalid error: - third_party/testsuite/func.wast:393:5: type mismatch of function result. got f32, expected i32 - (f32.const 0) - ^ -assert_invalid error: - third_party/testsuite/func.wast:399:28: type mismatch in nop. got void, expected i32 - (return (i32.const 1)) (nop) - ^ -assert_invalid error: - third_party/testsuite/func.wast:405:28: type mismatch of function result. got f32, expected i32 - (return (i32.const 1)) (f32.const 0) - ^ -assert_invalid error: - third_party/testsuite/func.wast:411:26: type mismatch in nop. got void, expected i32 - (br 0 (i32.const 1)) (nop) - ^ -assert_invalid error: - third_party/testsuite/func.wast:417:26: type mismatch of function result. got f32, expected i32 - (br 0 (i32.const 1)) (f32.const 0) - ^ -assert_invalid error: - third_party/testsuite/func.wast:424:5: type mismatch of return. got void, expected i32 - (return) - ^ -assert_invalid error: - third_party/testsuite/func.wast:430:5: type mismatch of return. got void, expected i32 - (return) (i32.const 1) - ^ -assert_invalid error: - third_party/testsuite/func.wast:436:13: type mismatch of return. got i64, expected i32 - (return (i64.const 1)) (i32.const 1) - ^ -assert_invalid error: - third_party/testsuite/func.wast:442:13: type mismatch of return. got i64, expected i32 - (return (i64.const 1)) (return (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/func.wast:448:36: type mismatch of return. got f64, expected i32 - (return (i32.const 1)) (return (f64.const 1)) - ^ -assert_invalid error: - third_party/testsuite/func.wast:455:5: type mismatch of br value. got void, expected i32 - (br 0) - ^ -assert_invalid error: - third_party/testsuite/func.wast:461:5: type mismatch of br value. got void, expected i32 - (br 0) (i32.const 1) - ^ -assert_invalid error: - third_party/testsuite/func.wast:467:11: type mismatch of br value. got i64, expected i32 - (br 0 (i64.const 1)) (i32.const 1) - ^ -assert_invalid error: - third_party/testsuite/func.wast:473:11: type mismatch of br value. got i64, expected i32 - (br 0 (i64.const 1)) (br 0 (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/func.wast:479:32: type mismatch of br value. got f64, expected i32 - (br 0 (i32.const 1)) (br 0 (f64.const 1)) - ^ -assert_invalid error: - third_party/testsuite/func.wast:486:12: type mismatch of br value. got void, expected i32 - (block (br 1)) (br 0 (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/func.wast:492:18: type mismatch of br value. got i64, expected i32 - (block (br 1 (i64.const 1))) (br 0 (i32.const 1)) - ^ -82/82 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/func_ptrs.txt b/test/interp/spec/func_ptrs.txt deleted file mode 100644 index e0624905..00000000 --- a/test/interp/spec/func_ptrs.txt +++ /dev/null @@ -1,15 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/func_ptrs.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/func_ptrs.wast:33:37: function type variable out of range (max 0) -(assert_invalid (module (func (type 42))) "unknown function type 42") - ^^ -assert_invalid error: - third_party/testsuite/func_ptrs.wast:34:58: function type variable out of range (max 0) -...id (module (import "spectest" "print" (type 43))) "unknown function type 43") - ^^ -called import spectest.print(i32:83) -$invoke_3() -24/24 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/get_local.txt b/test/interp/spec/get_local.txt deleted file mode 100644 index 6f08a4ad..00000000 --- a/test/interp/spec/get_local.txt +++ /dev/null @@ -1,53 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/get_local.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/get_local.wast:92:65: type mismatch of function result. got i32, expected i64 - (module (func $type-local-num-vs-num (result i64) (local i32) (get_local 0))) - ^ -assert_invalid error: - third_party/testsuite/get_local.wast:96:61: type mismatch of convert op. got f32, expected i32 - (module (func $type-local-num-vs-num (local f32) (i32.eqz (get_local 0)))) - ^ -assert_invalid error: - third_party/testsuite/get_local.wast:100:65: type mismatch of unary op. got i64, expected f64 - (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (get_local 1)))) - ^ -assert_invalid error: - third_party/testsuite/get_local.wast:108:65: type mismatch of function result. got i32, expected i64 - (module (func $type-param-num-vs-num (param i32) (result i64) (get_local 0))) - ^ -assert_invalid error: - third_party/testsuite/get_local.wast:112:61: type mismatch of convert op. got f32, expected i32 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^ -assert_invalid error: - third_party/testsuite/get_local.wast:116:65: type mismatch of unary op. got i64, expected f64 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^ -assert_invalid error: - third_party/testsuite/get_local.wast:124:59: local variable out of range (max 2) - (module (func $unbound-local (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - third_party/testsuite/get_local.wast:128:57: local variable out of range (max 2) - (module (func $large-local (local i32 i64) (get_local 14324343))) - ^^^^^^^^ -assert_invalid error: - third_party/testsuite/get_local.wast:133:59: local variable out of range (max 2) - (module (func $unbound-param (param i32 i64) (get_local 2))) - ^ -assert_invalid error: - third_party/testsuite/get_local.wast:137:57: local variable out of range (max 2) - (module (func $large-param (local i32 i64) (get_local 714324343))) - ^^^^^^^^^ -assert_invalid error: - third_party/testsuite/get_local.wast:142:71: local variable out of range (max 3) - (module (func $unbound-mixed (param i32) (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - third_party/testsuite/get_local.wast:146:69: local variable out of range (max 3) - (module (func $large-mixed (param i64) (local i32 i64) (get_local 214324343))) - ^^^^^^^^^ -10/10 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/i32.load32_s.fail.txt b/test/interp/spec/i32.load32_s.fail.txt deleted file mode 100644 index 7df3d49b..00000000 --- a/test/interp/spec/i32.load32_s.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i32.load32_s.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/i32.load32_s.fail.wast:1:52: unexpected token "i32.load32_s" -(module (memory 1) (func (param i32) (result i32) (i32.load32_s (get_local 0)))) - ^^^^^^^^^^^^ -third_party/testsuite/i32.load32_s.fail.wast:1:65: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result i32) (i32.load32_s (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/i32.load32_u.fail.txt b/test/interp/spec/i32.load32_u.fail.txt deleted file mode 100644 index f74a4fa3..00000000 --- a/test/interp/spec/i32.load32_u.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i32.load32_u.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/i32.load32_u.fail.wast:1:52: unexpected token "i32.load32_u" -(module (memory 1) (func (param i32) (result i32) (i32.load32_u (get_local 0)))) - ^^^^^^^^^^^^ -third_party/testsuite/i32.load32_u.fail.wast:1:65: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result i32) (i32.load32_u (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/i32.load64_s.fail.txt b/test/interp/spec/i32.load64_s.fail.txt deleted file mode 100644 index 9ea4e79a..00000000 --- a/test/interp/spec/i32.load64_s.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i32.load64_s.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/i32.load64_s.fail.wast:1:52: unexpected token "i32.load64_s" -(module (memory 1) (func (param i32) (result i32) (i32.load64_s (get_local 0)))) - ^^^^^^^^^^^^ -third_party/testsuite/i32.load64_s.fail.wast:1:65: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result i32) (i32.load64_s (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/i32.load64_u.fail.txt b/test/interp/spec/i32.load64_u.fail.txt deleted file mode 100644 index 68437ec0..00000000 --- a/test/interp/spec/i32.load64_u.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i32.load64_u.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/i32.load64_u.fail.wast:1:52: unexpected token "i32.load64_u" -(module (memory 1) (func (param i32) (result i32) (i32.load64_u (get_local 0)))) - ^^^^^^^^^^^^ -third_party/testsuite/i32.load64_u.fail.wast:1:65: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result i32) (i32.load64_u (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/i32.store32.fail.txt b/test/interp/spec/i32.store32.fail.txt deleted file mode 100644 index 4c3f7171..00000000 --- a/test/interp/spec/i32.store32.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i32.store32.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/i32.store32.fail.wast:1:51: unexpected token "i32.store32" -... 1) (func (param i32) (param i32) (i32.store32 (get_local 0) (get_local 1)))) - ^^^^^^^^^^^ -third_party/testsuite/i32.store32.fail.wast:1:63: syntax error, unexpected ( -... 1) (func (param i32) (param i32) (i32.store32 (get_local 0) (get_local 1)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/i32.store64.fail.txt b/test/interp/spec/i32.store64.fail.txt deleted file mode 100644 index bd794c47..00000000 --- a/test/interp/spec/i32.store64.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i32.store64.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/i32.store64.fail.wast:1:51: unexpected token "i32.store64" -... 1) (func (param i32) (param i64) (i32.store64 (get_local 0) (get_local 1)))) - ^^^^^^^^^^^ -third_party/testsuite/i32.store64.fail.wast:1:63: syntax error, unexpected ( -... 1) (func (param i32) (param i64) (i32.store64 (get_local 0) (get_local 1)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/i32.txt b/test/interp/spec/i32.txt deleted file mode 100644 index 5622172d..00000000 --- a/test/interp/spec/i32.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i32.wast -(;; STDOUT ;;; -342/342 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/i64.load64_s.fail.txt b/test/interp/spec/i64.load64_s.fail.txt deleted file mode 100644 index 98d0a948..00000000 --- a/test/interp/spec/i64.load64_s.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i64.load64_s.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/i64.load64_s.fail.wast:1:52: unexpected token "i64.load64_s" -(module (memory 1) (func (param i32) (result i64) (i64.load64_s (get_local 0)))) - ^^^^^^^^^^^^ -third_party/testsuite/i64.load64_s.fail.wast:1:65: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result i64) (i64.load64_s (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/i64.load64_u.fail.txt b/test/interp/spec/i64.load64_u.fail.txt deleted file mode 100644 index 40f1a837..00000000 --- a/test/interp/spec/i64.load64_u.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i64.load64_u.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/i64.load64_u.fail.wast:1:52: unexpected token "i64.load64_u" -(module (memory 1) (func (param i32) (result i64) (i64.load64_u (get_local 0)))) - ^^^^^^^^^^^^ -third_party/testsuite/i64.load64_u.fail.wast:1:65: syntax error, unexpected ( -(module (memory 1) (func (param i32) (result i64) (i64.load64_u (get_local 0)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/i64.store64.fail.txt b/test/interp/spec/i64.store64.fail.txt deleted file mode 100644 index decc96e7..00000000 --- a/test/interp/spec/i64.store64.fail.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i64.store64.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/i64.store64.fail.wast:1:51: unexpected token "i64.store64" -... 1) (func (param i32) (param i64) (i64.store64 (get_local 0) (get_local 1)))) - ^^^^^^^^^^^ -third_party/testsuite/i64.store64.fail.wast:1:63: syntax error, unexpected ( -... 1) (func (param i32) (param i64) (i64.store64 (get_local 0) (get_local 1)))) - ^ - -;;; STDERR ;;) diff --git a/test/interp/spec/i64.txt b/test/interp/spec/i64.txt deleted file mode 100644 index b4df6971..00000000 --- a/test/interp/spec/i64.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/i64.wast -(;; STDOUT ;;; -344/344 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/if_label_scope.fail.txt b/test/interp/spec/if_label_scope.fail.txt deleted file mode 100644 index c975e8da..00000000 --- a/test/interp/spec/if_label_scope.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/if_label_scope.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/if_label_scope.fail.wast:6:19: undefined label variable "$l" - (else (br $l (i32.const 42))) - ^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/imports.txt b/test/interp/spec/imports.txt deleted file mode 100644 index 1afe413e..00000000 --- a/test/interp/spec/imports.txt +++ /dev/null @@ -1,9 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/imports.wast -(;; STDOUT ;;; -called import spectest.print(i32:14, f32:42) -called import spectest.print(i32:13) -called import spectest.print(i64:25, f64:53) -called import spectest.print(i64:24) -2/2 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/int_exprs.txt b/test/interp/spec/int_exprs.txt deleted file mode 100644 index c2816c95..00000000 --- a/test/interp/spec/int_exprs.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/int_exprs.wast -(;; STDOUT ;;; -79/79 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/int_literals.txt b/test/interp/spec/int_literals.txt deleted file mode 100644 index 49c263ad..00000000 --- a/test/interp/spec/int_literals.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/int_literals.wast -(;; STDOUT ;;; -22/22 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/labels.txt b/test/interp/spec/labels.txt deleted file mode 100644 index 6692eaa1..00000000 --- a/test/interp/spec/labels.txt +++ /dev/null @@ -1,41 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/labels.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/labels.wast:307:36: type mismatch of unary op. got void, expected f32 - (module (func (block $l (f32.neg (br_if $l (i32.const 1))) (nop)))) - ^ -assert_invalid error: - third_party/testsuite/labels.wast:311:40: type mismatch of block. got void, expected f32 - (module (func (result f32) (block $l (br_if $l (f32.const 0) (i32.const 1))))) - ^ -assert_invalid error: - third_party/testsuite/labels.wast:315:40: type mismatch of block. got void, expected i32 - (module (func (result i32) (block $l (br_if $l (f32.const 0) (i32.const 1))))) - ^ -assert_invalid error: - third_party/testsuite/labels.wast:315:50: type mismatch of br_if value. got f32, expected i32 - (module (func (result i32) (block $l (br_if $l (f32.const 0) (i32.const 1))))) - ^ -assert_invalid error: - third_party/testsuite/labels.wast:319:36: type mismatch of unary op. got void, expected f32 - (module (func (block $l (f32.neg (br_if $l (f32.const 0) (i32.const 1)))))) - ^ -assert_invalid error: - third_party/testsuite/labels.wast:325:17: type mismatch of block. got f32, expected i32 - (block $l (f32.neg (br_if $l (f32.const 0) (get_local 0)))) - ^ -assert_invalid error: - third_party/testsuite/labels.wast:325:26: type mismatch of unary op. got void, expected f32 - (block $l (f32.neg (br_if $l (f32.const 0) (get_local 0)))) - ^ -assert_invalid error: - third_party/testsuite/labels.wast:325:36: type mismatch of br_if value. got f32, expected i32 - (block $l (f32.neg (br_if $l (f32.const 0) (get_local 0)))) - ^ -assert_invalid error: - third_party/testsuite/labels.wast:333:36: type mismatch of block. got void, expected f32 - (block $l (f32.neg (block $i (br_if $l (f32.const 3) (get_local 0))))) - ^ -26/26 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/left-to-right.txt b/test/interp/spec/left-to-right.txt deleted file mode 100644 index 8ded6620..00000000 --- a/test/interp/spec/left-to-right.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/left-to-right.wast -(;; STDOUT ;;; -95/95 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/loop.txt b/test/interp/spec/loop.txt deleted file mode 100644 index 31a425f0..00000000 --- a/test/interp/spec/loop.txt +++ /dev/null @@ -1,73 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/loop.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/loop.wast:262:46: type mismatch of loop. got void, expected i32 - (module (func $type-empty-i32 (result i32) (loop))) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:266:46: type mismatch of loop. got void, expected i64 - (module (func $type-empty-i64 (result i64) (loop))) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:270:46: type mismatch of loop. got void, expected f32 - (module (func $type-empty-f32 (result f32) (loop))) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:274:46: type mismatch of loop. got void, expected f64 - (module (func $type-empty-f64 (result f64) (loop))) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:280:11: type mismatch in nop. got void, expected i32 - (loop (nop)) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:286:11: type mismatch of loop. got f32, expected i32 - (loop (f32.const 0)) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:292:32: type mismatch in nop. got void, expected i32 - (loop (br 1 (i32.const 1)) (nop)) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:298:32: type mismatch of loop. got f32, expected i32 - (loop (br 1 (i32.const 1)) (f32.const 0)) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:305:11: type mismatch of br value. got void, expected i32 - (loop (br 1)) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:311:11: type mismatch of br value. got void, expected i32 - (loop (br 1) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:317:17: type mismatch of br value. got i64, expected i32 - (loop (br 1 (i64.const 1)) (i32.const 1)) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:323:17: type mismatch of br value. got i64, expected i32 - (loop (br 1 (i64.const 1)) (br 1 (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:329:38: type mismatch of br value. got f64, expected i32 - (loop (br 1 (i32.const 1)) (br 1 (f64.const 1))) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:336:17: type mismatch of br value. got void, expected i32 - (loop (loop (br 3)) (br 1 (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:342:23: type mismatch of br value. got i64, expected i32 - (loop (loop (br 3 (i64.const 1))) (br 1 (i32.const 1))) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:348:20: type mismatch of br value. got void, expected i32 - (i32.ctz (loop (br 1))) - ^ -assert_invalid error: - third_party/testsuite/loop.wast:354:5: type mismatch of function result. got i64, expected i32 - (i64.ctz (loop (br 1 (i64.const 9)))) - ^ -47/47 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/memory.txt b/test/interp/spec/memory.txt deleted file mode 100644 index 42e97998..00000000 --- a/test/interp/spec/memory.txt +++ /dev/null @@ -1,61 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/memory.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/memory.wast:12:12: max pages (0) must be >= initial pages (1) - (module (memory 1 0)) - ^^^^^^ -assert_invalid error: - third_party/testsuite/memory.wast:16:24: segment ends past the end of initial memory size (0) - (module (memory 0 0 (segment 0 "a"))) - ^^^^^^^ -assert_invalid error: - third_party/testsuite/memory.wast:20:40: address (98304) greater than initial memory size (65536) - (module (memory 1 2 (segment 0 "a") (segment 98304 "b"))) - ^^^^^^^ -assert_invalid error: - third_party/testsuite/memory.wast:24:42: address (0) less than end of previous segment (3) - (module (memory 1 2 (segment 0 "abc") (segment 0 "def"))) - ^^^^^^^ -assert_invalid error: - third_party/testsuite/memory.wast:28:41: address (0) less than end of previous segment (5) - (module (memory 1 2 (segment 3 "ab") (segment 0 "de"))) - ^^^^^^^ -assert_invalid error: - third_party/testsuite/memory.wast:32:56: address (1) less than end of previous segment (3) - (module (memory 1 2 (segment 0 "a") (segment 2 "b") (segment 1 "c"))) - ^^^^^^^ -assert_invalid error: - third_party/testsuite/memory.wast:36:12: max pages (65536) must be <= (65535) - (module (memory 0 65536)) - ^^^^^^ -assert_invalid error: - third_party/testsuite/memory.wast:40:12: max pages (2147483648) must be <= (65535) - (module (memory 0 2147483648)) - ^^^^^^ -assert_invalid error: - third_party/testsuite/memory.wast:44:12: max pages (4294967296) must be <= (65535) - (module (memory 0 4294967296)) - ^^^^^^ -assert_invalid error: - third_party/testsuite/memory.wast:55:28: alignment must be power-of-two - (module (memory 0) (func (i64.load align=0 (i32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/memory.wast:59:28: alignment must be power-of-two - (module (memory 0) (func (i64.load align=3 (i32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/memory.wast:63:28: alignment must be power-of-two - (module (memory 0) (func (i64.load align=5 (i32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/memory.wast:67:28: alignment must be power-of-two - (module (memory 0) (func (i64.load align=6 (i32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/memory.wast:71:28: alignment must be power-of-two - (module (memory 0) (func (i64.load align=7 (i32.const 0)))) - ^ -24/24 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/memory_redundancy.txt b/test/interp/spec/memory_redundancy.txt deleted file mode 100644 index 180c7a0a..00000000 --- a/test/interp/spec/memory_redundancy.txt +++ /dev/null @@ -1,7 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/memory_redundancy.wast -(;; STDOUT ;;; -$invoke_1() -$invoke_3() -3/3 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/memory_trap.txt b/test/interp/spec/memory_trap.txt deleted file mode 100644 index 88d5fdcf..00000000 --- a/test/interp/spec/memory_trap.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/memory_trap.wast -(;; STDOUT ;;; -13/13 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/names.txt b/test/interp/spec/names.txt deleted file mode 100644 index d0cce7ee..00000000 --- a/test/interp/spec/names.txt +++ /dev/null @@ -1,8 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/names.wast -(;; STDOUT ;;; -called import spectest.print(i32:42) -called import spectest.print(i32:123) -$invoke_0() -14/14 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/nan-propagation.txt b/test/interp/spec/nan-propagation.txt deleted file mode 100644 index ebbfecd9..00000000 --- a/test/interp/spec/nan-propagation.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/nan-propagation.wast -(;; STDOUT ;;; -110/110 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/nop.txt b/test/interp/spec/nop.txt deleted file mode 100644 index 8db4cebf..00000000 --- a/test/interp/spec/nop.txt +++ /dev/null @@ -1,21 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/nop.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/nop.wast:87:40: type mismatch in nop. got void, expected i32 - (module (func $type-i32 (result i32) (nop))) - ^ -assert_invalid error: - third_party/testsuite/nop.wast:91:40: type mismatch in nop. got void, expected i64 - (module (func $type-i64 (result i64) (nop))) - ^ -assert_invalid error: - third_party/testsuite/nop.wast:95:40: type mismatch in nop. got void, expected f32 - (module (func $type-f32 (result f32) (nop))) - ^ -assert_invalid error: - third_party/testsuite/nop.wast:99:40: type mismatch in nop. got void, expected f64 - (module (func $type-f64 (result f64) (nop))) - ^ -20/20 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/of_string-overflow-hex-u32.fail.txt b/test/interp/spec/of_string-overflow-hex-u32.fail.txt deleted file mode 100644 index da771ee7..00000000 --- a/test/interp/spec/of_string-overflow-hex-u32.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/of_string-overflow-hex-u32.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/of_string-overflow-hex-u32.fail.wast:1:26: invalid literal "0x100000000" -(module (func (i32.const 0x100000000))) - ^^^^^^^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/of_string-overflow-hex-u64.fail.txt b/test/interp/spec/of_string-overflow-hex-u64.fail.txt deleted file mode 100644 index 4a66c648..00000000 --- a/test/interp/spec/of_string-overflow-hex-u64.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/of_string-overflow-hex-u64.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/of_string-overflow-hex-u64.fail.wast:1:26: invalid literal "0x10000000000000000" -(module (func (i64.const 0x10000000000000000))) - ^^^^^^^^^^^^^^^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/of_string-overflow-s32.fail.txt b/test/interp/spec/of_string-overflow-s32.fail.txt deleted file mode 100644 index 62f5c1b7..00000000 --- a/test/interp/spec/of_string-overflow-s32.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/of_string-overflow-s32.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/of_string-overflow-s32.fail.wast:1:26: invalid literal "-2147483649" -(module (func (i32.const -2147483649))) - ^^^^^^^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/of_string-overflow-s64.fail.txt b/test/interp/spec/of_string-overflow-s64.fail.txt deleted file mode 100644 index 165bef20..00000000 --- a/test/interp/spec/of_string-overflow-s64.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/of_string-overflow-s64.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/of_string-overflow-s64.fail.wast:1:26: invalid literal "-9223372036854775809" -(module (func (i64.const -9223372036854775809))) - ^^^^^^^^^^^^^^^^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/of_string-overflow-u32.fail.txt b/test/interp/spec/of_string-overflow-u32.fail.txt deleted file mode 100644 index 6446e4c8..00000000 --- a/test/interp/spec/of_string-overflow-u32.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/of_string-overflow-u32.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/of_string-overflow-u32.fail.wast:1:26: invalid literal "4294967296" -(module (func (i32.const 4294967296))) - ^^^^^^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/of_string-overflow-u64.fail.txt b/test/interp/spec/of_string-overflow-u64.fail.txt deleted file mode 100644 index 2966acd6..00000000 --- a/test/interp/spec/of_string-overflow-u64.fail.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; ERROR: 1 -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/of_string-overflow-u64.fail.wast -(;; STDERR ;;; -Error running "wast2wasm": -third_party/testsuite/of_string-overflow-u64.fail.wast:1:26: invalid literal "18446744073709551616" -(module (func (i64.const 18446744073709551616))) - ^^^^^^^^^^^^^^^^^^^^ - -;;; STDERR ;;) diff --git a/test/interp/spec/resizing.txt b/test/interp/spec/resizing.txt deleted file mode 100644 index 1b8f838f..00000000 --- a/test/interp/spec/resizing.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/resizing.wast -(;; STDOUT ;;; -19/19 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/return.txt b/test/interp/spec/return.txt deleted file mode 100644 index 95addba0..00000000 --- a/test/interp/spec/return.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/return.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/return.wast:274:54: type mismatch of return. got void, expected f64 - (module (func $type-value-void-vs-num (result f64) (return))) - ^ -assert_invalid error: - third_party/testsuite/return.wast:278:61: type mismatch of return. got i64, expected f64 - (module (func $type-value-num-vs-num (result f64) (return (i64.const 1)))) - ^ -60/60 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/select.txt b/test/interp/spec/select.txt deleted file mode 100644 index 69874d35..00000000 --- a/test/interp/spec/select.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/select.wast -(;; STDOUT ;;; -28/28 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/set_local.txt b/test/interp/spec/set_local.txt deleted file mode 100644 index 5b201694..00000000 --- a/test/interp/spec/set_local.txt +++ /dev/null @@ -1,97 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/set_local.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/set_local.wast:133:65: type mismatch of function result. got i32, expected i64 -...$type-local-num-vs-num (result i64) (local i32) (set_local 0 (i32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:137:61: type mismatch of convert op. got f32, expected i32 -...nc $type-local-num-vs-num (local f32) (i32.eqz (set_local 0 (f32.const 0))))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:141:65: type mismatch of unary op. got i64, expected f64 -...type-local-num-vs-num (local f64 i64) (f64.neg (set_local 1 (i64.const 0))))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:146:70: type mismatch in nop. got void, expected i32 - (module (func $type-local-arg-void-vs-num (local i32) (set_local 0 (nop)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:150:69: type mismatch of set_local. got f32, expected i32 -...le (func $type-local-arg-num-vs-num (local i32) (set_local 0 (f32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:154:69: type mismatch of set_local. got f64, expected f32 -...le (func $type-local-arg-num-vs-num (local f32) (set_local 0 (f64.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:158:73: type mismatch of set_local. got f64, expected i64 -...func $type-local-arg-num-vs-num (local f64 i64) (set_local 1 (f64.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:166:65: type mismatch of function result. got i32, expected i64 - (module (func $type-param-num-vs-num (param i32) (result i64) (get_local 0))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:170:61: type mismatch of convert op. got f32, expected i32 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:174:65: type mismatch of unary op. got i64, expected f64 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:179:70: type mismatch in nop. got void, expected i32 - (module (func $type-param-arg-void-vs-num (param i32) (set_local 0 (nop)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:183:69: type mismatch of set_local. got f32, expected i32 -...le (func $type-param-arg-num-vs-num (param i32) (set_local 0 (f32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:187:69: type mismatch of set_local. got f64, expected f32 -...le (func $type-param-arg-num-vs-num (param f32) (set_local 0 (f64.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:191:73: type mismatch of set_local. got f64, expected i64 -...func $type-param-arg-num-vs-num (param f64 i64) (set_local 1 (f64.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:199:59: local variable out of range (max 2) - (module (func $unbound-local (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:203:57: local variable out of range (max 2) - (module (func $large-local (local i32 i64) (get_local 14324343))) - ^^^^^^^^ -assert_invalid error: - third_party/testsuite/set_local.wast:208:59: local variable out of range (max 2) - (module (func $unbound-param (param i32 i64) (get_local 2))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:212:57: local variable out of range (max 2) - (module (func $large-param (local i32 i64) (get_local 714324343))) - ^^^^^^^^^ -assert_invalid error: - third_party/testsuite/set_local.wast:217:71: local variable out of range (max 3) - (module (func $unbound-mixed (param i32) (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:221:69: local variable out of range (max 3) - (module (func $large-mixed (param i64) (local i32 i64) (get_local 214324343))) - ^^^^^^^^^ -assert_invalid error: - third_party/testsuite/set_local.wast:226:81: type mismatch of set_local. got f32, expected i32 -...pe-mixed-arg-num-vs-num (param f32) (local i32) (set_local 1 (f32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:230:85: type mismatch of set_local. got f32, expected i32 -...ixed-arg-num-vs-num (param i64 i32) (local f32) (set_local 1 (f32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/set_local.wast:234:85: type mismatch of set_local. got i64, expected f64 -...ixed-arg-num-vs-num (param i64) (local f64 i64) (set_local 1 (i64.const 0)))) - ^ -11/11 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/start.txt b/test/interp/spec/start.txt deleted file mode 100644 index cdd9cdd9..00000000 --- a/test/interp/spec/start.txt +++ /dev/null @@ -1,23 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/start.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/start.wast:2:39: function variable out of range (max 1) - (module (func (i32.const 1)) (start 1)) - ^ -assert_invalid error: - third_party/testsuite/start.wast:8:5: start function must not return anything - (start $main) - ^^^^^^^^^^^^^ -assert_invalid error: - third_party/testsuite/start.wast:15:5: start function must be nullary - (start $main) - ^^^^^^^^^^^^^ -$invoke_1() -$invoke_3() -$invoke_1() -$invoke_3() -called import spectest.print(i32:1) -called import spectest.print(i32:2) -6/6 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/store_retval.txt b/test/interp/spec/store_retval.txt deleted file mode 100644 index 59e95911..00000000 --- a/test/interp/spec/store_retval.txt +++ /dev/null @@ -1,35 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/store_retval.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/store_retval.wast:34:25: type mismatch of set_local. got i32, expected i64 - (set_local $i64 (set_local $i32 (i32.const 1))))) - ^ -assert_invalid error: - third_party/testsuite/store_retval.wast:39:25: type mismatch of set_local. got i64, expected i32 - (set_local $i32 (set_local $i64 (i64.const 1))))) - ^ -assert_invalid error: - third_party/testsuite/store_retval.wast:44:25: type mismatch of set_local. got f32, expected f64 - (set_local $f64 (set_local $f32 (f32.const 1))))) - ^ -assert_invalid error: - third_party/testsuite/store_retval.wast:49:25: type mismatch of set_local. got f64, expected f32 - (set_local $f32 (set_local $f64 (f64.const 1))))) - ^ -called import spectest.print(i32:1) -called import spectest.print(i64:2) -called import spectest.print(f32:3) -called import spectest.print(f64:4) -called import spectest.print(i32:11) -called import spectest.print(i64:12) -called import spectest.print(f32:13) -called import spectest.print(f64:14) -called import spectest.print(i32:512) -called import spectest.print(i32:65536) -called import spectest.print(i64:512) -called import spectest.print(i64:65536) -called import spectest.print(i64:4294967296) -$invoke_0() -0/0 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/switch.txt b/test/interp/spec/switch.txt deleted file mode 100644 index 65c3b8a3..00000000 --- a/test/interp/spec/switch.txt +++ /dev/null @@ -1,9 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/switch.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/switch.wast:155:41: label variable out of range (max 1) -(assert_invalid (module (func (br_table 3 (i32.const 0)))) "unknown label") - ^ -26/26 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/traps.txt b/test/interp/spec/traps.txt deleted file mode 100644 index 4aef5090..00000000 --- a/test/interp/spec/traps.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/traps.wast -(;; STDOUT ;;; -20/20 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/typecheck.txt b/test/interp/spec/typecheck.txt deleted file mode 100644 index 8bef81ba..00000000 --- a/test/interp/spec/typecheck.txt +++ /dev/null @@ -1,973 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/typecheck.wast -(;; STDOUT ;;; -assert_invalid error: - third_party/testsuite/typecheck.wast:5:35: type mismatch of condition. got f32, expected i32 -(assert_invalid (module (func (if (f32.const 0) (nop) (nop)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:8:47: type mismatch of br_if condition. got f32, expected i32 -(assert_invalid (module (func (block (br_if 0 (f32.const 0))))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:12:36: type mismatch of key. got f32, expected i32 - (module (func (block (br_table 0 (f32.const 0))))) - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:16:58: type mismatch of argument 0 of call. got f32, expected i32 -...id (module (func (param i32)) (func (call 0 (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:17:75: type mismatch of argument 0 of call_import. got f32, expected i32 -...t "a" "b" (param i32)) (func (call_import 0 (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:24:38: type mismatch of argument 0 of call_indirect. got f32, expected i32 - (call_indirect 0 (i32.const 0) (f32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:33:28: type mismatch of function index. got f32, expected i32 - (func (call_indirect 0 (f32.const 0)))) - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:37:52: type mismatch of return. got f32, expected i32 -..._invalid (module (func (result i32) (return (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:40:56: type mismatch of set_local. got f32, expected i32 -...alid (module (func (local i32) (set_local 0 (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:43:52: type mismatch of load index. got f32, expected i32 -..._invalid (module (memory 1) (func (i32.load (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:44:55: type mismatch of load index. got f32, expected i32 -...valid (module (memory 1) (func (i32.load8_s (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:45:55: type mismatch of load index. got f32, expected i32 -...valid (module (memory 1) (func (i32.load8_u (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:46:56: type mismatch of load index. got f32, expected i32 -...alid (module (memory 1) (func (i32.load16_s (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:47:56: type mismatch of load index. got f32, expected i32 -...alid (module (memory 1) (func (i32.load16_u (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:48:52: type mismatch of load index. got f32, expected i32 -..._invalid (module (memory 1) (func (i64.load (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:49:55: type mismatch of load index. got f32, expected i32 -...valid (module (memory 1) (func (i64.load8_s (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:50:55: type mismatch of load index. got f32, expected i32 -...valid (module (memory 1) (func (i64.load8_u (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:51:56: type mismatch of load index. got f32, expected i32 -...alid (module (memory 1) (func (i64.load16_s (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:52:56: type mismatch of load index. got f32, expected i32 -...alid (module (memory 1) (func (i64.load16_u (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:53:56: type mismatch of load index. got f32, expected i32 -...alid (module (memory 1) (func (i64.load32_s (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:54:56: type mismatch of load index. got f32, expected i32 -...alid (module (memory 1) (func (i64.load32_u (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:55:52: type mismatch of load index. got f32, expected i32 -..._invalid (module (memory 1) (func (f32.load (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:56:52: type mismatch of load index. got f32, expected i32 -..._invalid (module (memory 1) (func (f64.load (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:59:53: type mismatch of store index. got f32, expected i32 -... (module (memory 1) (func (i32.store (f32.const 0) (i32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:60:54: type mismatch of store index. got f32, expected i32 -...(module (memory 1) (func (i32.store8 (f32.const 0) (i32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:61:55: type mismatch of store index. got f32, expected i32 -...module (memory 1) (func (i32.store16 (f32.const 0) (i32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:62:53: type mismatch of store index. got f32, expected i32 -... (module (memory 1) (func (i64.store (f32.const 0) (i32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:62:67: type mismatch of store value. got i32, expected i64 -...e (memory 1) (func (i64.store (f32.const 0) (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:63:54: type mismatch of store index. got f32, expected i32 -...(module (memory 1) (func (i64.store8 (f32.const 0) (i64.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:64:55: type mismatch of store index. got f32, expected i32 -...module (memory 1) (func (i64.store16 (f32.const 0) (i64.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:65:55: type mismatch of store index. got f32, expected i32 -...module (memory 1) (func (i64.store32 (f32.const 0) (i64.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:66:53: type mismatch of store index. got f32, expected i32 -... (module (memory 1) (func (f32.store (f32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:67:53: type mismatch of store index. got f32, expected i32 -... (module (memory 1) (func (f64.store (f32.const 0) (f64.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:70:67: type mismatch of store value. got f32, expected i32 -...e (memory 1) (func (i32.store (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:71:68: type mismatch of store value. got f32, expected i32 -... (memory 1) (func (i32.store8 (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:72:69: type mismatch of store value. got f32, expected i32 -...(memory 1) (func (i32.store16 (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:73:67: type mismatch of store value. got f32, expected i64 -...e (memory 1) (func (i64.store (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:74:68: type mismatch of store value. got f64, expected i64 -... (memory 1) (func (i64.store8 (i32.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:75:69: type mismatch of store value. got f64, expected i64 -...(memory 1) (func (i64.store16 (i32.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:76:69: type mismatch of store value. got f64, expected i64 -...(memory 1) (func (i64.store32 (i32.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:77:67: type mismatch of store value. got i32, expected f32 -...e (memory 1) (func (f32.store (i32.const 0) (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:78:67: type mismatch of store value. got i64, expected f64 -...e (memory 1) (func (f64.store (i32.const 0) (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:81:40: type mismatch of argument 0 of binary op. got i64, expected i32 -(assert_invalid (module (func (i32.add (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:81:54: type mismatch of argument 1 of binary op. got f32, expected i32 -...nvalid (module (func (i32.add (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:82:40: type mismatch of argument 0 of binary op. got i64, expected i32 -(assert_invalid (module (func (i32.and (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:82:54: type mismatch of argument 1 of binary op. got f32, expected i32 -...nvalid (module (func (i32.and (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:83:42: type mismatch of argument 0 of binary op. got i64, expected i32 -...ert_invalid (module (func (i32.div_s (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:83:56: type mismatch of argument 1 of binary op. got f32, expected i32 -...alid (module (func (i32.div_s (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:84:42: type mismatch of argument 0 of binary op. got i64, expected i32 -...ert_invalid (module (func (i32.div_u (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:84:56: type mismatch of argument 1 of binary op. got f32, expected i32 -...alid (module (func (i32.div_u (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:85:40: type mismatch of argument 0 of binary op. got i64, expected i32 -(assert_invalid (module (func (i32.mul (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:85:54: type mismatch of argument 1 of binary op. got f32, expected i32 -...nvalid (module (func (i32.mul (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:86:39: type mismatch of argument 0 of binary op. got i64, expected i32 -(assert_invalid (module (func (i32.or (i64.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:86:53: type mismatch of argument 1 of binary op. got f32, expected i32 -...invalid (module (func (i32.or (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:87:42: type mismatch of argument 0 of binary op. got i64, expected i32 -...ert_invalid (module (func (i32.rem_s (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:87:56: type mismatch of argument 1 of binary op. got f32, expected i32 -...alid (module (func (i32.rem_s (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:88:42: type mismatch of argument 0 of binary op. got i64, expected i32 -...ert_invalid (module (func (i32.rem_u (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:88:56: type mismatch of argument 1 of binary op. got f32, expected i32 -...alid (module (func (i32.rem_u (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:89:41: type mismatch of argument 0 of binary op. got i64, expected i32 -(assert_invalid (module (func (i32.rotl (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:89:55: type mismatch of argument 1 of binary op. got f32, expected i32 -...valid (module (func (i32.rotl (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:90:41: type mismatch of argument 0 of binary op. got i64, expected i32 -(assert_invalid (module (func (i32.rotr (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:90:55: type mismatch of argument 1 of binary op. got f32, expected i32 -...valid (module (func (i32.rotr (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:91:40: type mismatch of argument 0 of binary op. got i64, expected i32 -(assert_invalid (module (func (i32.shl (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:91:54: type mismatch of argument 1 of binary op. got f32, expected i32 -...nvalid (module (func (i32.shl (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:92:42: type mismatch of argument 0 of binary op. got i64, expected i32 -...ert_invalid (module (func (i32.shr_s (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:92:56: type mismatch of argument 1 of binary op. got f32, expected i32 -...alid (module (func (i32.shr_s (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:93:42: type mismatch of argument 0 of binary op. got i64, expected i32 -...ert_invalid (module (func (i32.shr_u (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:93:56: type mismatch of argument 1 of binary op. got f32, expected i32 -...alid (module (func (i32.shr_u (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:94:40: type mismatch of argument 0 of binary op. got i64, expected i32 -(assert_invalid (module (func (i32.sub (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:94:54: type mismatch of argument 1 of binary op. got f32, expected i32 -...nvalid (module (func (i32.sub (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:95:40: type mismatch of argument 0 of binary op. got i64, expected i32 -(assert_invalid (module (func (i32.xor (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:95:54: type mismatch of argument 1 of binary op. got f32, expected i32 -...nvalid (module (func (i32.xor (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:96:40: type mismatch of argument 0 of binary op. got i32, expected i64 -(assert_invalid (module (func (i64.add (i32.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:96:54: type mismatch of argument 1 of binary op. got f32, expected i64 -...nvalid (module (func (i64.add (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:97:40: type mismatch of argument 0 of binary op. got i32, expected i64 -(assert_invalid (module (func (i64.and (i32.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:97:54: type mismatch of argument 1 of binary op. got f32, expected i64 -...nvalid (module (func (i64.and (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:98:42: type mismatch of argument 0 of binary op. got i32, expected i64 -...ert_invalid (module (func (i64.div_s (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:98:56: type mismatch of argument 1 of binary op. got f32, expected i64 -...alid (module (func (i64.div_s (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:99:42: type mismatch of argument 0 of binary op. got i32, expected i64 -...ert_invalid (module (func (i64.div_u (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:99:56: type mismatch of argument 1 of binary op. got f32, expected i64 -...alid (module (func (i64.div_u (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:100:40: type mismatch of argument 0 of binary op. got i32, expected i64 -(assert_invalid (module (func (i64.mul (i32.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:100:54: type mismatch of argument 1 of binary op. got f32, expected i64 -...nvalid (module (func (i64.mul (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:101:39: type mismatch of argument 0 of binary op. got i32, expected i64 -(assert_invalid (module (func (i64.or (i32.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:101:53: type mismatch of argument 1 of binary op. got f32, expected i64 -...invalid (module (func (i64.or (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:102:42: type mismatch of argument 0 of binary op. got i32, expected i64 -...ert_invalid (module (func (i64.rem_s (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:102:56: type mismatch of argument 1 of binary op. got f32, expected i64 -...alid (module (func (i64.rem_s (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:103:42: type mismatch of argument 0 of binary op. got i32, expected i64 -...ert_invalid (module (func (i64.rem_u (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:103:56: type mismatch of argument 1 of binary op. got f32, expected i64 -...alid (module (func (i64.rem_u (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:104:41: type mismatch of argument 0 of binary op. got i32, expected i64 -(assert_invalid (module (func (i64.rotl (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:104:55: type mismatch of argument 1 of binary op. got f32, expected i64 -...valid (module (func (i64.rotl (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:105:41: type mismatch of argument 0 of binary op. got i32, expected i64 -(assert_invalid (module (func (i64.rotr (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:105:55: type mismatch of argument 1 of binary op. got f32, expected i64 -...valid (module (func (i64.rotr (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:106:40: type mismatch of argument 0 of binary op. got i32, expected i64 -(assert_invalid (module (func (i64.shl (i32.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:106:54: type mismatch of argument 1 of binary op. got f32, expected i64 -...nvalid (module (func (i64.shl (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:107:42: type mismatch of argument 0 of binary op. got i32, expected i64 -...ert_invalid (module (func (i64.shr_s (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:107:56: type mismatch of argument 1 of binary op. got f32, expected i64 -...alid (module (func (i64.shr_s (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:108:42: type mismatch of argument 0 of binary op. got i32, expected i64 -...ert_invalid (module (func (i64.shr_u (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:108:56: type mismatch of argument 1 of binary op. got f32, expected i64 -...alid (module (func (i64.shr_u (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:109:40: type mismatch of argument 0 of binary op. got i32, expected i64 -(assert_invalid (module (func (i64.sub (i32.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:109:54: type mismatch of argument 1 of binary op. got f32, expected i64 -...nvalid (module (func (i64.sub (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:110:40: type mismatch of argument 0 of binary op. got i32, expected i64 -(assert_invalid (module (func (i64.xor (i32.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:110:54: type mismatch of argument 1 of binary op. got f32, expected i64 -...nvalid (module (func (i64.xor (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:111:40: type mismatch of argument 0 of binary op. got i64, expected f32 -(assert_invalid (module (func (f32.add (i64.const 0) (f64.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:111:54: type mismatch of argument 1 of binary op. got f64, expected f32 -...nvalid (module (func (f32.add (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:112:45: type mismatch of argument 0 of binary op. got i64, expected f32 -..._invalid (module (func (f32.copysign (i64.const 0) (f64.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:112:59: type mismatch of argument 1 of binary op. got f64, expected f32 -...d (module (func (f32.copysign (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:113:40: type mismatch of argument 0 of binary op. got i64, expected f32 -(assert_invalid (module (func (f32.div (i64.const 0) (f64.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:113:54: type mismatch of argument 1 of binary op. got f64, expected f32 -...nvalid (module (func (f32.div (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:114:40: type mismatch of argument 0 of binary op. got i64, expected f32 -(assert_invalid (module (func (f32.max (i64.const 0) (f64.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:114:54: type mismatch of argument 1 of binary op. got f64, expected f32 -...nvalid (module (func (f32.max (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:115:40: type mismatch of argument 0 of binary op. got i64, expected f32 -(assert_invalid (module (func (f32.min (i64.const 0) (f64.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:115:54: type mismatch of argument 1 of binary op. got f64, expected f32 -...nvalid (module (func (f32.min (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:116:40: type mismatch of argument 0 of binary op. got i64, expected f32 -(assert_invalid (module (func (f32.mul (i64.const 0) (f64.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:116:54: type mismatch of argument 1 of binary op. got f64, expected f32 -...nvalid (module (func (f32.mul (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:117:40: type mismatch of argument 0 of binary op. got i64, expected f32 -(assert_invalid (module (func (f32.sub (i64.const 0) (f64.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:117:54: type mismatch of argument 1 of binary op. got f64, expected f32 -...nvalid (module (func (f32.sub (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:118:40: type mismatch of argument 0 of binary op. got i64, expected f64 -(assert_invalid (module (func (f64.add (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:118:54: type mismatch of argument 1 of binary op. got f32, expected f64 -...nvalid (module (func (f64.add (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:119:45: type mismatch of argument 0 of binary op. got i64, expected f64 -..._invalid (module (func (f64.copysign (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:119:59: type mismatch of argument 1 of binary op. got f32, expected f64 -...d (module (func (f64.copysign (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:120:40: type mismatch of argument 0 of binary op. got i64, expected f64 -(assert_invalid (module (func (f64.div (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:120:54: type mismatch of argument 1 of binary op. got f32, expected f64 -...nvalid (module (func (f64.div (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:121:40: type mismatch of argument 0 of binary op. got i64, expected f64 -(assert_invalid (module (func (f64.max (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:121:54: type mismatch of argument 1 of binary op. got f32, expected f64 -...nvalid (module (func (f64.max (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:122:40: type mismatch of argument 0 of binary op. got i64, expected f64 -(assert_invalid (module (func (f64.min (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:122:54: type mismatch of argument 1 of binary op. got f32, expected f64 -...nvalid (module (func (f64.min (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:123:40: type mismatch of argument 0 of binary op. got i64, expected f64 -(assert_invalid (module (func (f64.mul (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:123:54: type mismatch of argument 1 of binary op. got f32, expected f64 -...nvalid (module (func (f64.mul (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:124:40: type mismatch of argument 0 of binary op. got i64, expected f64 -(assert_invalid (module (func (f64.sub (i64.const 0) (f32.const 0)))) "type m... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:124:54: type mismatch of argument 1 of binary op. got f32, expected f64 -...nvalid (module (func (f64.sub (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:127:40: type mismatch of convert op. got i64, expected i32 -(assert_invalid (module (func (i32.eqz (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:128:40: type mismatch of unary op. got i64, expected i32 -(assert_invalid (module (func (i32.clz (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:129:40: type mismatch of unary op. got i64, expected i32 -(assert_invalid (module (func (i32.ctz (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:130:43: type mismatch of unary op. got i64, expected i32 -(assert_invalid (module (func (i32.popcnt (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:131:40: type mismatch of convert op. got i32, expected i64 -(assert_invalid (module (func (i64.eqz (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:132:40: type mismatch of unary op. got i32, expected i64 -(assert_invalid (module (func (i64.clz (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:133:40: type mismatch of unary op. got i32, expected i64 -(assert_invalid (module (func (i64.ctz (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:134:43: type mismatch of unary op. got i32, expected i64 -(assert_invalid (module (func (i64.popcnt (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:135:40: type mismatch of unary op. got i64, expected f32 -(assert_invalid (module (func (f32.abs (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:136:41: type mismatch of unary op. got i64, expected f32 -(assert_invalid (module (func (f32.ceil (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:137:42: type mismatch of unary op. got i64, expected f32 -(assert_invalid (module (func (f32.floor (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:138:44: type mismatch of unary op. got i64, expected f32 -(assert_invalid (module (func (f32.nearest (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:139:40: type mismatch of unary op. got i64, expected f32 -(assert_invalid (module (func (f32.neg (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:140:41: type mismatch of unary op. got i64, expected f32 -(assert_invalid (module (func (f32.sqrt (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:141:42: type mismatch of unary op. got i64, expected f32 -(assert_invalid (module (func (f32.trunc (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:142:40: type mismatch of unary op. got i64, expected f64 -(assert_invalid (module (func (f64.abs (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:143:41: type mismatch of unary op. got i64, expected f64 -(assert_invalid (module (func (f64.ceil (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:144:42: type mismatch of unary op. got i64, expected f64 -(assert_invalid (module (func (f64.floor (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:145:44: type mismatch of unary op. got i64, expected f64 -(assert_invalid (module (func (f64.nearest (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:146:40: type mismatch of unary op. got i64, expected f64 -(assert_invalid (module (func (f64.neg (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:147:41: type mismatch of unary op. got i64, expected f64 -(assert_invalid (module (func (f64.sqrt (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:148:42: type mismatch of unary op. got i64, expected f64 -(assert_invalid (module (func (f64.trunc (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:151:39: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.eq (i64.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:151:53: type mismatch of argument 1 of compare op. got f32, expected i32 -...invalid (module (func (i32.eq (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:152:41: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.ge_s (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:152:55: type mismatch of argument 1 of compare op. got f32, expected i32 -...valid (module (func (i32.ge_s (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:153:41: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.ge_u (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:153:55: type mismatch of argument 1 of compare op. got f32, expected i32 -...valid (module (func (i32.ge_u (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:154:41: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.gt_s (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:154:55: type mismatch of argument 1 of compare op. got f32, expected i32 -...valid (module (func (i32.gt_s (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:155:41: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.gt_u (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:155:55: type mismatch of argument 1 of compare op. got f32, expected i32 -...valid (module (func (i32.gt_u (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:156:41: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.le_s (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:156:55: type mismatch of argument 1 of compare op. got f32, expected i32 -...valid (module (func (i32.le_s (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:157:41: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.le_u (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:157:55: type mismatch of argument 1 of compare op. got f32, expected i32 -...valid (module (func (i32.le_u (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:158:41: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.lt_s (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:158:55: type mismatch of argument 1 of compare op. got f32, expected i32 -...valid (module (func (i32.lt_s (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:159:41: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.lt_u (i64.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:159:55: type mismatch of argument 1 of compare op. got f32, expected i32 -...valid (module (func (i32.lt_u (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:160:39: type mismatch of argument 0 of compare op. got i64, expected i32 -(assert_invalid (module (func (i32.ne (i64.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:160:53: type mismatch of argument 1 of compare op. got f32, expected i32 -...invalid (module (func (i32.ne (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:161:39: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.eq (i32.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:161:53: type mismatch of argument 1 of compare op. got f32, expected i64 -...invalid (module (func (i64.eq (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:162:41: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.ge_s (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:162:55: type mismatch of argument 1 of compare op. got f32, expected i64 -...valid (module (func (i64.ge_s (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:163:41: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.ge_u (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:163:55: type mismatch of argument 1 of compare op. got f32, expected i64 -...valid (module (func (i64.ge_u (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:164:41: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.gt_s (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:164:55: type mismatch of argument 1 of compare op. got f32, expected i64 -...valid (module (func (i64.gt_s (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:165:41: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.gt_u (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:165:55: type mismatch of argument 1 of compare op. got f32, expected i64 -...valid (module (func (i64.gt_u (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:166:41: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.le_s (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:166:55: type mismatch of argument 1 of compare op. got f32, expected i64 -...valid (module (func (i64.le_s (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:167:41: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.le_u (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:167:55: type mismatch of argument 1 of compare op. got f32, expected i64 -...valid (module (func (i64.le_u (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:168:41: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.lt_s (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:168:55: type mismatch of argument 1 of compare op. got f32, expected i64 -...valid (module (func (i64.lt_s (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:169:41: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.lt_u (i32.const 0) (f32.const 0)))) "type ... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:169:55: type mismatch of argument 1 of compare op. got f32, expected i64 -...valid (module (func (i64.lt_u (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:170:39: type mismatch of argument 0 of compare op. got i32, expected i64 -(assert_invalid (module (func (i64.ne (i32.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:170:53: type mismatch of argument 1 of compare op. got f32, expected i64 -...invalid (module (func (i64.ne (i32.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:171:39: type mismatch of argument 0 of compare op. got i64, expected f32 -(assert_invalid (module (func (f32.eq (i64.const 0) (f64.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:171:53: type mismatch of argument 1 of compare op. got f64, expected f32 -...invalid (module (func (f32.eq (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:172:39: type mismatch of argument 0 of compare op. got i64, expected f32 -(assert_invalid (module (func (f32.ge (i64.const 0) (f64.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:172:53: type mismatch of argument 1 of compare op. got f64, expected f32 -...invalid (module (func (f32.ge (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:173:39: type mismatch of argument 0 of compare op. got i64, expected f32 -(assert_invalid (module (func (f32.gt (i64.const 0) (f64.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:173:53: type mismatch of argument 1 of compare op. got f64, expected f32 -...invalid (module (func (f32.gt (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:174:39: type mismatch of argument 0 of compare op. got i64, expected f32 -(assert_invalid (module (func (f32.le (i64.const 0) (f64.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:174:53: type mismatch of argument 1 of compare op. got f64, expected f32 -...invalid (module (func (f32.le (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:175:39: type mismatch of argument 0 of compare op. got i64, expected f32 -(assert_invalid (module (func (f32.lt (i64.const 0) (f64.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:175:53: type mismatch of argument 1 of compare op. got f64, expected f32 -...invalid (module (func (f32.lt (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:176:39: type mismatch of argument 0 of compare op. got i64, expected f32 -(assert_invalid (module (func (f32.ne (i64.const 0) (f64.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:176:53: type mismatch of argument 1 of compare op. got f64, expected f32 -...invalid (module (func (f32.ne (i64.const 0) (f64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:177:39: type mismatch of argument 0 of compare op. got i64, expected f64 -(assert_invalid (module (func (f64.eq (i64.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:177:53: type mismatch of argument 1 of compare op. got f32, expected f64 -...invalid (module (func (f64.eq (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:178:39: type mismatch of argument 0 of compare op. got i64, expected f64 -(assert_invalid (module (func (f64.ge (i64.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:178:53: type mismatch of argument 1 of compare op. got f32, expected f64 -...invalid (module (func (f64.ge (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:179:39: type mismatch of argument 0 of compare op. got i64, expected f64 -(assert_invalid (module (func (f64.gt (i64.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:179:53: type mismatch of argument 1 of compare op. got f32, expected f64 -...invalid (module (func (f64.gt (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:180:39: type mismatch of argument 0 of compare op. got i64, expected f64 -(assert_invalid (module (func (f64.le (i64.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:180:53: type mismatch of argument 1 of compare op. got f32, expected f64 -...invalid (module (func (f64.le (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:181:39: type mismatch of argument 0 of compare op. got i64, expected f64 -(assert_invalid (module (func (f64.lt (i64.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:181:53: type mismatch of argument 1 of compare op. got f32, expected f64 -...invalid (module (func (f64.lt (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:182:39: type mismatch of argument 0 of compare op. got i64, expected f64 -(assert_invalid (module (func (f64.ne (i64.const 0) (f32.const 0)))) "type mi... - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:182:53: type mismatch of argument 1 of compare op. got f32, expected f64 -...invalid (module (func (f64.ne (i64.const 0) (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:185:45: type mismatch of convert op. got f32, expected i64 -(assert_invalid (module (func (i32.wrap/i64 (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:186:48: type mismatch of convert op. got i64, expected f32 -(assert_invalid (module (func (i32.trunc_s/f32 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:187:48: type mismatch of convert op. got i64, expected f32 -(assert_invalid (module (func (i32.trunc_u/f32 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:188:48: type mismatch of convert op. got i64, expected f64 -(assert_invalid (module (func (i32.trunc_s/f64 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:189:48: type mismatch of convert op. got i64, expected f64 -(assert_invalid (module (func (i32.trunc_u/f64 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:190:52: type mismatch of convert op. got i64, expected f32 -..._invalid (module (func (i32.reinterpret/f32 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:191:49: type mismatch of convert op. got f32, expected i32 -...ert_invalid (module (func (i64.extend_s/i32 (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:192:49: type mismatch of convert op. got f32, expected i32 -...ert_invalid (module (func (i64.extend_u/i32 (f32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:193:48: type mismatch of convert op. got i32, expected f32 -(assert_invalid (module (func (i64.trunc_s/f32 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:194:48: type mismatch of convert op. got i32, expected f32 -(assert_invalid (module (func (i64.trunc_u/f32 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:195:48: type mismatch of convert op. got i32, expected f64 -(assert_invalid (module (func (i64.trunc_s/f64 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:196:48: type mismatch of convert op. got i32, expected f64 -(assert_invalid (module (func (i64.trunc_u/f64 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:197:52: type mismatch of convert op. got i32, expected f64 -..._invalid (module (func (i64.reinterpret/f64 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:198:50: type mismatch of convert op. got i64, expected i32 -...rt_invalid (module (func (f32.convert_s/i32 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:199:50: type mismatch of convert op. got i64, expected i32 -...rt_invalid (module (func (f32.convert_u/i32 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:200:50: type mismatch of convert op. got i32, expected i64 -...rt_invalid (module (func (f32.convert_s/i64 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:201:50: type mismatch of convert op. got i32, expected i64 -...rt_invalid (module (func (f32.convert_u/i64 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:202:47: type mismatch of convert op. got i32, expected f64 -(assert_invalid (module (func (f32.demote/f64 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:203:52: type mismatch of convert op. got i64, expected i32 -..._invalid (module (func (f32.reinterpret/i32 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:204:50: type mismatch of convert op. got i64, expected i32 -...rt_invalid (module (func (f64.convert_s/i32 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:205:50: type mismatch of convert op. got i64, expected i32 -...rt_invalid (module (func (f64.convert_u/i32 (i64.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:206:50: type mismatch of convert op. got i32, expected i64 -...rt_invalid (module (func (f64.convert_s/i64 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:207:50: type mismatch of convert op. got i32, expected i64 -...rt_invalid (module (func (f64.convert_u/i64 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:208:48: type mismatch of convert op. got i32, expected f32 -(assert_invalid (module (func (f64.promote/f32 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:209:52: type mismatch of convert op. got i32, expected i64 -..._invalid (module (func (f64.reinterpret/i64 (i32.const 0)))) "type mismatch") - ^ -assert_invalid error: - third_party/testsuite/typecheck.wast:212:55: type mismatch of grow_memory. got f32, expected i32 -...valid (module (memory 1) (func (grow_memory (f32.const 0)))) "type mismatch") - ^ -0/0 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/spec/unreachable.txt b/test/interp/spec/unreachable.txt deleted file mode 100644 index 2dc4f277..00000000 --- a/test/interp/spec/unreachable.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/unreachable.wast -(;; STDOUT ;;; -60/60 tests passed. -;;; STDOUT ;;) diff --git a/test/interp/trap-with-callstack.txt b/test/interp/trap-with-callstack.txt index b350d71d..2ba538dd 100644 --- a/test/interp/trap-with-callstack.txt +++ b/test/interp/trap-with-callstack.txt @@ -1,9 +1,10 @@ ;;; TOOL: run-interp (module (func $trap - (i32.div_s - (i32.const 1) - (i32.const 0))) + (drop + (i32.div_s + (i32.const 1) + (i32.const 0)))) (func $f (call $trap)) (func $g (call $f)) |