diff options
40 files changed, 14 insertions, 3629 deletions
diff --git a/src/option-parser.c b/src/option-parser.c index 616c0462..fc680910 100644 --- a/src/option-parser.c +++ b/src/option-parser.c @@ -43,8 +43,10 @@ static int option_match(const char* s, return -1; break; } - if (s[i] != full[i]) + if (s[i] == '\0') break; + if (s[i] != full[i]) + return -1; } return i; } diff --git a/src/tools/wast2wasm.c b/src/tools/wast2wasm.c index 6a2e60bf..e0c8c1de 100644 --- a/src/tools/wast2wasm.c +++ b/src/tools/wast2wasm.c @@ -46,7 +46,6 @@ static WasmWriteBinarySpecOptions s_write_binary_spec_options = static WasmBool s_spec; static WasmBool s_use_libc_allocator; static WasmBool s_validate = WASM_TRUE; -static WasmBool s_validate_assert_invalid_and_malformed = WASM_TRUE; static WasmSourceErrorHandler s_error_handler = WASM_SOURCE_ERROR_HANDLER_DEFAULT; @@ -67,7 +66,6 @@ enum { FLAG_NO_CANONICALIZE_LEB128S, FLAG_DEBUG_NAMES, FLAG_NO_CHECK, - FLAG_NO_CHECK_ASSERT_INVALID_AND_MALFORMED, NUM_FLAGS }; @@ -110,9 +108,6 @@ static WasmOption s_options[] = { "Write debug names to the generated binary file"}, {FLAG_NO_CHECK, 0, "no-check", NULL, NOPE, "Don't check for invalid modules"}, - {FLAG_NO_CHECK_ASSERT_INVALID_AND_MALFORMED, 0, - "no-check-assert-invalid-and-malformed", NULL, NOPE, - "Don't run the assert_invalid or assert_malformed checks"}, }; WASM_STATIC_ASSERT(NUM_FLAGS == WASM_ARRAY_SIZE(s_options)); @@ -161,10 +156,6 @@ static void on_option(struct WasmOptionParser* parser, case FLAG_NO_CHECK: s_validate = WASM_FALSE; break; - - case FLAG_NO_CHECK_ASSERT_INVALID_AND_MALFORMED: - s_validate_assert_invalid_and_malformed = WASM_FALSE; - break; } } @@ -207,18 +198,6 @@ static void write_buffer_to_file(const char* filename, } } -static void init_source_error_handler(WasmSourceErrorHandler* error_handler, - WasmDefaultErrorHandlerInfo* info, - const char* header) { - info->header = header; - info->out_file = stdout; - info->print_header = WASM_PRINT_ERROR_HEADER_ALWAYS; - - error_handler->on_error = wasm_default_source_error_callback; - error_handler->source_line_max_length = WASM_SOURCE_LINE_MAX_LENGTH_DEFAULT; - error_handler->user_data = info; -} - int main(int argc, char** argv) { WasmStackAllocator stack_allocator; WasmAllocator* allocator; @@ -251,23 +230,6 @@ int main(int argc, char** argv) { wasm_validate_script(allocator, lexer, &script, &s_error_handler); } - if (WASM_SUCCEEDED(result) && s_validate_assert_invalid_and_malformed) { - WasmDefaultErrorHandlerInfo assert_invalid_info; - WasmSourceErrorHandler assert_invalid_error_handler; - init_source_error_handler(&assert_invalid_error_handler, - &assert_invalid_info, "assert_invalid error"); - - WasmDefaultErrorHandlerInfo assert_malformed_info; - WasmSourceErrorHandler assert_malformed_error_handler; - init_source_error_handler(&assert_malformed_error_handler, - &assert_malformed_info, - "assert_malformed error"); - - result = wasm_validate_assert_invalid_and_malformed( - allocator, lexer, &script, &assert_invalid_error_handler, - &assert_malformed_error_handler, &s_error_handler); - } - if (WASM_SUCCEEDED(result)) { if (s_spec) { s_write_binary_spec_options.json_filename = s_outfile; diff --git a/src/validator.c b/src/validator.c index 52ca4317..ba49296a 100644 --- a/src/validator.c +++ b/src/validator.c @@ -1118,70 +1118,6 @@ static void check_module(Context* ctx, const WasmModule* module) { check_duplicate_export_bindings(ctx, module); } -typedef struct BinaryErrorCallbackData { - Context* ctx; - WasmLocation* loc; -} BinaryErrorCallbackData; - -static void on_read_binary_error(uint32_t offset, - const char* error, - void* user_data) { - BinaryErrorCallbackData* data = user_data; - if (offset == WASM_UNKNOWN_OFFSET) { - print_error(data->ctx, data->loc, "error in binary module: %s", error); - } else { - print_error(data->ctx, data->loc, "error in binary module: @0x%08x: %s", - offset, error); - } -} - -typedef struct ReadModule { - WasmModule module; - WasmBool owned; -} ReadModule; - -static void destroy_read_module(WasmAllocator* allocator, - ReadModule* read_module) { - if (read_module->owned) - wasm_destroy_module(allocator, &read_module->module); -} - -static WasmResult read_raw_module(Context* ctx, - WasmRawModule* raw, - ReadModule* out_module) { - if (raw->type != WASM_RAW_MODULE_TYPE_BINARY) { - out_module->module = *raw->text; - out_module->owned = WASM_FALSE; - return WASM_OK; - } - - WASM_ZERO_MEMORY(*out_module); - WasmReadBinaryOptions options = WASM_READ_BINARY_OPTIONS_DEFAULT; - BinaryErrorCallbackData user_data; - user_data.ctx = ctx; - user_data.loc = &raw->binary.loc; - WasmBinaryErrorHandler error_handler; - error_handler.on_error = on_read_binary_error; - error_handler.user_data = &user_data; - WasmResult result = - wasm_read_binary_ast(ctx->allocator, raw->binary.data, raw->binary.size, - &options, &error_handler, &out_module->module); - out_module->owned = WASM_SUCCEEDED(result); - return result; -} - -static void check_raw_module(Context* ctx, WasmRawModule* raw) { - ReadModule read_module; - if (WASM_SUCCEEDED(read_raw_module(ctx, raw, &read_module))) { - WasmModule* module = &read_module.module; - ctx->result = wasm_resolve_names_module(ctx->allocator, ctx->lexer, module, - ctx->error_handler); - if (WASM_SUCCEEDED(ctx->result)) - check_module(ctx, module); - } - destroy_read_module(ctx->allocator, &read_module); -} - /* returns the result type of the invoked function, checked by the caller; * returning NULL means that another error occured first, so the result type * should be ignored. */ @@ -1378,61 +1314,3 @@ WasmResult wasm_validate_script(WasmAllocator* allocator, wasm_destroy_context(&ctx); return ctx.result; } - -WasmResult wasm_validate_assert_invalid_and_malformed( - WasmAllocator* allocator, - WasmAstLexer* lexer, - const struct WasmScript* script, - WasmSourceErrorHandler* assert_invalid_error_handler, - WasmSourceErrorHandler* assert_malformed_error_handler, - WasmSourceErrorHandler* error_handler) { - Context ctx; - WASM_ZERO_MEMORY(ctx); - ctx.allocator = allocator; - ctx.lexer = lexer; - ctx.error_handler = error_handler; - ctx.result = WASM_OK; - ctx.script = script; - - size_t i; - for (i = 0; i < script->commands.size; ++i) { - WasmCommand* command = &script->commands.data[i]; - if (command->type != WASM_COMMAND_TYPE_ASSERT_INVALID && - command->type != WASM_COMMAND_TYPE_ASSERT_INVALID_NON_BINARY && - command->type != WASM_COMMAND_TYPE_ASSERT_MALFORMED) { - continue; - } - - Context ctx2; - WASM_ZERO_MEMORY(ctx2); - ctx2.allocator = allocator; - ctx2.lexer = lexer; - ctx2.result = WASM_OK; - ctx2.script = script; - - if (command->type == WASM_COMMAND_TYPE_ASSERT_INVALID || - command->type == WASM_COMMAND_TYPE_ASSERT_INVALID_NON_BINARY) { - ctx2.error_handler = assert_invalid_error_handler; - check_raw_module(&ctx2, &command->assert_invalid.module); - wasm_destroy_context(&ctx2); - if (WASM_SUCCEEDED(ctx2.result)) { - print_error( - &ctx, wasm_get_raw_module_location(&command->assert_invalid.module), - "expected module to be invalid"); - } - } else if (command->type == WASM_COMMAND_TYPE_ASSERT_MALFORMED) { - ctx2.error_handler = assert_malformed_error_handler; - ReadModule read_module; - read_raw_module(&ctx2, &command->assert_malformed.module, &read_module); - destroy_read_module(ctx.allocator, &read_module); - wasm_destroy_context(&ctx2); - if (WASM_SUCCEEDED(ctx2.result)) { - print_error(&ctx, wasm_get_raw_module_location( - &command->assert_malformed.module), - "expected module to be malformed"); - } - } - } - wasm_destroy_context(&ctx); - return ctx.result; -} diff --git a/src/validator.h b/src/validator.h index 5d6ea590..d6f29d27 100644 --- a/src/validator.h +++ b/src/validator.h @@ -32,18 +32,4 @@ WasmResult wasm_validate_script(struct WasmAllocator*, const struct WasmScript*, WasmSourceErrorHandler*); -/* Run the assert_invalid and assert_malformed spec tests. A module is - * "malformed" if it cannot be read from the binary format. A module is - * "invalid" if either it is malformed, or if it does not pass the standard - * checks (as done by wasm_validate_script). This function succeeds if and only - * if all assert_invalid and assert_malformed tests pass. */ -WasmResult wasm_validate_assert_invalid_and_malformed( - struct WasmAllocator*, - WasmAstLexer*, - const struct WasmScript*, - WasmSourceErrorHandler* assert_invalid_error_handler, - WasmSourceErrorHandler* assert_malformed_error_handler, - WasmSourceErrorHandler* error_handler); -WASM_EXTERN_C_END - #endif /* WASM_VALIDATOR_H_ */ diff --git a/test/help/sexpr-wasm.txt b/test/help/sexpr-wasm.txt index eea625a2..517a6825 100644 --- a/test/help/sexpr-wasm.txt +++ b/test/help/sexpr-wasm.txt @@ -22,15 +22,14 @@ examples: $ wast2wasm spec-test.wast --spec -o spec-test.json options: - -v, --verbose use multiple times for more info - -h, --help print this help message - -d, --dump-module print a hexdump of the module to stdout - -o, --output=FILE output wasm binary file - -r, create a relocatable wasm binary (suitable for linking with wasm-link) - --spec parse a file with multiple modules and assertions, like the spec tests - --use-libc-allocator use malloc, free, etc. instead of stack allocator - --no-canonicalize-leb128s Write all LEB128 sizes as 5-bytes instead of their minimal size - --debug-names Write debug names to the generated binary file - --no-check Don't check for invalid modules - --no-check-assert-invalid-and-malformed Don't run the assert_invalid or assert_malformed checks + -v, --verbose use multiple times for more info + -h, --help print this help message + -d, --dump-module print a hexdump of the module to stdout + -o, --output=FILE output wasm binary file + -r, create a relocatable wasm binary (suitable for linking with wasm-link) + --spec parse a file with multiple modules and assertions, like the spec tests + --use-libc-allocator use malloc, free, etc. instead of stack allocator + --no-canonicalize-leb128s Write all LEB128 sizes as 5-bytes instead of their minimal size + --debug-names Write debug names to the generated binary file + --no-check Don't check for invalid modules ;;; STDOUT ;;) diff --git a/test/parse/assert/assertinvalid-binary-module.txt b/test/parse/assert/assertinvalid-binary-module.txt index 0a93a6ba..34fa738f 100644 --- a/test/parse/assert/assertinvalid-binary-module.txt +++ b/test/parse/assert/assertinvalid-binary-module.txt @@ -1,9 +1,3 @@ ;;; FLAGS: --spec (assert_invalid (module "\00ASM") "bad magic") (module) -(;; STDOUT ;;; -assert_invalid error: - out/test/parse/assert/assertinvalid-binary-module.txt:2:18: error in binary module: @0x00000004: bad magic value -(assert_invalid (module "\00ASM") "bad magic") - ^^^^^^ -;;; STDOUT ;;) diff --git a/test/parse/assert/assertinvalid.txt b/test/parse/assert/assertinvalid.txt index aaa1d76a..511a7f7f 100644 --- a/test/parse/assert/assertinvalid.txt +++ b/test/parse/assert/assertinvalid.txt @@ -11,17 +11,3 @@ (func (result i32) nop)) "type mismatch") -(;; STDOUT ;;; -assert_invalid error: - out/test/parse/assert/assertinvalid.txt:7:25: function variable out of range (max 1) - (export "foo" (func 1))) - ^ -assert_invalid error: - out/test/parse/assert/assertinvalid.txt:11:5: type stack size too small at function. got 0, expected at least 1 - (func (result i32) - ^^^^^^ -assert_invalid error: - out/test/parse/assert/assertinvalid.txt:11:5: type stack at end of function is 0. expected 1 - (func (result i32) - ^^^^^^ -;;; STDOUT ;;) diff --git a/test/parse/assert/assertmalformed.txt b/test/parse/assert/assertmalformed.txt index 0f785e74..df0bd9b5 100644 --- a/test/parse/assert/assertmalformed.txt +++ b/test/parse/assert/assertmalformed.txt @@ -3,9 +3,3 @@ (module "\00asm\bc\0a\00\00") "unknown binary version") -(;; STDOUT ;;; -assert_malformed error: - out/test/parse/assert/assertmalformed.txt:3:4: error in binary module: @0x00000008: bad wasm file version: 0xabc (expected 0xd) - (module - ^^^^^^ -;;; STDOUT ;;) diff --git a/test/parse/assert/bad-assertinvalid-succeeds.txt b/test/parse/assert/bad-assertinvalid-succeeds.txt deleted file mode 100644 index 0dd10a3b..00000000 --- a/test/parse/assert/bad-assertinvalid-succeeds.txt +++ /dev/null @@ -1,11 +0,0 @@ -;;; ERROR: 1 -;;; FLAGS: --spec -(assert_invalid - (module (func (result i32) - i32.const 0)) - "success") -(;; STDERR ;;; -out/test/parse/assert/bad-assertinvalid-succeeds.txt:4:4: expected module to be invalid - (module (func (result i32) - ^^^^^^ -;;; STDERR ;;) diff --git a/test/parse/assert/bad-assertmalformed-succeeds.txt b/test/parse/assert/bad-assertmalformed-succeeds.txt deleted file mode 100644 index a7f7f95b..00000000 --- a/test/parse/assert/bad-assertmalformed-succeeds.txt +++ /dev/null @@ -1,11 +0,0 @@ -;;; ERROR: 1 -;;; FLAGS: --spec -(assert_malformed - (module - "\00asm\0d\00\00\00") - "???") -(;; STDERR ;;; -out/test/parse/assert/bad-assertmalformed-succeeds.txt:4:4: expected module to be malformed - (module - ^^^^^^ -;;; STDERR ;;) diff --git a/test/parse/assert/nocheck-assertinvalid-resolve-names.txt b/test/parse/assert/nocheck-assertinvalid-resolve-names.txt deleted file mode 100644 index 0414d7d2..00000000 --- a/test/parse/assert/nocheck-assertinvalid-resolve-names.txt +++ /dev/null @@ -1,9 +0,0 @@ -;;; FLAGS: --spec --no-check-assert-invalid - -(assert_invalid - (module - (func - block $l - br $g - end)) - "foo") diff --git a/test/parse/assert/nocheck-assertinvalid.txt b/test/parse/assert/nocheck-assertinvalid.txt deleted file mode 100644 index a012a846..00000000 --- a/test/parse/assert/nocheck-assertinvalid.txt +++ /dev/null @@ -1,10 +0,0 @@ -;;; FLAGS: --spec --no-check-assert-invalid - -;; normally would fail because the module is valid. -(assert_invalid - (module) "foo") - -;; normally would print a message displaying why the module was invalid. -(assert_invalid - (module - (func (result i32) i64.const 1)) "bar") diff --git a/test/parse/assert/nocheck-assertmalformed.txt b/test/parse/assert/nocheck-assertmalformed.txt deleted file mode 100644 index 76441c74..00000000 --- a/test/parse/assert/nocheck-assertmalformed.txt +++ /dev/null @@ -1,11 +0,0 @@ -;;; FLAGS: --spec --no-check-assert-invalid - -;; normally would fail because the module is well-formed. -(assert_malformed - (module "\00asm\0c\00\00\00") - "???") - -;; normally would print a message displaying why the module was malformed. -(assert_malformed - (module "\00asm\ab\cd\ef\01") - "???") diff --git a/test/run-gen-spec-js.py b/test/run-gen-spec-js.py index 3fa33d64..58921b81 100755 --- a/test/run-gen-spec-js.py +++ b/test/run-gen-spec-js.py @@ -61,7 +61,7 @@ def main(args): with utils.TempDirectory(options.out_dir, 'run-gen-spec-js-') as out_dir: wast2wasm = utils.Executable( find_exe.GetWast2WasmExecutable(options.bindir), '--spec', - '--no-check-assert-invalid', error_cmdline=options.error_cmdline) + error_cmdline=options.error_cmdline) wast2wasm.AppendOptionalArgs({ '-v': options.verbose, '--use-libc-allocator': options.use_libc_allocator diff --git a/test/spec/binary.txt b/test/spec/binary.txt index 344d4085..41a7f181 100644 --- a/test/spec/binary.txt +++ b/test/spec/binary.txt @@ -1,54 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/binary.wast (;; STDOUT ;;; -assert_malformed error: - out/third_party/testsuite/binary.wast:6:20: error in binary module: @0x00000000: unable to read uint32_t: magic -(assert_malformed (module "") "unexpected end") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:7:20: error in binary module: @0x00000000: unable to read uint32_t: magic -(assert_malformed (module "\01") "unexpected end") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:8:20: error in binary module: @0x00000000: unable to read uint32_t: magic -(assert_malformed (module "\00as") "unexpected end") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:9:20: error in binary module: @0x00000004: bad magic value -(assert_malformed (module "asm\00") "magic header not detected") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:10:20: error in binary module: @0x00000004: bad magic value -(assert_malformed (module "msa\00") "magic header not detected") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:11:20: error in binary module: @0x00000004: bad magic value -(assert_malformed (module "msa\00\0d\00\00\00") "magic header not detected") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:12:20: error in binary module: @0x00000004: bad magic value -(assert_malformed (module "msa\00\00\00\00\0d") "magic header not detected") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:14:20: error in binary module: @0x00000004: unable to read uint32_t: version -(assert_malformed (module "\00asm") "unexpected end") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:15:20: error in binary module: @0x00000004: unable to read uint32_t: version -(assert_malformed (module "\00asm\0d") "unexpected end") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:16:20: error in binary module: @0x00000004: unable to read uint32_t: version -(assert_malformed (module "\00asm\0d\00\00") "unexpected end") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:17:20: error in binary module: @0x00000008: bad wasm file version: 0xe (expected 0xd) -(assert_malformed (module "\00asm\0e\00\00\00") "unknown binary version") - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/binary.wast:18:20: error in binary module: @0x00000008: bad wasm file version: 0xd000000 (expected 0xd) -(assert_malformed (module "\00asm\00\00\00\0d") "unknown binary version") - ^^^^^^ out/third_party/testsuite/binary.wast:6: assert_malformed passed: error: @0x00000000: unable to read uint32_t: magic out/third_party/testsuite/binary.wast:7: assert_malformed passed: diff --git a/test/spec/block.txt b/test/spec/block.txt index f73829f5..394f51b4 100644 --- a/test/spec/block.txt +++ b/test/spec/block.txt @@ -1,150 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/block.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/block.wast:133:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-i32 (result i32) (block))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:133:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-i32 (result i32) (block))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:137:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-i64 (result i64) (block))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:137:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-i64 (result i64) (block))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:141:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-f32 (result f32) (block))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:141:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-f32 (result f32) (block))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:145:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-f64 (result f64) (block))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:145:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-f64 (result f64) (block))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:151:6: type stack at end of block is 1. expected 0 - (block (i32.const 1)) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:156:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-value-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:156:11: type stack at end of function is 0. expected 1 - (module (func $type-value-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:163:6: type stack at end of block is 1. expected 0 - (block (f32.const 0)) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:162:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-value-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:162:11: type stack at end of function is 0. expected 1 - (module (func $type-value-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:170:17: type stack size too small at br value. got 0, expected at least 1 - (block i32 (br 0)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:176:17: type stack size too small at br value. got 0, expected at least 1 - (block i32 (br 0) (i32.const 1)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:182:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-break-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:182:11: type stack at end of function is 0. expected 1 - (module (func $type-break-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:188:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-break-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:188:11: type stack at end of function is 0. expected 1 - (module (func $type-break-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:194:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-break-first-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:194:11: type stack at end of function is 0. expected 1 - (module (func $type-break-first-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:200:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-break-first-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:200:11: type stack at end of function is 0. expected 1 - (module (func $type-break-first-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:207:11: type stack at end of function is 1. expected 0 - (module (func $type-break-nested-num-vs-void - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:213:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-break-nested-empty-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:213:11: type stack at end of function is 0. expected 1 - (module (func $type-break-nested-empty-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:220:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-break-nested-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:220:11: type stack at end of function is 0. expected 1 - (module (func $type-break-nested-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:226:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-break-nested-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:226:11: type stack at end of function is 0. expected 1 - (module (func $type-break-nested-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:234:6: type stack size too small at i32.ctz. got 0, expected at least 1 - (i32.ctz (block (br 0))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:241:6: type stack size too small at i64.ctz. got 0, expected at least 1 - (i64.ctz (block (br 0 (nop)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:240:11: type mismatch at function. got i64, expected i32 - (module (func $type-break-operand-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:247:6: type stack size too small at i64.ctz. got 0, expected at least 1 - (i64.ctz (block (br 0 (i64.const 9)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/block.wast:246:11: type mismatch at function. got i64, expected i32 - (module (func $type-break-operand-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out/third_party/testsuite/block.wast:133: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 error: @0x0000001c: end_function_body callback failed diff --git a/test/spec/br.txt b/test/spec/br.txt index 8b3dc214..a88275b5 100644 --- a/test/spec/br.txt +++ b/test/spec/br.txt @@ -1,42 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/br.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/br.wast:372:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-arg-empty-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br.wast:372:11: type stack at end of function is 0. expected 1 - (module (func $type-arg-empty-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br.wast:379:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-arg-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br.wast:379:11: type stack at end of function is 0. expected 1 - (module (func $type-arg-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br.wast:385:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-arg-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br.wast:385:11: type stack at end of function is 0. expected 1 - (module (func $type-arg-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br.wast:392:36: label variable out of range (max 1) - (module (func $unbound-label (br 1))) - ^ -assert_invalid error: - out/third_party/testsuite/br.wast:396:57: label variable out of range (max 3) - (module (func $unbound-nested-label (block (block (br 5))))) - ^ -assert_invalid error: - out/third_party/testsuite/br.wast:400:34: label variable out of range (max 1) - (module (func $large-label (br 0x10000001))) - ^^^^^^^^^^ out/third_party/testsuite/br.wast:372: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 error: @0x00000020: end_function_body callback failed diff --git a/test/spec/br_if.txt b/test/spec/br_if.txt index 023d45a8..5e9adef3 100644 --- a/test/spec/br_if.txt +++ b/test/spec/br_if.txt @@ -1,146 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/br_if.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/br_if.wast:171:41: type stack size too small at i32.ctz. got 0, expected at least 1 - (module (func $type-false-i32 (block (i32.ctz (br_if 0 (i32.const 0)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:171:34: type stack at end of block is 1. expected 0 - (module (func $type-false-i32 (block (i32.ctz (br_if 0 (i32.const 0)))))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:175:41: type stack size too small at i64.ctz. got 0, expected at least 1 - (module (func $type-false-i64 (block (i64.ctz (br_if 0 (i32.const 0)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:175:34: type stack at end of block is 1. expected 0 - (module (func $type-false-i64 (block (i64.ctz (br_if 0 (i32.const 0)))))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:179:41: type stack size too small at f32.neg. got 0, expected at least 1 - (module (func $type-false-f32 (block (f32.neg (br_if 0 (i32.const 0)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:179:34: type stack at end of block is 1. expected 0 - (module (func $type-false-f32 (block (f32.neg (br_if 0 (i32.const 0)))))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:183:41: type stack size too small at f64.neg. got 0, expected at least 1 - (module (func $type-false-f64 (block (f64.neg (br_if 0 (i32.const 0)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:183:34: type stack at end of block is 1. expected 0 - (module (func $type-false-f64 (block (f64.neg (br_if 0 (i32.const 0)))))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:188:40: type stack size too small at i32.ctz. got 0, expected at least 1 - (module (func $type-true-i32 (block (i32.ctz (br_if 0 (i32.const 1)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:188:33: type stack at end of block is 1. expected 0 - (module (func $type-true-i32 (block (i32.ctz (br_if 0 (i32.const 1)))))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:192:49: type mismatch at br_if condition. got i64, expected i32 - (module (func $type-true-i64 (block (i64.ctz (br_if 0 (i64.const 1)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:192:40: type stack size too small at i64.ctz. got 0, expected at least 1 - (module (func $type-true-i64 (block (i64.ctz (br_if 0 (i64.const 1)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:192:33: type stack at end of block is 1. expected 0 - (module (func $type-true-i64 (block (i64.ctz (br_if 0 (i64.const 1)))))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:196:49: type mismatch at br_if condition. got f32, expected i32 - (module (func $type-true-f32 (block (f32.neg (br_if 0 (f32.const 1)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:196:40: type stack size too small at f32.neg. got 0, expected at least 1 - (module (func $type-true-f32 (block (f32.neg (br_if 0 (f32.const 1)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:196:33: type stack at end of block is 1. expected 0 - (module (func $type-true-f32 (block (f32.neg (br_if 0 (f32.const 1)))))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:200:49: type mismatch at br_if condition. got i64, expected i32 - (module (func $type-true-f64 (block (f64.neg (br_if 0 (i64.const 1)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:200:40: type stack size too small at f64.neg. got 0, expected at least 1 - (module (func $type-true-f64 (block (f64.neg (br_if 0 (i64.const 1)))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:200:33: type stack at end of block is 1. expected 0 - (module (func $type-true-f64 (block (f64.neg (br_if 0 (i64.const 1)))))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:206:17: type stack size too small at br_if value. got 0, expected at least 1 - (block i32 (br_if 0 (i32.const 0)) (i32.const 1)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:212:17: type stack size too small at br_if value. got 0, expected at least 1 - (block i32 (br_if 0 (i32.const 1)) (i32.const 1)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:218:6: type stack at end of block is 1. expected 0 - (block (br_if 0 (i32.const 0) (i32.const 0))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:224:6: type stack at end of block is 1. expected 0 - (block (br_if 0 (i32.const 0) (i32.const 1))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:231:17: type stack size too small at br_if value. got 0, expected at least 1 - (block i32 (br_if 0 (nop) (i32.const 0)) (i32.const 1)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:237:17: type stack size too small at br_if value. got 0, expected at least 1 - (block i32 (br_if 0 (nop) (i32.const 1)) (i32.const 1)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:243:23: type mismatch at br_if value. got i64, expected i32 - (block i32 (drop (br_if 0 (i64.const 1) (i32.const 0))) (i32.const 1)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:249:23: type mismatch at br_if value. got i64, expected i32 - (block i32 (drop (br_if 0 (i64.const 1) (i32.const 0))) (i32.const 1)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:256:13: type stack size too small at br_if condition. got 0, expected at least 1 - (block (br_if 0 (nop))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:262:13: type mismatch at br_if condition. got i64, expected i32 - (block (br_if 0 (i64.const 0))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:268:17: type stack size too small at br_if value. got 0, expected at least 1 - (block i32 (br_if 0 (i32.const 0) (nop)) (i32.const 1)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:274:17: type mismatch at br_if condition. got i64, expected i32 - (block i32 (br_if 0 (i32.const 0) (i64.const 0)) (i32.const 1)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_if.wast:274:6: type stack at end of block is 2. expected 1 - (block i32 (br_if 0 (i32.const 0) (i64.const 0)) (i32.const 1)) - ^^^^^ -assert_invalid error: - out/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: - out/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: - out/third_party/testsuite/br_if.wast:288:37: label variable out of range (max 1) - (module (func $large-label (br_if 0x10000001 (i32.const 1)))) - ^^^^^^^^^^ out/third_party/testsuite/br_if.wast:171: assert_invalid passed: error: type stack size too small at i32.ctz. got 0, expected at least 1 error: @0x0000001e: on_unary_expr callback failed diff --git a/test/spec/br_table.txt b/test/spec/br_table.txt index e91ac406..21ee927c 100644 --- a/test/spec/br_table.txt +++ b/test/spec/br_table.txt @@ -1,74 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/br_table.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/br_table.wast:1386:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-arg-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1386:11: type stack at end of function is 0. expected 1 - (module (func $type-arg-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1394:17: type stack size too small at br_table default target. got 0, expected at least 1 - (block i32 (br_table 0 (nop) (i32.const 1)) (i32.const 1)) - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1400:17: type mismatch at br_table target. got i64, expected i32 - (block i32 (br_table 0 0 0 (i64.const 1) (i32.const 1)) (i32.const 1)) - ^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1400:17: type mismatch at br_table target. got i64, expected i32 - (block i32 (br_table 0 0 0 (i64.const 1) (i32.const 1)) (i32.const 1)) - ^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1400:17: type mismatch at br_table default target. got i64, expected i32 - (block i32 (br_table 0 0 0 (i64.const 1) (i32.const 1)) (i32.const 1)) - ^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1407:13: type stack size too small at br_table key. got 0, expected at least 1 - (block (br_table 0 0 0 (nop))) - ^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1413:13: type mismatch at br_table key. got i64, expected i32 - (block (br_table 0 (i64.const 0))) - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1419:17: type stack size too small at br_table target. got 0, expected at least 1 - (block i32 (br_table 0 0 (i32.const 0) (nop)) (i32.const 1)) - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1419:17: type stack size too small at br_table default target. got 0, expected at least 1 - (block i32 (br_table 0 0 (i32.const 0) (nop)) (i32.const 1)) - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1425:17: type mismatch at br_table key. got i64, expected i32 - (block i32 (br_table 0 0 (i32.const 0) (i64.const 0)) (i32.const 1)) - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1432:22: label variable out of range (max 2) - (block (br_table 2 1 (i32.const 1))) - ^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1438:31: label variable out of range (max 3) - (block (block (br_table 0 5 (i32.const 1)))) - ^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1444:24: label variable out of range (max 2) - (block (br_table 0 0x10000001 0 (i32.const 1))) - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1451:24: label variable out of range (max 2) - (block (br_table 1 2 (i32.const 1))) - ^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1457:31: label variable out of range (max 3) - (block (block (br_table 0 5 (i32.const 1)))) - ^ -assert_invalid error: - out/third_party/testsuite/br_table.wast:1463:26: label variable out of range (max 2) - (block (br_table 0 0 0x10000001 (i32.const 1))) - ^^^^^^^^^^ out/third_party/testsuite/br_table.wast:1386: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 error: @0x00000023: end_function_body callback failed diff --git a/test/spec/call.txt b/test/spec/call.txt index 295f547d..ce675d86 100644 --- a/test/spec/call.txt +++ b/test/spec/call.txt @@ -1,70 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/call.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/call.wast:152:30: type stack size too small at i32.eqz. got 0, expected at least 1 - (func $type-void-vs-num (i32.eqz (call 1))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:152:5: type stack at end of function is 1. expected 0 - (func $type-void-vs-num (i32.eqz (call 1))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:159:29: type mismatch at i32.eqz. got i64, expected i32 - (func $type-num-vs-num (i32.eqz (call 1))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:159:5: type stack at end of function is 1. expected 0 - (func $type-num-vs-num (i32.eqz (call 1))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:167:26: type stack size too small at call. got 0, expected at least 1 - (func $arity-0-vs-1 (call 1)) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:174:26: type stack size too small at call. got 0, expected at least 2 - (func $arity-0-vs-2 (call 1)) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:181:5: type stack at end of function is 1. expected 0 - (func $arity-1-vs-0 (call 1 (i32.const 1))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:188:5: type stack at end of function is 2. expected 0 - (func $arity-2-vs-0 (call 1 (f64.const 2) (i32.const 1))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:196:36: type stack size too small at call. got 1, expected at least 2 - (func $type-first-void-vs-num (call 1 (nop) (i32.const 1))) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:203:37: type stack size too small at call. got 1, expected at least 2 - (func $type-second-void-vs-num (call 1 (i32.const 1) (nop))) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/call.wast:210:35: type mismatch for 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: - out/third_party/testsuite/call.wast:210:35: type mismatch for 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: - out/third_party/testsuite/call.wast:217:36: type mismatch for 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: - out/third_party/testsuite/call.wast:217:36: type mismatch for 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: - out/third_party/testsuite/call.wast:227:37: function variable out of range (max 1) - (module (func $unbound-func (call 1))) - ^ -assert_invalid error: - out/third_party/testsuite/call.wast:231:35: function variable out of range (max 1) - (module (func $large-func (call 1012321300))) - ^^^^^^^^^^ out/third_party/testsuite/call.wast:151: assert_invalid passed: error: type stack size too small at i32.eqz. got 0, expected at least 1 error: @0x0000001b: on_convert_expr callback failed diff --git a/test/spec/call_indirect.txt b/test/spec/call_indirect.txt index 22e2f8f8..59773f0c 100644 --- a/test/spec/call_indirect.txt +++ b/test/spec/call_indirect.txt @@ -1,98 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/call_indirect.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:231:22: found call_indirect operator, but no table - (func $no-table (call_indirect 0 (i32.const 0))) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:240:30: type stack size too small at i32.eqz. got 0, expected at least 1 - (func $type-void-vs-num (i32.eqz (call_indirect 0 (i32.const 0)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:240:5: type stack at end of function is 1. expected 0 - (func $type-void-vs-num (i32.eqz (call_indirect 0 (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:248:29: type mismatch at i32.eqz. got i64, expected i32 - (func $type-num-vs-num (i32.eqz (call_indirect 0 (i32.const 0)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:248:5: type stack at end of function is 1. expected 0 - (func $type-num-vs-num (i32.eqz (call_indirect 0 (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:257:26: type stack size too small at call_indirect. got 0, expected at least 1 - (func $arity-0-vs-1 (call_indirect 0 (i32.const 0))) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:265:26: type stack size too small at call_indirect. got 0, expected at least 2 - (func $arity-0-vs-2 (call_indirect 0 (i32.const 0))) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:273:5: type stack at end of function is 1. expected 0 - (func $arity-1-vs-0 (call_indirect 0 (i32.const 1) (i32.const 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:281:5: type stack at end of function is 2. expected 0 - (func $arity-2-vs-0 - ^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:292:35: type stack size too small at call_indirect. got 0, expected at least 1 - (func $type-func-void-vs-i32 (call_indirect 0 (i32.const 1) (nop))) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:300:34: type mismatch at call_indirect function index. got i64, expected i32 - (func $type-func-num-vs-i32 (call_indirect 0 (i32.const 0) (i64.const 1))) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:310:8: type stack size too small at call_indirect. got 1, expected at least 2 - (call_indirect 0 (nop) (i32.const 1) (i32.const 0)) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:320:8: type stack size too small at call_indirect. got 1, expected at least 2 - (call_indirect 0 (i32.const 1) (nop) (i32.const 0)) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:330:8: type mismatch for argument 0 of call_indirect. got f64, expected i32 - (call_indirect 0 (f64.const 1) (i32.const 1) (i32.const 0)) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:330:8: type mismatch for argument 1 of call_indirect. got i32, expected f64 - (call_indirect 0 (f64.const 1) (i32.const 1) (i32.const 0)) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:340:8: type mismatch for argument 0 of call_indirect. got i32, expected f64 - (call_indirect 0 (i32.const 1) (f64.const 1) (i32.const 0)) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:340:8: type mismatch for argument 1 of call_indirect. got f64, expected i32 - (call_indirect 0 (i32.const 1) (f64.const 1) (i32.const 0)) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:352:40: function type variable out of range (max 1) - (func $unbound-type (call_indirect 1 (i32.const 0))) - ^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:352:5: type stack at end of function is 1. expected 0 - (func $unbound-type (call_indirect 1 (i32.const 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:359:38: function type variable out of range (max 1) - (func $large-type (call_indirect 1012321300 (i32.const 0))) - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:359:5: type stack at end of function is 1. expected 0 - (func $large-type (call_indirect 1012321300 (i32.const 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:368:32: function variable out of range (max 0) - (module (table anyfunc (elem 0 0))) - ^ -assert_invalid error: - out/third_party/testsuite/call_indirect.wast:368:34: function variable out of range (max 0) - (module (table anyfunc (elem 0 0))) - ^ out/third_party/testsuite/call_indirect.wast:229: assert_invalid passed: error: found call_indirect operator, but no table error: @0x0000001c: on_call_indirect_expr callback failed diff --git a/test/spec/custom_section.txt b/test/spec/custom_section.txt index 13ba3f1e..1f4797fa 100644 --- a/test/spec/custom_section.txt +++ b/test/spec/custom_section.txt @@ -1,22 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/custom_section.wast (;; STDOUT ;;; -assert_malformed error: - out/third_party/testsuite/custom_section.wast:58:4: error in binary module: @0x0000000a: unable to read u32 leb128: string length - (module - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/custom_section.wast:66:4: error in binary module: @0x0000000a: invalid section size: extends past end - (module - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/custom_section.wast:74:4: error in binary module: @0x00000031: invalid section code: 36; max is 11 - (module - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/custom_section.wast:83:4: error in binary module: @0x0000003e: function signature count != function body count - (module - ^^^^^^ out/third_party/testsuite/custom_section.wast:58: assert_malformed passed: error: @0x0000000a: unable to read u32 leb128: string length out/third_party/testsuite/custom_section.wast:66: assert_malformed passed: diff --git a/test/spec/exports.txt b/test/spec/exports.txt index d20d5aad..91dd1820 100644 --- a/test/spec/exports.txt +++ b/test/spec/exports.txt @@ -1,94 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/exports.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/exports.wast:27:36: function variable out of range (max 1) - (module (func) (export "a" (func 1))) - ^ -assert_invalid error: - out/third_party/testsuite/exports.wast:31:40: redefinition of export "a" - (module (func) (export "a" (func 0)) (export "a" (func 0))) - ^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:35:47: redefinition of export "a" - (module (func) (func) (export "a" (func 0)) (export "a" (func 1))) - ^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:39:67: redefinition of export "a" -...nc) (global i32 (i32.const 0)) (export "a" (func 0)) (export "a" (global 0))) - ^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:43:58: redefinition of export "a" - (module (func) (table 0 anyfunc) (export "a" (func 0)) (export "a" (table 0))) - ^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:47:51: redefinition of export "a" - (module (func) (memory 0) (export "a" (func 0)) (export "a" (memory 0))) - ^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:76:58: global variable out of range (max 1) - (module (global i32 (i32.const 0)) (export "a" (global 1))) - ^ -assert_invalid error: - out/third_party/testsuite/exports.wast:80:62: redefinition of export "a" -...e (global i32 (i32.const 0)) (export "a" (global 0)) (export "a" (global 0))) - ^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:84:89: redefinition of export "a" -...) (global i32 (i32.const 0)) (export "a" (global 0)) (export "a" (global 1))) - ^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:88:69: redefinition of export "a" -...obal i32 (i32.const 0)) (func) (export "a" (global 0)) (export "a" (func 0))) - ^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:92:80: redefinition of export "a" -...2.const 0)) (table 0 anyfunc) (export "a" (global 0)) (export "a" (table 0))) - ^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:96:73: redefinition of export "a" -...32 (i32.const 0)) (memory 0) (export "a" (global 0)) (export "a" (memory 0))) - ^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:124:48: table variable out of range (max 1) - (module (table 0 anyfunc) (export "a" (table 1))) - ^ -assert_invalid error: - out/third_party/testsuite/exports.wast:128:52: redefinition of export "a" - (module (table 0 anyfunc) (export "a" (table 0)) (export "a" (table 0))) - ^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:137:59: redefinition of export "a" - (module (table 0 anyfunc) (func) (export "a" (table 0)) (export "a" (func 0))) - ^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:141:79: redefinition of export "a" -...c) (global i32 (i32.const 0)) (export "a" (table 0)) (export "a" (global 0))) - ^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:145:63: redefinition of export "a" -... (table 0 anyfunc) (memory 0) (export "a" (table 0)) (export "a" (memory 0))) - ^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:173:42: memory variable out of range (max 1) - (module (memory 0) (export "a" (memory 1))) - ^ -assert_invalid error: - out/third_party/testsuite/exports.wast:177:46: redefinition of export "a" - (module (memory 0) (export "a" (memory 0)) (export "a" (memory 0))) - ^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:186:53: redefinition of export "a" - (module (memory 0) (func) (export "a" (memory 0)) (export "a" (func 0))) - ^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:190:73: redefinition of export "a" -...) (global i32 (i32.const 0)) (export "a" (memory 0)) (export "a" (global 0))) - ^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/exports.wast:194:64: redefinition of export "a" -... (memory 0) (table 0 anyfunc) (export "a" (memory 0)) (export "a" (table 0))) - ^^^^^^^^^^^^^^^^^^^^^^ out/third_party/testsuite/exports.wast:27: assert_invalid passed: error: @0x00000019: invalid export func index: 1 out/third_party/testsuite/exports.wast:31: assert_invalid passed: diff --git a/test/spec/func.txt b/test/spec/func.txt index 5323dce6..e43ff04e 100644 --- a/test/spec/func.txt +++ b/test/spec/func.txt @@ -1,162 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/func.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/func.wast:315:11: type mismatch at function. got i32, expected i64 - (module (func $type-local-num-vs-num (result i64) (local i32) (get_local 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:319:53: type mismatch at i32.eqz. got f32, expected i32 - (module (func $type-local-num-vs-num (local f32) (i32.eqz (get_local 0)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:319:11: type stack at end of function is 1. expected 0 - (module (func $type-local-num-vs-num (local f32) (i32.eqz (get_local 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:323:57: type mismatch at f64.neg. got i64, expected f64 - (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:323:11: type stack at end of function is 1. expected 0 - (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:331:11: type mismatch at function. got i32, expected i64 - (module (func $type-param-num-vs-num (param i32) (result i64) (get_local 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:335:53: type mismatch at i32.eqz. got f32, expected i32 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:335:11: type stack at end of function is 1. expected 0 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:339:57: type mismatch at f64.neg. got i64, expected f64 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:339:11: type stack at end of function is 1. expected 0 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:347:11: multiple result values not currently supported. - (module (func $type-multiple-result (result i32 i32) (unreachable))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:353:5: multiple result values not currently supported. - (func $type-multiple-result (type 0) (unreachable)) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:360:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-i32 (result i32))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:360:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-i32 (result i32))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:364:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-i64 (result i64))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:364:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-i64 (result i64))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:368:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-f32 (result f32))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:368:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-f32 (result f32))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:372:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-f64 (result f64))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:372:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-f64 (result f64))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:377:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-value-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:377:11: type stack at end of function is 0. expected 1 - (module (func $type-value-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:383:11: type stack at end of function is 1. expected 0 - (module (func $type-value-num-vs-void - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:389:11: type mismatch at function. got f32, expected i32 - (module (func $type-value-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:397:6: type stack size too small at return. got 0, expected at least 1 - (return) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:403:6: type stack size too small at return. got 0, expected at least 1 - (return (nop)) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:409:6: type mismatch at return. got i64, expected i32 - (return (i64.const 0)) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:416:6: type stack size too small at return. got 0, expected at least 1 - (return) (i32.const 1) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:422:6: type stack size too small at return. got 0, expected at least 1 - (return (nop)) (i32.const 1) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:428:6: type mismatch at return. got i64, expected i32 - (return (i64.const 1)) (i32.const 1) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:434:6: type mismatch at return. got i64, expected i32 - (return (i64.const 1)) (return (i32.const 1)) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:441:6: type stack size too small at br value. got 0, expected at least 1 - (br 0) - ^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:447:6: type mismatch at br value. got f32, expected i32 - (br 0 (f32.const 0)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:453:6: type stack size too small at br value. got 0, expected at least 1 - (br 0) (i32.const 1) - ^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:459:6: type mismatch at br value. got i64, expected i32 - (br 0 (i64.const 1)) (i32.const 1) - ^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:465:6: type mismatch at br value. got i64, expected i32 - (br 0 (i64.const 1)) (br 0 (i32.const 1)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:472:13: type stack size too small at br value. got 0, expected at least 1 - (block (br 1)) (br 0 (i32.const 1)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:478:13: type stack size too small at br value. got 0, expected at least 1 - (block (br 1 (nop))) (br 0 (i32.const 1)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/func.wast:484:13: type mismatch at br value. got i64, expected i32 - (block (br 1 (i64.const 1))) (br 0 (i32.const 1)) - ^^^^ out/third_party/testsuite/func.wast:315: assert_invalid passed: error: type mismatch in implicit return, expected i64 but got i32. error: @0x0000001d: end_function_body callback failed diff --git a/test/spec/func_ptrs.txt b/test/spec/func_ptrs.txt index 49f2e428..602130e9 100644 --- a/test/spec/func_ptrs.txt +++ b/test/spec/func_ptrs.txt @@ -1,34 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/func_ptrs.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/func_ptrs.wast:31:26: table variable out of range (max 0) -(assert_invalid (module (elem (i32.const 0))) "unknown table") - ^^^^ -assert_invalid error: - out/third_party/testsuite/func_ptrs.wast:32:26: table variable out of range (max 0) -(assert_invalid (module (elem (i32.const 0) 0) (func)) "unknown table") - ^^^^ -assert_invalid error: - out/third_party/testsuite/func_ptrs.wast:35:36: type mismatch at elem segment offset. got i64, expected i32 - (module (table 1 anyfunc) (elem (i64.const 0))) - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func_ptrs.wast:39:29: invalid elem segment offset, must be a constant expression; either *.const or get_global. - (module (table 1 anyfunc) (elem (i32.ctz (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func_ptrs.wast:43:29: invalid elem segment offset, must be a constant expression; either *.const or get_global. - (module (table 1 anyfunc) (elem (nop))) - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/func_ptrs.wast:47:37: function type variable out of range (max 0) -(assert_invalid (module (func (type 42))) "unknown type") - ^^ -assert_invalid error: - out/third_party/testsuite/func_ptrs.wast:48:64: function type variable out of range (max 0) -...invalid (module (import "spectest" "print" (func (type 43)))) "unknown type") - ^^ called host spectest.print(i32:83) => four(i32:83) => out/third_party/testsuite/func_ptrs.wast:31: assert_invalid passed: diff --git a/test/spec/get_local.txt b/test/spec/get_local.txt index 0cb64daf..491937c0 100644 --- a/test/spec/get_local.txt +++ b/test/spec/get_local.txt @@ -1,70 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/get_local.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/get_local.wast:91:11: type mismatch at function. got i32, expected i64 - (module (func $type-local-num-vs-num (result i64) (local i32) (get_local 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:95:53: type mismatch at i32.eqz. got f32, expected i32 - (module (func $type-local-num-vs-num (local f32) (i32.eqz (get_local 0)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:95:11: type stack at end of function is 1. expected 0 - (module (func $type-local-num-vs-num (local f32) (i32.eqz (get_local 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:99:57: type mismatch at f64.neg. got i64, expected f64 - (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:99:11: type stack at end of function is 1. expected 0 - (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:107:11: type mismatch at function. got i32, expected i64 - (module (func $type-param-num-vs-num (param i32) (result i64) (get_local 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:111:53: type mismatch at i32.eqz. got f32, expected i32 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:111:11: type stack at end of function is 1. expected 0 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:115:57: type mismatch at f64.neg. got i64, expected f64 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:115:11: type stack at end of function is 1. expected 0 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:123:59: local variable out of range (max 2) - (module (func $unbound-local (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:127:57: local variable out of range (max 2) - (module (func $large-local (local i32 i64) (get_local 14324343))) - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:132:59: local variable out of range (max 2) - (module (func $unbound-param (param i32 i64) (get_local 2))) - ^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:136:57: local variable out of range (max 2) - (module (func $large-param (local i32 i64) (get_local 714324343))) - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:141:71: local variable out of range (max 3) - (module (func $unbound-mixed (param i32) (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - out/third_party/testsuite/get_local.wast:145:69: local variable out of range (max 3) - (module (func $large-mixed (param i64) (local i32 i64) (get_local 214324343))) - ^^^^^^^^^ out/third_party/testsuite/get_local.wast:91: assert_invalid passed: error: type mismatch in implicit return, expected i64 but got i32. error: @0x0000001d: end_function_body callback failed diff --git a/test/spec/globals.txt b/test/spec/globals.txt index 2d8c7083..253b21c4 100644 --- a/test/spec/globals.txt +++ b/test/spec/globals.txt @@ -1,62 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/globals.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/globals.wast:50:45: type mismatch at set_global. got i32, expected f32 - (module (global f32 (f32.const 0)) (func (set_global 0 (i32.const 1)))) - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/globals.wast:55:11: mutable globals cannot be imported - (module (import "m" "a" (global (mut i32)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/globals.wast:60:11: mutable globals cannot be imported - (module (global (import "m" "a") (mut i32))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/globals.wast:65:64: mutable globals cannot be exported - (module (global (mut f32) (f32.const 0)) (export "a" (global 0))) - ^ -assert_invalid error: - out/third_party/testsuite/globals.wast:70:11: mutable globals cannot be exported - (module (global (export "a") (mut f32) (f32.const 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/globals.wast:75:11: invalid global initializer expression, must be a constant expression; either *.const or get_global. - (module (global f32 (f32.neg (f32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/globals.wast:80:11: invalid global initializer expression, must be a constant expression; either *.const or get_global. - (module (global f32 (get_local 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/globals.wast:85:24: type mismatch at global initializer expression. got f32, expected i32 - (module (global i32 (f32.const 0))) - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/globals.wast:90:11: initializer expression can only reference a previously defined global - (module (global i32 (get_global 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/globals.wast:95:11: initializer expression can only reference a previously defined global - (module (global i32 (get_global 1)) (global i32 (i32.const 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_malformed error: - out/third_party/testsuite/globals.wast:103:4: error in binary module: @0x00000022: global mutability must be 0 or 1 - (module - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/globals.wast:116:4: error in binary module: @0x00000022: global mutability must be 0 or 1 - (module - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/globals.wast:133:4: error in binary module: @0x00000011: global mutability must be 0 or 1 - (module - ^^^^^^ -assert_malformed error: - out/third_party/testsuite/globals.wast:145:4: error in binary module: @0x00000011: global mutability must be 0 or 1 - (module - ^^^^^^ out/third_party/testsuite/globals.wast:50: assert_invalid passed: error: can't set_global on immutable global at index 0. error: @0x00000026: on_set_global_expr callback failed diff --git a/test/spec/imports.txt b/test/spec/imports.txt index d0f2dd53..3f5d3ea2 100644 --- a/test/spec/imports.txt +++ b/test/spec/imports.txt @@ -1,30 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/imports.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/imports.wast:288:45: only one table allowed - (module (import "" "" (table 10 anyfunc)) (import "" "" (table 10 anyfunc))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/imports.wast:292:45: only one table allowed - (module (import "" "" (table 10 anyfunc)) (table 10 anyfunc)) - ^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/imports.wast:296:30: only one table allowed - (module (table 10 anyfunc) (table 10 anyfunc)) - ^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/imports.wast:383:37: only one memory block allowed - (module (import "" "" (memory 1)) (import "" "" (memory 1))) - ^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/imports.wast:387:37: only one memory block allowed - (module (import "" "" (memory 1)) (memory 0)) - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/imports.wast:391:22: only one memory block allowed - (module (memory 0) (memory 0)) - ^^^^^^^^^^ called host spectest.print(i32:13) => called host spectest.print(i32:14, f32:42) => called host spectest.print(i32:13) => diff --git a/test/spec/labels.txt b/test/spec/labels.txt index 5246d063..bf881895 100644 --- a/test/spec/labels.txt +++ b/test/spec/labels.txt @@ -1,22 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/labels.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/labels.wast:298:28: type stack size too small at f32.neg. got 0, expected at least 1 - (module (func (block $l (f32.neg (br_if $l (i32.const 1))) (nop)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/labels.wast:298:18: type stack at end of block is 1. expected 0 - (module (func (block $l (f32.neg (br_if $l (i32.const 1))) (nop)))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/labels.wast:302:18: type stack at end of block is 1. expected 0 - (module (func (block $l (br_if $l (f32.const 0) (i32.const 1))))) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/labels.wast:306:18: type stack at end of block is 1. expected 0 - (module (func (block $l (br_if $l (f32.const 0) (i32.const 1))))) - ^^^^^ out/third_party/testsuite/labels.wast:298: assert_invalid passed: error: type stack size too small at f32.neg. got 0, expected at least 1 error: @0x0000001e: on_unary_expr callback failed diff --git a/test/spec/loop.txt b/test/spec/loop.txt index e5072585..7d036ea1 100644 --- a/test/spec/loop.txt +++ b/test/spec/loop.txt @@ -1,58 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/loop.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/loop.wast:226:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-i32 (result i32) (loop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:226:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-i32 (result i32) (loop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:230:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-i64 (result i64) (loop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:230:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-i64 (result i64) (loop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:234:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-f32 (result f32) (loop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:234:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-f32 (result f32) (loop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:238:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-empty-f64 (result f64) (loop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:238:11: type stack at end of function is 0. expected 1 - (module (func $type-empty-f64 (result f64) (loop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:243:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-value-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:243:11: type stack at end of function is 0. expected 1 - (module (func $type-value-void-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:250:6: type stack at end of loop is 1. expected 0 - (loop (f32.const 0)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:249:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-value-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/loop.wast:249:11: type stack at end of function is 0. expected 1 - (module (func $type-value-num-vs-num (result i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out/third_party/testsuite/loop.wast:226: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 error: @0x0000001c: end_function_body callback failed diff --git a/test/spec/memory.txt b/test/spec/memory.txt index 1d949c68..27cc34ad 100644 --- a/test/spec/memory.txt +++ b/test/spec/memory.txt @@ -1,142 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/memory.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/memory.wast:19:36: only one memory block allowed -(assert_invalid (module (memory 0) (memory 0)) "multiple memories") - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:20:65: only one memory block allowed -...dule (memory (import "spectest" "memory") 0) (memory 0)) "multiple memories") - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:29:26: memory variable out of range (max 0) -(assert_invalid (module (data (i32.const 0))) "unknown memory") - ^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:30:26: memory variable out of range (max 0) -(assert_invalid (module (data (i32.const 0) "")) "unknown memory") - ^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:31:26: memory variable out of range (max 0) -(assert_invalid (module (data (i32.const 0) "x")) "unknown memory") - ^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:34:24: f32.load requires an imported or defined memory. - (module (func (drop (f32.load (i32.const 0))))) - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:38:18: f32.store requires an imported or defined memory. - (module (func (f32.store (f32.const 0) (i32.const 0)))) - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:38:18: type mismatch at f32.store. got f32, expected i32 - (module (func (f32.store (f32.const 0) (i32.const 0)))) - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:38:18: type mismatch at f32.store. got i32, expected f32 - (module (func (f32.store (f32.const 0) (i32.const 0)))) - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:42:24: i32.load8_s requires an imported or defined memory. - (module (func (drop (i32.load8_s (i32.const 0))))) - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:46:18: i32.store8 requires an imported or defined memory. - (module (func (i32.store8 (i32.const 0) (i32.const 0)))) - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:50:24: current_memory requires an imported or defined memory. - (module (func (drop (current_memory)))) - ^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:54:24: grow_memory requires an imported or defined memory. - (module (func (drop (grow_memory (i32.const 0))))) - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:59:29: type mismatch at data segment offset. got i64, expected i32 - (module (memory 1) (data (i64.const 0))) - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:63:22: invalid data segment offset, must be a constant expression; either *.const or get_global. - (module (memory 1) (data (i32.ctz (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:67:22: invalid data segment offset, must be a constant expression; either *.const or get_global. - (module (memory 1) (data (nop))) - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:131:11: max pages (0) must be >= initial pages (1) - (module (memory 1 0)) - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:135:11: initial pages (65537) must be <= (65536) - (module (memory 65537)) - ^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:139:11: initial pages (2147483648) must be <= (65536) - (module (memory 2147483648)) - ^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:143:11: initial pages (4294967295) must be <= (65536) - (module (memory 4294967295)) - ^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:147:11: max pages (65537) must be <= (65536) - (module (memory 0 65537)) - ^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:151:11: max pages (2147483648) must be <= (65536) - (module (memory 0 2147483648)) - ^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:155:11: max pages (4294967295) must be <= (65536) - (module (memory 0 4294967295)) - ^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:166:35: alignment must not be larger than natural alignment (8) - (module (memory 0) (func (drop (i64.load align=16 (i32.const 0))))) - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:170:35: alignment must not be larger than natural alignment (8) - (module (memory 0) (func (drop (i64.load align=32 (i32.const 0))))) - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:174:35: alignment must not be larger than natural alignment (4) - (module (memory 0) (func (drop (i32.load align=8 (i32.const 0))))) - ^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:178:35: alignment must not be larger than natural alignment (2) - (module (memory 0) (func (drop (i32.load16_u align=4 (i32.const 0))))) - ^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:182:35: alignment must not be larger than natural alignment (1) - (module (memory 0) (func (drop (i32.load8_u align=2 (i32.const 0))))) - ^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:186:29: alignment must not be larger than natural alignment (1) - (module (memory 0) (func (i32.store8 align=2 (i32.const 0) (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:190:29: alignment must not be larger than natural alignment (2) - (module (memory 0) (func (i32.load16_u align=4 (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:190:22: type stack at end of function is 1. expected 0 - (module (memory 0) (func (i32.load16_u align=4 (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:194:29: alignment must not be larger than natural alignment (1) - (module (memory 0) (func (i32.load8_u align=2 (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:194:22: type stack at end of function is 1. expected 0 - (module (memory 0) (func (i32.load8_u align=2 (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/memory.wast:198:29: alignment must not be larger than natural alignment (1) - (module (memory 0) (func (i32.store8 align=2 (i32.const 0) (i32.const 0)))) - ^^^^^^^^^^^^^^^^^^ out/third_party/testsuite/memory.wast:19: assert_invalid passed: error: @0x0000000b: memory count must be 0 or 1 out/third_party/testsuite/memory.wast:20: assert_invalid passed: diff --git a/test/spec/nop.txt b/test/spec/nop.txt index bf56cfd9..996b7828 100644 --- a/test/spec/nop.txt +++ b/test/spec/nop.txt @@ -1,38 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/nop.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/nop.wast:246:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-i32 (result i32) (nop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/nop.wast:246:11: type stack at end of function is 0. expected 1 - (module (func $type-i32 (result i32) (nop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/nop.wast:250:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-i64 (result i64) (nop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/nop.wast:250:11: type stack at end of function is 0. expected 1 - (module (func $type-i64 (result i64) (nop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/nop.wast:254:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-f32 (result f32) (nop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/nop.wast:254:11: type stack at end of function is 0. expected 1 - (module (func $type-f32 (result f32) (nop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/nop.wast:258:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-f64 (result f64) (nop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/nop.wast:258:11: type stack at end of function is 0. expected 1 - (module (func $type-f64 (result f64) (nop))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out/third_party/testsuite/nop.wast:246: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 error: @0x0000001a: end_function_body callback failed diff --git a/test/spec/return.txt b/test/spec/return.txt index e98573b3..5de14ed2 100644 --- a/test/spec/return.txt +++ b/test/spec/return.txt @@ -1,18 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/return.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/return.wast:270:56: type stack size too small at return. got 0, expected at least 1 - (module (func $type-value-empty-vs-num (result f64) (return))) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/return.wast:274:55: type stack size too small at return. got 0, expected at least 1 - (module (func $type-value-void-vs-num (result f64) (return (nop)))) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/return.wast:278:54: type mismatch at return. got i64, expected f64 - (module (func $type-value-num-vs-num (result f64) (return (i64.const 1)))) - ^^^^^^ out/third_party/testsuite/return.wast:270: assert_invalid passed: error: type stack size too small at return. got 0, expected at least 1 error: @0x00000019: on_return_expr callback failed diff --git a/test/spec/select.txt b/test/spec/select.txt index c9ebe37b..c8cf2fcb 100644 --- a/test/spec/select.txt +++ b/test/spec/select.txt @@ -1,10 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/select.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/select.wast:55:27: type stack size too small at select. got 0, expected at least 2 - (module (func $arity-0 (select (nop) (nop) (i32.const 1)))) - ^^^^^^ out/third_party/testsuite/select.wast:55: assert_invalid passed: error: type stack size too small at select. got 0, expected at least 2 error: @0x0000001c: on_select_expr callback failed diff --git a/test/spec/set_local.txt b/test/spec/set_local.txt index 773afde8..49b4c4ef 100644 --- a/test/spec/set_local.txt +++ b/test/spec/set_local.txt @@ -1,118 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/set_local.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/set_local.wast:95:11: type stack size too small at function. got 0, expected at least 1 - (module (func $type-local-num-vs-num (result i64) (local i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:95:11: type stack at end of function is 0. expected 1 - (module (func $type-local-num-vs-num (result i64) (local i32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:102:6: type stack size too small at i32.eqz. got 0, expected at least 1 - (i32.eqz (set_local 0 (f32.const 0))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:101:11: type stack at end of function is 1. expected 0 - (module (func $type-local-num-vs-num (local f32) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:108:6: type stack size too small at f64.neg. got 0, expected at least 1 - (f64.neg (set_local 1 (i64.const 0))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:107:11: type stack at end of function is 1. expected 0 - (module (func $type-local-num-vs-num (local f64 i64) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:114:58: type stack size too small at set_local. got 0, expected at least 1 - (module (func $type-local-arg-void-vs-num (local i32) (set_local 0 (nop)))) - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:118:57: type mismatch at 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: - out/third_party/testsuite/set_local.wast:122:57: type mismatch at 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: - out/third_party/testsuite/set_local.wast:126:61: type mismatch at 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: - out/third_party/testsuite/set_local.wast:134:11: type mismatch at function. got i32, expected i64 - (module (func $type-param-num-vs-num (param i32) (result i64) (get_local 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:138:53: type mismatch at i32.eqz. got f32, expected i32 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:138:11: type stack at end of function is 1. expected 0 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:142:57: type mismatch at f64.neg. got i64, expected f64 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:142:11: type stack at end of function is 1. expected 0 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:147:58: type stack size too small at set_local. got 0, expected at least 1 - (module (func $type-param-arg-void-vs-num (param i32) (set_local 0 (nop)))) - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:151:57: type mismatch at 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: - out/third_party/testsuite/set_local.wast:155:57: type mismatch at 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: - out/third_party/testsuite/set_local.wast:159:61: type mismatch at 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: - out/third_party/testsuite/set_local.wast:167:59: local variable out of range (max 2) - (module (func $unbound-local (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:171:57: local variable out of range (max 2) - (module (func $large-local (local i32 i64) (get_local 14324343))) - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:176:59: local variable out of range (max 2) - (module (func $unbound-param (param i32 i64) (get_local 2))) - ^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:180:57: local variable out of range (max 2) - (module (func $large-param (local i32 i64) (get_local 714324343))) - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:185:71: local variable out of range (max 3) - (module (func $unbound-mixed (param i32) (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:189:69: local variable out of range (max 3) - (module (func $large-mixed (param i64) (local i32 i64) (get_local 214324343))) - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/set_local.wast:194:69: type mismatch at 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: - out/third_party/testsuite/set_local.wast:198:73: type mismatch at 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: - out/third_party/testsuite/set_local.wast:202:73: type mismatch at set_local. got i64, expected f64 -...ixed-arg-num-vs-num (param i64) (local f64 i64) (set_local 1 (i64.const 0)))) - ^^^^^^^^^^^ out/third_party/testsuite/set_local.wast:95: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 error: @0x0000001f: end_function_body callback failed diff --git a/test/spec/start.txt b/test/spec/start.txt index 70cbb90e..7fc051b4 100644 --- a/test/spec/start.txt +++ b/test/spec/start.txt @@ -1,18 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/start.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/start.wast:2:25: function variable out of range (max 1) - (module (func) (start 1)) - ^ -assert_invalid error: - out/third_party/testsuite/start.wast:9:5: start function must not return anything - (start $main) - ^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/start.wast:16:5: start function must be nullary - (start $main) - ^^^^^^^^^^^^^ out/third_party/testsuite/start.wast:2: assert_invalid passed: error: @0x00000015: invalid start function index out/third_party/testsuite/start.wast:7: assert_invalid passed: diff --git a/test/spec/store_retval.txt b/test/spec/store_retval.txt index 942acdfb..2b1f2b15 100644 --- a/test/spec/store_retval.txt +++ b/test/spec/store_retval.txt @@ -1,110 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/store_retval.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/store_retval.wast:2:11: type stack size too small at function. got 0, expected at least 1 - (module (func (param i32) (result i32) (set_local 0 (i32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:2:11: type stack at end of function is 0. expected 1 - (module (func (param i32) (result i32) (set_local 0 (i32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:6:11: type stack size too small at function. got 0, expected at least 1 - (module (func (param i64) (result i64) (set_local 0 (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:6:11: type stack at end of function is 0. expected 1 - (module (func (param i64) (result i64) (set_local 0 (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:10:11: type stack size too small at function. got 0, expected at least 1 - (module (func (param f32) (result f32) (set_local 0 (f32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:10:11: type stack at end of function is 0. expected 1 - (module (func (param f32) (result f32) (set_local 0 (f32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:14:11: type stack size too small at function. got 0, expected at least 1 - (module (func (param f64) (result f64) (set_local 0 (f64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:14:11: type stack at end of function is 0. expected 1 - (module (func (param f64) (result f64) (set_local 0 (f64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:19:22: type stack size too small at function. got 0, expected at least 1 -...y 1) (func (param i32) (result i32) (i32.store (i32.const 0) (i32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:19:22: type stack at end of function is 0. expected 1 -...y 1) (func (param i32) (result i32) (i32.store (i32.const 0) (i32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:23:22: type stack size too small at function. got 0, expected at least 1 -...y 1) (func (param i64) (result i64) (i64.store (i32.const 0) (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:23:22: type stack at end of function is 0. expected 1 -...y 1) (func (param i64) (result i64) (i64.store (i32.const 0) (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:27:22: type stack size too small at function. got 0, expected at least 1 -...y 1) (func (param f32) (result f32) (f32.store (i32.const 0) (f32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:27:22: type stack at end of function is 0. expected 1 -...y 1) (func (param f32) (result f32) (f32.store (i32.const 0) (f32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:31:22: type stack size too small at function. got 0, expected at least 1 -...y 1) (func (param f64) (result f64) (f64.store (i32.const 0) (f64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:31:22: type stack at end of function is 0. expected 1 -...y 1) (func (param f64) (result f64) (f64.store (i32.const 0) (f64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:36:22: type stack size too small at function. got 0, expected at least 1 -... 1) (func (param i32) (result i32) (i32.store8 (i32.const 0) (i32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:36:22: type stack at end of function is 0. expected 1 -... 1) (func (param i32) (result i32) (i32.store8 (i32.const 0) (i32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:40:22: type stack size too small at function. got 0, expected at least 1 -...1) (func (param i32) (result i32) (i32.store16 (i32.const 0) (i32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:40:22: type stack at end of function is 0. expected 1 -...1) (func (param i32) (result i32) (i32.store16 (i32.const 0) (i32.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:44:22: type stack size too small at function. got 0, expected at least 1 -... 1) (func (param i64) (result i64) (i64.store8 (i32.const 0) (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:44:22: type stack at end of function is 0. expected 1 -... 1) (func (param i64) (result i64) (i64.store8 (i32.const 0) (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:48:22: type stack size too small at function. got 0, expected at least 1 -...1) (func (param i64) (result i64) (i64.store16 (i32.const 0) (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:48:22: type stack at end of function is 0. expected 1 -...1) (func (param i64) (result i64) (i64.store16 (i32.const 0) (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:52:22: type stack size too small at function. got 0, expected at least 1 -...1) (func (param i64) (result i64) (i64.store32 (i32.const 0) (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/store_retval.wast:52:22: type stack at end of function is 0. expected 1 -...1) (func (param i64) (result i64) (i64.store32 (i32.const 0) (i64.const 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out/third_party/testsuite/store_retval.wast:2: assert_invalid passed: error: type stack size too small at implicit return. got 0, expected at least 1 error: @0x0000001e: end_function_body callback failed diff --git a/test/spec/switch.txt b/test/spec/switch.txt index dcb6b332..18ebfbc2 100644 --- a/test/spec/switch.txt +++ b/test/spec/switch.txt @@ -1,10 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/switch.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/switch.wast:150:41: label variable out of range (max 1) -(assert_invalid (module (func (br_table 3 (i32.const 0)))) "unknown label") - ^ out/third_party/testsuite/switch.wast:150: assert_invalid passed: error: invalid depth: 3 (max 1) error: @0x0000001c: on_br_table_expr callback failed diff --git a/test/spec/tee_local.txt b/test/spec/tee_local.txt index bd2990b5..6bd73e0c 100644 --- a/test/spec/tee_local.txt +++ b/test/spec/tee_local.txt @@ -1,114 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/tee_local.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/tee_local.wast:132:11: type mismatch at function. got i32, expected i64 - (module (func $type-local-num-vs-num (result i64) (local i32) (tee_local 0 ... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:136:53: type mismatch at i32.eqz. got f32, expected i32 -...nc $type-local-num-vs-num (local f32) (i32.eqz (tee_local 0 (f32.const 0))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:136:11: type stack at end of function is 1. expected 0 -...unc $type-local-num-vs-num (local f32) (i32.eqz (tee_local 0 (f32.const 0)... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:140:57: type mismatch at f64.neg. got i64, expected f64 -...type-local-num-vs-num (local f64 i64) (f64.neg (tee_local 1 (i64.const 0))))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:140:11: type stack at end of function is 1. expected 0 - (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (tee_local 1 ... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:145:58: type stack size too small at tee_local. got 0, expected at least 1 - (module (func $type-local-arg-void-vs-num (local i32) (tee_local 0 (nop)))) - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:149:11: type stack at end of function is 1. expected 0 -...le (func $type-local-arg-num-vs-num (local i32) (tee_local 0 (f32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:153:11: type stack at end of function is 1. expected 0 -...le (func $type-local-arg-num-vs-num (local f32) (tee_local 0 (f64.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:157:11: type stack at end of function is 1. expected 0 -...func $type-local-arg-num-vs-num (local f64 i64) (tee_local 1 (f64.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:165:11: type mismatch at function. got i32, expected i64 - (module (func $type-param-num-vs-num (param i32) (result i64) (get_local 0))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:169:53: type mismatch at i32.eqz. got f32, expected i32 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:169:11: type stack at end of function is 1. expected 0 - (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:173:57: type mismatch at f64.neg. got i64, expected f64 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:173:11: type stack at end of function is 1. expected 0 - (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:178:58: type stack size too small at tee_local. got 0, expected at least 1 - (module (func $type-param-arg-void-vs-num (param i32) (tee_local 0 (nop)))) - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:182:11: type stack at end of function is 1. expected 0 -...le (func $type-param-arg-num-vs-num (param i32) (tee_local 0 (f32.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:186:11: type stack at end of function is 1. expected 0 -...le (func $type-param-arg-num-vs-num (param f32) (tee_local 0 (f64.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:190:11: type stack at end of function is 1. expected 0 -...func $type-param-arg-num-vs-num (param f64 i64) (tee_local 1 (f64.const 0)))) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:198:59: local variable out of range (max 2) - (module (func $unbound-local (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:202:57: local variable out of range (max 2) - (module (func $large-local (local i32 i64) (get_local 14324343))) - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:207:59: local variable out of range (max 2) - (module (func $unbound-param (param i32 i64) (get_local 2))) - ^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:211:57: local variable out of range (max 2) - (module (func $large-param (local i32 i64) (get_local 714324343))) - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:216:71: local variable out of range (max 3) - (module (func $unbound-mixed (param i32) (local i32 i64) (get_local 3))) - ^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:220:69: local variable out of range (max 3) - (module (func $large-mixed (param i64) (local i32 i64) (get_local 214324343))) - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:225:11: type stack at end of function is 1. expected 0 - (module (func $type-mixed-arg-num-vs-num (param f32) (local i32) (tee_local... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:229:11: type stack at end of function is 1. expected 0 - (module (func $type-mixed-arg-num-vs-num (param i64 i32) (local f32) (tee_l... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/tee_local.wast:233:11: type stack at end of function is 1. expected 0 - (module (func $type-mixed-arg-num-vs-num (param i64) (local f64 i64) (tee_l... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out/third_party/testsuite/tee_local.wast:132: assert_invalid passed: error: type mismatch in implicit return, expected i64 but got i32. error: @0x0000001f: end_function_body callback failed diff --git a/test/spec/typecheck.txt b/test/spec/typecheck.txt index 09eb6ec3..7f7be9cd 100644 --- a/test/spec/typecheck.txt +++ b/test/spec/typecheck.txt @@ -1,1754 +1,6 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/typecheck.wast (;; STDOUT ;;; -assert_invalid error: - out/third_party/testsuite/typecheck.wast:5:6: type stack size too small at i32.eqz. got 0, expected at least 1 - (i32.eqz) (drop) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:12:13: type stack size too small at i32.eqz. got 0, expected at least 1 - (block (i32.eqz) (drop)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:10:11: type stack at end of function is 1. expected 0 - (module (func $type-unary-operand-missing-in-block - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:19:11: type stack size too small at i32.eqz. got 0, expected at least 1 - (loop (i32.eqz) (drop)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:17:11: type stack at end of function is 1. expected 0 - (module (func $type-unary-operand-missing-in-loop - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:26:16: type stack size too small at i32.eqz. got 0, expected at least 1 - (if (then (i32.eqz) (drop))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:24:11: type stack at end of function is 1. expected 0 - (module (func $type-unary-operand-missing-in-if - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:33:41: type stack size too small at i32.eqz. got 0, expected at least 1 - (if i32 (then (i32.const 0)) (else (i32.eqz))) (drop) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:31:11: type stack at end of function is 1. expected 0 - (module (func $type-unary-operand-missing-in-else - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:40:6: type stack size too small at i32.add. got 0, expected at least 2 - (i32.add) (drop) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:46:20: type stack size too small at i32.add. got 1, expected at least 2 - (i32.const 0) (i32.add) (drop) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:45:11: type stack at end of function is 1. expected 0 - (module (func $type-binary-2nd-operand-missing - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:53:13: type stack size too small at i32.add. got 0, expected at least 2 - (block (i32.add) (drop)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:51:11: type stack at end of function is 2. expected 0 - (module (func $type-binary-1st-operand-missing-in-block - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:60:27: type stack size too small at i32.add. got 1, expected at least 2 - (block (i32.const 0) (i32.add) (drop)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:60:6: type stack at end of block is 1. expected 0 - (block (i32.const 0) (i32.add) (drop)) - ^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:58:11: type stack at end of function is 1. expected 0 - (module (func $type-binary-2nd-operand-missing-in-block - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:67:12: type stack size too small at i32.add. got 0, expected at least 2 - (loop (i32.add) (drop)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:65:11: type stack at end of function is 2. expected 0 - (module (func $type-binary-1st-operand-missing-in-loop - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:74:26: type stack size too small at i32.add. got 1, expected at least 2 - (loop (i32.const 0) (i32.add) (drop)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:74:6: type stack at end of loop is 1. expected 0 - (loop (i32.const 0) (i32.add) (drop)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:72:11: type stack at end of function is 1. expected 0 - (module (func $type-binary-2nd-operand-missing-in-loop - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:81:20: type stack size too small at drop. got 0, expected at least 1 - (if (i32.add) (drop)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:79:11: type stack at end of function is 1. expected 0 - (module (func $type-binary-1st-operand-missing-in-if - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:88:24: type stack size too small at i32.add. got 0, expected at least 2 - (if (i32.const 0) (i32.add) (drop)) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:88:9: type stack at end of if true branch is 1. expected 0 - (if (i32.const 0) (i32.add) (drop)) - ^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:88:34: type stack size too small at drop. got 0, expected at least 1 - (if (i32.const 0) (i32.add) (drop)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:86:11: type stack at end of function is 2. expected 0 - (module (func $type-binary-2nd-operand-missing-in-if - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:95:41: type stack size too small at i32.add. got 0, expected at least 2 - (if i32 (then (i32.const 0)) (else (i32.add) (i32.const 0))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:95:13: type stack at end of if false branch is 2. expected 1 - (if i32 (then (i32.const 0)) (else (i32.add) (i32.const 0))) - ^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:93:11: type stack at end of function is 1. expected 0 - (module (func $type-binary-1st-operand-missing-in-else - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:103:41: type stack size too small at i32.add. got 0, expected at least 2 - (if i32 (then (i32.const 0)) (else (i32.add))) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:101:11: type stack at end of function is 1. expected 0 - (module (func $type-binary-2nd-operand-missing-in-else - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:111:9: type stack size too small at if condition. got 0, expected at least 1 - (if (then)) - ^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:118:16: type stack size too small at if condition. got 0, expected at least 1 - (block (if (then))) - ^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:116:11: type stack at end of function is 1. expected 0 - (module (func $type-if-operand-missing-in-block - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:125:15: type stack size too small at if condition. got 0, expected at least 1 - (loop (if (then))) - ^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:123:11: type stack at end of function is 1. expected 0 - (module (func $type-if-operand-missing-in-loop - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:132:19: type stack size too small at if condition. got 0, expected at least 1 - (if (then (if (then)))) - ^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:130:11: type stack at end of function is 1. expected 0 - (module (func $type-if-operand-missing-in-if - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:139:44: type stack size too small at if condition. got 0, expected at least 1 - (if i32 (then (i32.const 0)) (else (if (then)) (i32.const 0))) - ^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:137:11: type stack at end of function is 1. expected 0 - (module (func $type-if-operand-missing-in-else - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:147:17: type stack size too small at br value. got 0, expected at least 1 - (block i32 (br 0)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:155:17: type stack size too small at br value. got 0, expected at least 1 - (block i32 (br 0)) - ^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:153:11: type stack at end of function is 1. expected 0 - (module (func $type-br-operand-missing-in-block - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:164:22: type stack size too small at br value. got 0, expected at least 1 - (if i32 (then (br 0))) - ^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:164:15: type stack size too small at if false branch. got 0, expected at least 1 - (if i32 (then (br 0))) - ^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:164:15: type stack at end of if false branch is 0. expected 1 - (if i32 (then (br 0))) - ^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:162:6: type stack at end of block is 2. expected 0 - (block - ^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:166:6: type stack size too small at i32.eqz. got 0, expected at least 1 - (i32.eqz) (drop) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:174:43: type stack size too small at br value. got 0, expected at least 1 - (if i32 (then (i32.const 0)) (else (br 0))) - ^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:172:6: type stack at end of block is 2. expected 0 - (block - ^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:176:6: type stack size too small at i32.eqz. got 0, expected at least 1 - (i32.eqz) (drop) - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:183:6: type stack size too small at return. got 0, expected at least 1 - (return) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:190:13: type stack size too small at return. got 0, expected at least 1 - (block (return)) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:197:12: type stack size too small at return. got 0, expected at least 1 - (loop (return)) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:204:16: type stack size too small at return. got 0, expected at least 1 - (if (then (return))) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:211:41: type stack size too small at return. got 0, expected at least 1 - (if i32 (then (i32.const 0)) (else (return))) (drop) - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:219:35: type mismatch at if condition. got f32, expected i32 -(assert_invalid (module (func (if (f32.const 0) (nop) (nop)))) "type mismatch") - ^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:222:39: type mismatch at br_if condition. got f32, expected i32 -(assert_invalid (module (func (block (br_if 0 (f32.const 0))))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:226:25: type mismatch at br_table key. got f32, expected i32 - (module (func (block (br_table 0 (f32.const 0))))) - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:230:51: type mismatch for argument 0 of call. got f32, expected i32 -...id (module (func (param i32)) (func (call 0 (f32.const 0)))) "type mismatch") - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:237:8: type mismatch at call_indirect function index. got f32, expected i32 - (call_indirect 0 (i32.const 0) (f32.const 0)))) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:246:12: type mismatch at call_indirect function index. got f32, expected i32 - (func (call_indirect 0 (f32.const 0)))) - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:250:45: type mismatch at return. got f32, expected i32 -..._invalid (module (func (result i32) (return (f32.const 0)))) "type mismatch") - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:253:44: type mismatch at set_local. got f32, expected i32 -...alid (module (func (local i32) (set_local 0 (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:256:43: type mismatch at i32.load. got f32, expected i32 -..._invalid (module (memory 1) (func (i32.load (f32.const 0)))) "type mismatch") - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:256:36: type stack at end of function is 1. expected 0 -..._invalid (module (memory 1) (func (i32.load (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:257:43: type mismatch at i32.load8_s. got f32, expected i32 -...valid (module (memory 1) (func (i32.load8_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:257:36: type stack at end of function is 1. expected 0 -...valid (module (memory 1) (func (i32.load8_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:258:43: type mismatch at i32.load8_u. got f32, expected i32 -...valid (module (memory 1) (func (i32.load8_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:258:36: type stack at end of function is 1. expected 0 -...valid (module (memory 1) (func (i32.load8_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:259:43: type mismatch at i32.load16_s. got f32, expected i32 -...alid (module (memory 1) (func (i32.load16_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:259:36: type stack at end of function is 1. expected 0 -...alid (module (memory 1) (func (i32.load16_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:260:43: type mismatch at i32.load16_u. got f32, expected i32 -...alid (module (memory 1) (func (i32.load16_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:260:36: type stack at end of function is 1. expected 0 -...alid (module (memory 1) (func (i32.load16_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:261:43: type mismatch at i64.load. got f32, expected i32 -..._invalid (module (memory 1) (func (i64.load (f32.const 0)))) "type mismatch") - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:261:36: type stack at end of function is 1. expected 0 -..._invalid (module (memory 1) (func (i64.load (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:262:43: type mismatch at i64.load8_s. got f32, expected i32 -...valid (module (memory 1) (func (i64.load8_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:262:36: type stack at end of function is 1. expected 0 -...valid (module (memory 1) (func (i64.load8_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:263:43: type mismatch at i64.load8_u. got f32, expected i32 -...valid (module (memory 1) (func (i64.load8_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:263:36: type stack at end of function is 1. expected 0 -...valid (module (memory 1) (func (i64.load8_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:264:43: type mismatch at i64.load16_s. got f32, expected i32 -...alid (module (memory 1) (func (i64.load16_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:264:36: type stack at end of function is 1. expected 0 -...alid (module (memory 1) (func (i64.load16_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:265:43: type mismatch at i64.load16_u. got f32, expected i32 -...alid (module (memory 1) (func (i64.load16_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:265:36: type stack at end of function is 1. expected 0 -...alid (module (memory 1) (func (i64.load16_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:266:43: type mismatch at i64.load32_s. got f32, expected i32 -...alid (module (memory 1) (func (i64.load32_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:266:36: type stack at end of function is 1. expected 0 -...alid (module (memory 1) (func (i64.load32_s (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:267:43: type mismatch at i64.load32_u. got f32, expected i32 -...alid (module (memory 1) (func (i64.load32_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:267:36: type stack at end of function is 1. expected 0 -...alid (module (memory 1) (func (i64.load32_u (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:268:43: type mismatch at f32.load. got f32, expected i32 -..._invalid (module (memory 1) (func (f32.load (f32.const 0)))) "type mismatch") - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:268:36: type stack at end of function is 1. expected 0 -..._invalid (module (memory 1) (func (f32.load (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:269:43: type mismatch at f64.load. got f32, expected i32 -..._invalid (module (memory 1) (func (f64.load (f32.const 0)))) "type mismatch") - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:269:36: type stack at end of function is 1. expected 0 -..._invalid (module (memory 1) (func (f64.load (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:272:43: type mismatch at i32.store. got f32, expected i32 -...nvalid (module (memory 1) (func (i32.store (f32.const 0) (i32.const 0)))) ... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:273:43: type mismatch at i32.store8. got f32, expected i32 -...valid (module (memory 1) (func (i32.store8 (f32.const 0) (i32.const 0)))) ... - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:274:43: type mismatch at i32.store16. got f32, expected i32 -...valid (module (memory 1) (func (i32.store16 (f32.const 0) (i32.const 0))))... - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:275:43: type mismatch at i64.store. got f32, expected i32 -...nvalid (module (memory 1) (func (i64.store (f32.const 0) (i32.const 0)))) ... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:275:43: type mismatch at i64.store. got i32, expected i64 -...nvalid (module (memory 1) (func (i64.store (f32.const 0) (i32.const 0)))) ... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:276:43: type mismatch at i64.store8. got f32, expected i32 -...valid (module (memory 1) (func (i64.store8 (f32.const 0) (i64.const 0)))) ... - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:277:43: type mismatch at i64.store16. got f32, expected i32 -...valid (module (memory 1) (func (i64.store16 (f32.const 0) (i64.const 0))))... - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:278:43: type mismatch at i64.store32. got f32, expected i32 -...valid (module (memory 1) (func (i64.store32 (f32.const 0) (i64.const 0))))... - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:279:43: type mismatch at f32.store. got f32, expected i32 -...nvalid (module (memory 1) (func (f32.store (f32.const 0) (f32.const 0)))) ... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:280:43: type mismatch at f64.store. got f32, expected i32 -...nvalid (module (memory 1) (func (f64.store (f32.const 0) (f64.const 0)))) ... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:283:43: type mismatch at i32.store. got f32, expected i32 -...nvalid (module (memory 1) (func (i32.store (i32.const 0) (f32.const 0)))) ... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:284:43: type mismatch at i32.store8. got f32, expected i32 -...valid (module (memory 1) (func (i32.store8 (i32.const 0) (f32.const 0)))) ... - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:285:43: type mismatch at i32.store16. got f32, expected i32 -...valid (module (memory 1) (func (i32.store16 (i32.const 0) (f32.const 0))))... - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:286:43: type mismatch at i64.store. got f32, expected i64 -...nvalid (module (memory 1) (func (i64.store (i32.const 0) (f32.const 0)))) ... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:287:43: type mismatch at i64.store8. got f64, expected i64 -...valid (module (memory 1) (func (i64.store8 (i32.const 0) (f64.const 0)))) ... - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:288:43: type mismatch at i64.store16. got f64, expected i64 -...valid (module (memory 1) (func (i64.store16 (i32.const 0) (f64.const 0))))... - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:289:43: type mismatch at i64.store32. got f64, expected i64 -...valid (module (memory 1) (func (i64.store32 (i32.const 0) (f64.const 0))))... - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:290:43: type mismatch at f32.store. got i32, expected f32 -...nvalid (module (memory 1) (func (f32.store (i32.const 0) (i32.const 0)))) ... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:291:43: type mismatch at f64.store. got i64, expected f64 -...nvalid (module (memory 1) (func (f64.store (i32.const 0) (i64.const 0)))) ... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:294:32: type mismatch at i32.add. got i64, expected i32 -(assert_invalid (module (func (i32.add (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:294:32: type mismatch at i32.add. got f32, expected i32 -(assert_invalid (module (func (i32.add (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:294:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.add (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:295:32: type mismatch at i32.and. got i64, expected i32 -(assert_invalid (module (func (i32.and (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:295:32: type mismatch at i32.and. got f32, expected i32 -(assert_invalid (module (func (i32.and (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:295:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.and (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:296:32: type mismatch at i32.div_s. got i64, expected i32 -(assert_invalid (module (func (i32.div_s (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:296:32: type mismatch at i32.div_s. got f32, expected i32 -(assert_invalid (module (func (i32.div_s (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:296:25: type stack at end of function is 1. expected 0 -...valid (module (func (i32.div_s (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:297:32: type mismatch at i32.div_u. got i64, expected i32 -(assert_invalid (module (func (i32.div_u (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:297:32: type mismatch at i32.div_u. got f32, expected i32 -(assert_invalid (module (func (i32.div_u (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:297:25: type stack at end of function is 1. expected 0 -...valid (module (func (i32.div_u (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:298:32: type mismatch at i32.mul. got i64, expected i32 -(assert_invalid (module (func (i32.mul (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:298:32: type mismatch at i32.mul. got f32, expected i32 -(assert_invalid (module (func (i32.mul (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:298:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.mul (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:299:32: type mismatch at i32.or. got i64, expected i32 -(assert_invalid (module (func (i32.or (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:299:32: type mismatch at i32.or. got f32, expected i32 -(assert_invalid (module (func (i32.or (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:299:25: type stack at end of function is 1. expected 0 -...invalid (module (func (i32.or (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:300:32: type mismatch at i32.rem_s. got i64, expected i32 -(assert_invalid (module (func (i32.rem_s (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:300:32: type mismatch at i32.rem_s. got f32, expected i32 -(assert_invalid (module (func (i32.rem_s (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:300:25: type stack at end of function is 1. expected 0 -...valid (module (func (i32.rem_s (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:301:32: type mismatch at i32.rem_u. got i64, expected i32 -(assert_invalid (module (func (i32.rem_u (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:301:32: type mismatch at i32.rem_u. got f32, expected i32 -(assert_invalid (module (func (i32.rem_u (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:301:25: type stack at end of function is 1. expected 0 -...valid (module (func (i32.rem_u (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:302:32: type mismatch at i32.rotl. got i64, expected i32 -(assert_invalid (module (func (i32.rotl (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:302:32: type mismatch at i32.rotl. got f32, expected i32 -(assert_invalid (module (func (i32.rotl (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:302:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.rotl (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:303:32: type mismatch at i32.rotr. got i64, expected i32 -(assert_invalid (module (func (i32.rotr (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:303:32: type mismatch at i32.rotr. got f32, expected i32 -(assert_invalid (module (func (i32.rotr (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:303:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.rotr (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:304:32: type mismatch at i32.shl. got i64, expected i32 -(assert_invalid (module (func (i32.shl (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:304:32: type mismatch at i32.shl. got f32, expected i32 -(assert_invalid (module (func (i32.shl (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:304:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.shl (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:305:32: type mismatch at i32.shr_s. got i64, expected i32 -(assert_invalid (module (func (i32.shr_s (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:305:32: type mismatch at i32.shr_s. got f32, expected i32 -(assert_invalid (module (func (i32.shr_s (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:305:25: type stack at end of function is 1. expected 0 -...valid (module (func (i32.shr_s (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:306:32: type mismatch at i32.shr_u. got i64, expected i32 -(assert_invalid (module (func (i32.shr_u (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:306:32: type mismatch at i32.shr_u. got f32, expected i32 -(assert_invalid (module (func (i32.shr_u (i64.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:306:25: type stack at end of function is 1. expected 0 -...valid (module (func (i32.shr_u (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:307:32: type mismatch at i32.sub. got i64, expected i32 -(assert_invalid (module (func (i32.sub (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:307:32: type mismatch at i32.sub. got f32, expected i32 -(assert_invalid (module (func (i32.sub (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:307:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.sub (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:308:32: type mismatch at i32.xor. got i64, expected i32 -(assert_invalid (module (func (i32.xor (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:308:32: type mismatch at i32.xor. got f32, expected i32 -(assert_invalid (module (func (i32.xor (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:308:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.xor (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:309:32: type mismatch at i64.add. got i32, expected i64 -(assert_invalid (module (func (i64.add (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:309:32: type mismatch at i64.add. got f32, expected i64 -(assert_invalid (module (func (i64.add (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:309:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.add (i32.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:310:32: type mismatch at i64.and. got i32, expected i64 -(assert_invalid (module (func (i64.and (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:310:32: type mismatch at i64.and. got f32, expected i64 -(assert_invalid (module (func (i64.and (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:310:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.and (i32.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:311:32: type mismatch at i64.div_s. got i32, expected i64 -(assert_invalid (module (func (i64.div_s (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:311:32: type mismatch at i64.div_s. got f32, expected i64 -(assert_invalid (module (func (i64.div_s (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:311:25: type stack at end of function is 1. expected 0 -...valid (module (func (i64.div_s (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:312:32: type mismatch at i64.div_u. got i32, expected i64 -(assert_invalid (module (func (i64.div_u (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:312:32: type mismatch at i64.div_u. got f32, expected i64 -(assert_invalid (module (func (i64.div_u (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:312:25: type stack at end of function is 1. expected 0 -...valid (module (func (i64.div_u (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:313:32: type mismatch at i64.mul. got i32, expected i64 -(assert_invalid (module (func (i64.mul (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:313:32: type mismatch at i64.mul. got f32, expected i64 -(assert_invalid (module (func (i64.mul (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:313:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.mul (i32.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:314:32: type mismatch at i64.or. got i32, expected i64 -(assert_invalid (module (func (i64.or (i32.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:314:32: type mismatch at i64.or. got f32, expected i64 -(assert_invalid (module (func (i64.or (i32.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:314:25: type stack at end of function is 1. expected 0 -...invalid (module (func (i64.or (i32.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:315:32: type mismatch at i64.rem_s. got i32, expected i64 -(assert_invalid (module (func (i64.rem_s (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:315:32: type mismatch at i64.rem_s. got f32, expected i64 -(assert_invalid (module (func (i64.rem_s (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:315:25: type stack at end of function is 1. expected 0 -...valid (module (func (i64.rem_s (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:316:32: type mismatch at i64.rem_u. got i32, expected i64 -(assert_invalid (module (func (i64.rem_u (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:316:32: type mismatch at i64.rem_u. got f32, expected i64 -(assert_invalid (module (func (i64.rem_u (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:316:25: type stack at end of function is 1. expected 0 -...valid (module (func (i64.rem_u (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:317:32: type mismatch at i64.rotl. got i32, expected i64 -(assert_invalid (module (func (i64.rotl (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:317:32: type mismatch at i64.rotl. got f32, expected i64 -(assert_invalid (module (func (i64.rotl (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:317:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.rotl (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:318:32: type mismatch at i64.rotr. got i32, expected i64 -(assert_invalid (module (func (i64.rotr (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:318:32: type mismatch at i64.rotr. got f32, expected i64 -(assert_invalid (module (func (i64.rotr (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:318:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.rotr (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:319:32: type mismatch at i64.shl. got i32, expected i64 -(assert_invalid (module (func (i64.shl (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:319:32: type mismatch at i64.shl. got f32, expected i64 -(assert_invalid (module (func (i64.shl (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:319:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.shl (i32.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:320:32: type mismatch at i64.shr_s. got i32, expected i64 -(assert_invalid (module (func (i64.shr_s (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:320:32: type mismatch at i64.shr_s. got f32, expected i64 -(assert_invalid (module (func (i64.shr_s (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:320:25: type stack at end of function is 1. expected 0 -...valid (module (func (i64.shr_s (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:321:32: type mismatch at i64.shr_u. got i32, expected i64 -(assert_invalid (module (func (i64.shr_u (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:321:32: type mismatch at i64.shr_u. got f32, expected i64 -(assert_invalid (module (func (i64.shr_u (i32.const 0) (f32.const 0)))) "type... - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:321:25: type stack at end of function is 1. expected 0 -...valid (module (func (i64.shr_u (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:322:32: type mismatch at i64.sub. got i32, expected i64 -(assert_invalid (module (func (i64.sub (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:322:32: type mismatch at i64.sub. got f32, expected i64 -(assert_invalid (module (func (i64.sub (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:322:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.sub (i32.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:323:32: type mismatch at i64.xor. got i32, expected i64 -(assert_invalid (module (func (i64.xor (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:323:32: type mismatch at i64.xor. got f32, expected i64 -(assert_invalid (module (func (i64.xor (i32.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:323:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.xor (i32.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:324:32: type mismatch at f32.add. got i64, expected f32 -(assert_invalid (module (func (f32.add (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:324:32: type mismatch at f32.add. got f64, expected f32 -(assert_invalid (module (func (f32.add (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:324:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f32.add (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:325:32: type mismatch at f32.copysign. got i64, expected f32 -(assert_invalid (module (func (f32.copysign (i64.const 0) (f64.const 0)))) "t... - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:325:32: type mismatch at f32.copysign. got f64, expected f32 -(assert_invalid (module (func (f32.copysign (i64.const 0) (f64.const 0)))) "t... - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:325:25: type stack at end of function is 1. expected 0 -...alid (module (func (f32.copysign (i64.const 0) (f64.const 0)))) "type mism... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:326:32: type mismatch at f32.div. got i64, expected f32 -(assert_invalid (module (func (f32.div (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:326:32: type mismatch at f32.div. got f64, expected f32 -(assert_invalid (module (func (f32.div (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:326:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f32.div (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:327:32: type mismatch at f32.max. got i64, expected f32 -(assert_invalid (module (func (f32.max (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:327:32: type mismatch at f32.max. got f64, expected f32 -(assert_invalid (module (func (f32.max (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:327:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f32.max (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:328:32: type mismatch at f32.min. got i64, expected f32 -(assert_invalid (module (func (f32.min (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:328:32: type mismatch at f32.min. got f64, expected f32 -(assert_invalid (module (func (f32.min (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:328:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f32.min (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:329:32: type mismatch at f32.mul. got i64, expected f32 -(assert_invalid (module (func (f32.mul (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:329:32: type mismatch at f32.mul. got f64, expected f32 -(assert_invalid (module (func (f32.mul (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:329:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f32.mul (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:330:32: type mismatch at f32.sub. got i64, expected f32 -(assert_invalid (module (func (f32.sub (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:330:32: type mismatch at f32.sub. got f64, expected f32 -(assert_invalid (module (func (f32.sub (i64.const 0) (f64.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:330:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f32.sub (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:331:32: type mismatch at f64.add. got i64, expected f64 -(assert_invalid (module (func (f64.add (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:331:32: type mismatch at f64.add. got f32, expected f64 -(assert_invalid (module (func (f64.add (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:331:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f64.add (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:332:32: type mismatch at f64.copysign. got i64, expected f64 -(assert_invalid (module (func (f64.copysign (i64.const 0) (f32.const 0)))) "t... - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:332:32: type mismatch at f64.copysign. got f32, expected f64 -(assert_invalid (module (func (f64.copysign (i64.const 0) (f32.const 0)))) "t... - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:332:25: type stack at end of function is 1. expected 0 -...alid (module (func (f64.copysign (i64.const 0) (f32.const 0)))) "type mism... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:333:32: type mismatch at f64.div. got i64, expected f64 -(assert_invalid (module (func (f64.div (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:333:32: type mismatch at f64.div. got f32, expected f64 -(assert_invalid (module (func (f64.div (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:333:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f64.div (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:334:32: type mismatch at f64.max. got i64, expected f64 -(assert_invalid (module (func (f64.max (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:334:32: type mismatch at f64.max. got f32, expected f64 -(assert_invalid (module (func (f64.max (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:334:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f64.max (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:335:32: type mismatch at f64.min. got i64, expected f64 -(assert_invalid (module (func (f64.min (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:335:32: type mismatch at f64.min. got f32, expected f64 -(assert_invalid (module (func (f64.min (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:335:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f64.min (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:336:32: type mismatch at f64.mul. got i64, expected f64 -(assert_invalid (module (func (f64.mul (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:336:32: type mismatch at f64.mul. got f32, expected f64 -(assert_invalid (module (func (f64.mul (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:336:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f64.mul (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:337:32: type mismatch at f64.sub. got i64, expected f64 -(assert_invalid (module (func (f64.sub (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:337:32: type mismatch at f64.sub. got f32, expected f64 -(assert_invalid (module (func (f64.sub (i64.const 0) (f32.const 0)))) "type m... - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:337:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (f64.sub (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:340:32: type mismatch at i32.eqz. got i64, expected i32 -(assert_invalid (module (func (i32.eqz (i64.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:340:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i32.eqz (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:341:32: type mismatch at i32.clz. got i64, expected i32 -(assert_invalid (module (func (i32.clz (i64.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:341:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i32.clz (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:342:32: type mismatch at i32.ctz. got i64, expected i32 -(assert_invalid (module (func (i32.ctz (i64.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:342:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i32.ctz (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:343:32: type mismatch at i32.popcnt. got i64, expected i32 -(assert_invalid (module (func (i32.popcnt (i64.const 0)))) "type mismatch") - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:343:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i32.popcnt (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:344:32: type mismatch at i64.eqz. got i32, expected i64 -(assert_invalid (module (func (i64.eqz (i32.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:344:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i64.eqz (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:345:32: type mismatch at i64.clz. got i32, expected i64 -(assert_invalid (module (func (i64.clz (i32.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:345:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i64.clz (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:346:32: type mismatch at i64.ctz. got i32, expected i64 -(assert_invalid (module (func (i64.ctz (i32.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:346:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i64.ctz (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:347:32: type mismatch at i64.popcnt. got i32, expected i64 -(assert_invalid (module (func (i64.popcnt (i32.const 0)))) "type mismatch") - ^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:347:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i64.popcnt (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:348:32: type mismatch at f32.abs. got i64, expected f32 -(assert_invalid (module (func (f32.abs (i64.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:348:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f32.abs (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:349:32: type mismatch at f32.ceil. got i64, expected f32 -(assert_invalid (module (func (f32.ceil (i64.const 0)))) "type mismatch") - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:349:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f32.ceil (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:350:32: type mismatch at f32.floor. got i64, expected f32 -(assert_invalid (module (func (f32.floor (i64.const 0)))) "type mismatch") - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:350:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f32.floor (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:351:32: type mismatch at f32.nearest. got i64, expected f32 -(assert_invalid (module (func (f32.nearest (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:351:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f32.nearest (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:352:32: type mismatch at f32.neg. got i64, expected f32 -(assert_invalid (module (func (f32.neg (i64.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:352:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f32.neg (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:353:32: type mismatch at f32.sqrt. got i64, expected f32 -(assert_invalid (module (func (f32.sqrt (i64.const 0)))) "type mismatch") - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:353:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f32.sqrt (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:354:32: type mismatch at f32.trunc. got i64, expected f32 -(assert_invalid (module (func (f32.trunc (i64.const 0)))) "type mismatch") - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:354:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f32.trunc (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:355:32: type mismatch at f64.abs. got i64, expected f64 -(assert_invalid (module (func (f64.abs (i64.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:355:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f64.abs (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:356:32: type mismatch at f64.ceil. got i64, expected f64 -(assert_invalid (module (func (f64.ceil (i64.const 0)))) "type mismatch") - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:356:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f64.ceil (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:357:32: type mismatch at f64.floor. got i64, expected f64 -(assert_invalid (module (func (f64.floor (i64.const 0)))) "type mismatch") - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:357:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f64.floor (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:358:32: type mismatch at f64.nearest. got i64, expected f64 -(assert_invalid (module (func (f64.nearest (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:358:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f64.nearest (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:359:32: type mismatch at f64.neg. got i64, expected f64 -(assert_invalid (module (func (f64.neg (i64.const 0)))) "type mismatch") - ^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:359:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f64.neg (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:360:32: type mismatch at f64.sqrt. got i64, expected f64 -(assert_invalid (module (func (f64.sqrt (i64.const 0)))) "type mismatch") - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:360:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f64.sqrt (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:361:32: type mismatch at f64.trunc. got i64, expected f64 -(assert_invalid (module (func (f64.trunc (i64.const 0)))) "type mismatch") - ^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:361:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f64.trunc (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:364:32: type mismatch at i32.eq. got i64, expected i32 -(assert_invalid (module (func (i32.eq (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:364:32: type mismatch at i32.eq. got f32, expected i32 -(assert_invalid (module (func (i32.eq (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:364:25: type stack at end of function is 1. expected 0 -...invalid (module (func (i32.eq (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:365:32: type mismatch at i32.ge_s. got i64, expected i32 -(assert_invalid (module (func (i32.ge_s (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:365:32: type mismatch at i32.ge_s. got f32, expected i32 -(assert_invalid (module (func (i32.ge_s (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:365:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.ge_s (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:366:32: type mismatch at i32.ge_u. got i64, expected i32 -(assert_invalid (module (func (i32.ge_u (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:366:32: type mismatch at i32.ge_u. got f32, expected i32 -(assert_invalid (module (func (i32.ge_u (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:366:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.ge_u (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:367:32: type mismatch at i32.gt_s. got i64, expected i32 -(assert_invalid (module (func (i32.gt_s (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:367:32: type mismatch at i32.gt_s. got f32, expected i32 -(assert_invalid (module (func (i32.gt_s (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:367:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.gt_s (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:368:32: type mismatch at i32.gt_u. got i64, expected i32 -(assert_invalid (module (func (i32.gt_u (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:368:32: type mismatch at i32.gt_u. got f32, expected i32 -(assert_invalid (module (func (i32.gt_u (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:368:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.gt_u (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:369:32: type mismatch at i32.le_s. got i64, expected i32 -(assert_invalid (module (func (i32.le_s (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:369:32: type mismatch at i32.le_s. got f32, expected i32 -(assert_invalid (module (func (i32.le_s (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:369:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.le_s (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:370:32: type mismatch at i32.le_u. got i64, expected i32 -(assert_invalid (module (func (i32.le_u (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:370:32: type mismatch at i32.le_u. got f32, expected i32 -(assert_invalid (module (func (i32.le_u (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:370:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.le_u (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:371:32: type mismatch at i32.lt_s. got i64, expected i32 -(assert_invalid (module (func (i32.lt_s (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:371:32: type mismatch at i32.lt_s. got f32, expected i32 -(assert_invalid (module (func (i32.lt_s (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:371:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.lt_s (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:372:32: type mismatch at i32.lt_u. got i64, expected i32 -(assert_invalid (module (func (i32.lt_u (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:372:32: type mismatch at i32.lt_u. got f32, expected i32 -(assert_invalid (module (func (i32.lt_u (i64.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:372:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i32.lt_u (i64.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:373:32: type mismatch at i32.ne. got i64, expected i32 -(assert_invalid (module (func (i32.ne (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:373:32: type mismatch at i32.ne. got f32, expected i32 -(assert_invalid (module (func (i32.ne (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:373:25: type stack at end of function is 1. expected 0 -...invalid (module (func (i32.ne (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:374:32: type mismatch at i64.eq. got i32, expected i64 -(assert_invalid (module (func (i64.eq (i32.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:374:32: type mismatch at i64.eq. got f32, expected i64 -(assert_invalid (module (func (i64.eq (i32.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:374:25: type stack at end of function is 1. expected 0 -...invalid (module (func (i64.eq (i32.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:375:32: type mismatch at i64.ge_s. got i32, expected i64 -(assert_invalid (module (func (i64.ge_s (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:375:32: type mismatch at i64.ge_s. got f32, expected i64 -(assert_invalid (module (func (i64.ge_s (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:375:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.ge_s (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:376:32: type mismatch at i64.ge_u. got i32, expected i64 -(assert_invalid (module (func (i64.ge_u (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:376:32: type mismatch at i64.ge_u. got f32, expected i64 -(assert_invalid (module (func (i64.ge_u (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:376:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.ge_u (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:377:32: type mismatch at i64.gt_s. got i32, expected i64 -(assert_invalid (module (func (i64.gt_s (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:377:32: type mismatch at i64.gt_s. got f32, expected i64 -(assert_invalid (module (func (i64.gt_s (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:377:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.gt_s (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:378:32: type mismatch at i64.gt_u. got i32, expected i64 -(assert_invalid (module (func (i64.gt_u (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:378:32: type mismatch at i64.gt_u. got f32, expected i64 -(assert_invalid (module (func (i64.gt_u (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:378:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.gt_u (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:379:32: type mismatch at i64.le_s. got i32, expected i64 -(assert_invalid (module (func (i64.le_s (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:379:32: type mismatch at i64.le_s. got f32, expected i64 -(assert_invalid (module (func (i64.le_s (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:379:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.le_s (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:380:32: type mismatch at i64.le_u. got i32, expected i64 -(assert_invalid (module (func (i64.le_u (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:380:32: type mismatch at i64.le_u. got f32, expected i64 -(assert_invalid (module (func (i64.le_u (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:380:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.le_u (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:381:32: type mismatch at i64.lt_s. got i32, expected i64 -(assert_invalid (module (func (i64.lt_s (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:381:32: type mismatch at i64.lt_s. got f32, expected i64 -(assert_invalid (module (func (i64.lt_s (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:381:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.lt_s (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:382:32: type mismatch at i64.lt_u. got i32, expected i64 -(assert_invalid (module (func (i64.lt_u (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:382:32: type mismatch at i64.lt_u. got f32, expected i64 -(assert_invalid (module (func (i64.lt_u (i32.const 0) (f32.const 0)))) "type ... - ^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:382:25: type stack at end of function is 1. expected 0 -...nvalid (module (func (i64.lt_u (i32.const 0) (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:383:32: type mismatch at i64.ne. got i32, expected i64 -(assert_invalid (module (func (i64.ne (i32.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:383:32: type mismatch at i64.ne. got f32, expected i64 -(assert_invalid (module (func (i64.ne (i32.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:383:25: type stack at end of function is 1. expected 0 -...invalid (module (func (i64.ne (i32.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:384:32: type mismatch at f32.eq. got i64, expected f32 -(assert_invalid (module (func (f32.eq (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:384:32: type mismatch at f32.eq. got f64, expected f32 -(assert_invalid (module (func (f32.eq (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:384:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f32.eq (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:385:32: type mismatch at f32.ge. got i64, expected f32 -(assert_invalid (module (func (f32.ge (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:385:32: type mismatch at f32.ge. got f64, expected f32 -(assert_invalid (module (func (f32.ge (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:385:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f32.ge (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:386:32: type mismatch at f32.gt. got i64, expected f32 -(assert_invalid (module (func (f32.gt (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:386:32: type mismatch at f32.gt. got f64, expected f32 -(assert_invalid (module (func (f32.gt (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:386:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f32.gt (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:387:32: type mismatch at f32.le. got i64, expected f32 -(assert_invalid (module (func (f32.le (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:387:32: type mismatch at f32.le. got f64, expected f32 -(assert_invalid (module (func (f32.le (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:387:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f32.le (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:388:32: type mismatch at f32.lt. got i64, expected f32 -(assert_invalid (module (func (f32.lt (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:388:32: type mismatch at f32.lt. got f64, expected f32 -(assert_invalid (module (func (f32.lt (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:388:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f32.lt (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:389:32: type mismatch at f32.ne. got i64, expected f32 -(assert_invalid (module (func (f32.ne (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:389:32: type mismatch at f32.ne. got f64, expected f32 -(assert_invalid (module (func (f32.ne (i64.const 0) (f64.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:389:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f32.ne (i64.const 0) (f64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:390:32: type mismatch at f64.eq. got i64, expected f64 -(assert_invalid (module (func (f64.eq (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:390:32: type mismatch at f64.eq. got f32, expected f64 -(assert_invalid (module (func (f64.eq (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:390:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f64.eq (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:391:32: type mismatch at f64.ge. got i64, expected f64 -(assert_invalid (module (func (f64.ge (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:391:32: type mismatch at f64.ge. got f32, expected f64 -(assert_invalid (module (func (f64.ge (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:391:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f64.ge (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:392:32: type mismatch at f64.gt. got i64, expected f64 -(assert_invalid (module (func (f64.gt (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:392:32: type mismatch at f64.gt. got f32, expected f64 -(assert_invalid (module (func (f64.gt (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:392:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f64.gt (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:393:32: type mismatch at f64.le. got i64, expected f64 -(assert_invalid (module (func (f64.le (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:393:32: type mismatch at f64.le. got f32, expected f64 -(assert_invalid (module (func (f64.le (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:393:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f64.le (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:394:32: type mismatch at f64.lt. got i64, expected f64 -(assert_invalid (module (func (f64.lt (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:394:32: type mismatch at f64.lt. got f32, expected f64 -(assert_invalid (module (func (f64.lt (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:394:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f64.lt (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:395:32: type mismatch at f64.ne. got i64, expected f64 -(assert_invalid (module (func (f64.ne (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:395:32: type mismatch at f64.ne. got f32, expected f64 -(assert_invalid (module (func (f64.ne (i64.const 0) (f32.const 0)))) "type mi... - ^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:395:25: type stack at end of function is 1. expected 0 -...invalid (module (func (f64.ne (i64.const 0) (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:398:32: type mismatch at i32.wrap/i64. got f32, expected i64 -(assert_invalid (module (func (i32.wrap/i64 (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:398:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i32.wrap/i64 (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:399:32: type mismatch at i32.trunc_s/f32. got i64, expected f32 -(assert_invalid (module (func (i32.trunc_s/f32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:399:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i32.trunc_s/f32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:400:32: type mismatch at i32.trunc_u/f32. got i64, expected f32 -(assert_invalid (module (func (i32.trunc_u/f32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:400:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i32.trunc_u/f32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:401:32: type mismatch at i32.trunc_s/f64. got i64, expected f64 -(assert_invalid (module (func (i32.trunc_s/f64 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:401:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i32.trunc_s/f64 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:402:32: type mismatch at i32.trunc_u/f64. got i64, expected f64 -(assert_invalid (module (func (i32.trunc_u/f64 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:402:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i32.trunc_u/f64 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:403:32: type mismatch at i32.reinterpret/f32. got i64, expected f32 -(assert_invalid (module (func (i32.reinterpret/f32 (i64.const 0)))) "type mis... - ^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:403:25: type stack at end of function is 1. expected 0 -..._invalid (module (func (i32.reinterpret/f32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:404:32: type mismatch at i64.extend_s/i32. got f32, expected i32 -(assert_invalid (module (func (i64.extend_s/i32 (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:404:25: type stack at end of function is 1. expected 0 -...ert_invalid (module (func (i64.extend_s/i32 (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:405:32: type mismatch at i64.extend_u/i32. got f32, expected i32 -(assert_invalid (module (func (i64.extend_u/i32 (f32.const 0)))) "type mismat... - ^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:405:25: type stack at end of function is 1. expected 0 -...ert_invalid (module (func (i64.extend_u/i32 (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:406:32: type mismatch at i64.trunc_s/f32. got i32, expected f32 -(assert_invalid (module (func (i64.trunc_s/f32 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:406:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i64.trunc_s/f32 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:407:32: type mismatch at i64.trunc_u/f32. got i32, expected f32 -(assert_invalid (module (func (i64.trunc_u/f32 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:407:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i64.trunc_u/f32 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:408:32: type mismatch at i64.trunc_s/f64. got i32, expected f64 -(assert_invalid (module (func (i64.trunc_s/f64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:408:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i64.trunc_s/f64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:409:32: type mismatch at i64.trunc_u/f64. got i32, expected f64 -(assert_invalid (module (func (i64.trunc_u/f64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:409:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (i64.trunc_u/f64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:410:32: type mismatch at i64.reinterpret/f64. got i32, expected f64 -(assert_invalid (module (func (i64.reinterpret/f64 (i32.const 0)))) "type mis... - ^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:410:25: type stack at end of function is 1. expected 0 -..._invalid (module (func (i64.reinterpret/f64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:411:32: type mismatch at f32.convert_s/i32. got i64, expected i32 -(assert_invalid (module (func (f32.convert_s/i32 (i64.const 0)))) "type misma... - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:411:25: type stack at end of function is 1. expected 0 -...rt_invalid (module (func (f32.convert_s/i32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:412:32: type mismatch at f32.convert_u/i32. got i64, expected i32 -(assert_invalid (module (func (f32.convert_u/i32 (i64.const 0)))) "type misma... - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:412:25: type stack at end of function is 1. expected 0 -...rt_invalid (module (func (f32.convert_u/i32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:413:32: type mismatch at f32.convert_s/i64. got i32, expected i64 -(assert_invalid (module (func (f32.convert_s/i64 (i32.const 0)))) "type misma... - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:413:25: type stack at end of function is 1. expected 0 -...rt_invalid (module (func (f32.convert_s/i64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:414:32: type mismatch at f32.convert_u/i64. got i32, expected i64 -(assert_invalid (module (func (f32.convert_u/i64 (i32.const 0)))) "type misma... - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:414:25: type stack at end of function is 1. expected 0 -...rt_invalid (module (func (f32.convert_u/i64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:415:32: type mismatch at f32.demote/f64. got i32, expected f64 -(assert_invalid (module (func (f32.demote/f64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:415:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f32.demote/f64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:416:32: type mismatch at f32.reinterpret/i32. got i64, expected i32 -(assert_invalid (module (func (f32.reinterpret/i32 (i64.const 0)))) "type mis... - ^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:416:25: type stack at end of function is 1. expected 0 -..._invalid (module (func (f32.reinterpret/i32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:417:32: type mismatch at f64.convert_s/i32. got i64, expected i32 -(assert_invalid (module (func (f64.convert_s/i32 (i64.const 0)))) "type misma... - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:417:25: type stack at end of function is 1. expected 0 -...rt_invalid (module (func (f64.convert_s/i32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:418:32: type mismatch at f64.convert_u/i32. got i64, expected i32 -(assert_invalid (module (func (f64.convert_u/i32 (i64.const 0)))) "type misma... - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:418:25: type stack at end of function is 1. expected 0 -...rt_invalid (module (func (f64.convert_u/i32 (i64.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:419:32: type mismatch at f64.convert_s/i64. got i32, expected i64 -(assert_invalid (module (func (f64.convert_s/i64 (i32.const 0)))) "type misma... - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:419:25: type stack at end of function is 1. expected 0 -...rt_invalid (module (func (f64.convert_s/i64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:420:32: type mismatch at f64.convert_u/i64. got i32, expected i64 -(assert_invalid (module (func (f64.convert_u/i64 (i32.const 0)))) "type misma... - ^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:420:25: type stack at end of function is 1. expected 0 -...rt_invalid (module (func (f64.convert_u/i64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:421:32: type mismatch at f64.promote/f32. got i32, expected f32 -(assert_invalid (module (func (f64.promote/f32 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:421:25: type stack at end of function is 1. expected 0 -(assert_invalid (module (func (f64.promote/f32 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:422:32: type mismatch at f64.reinterpret/i64. got i32, expected i64 -(assert_invalid (module (func (f64.reinterpret/i64 (i32.const 0)))) "type mis... - ^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:422:25: type stack at end of function is 1. expected 0 -..._invalid (module (func (f64.reinterpret/i64 (i32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:425:43: type mismatch at grow_memory. got f32, expected i32 -...valid (module (memory 1) (func (grow_memory (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^ -assert_invalid error: - out/third_party/testsuite/typecheck.wast:425:36: type stack at end of function is 1. expected 0 -...valid (module (memory 1) (func (grow_memory (f32.const 0)))) "type mismatch") - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ out/third_party/testsuite/typecheck.wast:4: assert_invalid passed: error: type stack size too small at i32.eqz. got 0, expected at least 1 error: @0x00000018: on_convert_expr callback failed |