diff options
| -rw-r--r-- | test/dump/relocations-section-target.txt | 1 | ||||
| -rw-r--r-- | test/regress/regress-35.txt | 4 | ||||
| -rw-r--r-- | test/spec/multi-value/binary.txt | 141 | ||||
| -rw-r--r-- | test/spec/multi-value/block.txt | 533 | ||||
| -rw-r--r-- | test/spec/multi-value/br.txt | 65 | ||||
| -rw-r--r-- | test/spec/multi-value/call.txt | 60 | ||||
| -rw-r--r-- | test/spec/multi-value/call_indirect.txt | 149 | ||||
| -rw-r--r-- | test/spec/multi-value/fac.txt | 5 | ||||
| -rw-r--r-- | test/spec/multi-value/func.txt | 219 | ||||
| -rw-r--r-- | test/spec/multi-value/if.txt | 404 | ||||
| -rw-r--r-- | test/spec/multi-value/loop.txt | 149 | ||||
| -rw-r--r-- | test/spec/multi-value/type.txt | 13 | ||||
| -rw-r--r-- | test/spec/mutable-global/globals.txt | 41 | ||||
| -rw-r--r-- | test/spec/mutable-global/linking.txt | 48 | ||||
| -rw-r--r-- | test/spec/nontrapping-float-to-int-conversions/conversions.txt | 147 | ||||
| -rw-r--r-- | test/spec/reference-types/binary-leb128.txt | 118 | ||||
| -rw-r--r-- | test/spec/sign-extension-ops/i32.txt | 264 | ||||
| -rw-r--r-- | test/spec/sign-extension-ops/i64.txt | 102 | ||||
| -rwxr-xr-x | test/update-spec-tests.py | 2 | ||||
| m--------- | third_party/testsuite | 0 |
20 files changed, 119 insertions, 2346 deletions
diff --git a/test/dump/relocations-section-target.txt b/test/dump/relocations-section-target.txt index 2060aecf..d41e9617 100644 --- a/test/dump/relocations-section-target.txt +++ b/test/dump/relocations-section-target.txt @@ -39,5 +39,4 @@ Code Disassembly: 000029: 10 80 80 80 80 00 | call 0 <env.b> 00002a: R_WASM_FUNCTION_INDEX_LEB 0 <env.b> 00002f: 0b | end - ;;; STDOUT ;;) diff --git a/test/regress/regress-35.txt b/test/regress/regress-35.txt index ea376618..241c047e 100644 --- a/test/regress/regress-35.txt +++ b/test/regress/regress-35.txt @@ -20,7 +20,3 @@ ) (export "run" (func $run)) ) -(;; STDERR ;;; -;;; STDERR ;;) -(;; STDOUT ;;; -;;; STDOUT ;;) diff --git a/test/spec/multi-value/binary.txt b/test/spec/multi-value/binary.txt deleted file mode 100644 index d3d8175a..00000000 --- a/test/spec/multi-value/binary.txt +++ /dev/null @@ -1,141 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/binary.wast -(;; STDOUT ;;; -out/test/spec/multi-value/binary.wast:6: assert_malformed passed: - 0000000: error: unable to read uint32_t: magic -out/test/spec/multi-value/binary.wast:7: assert_malformed passed: - 0000000: error: unable to read uint32_t: magic -out/test/spec/multi-value/binary.wast:8: assert_malformed passed: - 0000000: error: unable to read uint32_t: magic -out/test/spec/multi-value/binary.wast:9: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:10: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:11: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:12: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:13: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:14: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:15: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:16: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:17: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:18: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:21: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:24: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:25: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:28: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:31: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:34: assert_malformed passed: - 0000004: error: bad magic value -out/test/spec/multi-value/binary.wast:37: assert_malformed passed: - 0000004: error: unable to read uint32_t: version -out/test/spec/multi-value/binary.wast:38: assert_malformed passed: - 0000004: error: unable to read uint32_t: version -out/test/spec/multi-value/binary.wast:39: assert_malformed passed: - 0000004: error: unable to read uint32_t: version -out/test/spec/multi-value/binary.wast:40: assert_malformed passed: - 0000008: error: bad wasm file version: 0 (expected 0x1) -out/test/spec/multi-value/binary.wast:41: assert_malformed passed: - 0000008: error: bad wasm file version: 0xd (expected 0x1) -out/test/spec/multi-value/binary.wast:42: assert_malformed passed: - 0000008: error: bad wasm file version: 0xe (expected 0x1) -out/test/spec/multi-value/binary.wast:43: assert_malformed passed: - 0000008: error: bad wasm file version: 0x100 (expected 0x1) -out/test/spec/multi-value/binary.wast:44: assert_malformed passed: - 0000008: error: bad wasm file version: 0x10000 (expected 0x1) -out/test/spec/multi-value/binary.wast:45: assert_malformed passed: - 0000008: error: bad wasm file version: 0x1000000 (expected 0x1) -out/test/spec/multi-value/binary.wast:50: assert_malformed passed: - 0000022: error: call_indirect reserved value must be 0 -out/test/spec/multi-value/binary.wast:69: assert_malformed passed: - 0000022: error: call_indirect reserved value must be 0 -out/test/spec/multi-value/binary.wast:88: assert_malformed passed: - 0000022: error: call_indirect reserved value must be 0 -out/test/spec/multi-value/binary.wast:106: assert_malformed passed: - 0000022: error: call_indirect reserved value must be 0 -out/test/spec/multi-value/binary.wast:124: assert_malformed passed: - 0000022: error: call_indirect reserved value must be 0 -out/test/spec/multi-value/binary.wast:143: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/multi-value/binary.wast:163: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/multi-value/binary.wast:183: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/multi-value/binary.wast:202: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/multi-value/binary.wast:221: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/multi-value/binary.wast:241: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/multi-value/binary.wast:260: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/multi-value/binary.wast:279: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/multi-value/binary.wast:297: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/multi-value/binary.wast:315: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/multi-value/binary.wast:334: assert_malformed passed: - 000001c: error: local count must be < 0x10000000 -out/test/spec/multi-value/binary.wast:366: assert_malformed passed: - 0000013: error: function signature count != function body count -out/test/spec/multi-value/binary.wast:376: assert_malformed passed: - 000000b: error: function signature count != function body count -out/test/spec/multi-value/binary.wast:385: assert_malformed passed: - 0000016: error: function signature count != function body count -out/test/spec/multi-value/binary.wast:396: assert_malformed passed: - 0000015: error: function signature count != function body count -out/test/spec/multi-value/binary.wast:425: assert_malformed passed: - 000000a: error: invalid section size: extends past end -out/test/spec/multi-value/binary.wast:436: assert_malformed passed: - 000000e: error: unfinished section (expected end: 0x11) -out/test/spec/multi-value/binary.wast:455: assert_malformed passed: - 0000027: error: unable to read u32 leb128: string length -out/test/spec/multi-value/binary.wast:474: assert_malformed passed: - 000002b: error: unfinished section (expected end: 0x40) -out/test/spec/multi-value/binary.wast:505: assert_malformed passed: - 000000b: error: invalid table count 1, only 0 bytes left in section -out/test/spec/multi-value/binary.wast:521: assert_malformed passed: - 000000b: error: invalid memory count 1, only 0 bytes left in section -out/test/spec/multi-value/binary.wast:537: assert_malformed passed: - 0000010: error: unable to read i32 leb128: global type -out/test/spec/multi-value/binary.wast:548: assert_malformed passed: - 0000010: error: unfinished section (expected end: 0x15) -out/test/spec/multi-value/binary.wast:571: assert_malformed passed: - 000001b: error: unable to read u32 leb128: string length -out/test/spec/multi-value/binary.wast:592: assert_malformed passed: - 000001b: error: unfinished section (expected end: 0x20) -out/test/spec/multi-value/binary.wast:626: assert_malformed passed: - 0000021: error: unable to read u32 leb128: elem segment flags -out/test/spec/multi-value/binary.wast:644: assert_malformed passed: - 0000021: error: unfinished section (expected end: 0x27) -out/test/spec/multi-value/binary.wast:670: assert_malformed passed: - 0000016: error: unable to read u32 leb128: data segment flags -out/test/spec/multi-value/binary.wast:683: assert_malformed passed: - 0000016: error: unfinished section (expected end: 0x1c) -out/test/spec/multi-value/binary.wast:696: assert_malformed passed: - 0000015: error: unable to read data: data segment data -out/test/spec/multi-value/binary.wast:710: assert_malformed passed: - 000001a: error: unfinished section (expected end: 0x1b) -out/test/spec/multi-value/binary.wast:741: assert_malformed passed: - error: invalid depth: 11 (max 2) - 0000024: error: OnBrTableExpr callback failed -out/test/spec/multi-value/binary.wast:763: assert_malformed passed: - error: function type variable out of range: 11 (max 1) - 0000025: error: OnBlockExpr callback failed -out/test/spec/multi-value/binary.wast:798: assert_malformed passed: - 0000017: error: multiple Start sections -67/67 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/multi-value/block.txt b/test/spec/multi-value/block.txt deleted file mode 100644 index 2404eea6..00000000 --- a/test/spec/multi-value/block.txt +++ /dev/null @@ -1,533 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/block.wast -(;; STDOUT ;;; -out/test/spec/multi-value/block.wast:422: assert_malformed passed: - out/test/spec/multi-value/block/block.1.wat:1:96: error: unexpected token (, expected ). - ...esult i32)))(func (i32.const 0) (block (type $sig) (result i32) (param i32))) - ^ -out/test/spec/multi-value/block.wast:429: assert_malformed passed: - out/test/spec/multi-value/block/block.2.wat:1:83: error: unexpected token (, expected ). - ...esult i32)))(func (i32.const 0) (block (param i32) (type $sig) (result i32))) - ^ -out/test/spec/multi-value/block.wast:436: assert_malformed passed: - out/test/spec/multi-value/block/block.3.wat:1:96: error: unexpected token (, expected ). - ...esult i32)))(func (i32.const 0) (block (param i32) (result i32) (type $sig))) - ^ -out/test/spec/multi-value/block.wast:443: assert_malformed passed: - out/test/spec/multi-value/block/block.4.wat:1:84: error: unexpected token (, expected ). - ...esult i32)))(func (i32.const 0) (block (result i32) (type $sig) (param i32))) - ^ -out/test/spec/multi-value/block.wast:450: assert_malformed passed: - out/test/spec/multi-value/block/block.5.wat:1:84: error: unexpected token (, expected ). - ...esult i32)))(func (i32.const 0) (block (result i32) (param i32) (type $sig))) - ^ -out/test/spec/multi-value/block.wast:457: assert_malformed passed: - out/test/spec/multi-value/block/block.6.wat:1:41: error: unexpected token (, expected ). - (func (i32.const 0) (block (result i32) (param i32))) - ^ -out/test/spec/multi-value/block.wast:464: assert_malformed passed: - out/test/spec/multi-value/block/block.7.wat:1:35: error: unexpected token $x, expected ). - (func (i32.const 0) (block (param $x i32) (drop))) - ^^ - out/test/spec/multi-value/block/block.7.wat:1:50: error: unexpected token ), expected EOF. - (func (i32.const 0) (block (param $x i32) (drop))) - ^ -out/test/spec/multi-value/block.wast:468: assert_malformed passed: - out/test/spec/multi-value/block/block.8.wat:1:25: error: expected 0 results, got 1 - (type $sig (func))(func (block (type $sig) (result i32) (i32.const 0)) (unrea... - ^ -out/test/spec/multi-value/block.wast:475: assert_malformed passed: - out/test/spec/multi-value/block/block.9.wat:1:50: error: expected 1 arguments, got 0 - ...func (param i32) (result i32)))(func (block (type $sig) (result i32) (i32.... - ^ -out/test/spec/multi-value/block.wast:482: assert_malformed passed: - out/test/spec/multi-value/block/block.10.wat:1:64: error: expected 1 results, got 0 - ...2) (result i32)))(func (i32.const 0) (block (type $sig) (param i32) (drop)... - ^ -out/test/spec/multi-value/block.wast:489: assert_malformed passed: - out/test/spec/multi-value/block/block.11.wat:1:68: error: expected 2 arguments, got 1 - ...2) (result i32)))(func (i32.const 0) (block (type $sig) (param i32) (resul... - ^ -out/test/spec/multi-value/block.wast:497: assert_invalid passed: - error: type mismatch in block, expected [] but got [i32] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:505: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:509: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:513: assert_invalid passed: - error: type mismatch in implicit return, expected [f32] but got [] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:517: assert_invalid passed: - error: type mismatch in implicit return, expected [f64] but got [] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:522: assert_invalid passed: - error: type mismatch in block, expected [] but got [i32] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:528: assert_invalid passed: - error: type mismatch in block, expected [] but got [i64] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:534: assert_invalid passed: - error: type mismatch in block, expected [] but got [f32] - 000001f: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:540: assert_invalid passed: - error: type mismatch in block, expected [] but got [f64] - 0000023: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:546: assert_invalid passed: - error: type mismatch in block, expected [] but got [i32, i32] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:552: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [] - 000001b: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:558: assert_invalid passed: - error: type mismatch in block, expected [i64] but got [] - 000001b: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:564: assert_invalid passed: - error: type mismatch in block, expected [f32] but got [] - 000001b: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:570: assert_invalid passed: - error: type mismatch in block, expected [f64] but got [] - 000001b: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:576: assert_invalid passed: - error: type mismatch in block, expected [i32, i32] but got [] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:583: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:592: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:601: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:611: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:617: assert_invalid passed: - error: type mismatch in block, expected [i64] but got [] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:623: assert_invalid passed: - error: type mismatch in block, expected [f32] but got [] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:629: assert_invalid passed: - error: type mismatch in block, expected [f64] but got [] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:635: assert_invalid passed: - error: type mismatch in block, expected [i32, i32] but got [] - 000001d: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:641: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [i64] - 000001d: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:647: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [f32] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:653: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [f64] - 0000024: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:659: assert_invalid passed: - error: type mismatch in block, expected [i64] but got [i32] - 000001d: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:665: assert_invalid passed: - error: type mismatch in block, expected [i64] but got [f32] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:671: assert_invalid passed: - error: type mismatch in block, expected [i64] but got [f64] - 0000024: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:677: assert_invalid passed: - error: type mismatch in block, expected [f32] but got [i32] - 000001d: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:683: assert_invalid passed: - error: type mismatch in block, expected [f32] but got [i64] - 000001d: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:689: assert_invalid passed: - error: type mismatch in block, expected [f32] but got [f64] - 0000024: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:695: assert_invalid passed: - error: type mismatch in block, expected [f64] but got [i32] - 000001d: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:701: assert_invalid passed: - error: type mismatch in block, expected [f64] but got [i64] - 000001d: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:707: assert_invalid passed: - error: type mismatch in block, expected [f64] but got [f32] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:713: assert_invalid passed: - error: type mismatch in block, expected [i32, i32] but got [i32] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:719: assert_invalid passed: - error: type mismatch in block, expected [i32, i32] but got [i32] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:725: assert_invalid passed: - error: type mismatch in block, expected [] but got [i32] - 000001f: error: OnEndExpr callback failed -out/test/spec/multi-value/block.wast:732: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [i64] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:738: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [f32] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:744: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [f64] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:750: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [i32] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:756: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [f32] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:762: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [f64] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:768: assert_invalid passed: - error: type mismatch in implicit return, expected [f32] but got [i32] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:774: assert_invalid passed: - error: type mismatch in implicit return, expected [f32] but got [i64] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:780: assert_invalid passed: - error: type mismatch in implicit return, expected [f32] but got [f64] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:786: assert_invalid passed: - error: type mismatch in implicit return, expected [f64] but got [i32] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:792: assert_invalid passed: - error: type mismatch in implicit return, expected [f64] but got [i64] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:798: assert_invalid passed: - error: type mismatch in implicit return, expected [f64] but got [f32] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:805: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:811: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:817: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:823: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:829: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:836: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:842: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:848: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:854: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:860: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:867: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:873: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:879: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:885: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:892: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [i64] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:898: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [f32] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:904: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [f64] - 0000025: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:910: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [i32] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:916: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [f32] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:922: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [f64] - 0000025: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:928: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [i32] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:934: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [i64] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:940: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [f64] - 0000025: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:946: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [i32] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:952: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [i64] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:958: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [f32] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:964: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i32] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:970: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i32] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:977: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:983: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:989: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:995: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1001: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1008: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [i64] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1014: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [f32] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1020: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [f64] - 0000025: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1026: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [i32] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1032: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [f32] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1038: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [f64] - 0000025: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1044: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [i32] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1050: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [i64] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1056: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [f64] - 0000025: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1062: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [i32] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1068: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [i64] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1074: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [f32] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1080: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i32] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1087: assert_invalid passed: - error: type mismatch in function, expected [] but got [i32] - 0000024: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:1093: assert_invalid passed: - error: type mismatch in function, expected [] but got [i64] - 0000024: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:1099: assert_invalid passed: - error: type mismatch in function, expected [] but got [f32] - 0000027: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:1105: assert_invalid passed: - error: type mismatch in function, expected [] but got [f64] - 000002b: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:1111: assert_invalid passed: - error: type mismatch in function, expected [] but got [i32, i32] - 000002b: error: EndFunctionBody callback failed -out/test/spec/multi-value/block.wast:1118: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1124: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1130: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1136: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1142: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1149: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1155: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1161: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1167: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1173: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1180: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [i64] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1188: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [f32] - 0000023: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1196: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [f64] - 0000027: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1204: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [i32] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1212: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [f32] - 0000023: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1220: assert_invalid passed: - error: type mismatch in br, expected [i64] but got [f64] - 0000027: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1228: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [i32] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1236: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [i64] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1244: assert_invalid passed: - error: type mismatch in br, expected [f32] but got [f64] - 0000027: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1252: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [i32] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1260: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [i64] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1268: assert_invalid passed: - error: type mismatch in br, expected [f64] but got [f32] - 0000023: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1276: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i32] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/block.wast:1285: assert_invalid passed: - error: type mismatch in i32.ctz, expected [i32] but got [] - 000001e: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1291: assert_invalid passed: - error: type mismatch in i64.ctz, expected [i64] but got [] - 000001e: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1297: assert_invalid passed: - error: type mismatch in f32.floor, expected [f32] but got [] - 000001e: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1303: assert_invalid passed: - error: type mismatch in f64.floor, expected [f64] but got [] - 000001e: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1309: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/multi-value/block.wast:1316: assert_invalid passed: - error: type mismatch in i32.ctz, expected [i32] but got [] - 000001f: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1322: assert_invalid passed: - error: type mismatch in i64.ctz, expected [i64] but got [] - 000001f: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1328: assert_invalid passed: - error: type mismatch in f32.floor, expected [f32] but got [] - 000001f: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1334: assert_invalid passed: - error: type mismatch in f64.floor, expected [f64] but got [] - 000001f: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1340: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001f: error: OnBinaryExpr callback failed -out/test/spec/multi-value/block.wast:1347: assert_invalid passed: - error: type mismatch in i64.ctz, expected [i64] but got [] - 0000020: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1353: assert_invalid passed: - error: type mismatch in f32.floor, expected [f32] but got [] - 0000023: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1359: assert_invalid passed: - error: type mismatch in f64.floor, expected [f64] but got [] - 0000027: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1365: assert_invalid passed: - error: type mismatch in i32.ctz, expected [i32] but got [] - 0000020: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1371: assert_invalid passed: - error: type mismatch in f32.floor, expected [f32] but got [] - 0000023: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1377: assert_invalid passed: - error: type mismatch in f64.floor, expected [f64] but got [] - 0000027: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1383: assert_invalid passed: - error: type mismatch in i32.ctz, expected [i32] but got [] - 0000020: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1389: assert_invalid passed: - error: type mismatch in i64.ctz, expected [i64] but got [] - 0000020: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1395: assert_invalid passed: - error: type mismatch in f64.floor, expected [f64] but got [] - 0000027: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1401: assert_invalid passed: - error: type mismatch in i32.ctz, expected [i32] but got [] - 0000020: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1407: assert_invalid passed: - error: type mismatch in i64.ctz, expected [i64] but got [] - 0000020: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1413: assert_invalid passed: - error: type mismatch in f32.floor, expected [f32] but got [] - 0000023: error: OnUnaryExpr callback failed -out/test/spec/multi-value/block.wast:1419: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 0000022: error: OnBinaryExpr callback failed -out/test/spec/multi-value/block.wast:1426: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [] - 000001d: error: OnBlockExpr callback failed -out/test/spec/multi-value/block.wast:1432: assert_invalid passed: - error: type mismatch in block, expected [i32, f64] but got [] - 000001e: error: OnBlockExpr callback failed -out/test/spec/multi-value/block.wast:1438: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [f32] - 0000022: error: OnBlockExpr callback failed -out/test/spec/multi-value/block.wast:1444: assert_invalid passed: - error: type mismatch in block, expected [f32, i32] but got [f32] - 0000023: error: OnBlockExpr callback failed -out/test/spec/multi-value/block.wast:1450: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [] - 000001f: error: OnBlockExpr callback failed -out/test/spec/multi-value/block.wast:1456: assert_invalid passed: - error: type mismatch in block, expected [i32, f64] but got [] - 0000020: error: OnBlockExpr callback failed -out/test/spec/multi-value/block.wast:1462: assert_invalid passed: - error: type mismatch in block, expected [i32] but got [f32] - 0000024: error: OnBlockExpr callback failed -out/test/spec/multi-value/block.wast:1468: assert_invalid passed: - error: type mismatch in block, expected [f32, i32] but got [f32] - 0000025: error: OnBlockExpr callback failed -out/test/spec/multi-value/block.wast:1475: assert_malformed passed: - out/test/spec/multi-value/block/block.167.wat:1:45: error: unexpected token $x, expected ). - (func (param i32) (result i32) block (param $x i32) end) - ^^ -out/test/spec/multi-value/block.wast:1479: assert_malformed passed: - out/test/spec/multi-value/block/block.168.wat:1:46: error: unexpected token $x, expected ). - (func (param i32) (result i32) (block (param $x i32))) - ^^ -out/test/spec/multi-value/block.wast:1485: assert_malformed passed: - out/test/spec/multi-value/block/block.169.wat:1:17: error: unexpected label "$l" - (func block end $l) - ^^ -out/test/spec/multi-value/block.wast:1489: assert_malformed passed: - out/test/spec/multi-value/block/block.170.wat:1:20: error: mismatching label "$a" != "$l" - (func block $a end $l) - ^^ -222/222 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/multi-value/br.txt b/test/spec/multi-value/br.txt deleted file mode 100644 index 98e77862..00000000 --- a/test/spec/multi-value/br.txt +++ /dev/null @@ -1,65 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/br.wast -(;; STDOUT ;;; -out/test/spec/multi-value/br.wast:471: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:478: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:484: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:490: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [i64] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:497: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:506: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:515: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:524: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001b: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:535: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001b: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:546: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:558: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000036: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:574: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:586: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:598: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000023: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:610: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:622: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:634: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:647: assert_invalid passed: - error: invalid depth: 1 (max 0) - 0000019: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:651: assert_invalid passed: - error: invalid depth: 5 (max 2) - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/br.wast:655: assert_invalid passed: - error: invalid depth: 268435457 (max 0) - 000001d: error: OnBrExpr callback failed -96/96 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/multi-value/call.txt b/test/spec/multi-value/call.txt deleted file mode 100644 index 3b093d82..00000000 --- a/test/spec/multi-value/call.txt +++ /dev/null @@ -1,60 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/call.wast -(;; STDOUT ;;; -out/test/spec/multi-value/call.wast:354: assert_trap passed: undefined table index -out/test/spec/multi-value/call.wast:381: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001b: error: OnConvertExpr callback failed -out/test/spec/multi-value/call.wast:388: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [i64] - 000001f: error: OnConvertExpr callback failed -out/test/spec/multi-value/call.wast:396: assert_invalid passed: - error: type mismatch in call, expected [i32] but got [] - 000001e: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:403: assert_invalid passed: - error: type mismatch in call, expected [f64, i32] but got [] - 000001f: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:410: assert_invalid passed: - error: type mismatch in function, expected [] but got [i32] - 000001d: error: EndFunctionBody callback failed -out/test/spec/multi-value/call.wast:417: assert_invalid passed: - error: type mismatch in function, expected [] but got [f64, i32] - 0000026: error: EndFunctionBody callback failed -out/test/spec/multi-value/call.wast:425: assert_invalid passed: - error: type mismatch in call, expected [i32, i32] but got [i32] - 0000022: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:432: assert_invalid passed: - error: type mismatch in call, expected [i32, i32] but got [i32] - 0000022: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:439: assert_invalid passed: - error: type mismatch in call, expected [i32, f64] but got [f64, i32] - 000002a: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:446: assert_invalid passed: - error: type mismatch in call, expected [f64, i32] but got [i32, f64] - 000002a: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:454: assert_invalid passed: - error: type mismatch in call, expected [i32] but got [] - 0000020: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:463: assert_invalid passed: - error: type mismatch in call, expected [i32, i32] but got [i32] - 0000023: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:472: assert_invalid passed: - error: type mismatch in call, expected [i32] but got [] - 0000020: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:481: assert_invalid passed: - error: type mismatch in call, expected [i32, i32] but got [i32] - 0000023: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:490: assert_invalid passed: - error: type mismatch in call, expected [i32] but got [] - 0000022: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:499: assert_invalid passed: - error: type mismatch in call, expected [i32, i32] but got [i32] - 0000025: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:512: assert_invalid passed: - 0000000: error: function variable out of range: 1 (max 1) - 0000019: error: OnCallExpr callback failed -out/test/spec/multi-value/call.wast:516: assert_invalid passed: - 0000000: error: function variable out of range: 1012321300 (max 1) - 000001d: error: OnCallExpr callback failed -90/90 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/multi-value/call_indirect.txt b/test/spec/multi-value/call_indirect.txt deleted file mode 100644 index 5322eef2..00000000 --- a/test/spec/multi-value/call_indirect.txt +++ /dev/null @@ -1,149 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/call_indirect.wast -(;; STDOUT ;;; -out/test/spec/multi-value/call_indirect.wast:498: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:499: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:500: assert_trap passed: undefined table index -out/test/spec/multi-value/call_indirect.wast:501: assert_trap passed: undefined table index -out/test/spec/multi-value/call_indirect.wast:502: assert_trap passed: undefined table index -out/test/spec/multi-value/call_indirect.wast:508: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:509: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:515: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:516: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:522: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:523: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:529: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:530: assert_trap passed: indirect call signature mismatch -out/test/spec/multi-value/call_indirect.wast:623: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.1.wat:1:122: error: unexpected token "param", expected an expr. - ...indirect (type $sig) (result i32) (param i32) (i32.const 0) (i32.const ... - ^^^^^ - out/test/spec/multi-value/call_indirect/call_indirect.1.wat:1:166: error: unexpected token ), expected EOF. - ...irect (type $sig) (result i32) (param i32) (i32.const 0) (i32.const 0) )) - ^ -out/test/spec/multi-value/call_indirect.wast:635: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.2.wat:1:109: error: unexpected token "type", expected an expr. - ... i32) (call_indirect (param i32) (type $sig) (result i32) (i32.const 0... - ^^^^ - out/test/spec/multi-value/call_indirect/call_indirect.2.wat:1:166: error: unexpected token ), expected EOF. - ...irect (param i32) (type $sig) (result i32) (i32.const 0) (i32.const 0) )) - ^ -out/test/spec/multi-value/call_indirect.wast:647: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.3.wat:1:122: error: unexpected token "type", expected an expr. - ...indirect (param i32) (result i32) (type $sig) (i32.const 0) (i32.const ... - ^^^^ - out/test/spec/multi-value/call_indirect/call_indirect.3.wat:1:166: error: unexpected token ), expected EOF. - ...irect (param i32) (result i32) (type $sig) (i32.const 0) (i32.const 0) )) - ^ -out/test/spec/multi-value/call_indirect.wast:659: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.4.wat:1:110: error: unexpected token "type", expected an expr. - ...i32) (call_indirect (result i32) (type $sig) (param i32) (i32.const 0)... - ^^^^ - out/test/spec/multi-value/call_indirect/call_indirect.4.wat:1:166: error: unexpected token ), expected EOF. - ...irect (result i32) (type $sig) (param i32) (i32.const 0) (i32.const 0) )) - ^ -out/test/spec/multi-value/call_indirect.wast:671: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.5.wat:1:110: error: unexpected token "param", expected an expr. - ...i32) (call_indirect (result i32) (param i32) (type $sig) (i32.const 0)... - ^^^^^ - out/test/spec/multi-value/call_indirect/call_indirect.5.wat:1:166: error: unexpected token ), expected EOF. - ...irect (result i32) (param i32) (type $sig) (i32.const 0) (i32.const 0) )) - ^ -out/test/spec/multi-value/call_indirect.wast:683: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.6.wat:1:67: error: unexpected token "param", expected an expr. - ...t i32) (call_indirect (result i32) (param i32) (i32.const 0) (i32.const 0))) - ^^^^^ - out/test/spec/multi-value/call_indirect/call_indirect.6.wat:1:106: error: unexpected token ), expected EOF. - ...t i32) (call_indirect (result i32) (param i32) (i32.const 0) (i32.const 0))) - ^ -out/test/spec/multi-value/call_indirect.wast:693: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.7.wat:1:46: error: unexpected token $x, expected ). - ...e 0 funcref)(func (call_indirect (param $x i32) (i32.const 0) (i32.const 0))) - ^^ - out/test/spec/multi-value/call_indirect/call_indirect.7.wat:1:82: error: unexpected token ), expected EOF. - ...e 0 funcref)(func (call_indirect (param $x i32) (i32.const 0) (i32.const 0))) - ^ -out/test/spec/multi-value/call_indirect.wast:700: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.8.wat:1:57: error: expected 0 results, got 1 - ...0 funcref)(func (result i32) (call_indirect (type $sig) (result i32) (i32... - ^^^^^^^^^^^^^ -out/test/spec/multi-value/call_indirect.wast:710: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.9.wat:1:82: error: expected 1 arguments, got 0 - ...0 funcref)(func (result i32) (call_indirect (type $sig) (result i32) (i32... - ^^^^^^^^^^^^^ -out/test/spec/multi-value/call_indirect.wast:720: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.10.wat:1:69: error: expected 1 results, got 0 - ...i32)))(table 0 funcref)(func (call_indirect (type $sig) (param i32) (i32.... - ^^^^^^^^^^^^^ -out/test/spec/multi-value/call_indirect.wast:730: assert_malformed passed: - out/test/spec/multi-value/call_indirect/call_indirect.11.wat:1:86: error: expected 2 arguments, got 1 - ...0 funcref)(func (result i32) (call_indirect (type $sig) (param i32) (resu... - ^^^^^^^^^^^^^ -out/test/spec/multi-value/call_indirect.wast:745: assert_invalid passed: - 0000000: error: table variable out of range: 0 (max 0) - 000001c: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:753: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 0000023: error: OnConvertExpr callback failed -out/test/spec/multi-value/call_indirect.wast:761: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [i64] - 0000027: error: OnConvertExpr callback failed -out/test/spec/multi-value/call_indirect.wast:770: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32] but got [] - 0000026: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:778: assert_invalid passed: - error: type mismatch in call_indirect, expected [f64, i32] but got [] - 0000027: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:786: assert_invalid passed: - error: type mismatch in function, expected [] but got [i32] - 0000025: error: EndFunctionBody callback failed -out/test/spec/multi-value/call_indirect.wast:794: assert_invalid passed: - error: type mismatch in function, expected [] but got [f64, i32] - 000002e: error: EndFunctionBody callback failed -out/test/spec/multi-value/call_indirect.wast:805: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32] but got [] - 0000027: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:813: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32] but got [... i64] - 0000028: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:822: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32, i32] but got [i32] - 000002a: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:832: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32, i32] but got [i32] - 000002a: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:842: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32, f64] but got [f64, i32] - 0000032: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:852: assert_invalid passed: - error: type mismatch in call_indirect, expected [f64, i32] but got [i32, f64] - 0000032: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:863: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32] but got [] - 0000036: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:876: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32, i32] but got [i32] - 0000039: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:889: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32] but got [] - 0000036: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:902: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32, i32] but got [i32] - 0000039: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:915: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32] but got [] - 000003a: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:931: assert_invalid passed: - error: type mismatch in call_indirect, expected [i32, i32] but got [i32] - 000003d: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:951: assert_invalid passed: - 0000000: error: function type variable out of range: 1 (max 1) - 0000022: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:958: assert_invalid passed: - 0000000: error: function type variable out of range: 1012321300 (max 1) - 0000026: error: OnCallIndirectExpr callback failed -out/test/spec/multi-value/call_indirect.wast:969: assert_invalid passed: - 0000000: error: function variable out of range: 0 (max 0) - 0000018: error: OnElemSegmentElemExpr_RefFunc callback failed -155/155 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/multi-value/fac.txt b/test/spec/multi-value/fac.txt deleted file mode 100644 index 7565fc09..00000000 --- a/test/spec/multi-value/fac.txt +++ /dev/null @@ -1,5 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/fac.wast -(;; STDOUT ;;; -7/7 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/multi-value/func.txt b/test/spec/multi-value/func.txt deleted file mode 100644 index b24bca50..00000000 --- a/test/spec/multi-value/func.txt +++ /dev/null @@ -1,219 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/func.wast -(;; STDOUT ;;; -out/test/spec/multi-value/func.wast:436: assert_invalid passed: - 0000000: error: function type variable out of range: 2 (max 2) - 000001a: error: OnFunction callback failed -out/test/spec/multi-value/func.wast:520: assert_malformed passed: - out/test/spec/multi-value/func/func.4.wat:1:76: error: unexpected token "param", expected an instr. - ... i32) (result i32)))(func (type $sig) (result i32) (param i32) (i32.const 0)) - ^^^^^ -out/test/spec/multi-value/func.wast:527: assert_malformed passed: - out/test/spec/multi-value/func/func.5.wat:1:63: error: unexpected token "type", expected an instr. - ... i32) (result i32)))(func (param i32) (type $sig) (result i32) (i32.const 0)) - ^^^^ -out/test/spec/multi-value/func.wast:534: assert_malformed passed: - out/test/spec/multi-value/func/func.6.wat:1:76: error: unexpected token "type", expected an instr. - ... i32) (result i32)))(func (param i32) (result i32) (type $sig) (i32.const 0)) - ^^^^ -out/test/spec/multi-value/func.wast:541: assert_malformed passed: - out/test/spec/multi-value/func/func.7.wat:1:64: error: unexpected token "type", expected an instr. - ... i32) (result i32)))(func (result i32) (type $sig) (param i32) (i32.const 0)) - ^^^^ -out/test/spec/multi-value/func.wast:548: assert_malformed passed: - out/test/spec/multi-value/func/func.8.wat:1:64: error: unexpected token "param", expected an instr. - ... i32) (result i32)))(func (result i32) (param i32) (type $sig) (i32.const 0)) - ^^^^^ - out/test/spec/multi-value/func/func.8.wat:1:85: error: unexpected token ), expected (. - ... i32) (result i32)))(func (result i32) (param i32) (type $sig) (i32.const 0)) - ^ -out/test/spec/multi-value/func.wast:555: assert_malformed passed: - out/test/spec/multi-value/func/func.9.wat:1:21: error: unexpected token "param", expected an instr. - (func (result i32) (param i32) (i32.const 0)) - ^^^^^ -out/test/spec/multi-value/func.wast:562: assert_malformed passed: - out/test/spec/multi-value/func/func.10.wat:1:20: error: expected 0 results, got 1 - (type $sig (func))(func (type $sig) (result i32) (i32.const 0)) - ^^^^ -out/test/spec/multi-value/func.wast:569: assert_malformed passed: - out/test/spec/multi-value/func/func.11.wat:1:45: error: expected 1 arguments, got 0 - ...g (func (param i32) (result i32)))(func (type $sig) (result i32) (i32.cons... - ^^^^ -out/test/spec/multi-value/func.wast:576: assert_malformed passed: - out/test/spec/multi-value/func/func.12.wat:1:45: error: expected 1 results, got 0 - ...g (func (param i32) (result i32)))(func (type $sig) (param i32) (i32.const... - ^^^^ -out/test/spec/multi-value/func.wast:583: assert_malformed passed: - out/test/spec/multi-value/func/func.13.wat:1:49: error: expected 2 arguments, got 1 - ...unc (param i32 i32) (result i32)))(func (type $sig) (param i32) (result i3... - ^^^^ -out/test/spec/multi-value/func.wast:594: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [i32] - 000001d: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:598: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [f32] - 000001c: error: OnConvertExpr callback failed -out/test/spec/multi-value/func.wast:602: assert_invalid passed: - error: type mismatch in f64.neg, expected [f64] but got [i64] - 000001e: error: OnUnaryExpr callback failed -out/test/spec/multi-value/func.wast:610: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [i32] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:614: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [f32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/multi-value/func.wast:618: assert_invalid passed: - error: type mismatch in f64.neg, expected [f64] but got [i64] - 000001c: error: OnUnaryExpr callback failed -out/test/spec/multi-value/func.wast:626: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [] - 0000019: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:630: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [] - 0000019: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:634: assert_invalid passed: - error: type mismatch in implicit return, expected [f32] but got [] - 0000019: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:638: assert_invalid passed: - error: type mismatch in implicit return, expected [f64] but got [] - 0000019: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:642: assert_invalid passed: - error: type mismatch in implicit return, expected [f64, i32] but got [] - 000001a: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:647: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [] - 000001a: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:653: assert_invalid passed: - error: type mismatch in implicit return, expected [i32, i32] but got [] - 000001b: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:659: assert_invalid passed: - error: type mismatch in function, expected [] but got [i32] - 000001a: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:665: assert_invalid passed: - error: type mismatch in function, expected [] but got [i32, i64] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:671: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [f32] - 000001e: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:677: assert_invalid passed: - error: type mismatch in implicit return, expected [f32, f32] but got [f32] - 000001f: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:683: assert_invalid passed: - error: type mismatch in function, expected [] but got [f32] - 0000023: error: EndFunctionBody callback failed -out/test/spec/multi-value/func.wast:690: assert_invalid passed: - error: type mismatch in return, expected [i32] but got [] - 0000019: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:696: assert_invalid passed: - error: type mismatch in return, expected [i32, i32] but got [] - 000001a: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:702: assert_invalid passed: - error: type mismatch in return, expected [i32] but got [] - 000001a: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:708: assert_invalid passed: - error: type mismatch in return, expected [i32, i64] but got [] - 000001b: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:714: assert_invalid passed: - error: type mismatch in return, expected [i32] but got [i64] - 000001b: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:720: assert_invalid passed: - error: type mismatch in return, expected [i64, i64] but got [i64] - 000001c: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:727: assert_invalid passed: - error: type mismatch in return, expected [i32] but got [] - 0000019: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:733: assert_invalid passed: - error: type mismatch in return, expected [i32, i32] but got [] - 000001a: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:739: assert_invalid passed: - error: type mismatch in return, expected [i32, i32] but got [i32] - 000001c: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:745: assert_invalid passed: - error: type mismatch in return, expected [i32] but got [] - 000001a: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:751: assert_invalid passed: - error: type mismatch in return, expected [i32, i32] but got [] - 000001b: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:757: assert_invalid passed: - error: type mismatch in return, expected [i32] but got [i64] - 000001b: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:763: assert_invalid passed: - error: type mismatch in return, expected [i32, i32] but got [i64] - 000001c: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:769: assert_invalid passed: - error: type mismatch in return, expected [i32] but got [i64] - 000001b: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:775: assert_invalid passed: - error: type mismatch in return, expected [i32, i32] but got [i32] - 000001c: error: OnReturnExpr callback failed -out/test/spec/multi-value/func.wast:782: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001a: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:788: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001b: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:794: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [f32] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:800: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i32] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:806: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001a: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:812: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001b: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:818: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [i64] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:824: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i32] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:830: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [i64] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:837: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001c: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:843: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:849: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001d: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:855: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:861: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [i64] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:867: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i32] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/func.wast:877: assert_malformed passed: - out/test/spec/multi-value/func/func.62.wat:1:14: error: unexpected token "local", expected an instr. - (func (nop) (local i32)) - ^^^^^ -out/test/spec/multi-value/func.wast:881: assert_malformed passed: - out/test/spec/multi-value/func/func.63.wat:1:14: error: unexpected token "param", expected an instr. - (func (nop) (param i32)) - ^^^^^ -out/test/spec/multi-value/func.wast:885: assert_malformed passed: - out/test/spec/multi-value/func/func.64.wat:1:14: error: unexpected token "result", expected an instr. - (func (nop) (result i32)) - ^^^^^^ -out/test/spec/multi-value/func.wast:889: assert_malformed passed: - out/test/spec/multi-value/func/func.65.wat:1:20: error: unexpected token "param", expected an instr. - (func (local i32) (param i32)) - ^^^^^ -out/test/spec/multi-value/func.wast:893: assert_malformed passed: - out/test/spec/multi-value/func/func.66.wat:1:20: error: unexpected token "result", expected an instr. - (func (local i32) (result i32) (local.get 0)) - ^^^^^^ -out/test/spec/multi-value/func.wast:897: assert_malformed passed: - out/test/spec/multi-value/func/func.67.wat:1:21: error: unexpected token "param", expected an instr. - (func (result i32) (param i32) (local.get 0)) - ^^^^^ -158/158 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/multi-value/if.txt b/test/spec/multi-value/if.txt deleted file mode 100644 index 1d6dc924..00000000 --- a/test/spec/multi-value/if.txt +++ /dev/null @@ -1,404 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/if.wast -(;; STDOUT ;;; -out/test/spec/multi-value/if.wast:585: assert_trap passed: undefined table index -out/test/spec/multi-value/if.wast:726: assert_malformed passed: - out/test/spec/multi-value/if/if.1.wat:1:95: error: unexpected token "param", expected then block (e.g. (then ...)). - ...i32.const 0) (if (type $sig) (result i32) (param i32) (i32.const 1) (then))) - ^^^^^ - out/test/spec/multi-value/if/if.1.wat:1:121: error: unexpected token "then", expected an instr. - ...i32.const 0) (if (type $sig) (result i32) (param i32) (i32.const 1) (then))) - ^^^^ -out/test/spec/multi-value/if.wast:735: assert_malformed passed: - out/test/spec/multi-value/if/if.2.wat:1:82: error: unexpected token "type", expected then block (e.g. (then ...)). - ...nc (i32.const 0) (if (param i32) (type $sig) (result i32) (i32.const 1) (... - ^^^^ - out/test/spec/multi-value/if/if.2.wat:1:121: error: unexpected token "then", expected an instr. - ...i32.const 0) (if (param i32) (type $sig) (result i32) (i32.const 1) (then))) - ^^^^ -out/test/spec/multi-value/if.wast:744: assert_malformed passed: - out/test/spec/multi-value/if/if.3.wat:1:95: error: unexpected token "type", expected then block (e.g. (then ...)). - ...i32.const 0) (if (param i32) (result i32) (type $sig) (i32.const 1) (then))) - ^^^^ - out/test/spec/multi-value/if/if.3.wat:1:121: error: unexpected token "then", expected an instr. - ...i32.const 0) (if (param i32) (result i32) (type $sig) (i32.const 1) (then))) - ^^^^ -out/test/spec/multi-value/if.wast:753: assert_malformed passed: - out/test/spec/multi-value/if/if.4.wat:1:83: error: unexpected token "type", expected then block (e.g. (then ...)). - ...c (i32.const 0) (if (result i32) (type $sig) (param i32) (i32.const 1) (t... - ^^^^ - out/test/spec/multi-value/if/if.4.wat:1:121: error: unexpected token "then", expected an instr. - ...i32.const 0) (if (result i32) (type $sig) (param i32) (i32.const 1) (then))) - ^^^^ -out/test/spec/multi-value/if.wast:762: assert_malformed passed: - out/test/spec/multi-value/if/if.5.wat:1:83: error: unexpected token "param", expected then block (e.g. (then ...)). - ...c (i32.const 0) (if (result i32) (param i32) (type $sig) (i32.const 1) (t... - ^^^^^ - out/test/spec/multi-value/if/if.5.wat:1:121: error: unexpected token "then", expected an instr. - ...i32.const 0) (if (result i32) (param i32) (type $sig) (i32.const 1) (then))) - ^^^^ -out/test/spec/multi-value/if.wast:771: assert_malformed passed: - out/test/spec/multi-value/if/if.6.wat:1:39: error: unexpected token "param", expected then block (e.g. (then ...)). - (func (i32.const 0) (if (result i32) (param i32) (i32.const 1) (then))) - ^^^^^ - out/test/spec/multi-value/if/if.6.wat:1:65: error: unexpected token "then", expected an instr. - (func (i32.const 0) (if (result i32) (param i32) (i32.const 1) (then))) - ^^^^ -out/test/spec/multi-value/if.wast:778: assert_malformed passed: - out/test/spec/multi-value/if/if.7.wat:1:47: error: unexpected token $x, expected ). - ...(i32.const 0) (i32.const 1) (if (param $x i32) (then (drop)) (else (drop)))) - ^^ - out/test/spec/multi-value/if/if.7.wat:1:69: error: unexpected token (, expected EOF. - ...(i32.const 0) (i32.const 1) (if (param $x i32) (then (drop)) (else (drop)))) - ^ -out/test/spec/multi-value/if.wast:786: assert_malformed passed: - out/test/spec/multi-value/if/if.8.wat:1:40: error: expected 0 results, got 1 - (type $sig (func))(func (i32.const 1) (if (type $sig) (result i32) (then (i3... - ^ -out/test/spec/multi-value/if.wast:796: assert_malformed passed: - out/test/spec/multi-value/if/if.9.wat:1:65: error: expected 1 arguments, got 0 - ...) (result i32)))(func (i32.const 1) (if (type $sig) (result i32) (then (i... - ^ -out/test/spec/multi-value/if.wast:806: assert_malformed passed: - out/test/spec/multi-value/if/if.10.wat:1:79: error: expected 1 results, got 0 - ...))(func (i32.const 0) (i32.const 1) (if (type $sig) (param i32) (then (dr... - ^ -out/test/spec/multi-value/if.wast:816: assert_malformed passed: - out/test/spec/multi-value/if/if.11.wat:1:83: error: expected 2 arguments, got 1 - ...))(func (i32.const 0) (i32.const 1) (if (type $sig) (param i32) (result i... - ^ -out/test/spec/multi-value/if.wast:826: assert_invalid passed: - error: type mismatch in function, expected [] but got [i32] - 000001f: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:834: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [] - 000001e: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:838: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [] - 000001e: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:842: assert_invalid passed: - error: type mismatch in implicit return, expected [f32] but got [] - 000001e: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:846: assert_invalid passed: - error: type mismatch in implicit return, expected [f64] but got [] - 000001e: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:851: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [] - 000001e: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:855: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [] - 000001e: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:859: assert_invalid passed: - error: type mismatch in implicit return, expected [f32] but got [] - 000001e: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:863: assert_invalid passed: - error: type mismatch in implicit return, expected [f64] but got [] - 000001e: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:868: assert_invalid passed: - error: type mismatch in if true branch, expected [] but got [i32] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:874: assert_invalid passed: - error: type mismatch in if true branch, expected [] but got [i32] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:880: assert_invalid passed: - error: type mismatch in if false branch, expected [] but got [i32] - 000001f: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:886: assert_invalid passed: - error: type mismatch in if true branch, expected [] but got [i32] - 000001e: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:893: assert_invalid passed: - error: type mismatch in if true branch, expected [] but got [i32, i32] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:899: assert_invalid passed: - error: type mismatch in if true branch, expected [] but got [i32, i32] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:905: assert_invalid passed: - error: type mismatch in if false branch, expected [] but got [i32, i32] - 0000021: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:911: assert_invalid passed: - error: type mismatch in if true branch, expected [] but got [i32, i32] - 0000020: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:918: assert_invalid passed: - error: type mismatch in if true branch, expected [i32] but got [] - 000001d: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:924: assert_invalid passed: - error: type mismatch in if false branch, expected [i32] but got [] - 000001f: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:930: assert_invalid passed: - error: type mismatch in if true branch, expected [i32] but got [] - 000001d: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:937: assert_invalid passed: - error: type mismatch in if true branch, expected [i32, i32] but got [] - 000001e: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:943: assert_invalid passed: - error: type mismatch in if false branch, expected [i32, i32] but got [] - 0000022: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:949: assert_invalid passed: - error: type mismatch in if true branch, expected [i32, i32] but got [] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:956: assert_invalid passed: - error: type mismatch in if false branch, expected [i32] but got [] - 000001f: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:962: assert_invalid passed: - error: type mismatch in if false branch, expected [i32, i32] but got [] - 0000022: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:969: assert_invalid passed: - error: type mismatch in if true branch, expected [i32] but got [] - 000001e: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:975: assert_invalid passed: - error: type mismatch in if false branch, expected [i32] but got [] - 0000021: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:981: assert_invalid passed: - error: type mismatch in if true branch, expected [i32] but got [] - 000001e: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:988: assert_invalid passed: - error: type mismatch in if true branch, expected [i32, i32] but got [] - 000001f: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:994: assert_invalid passed: - error: type mismatch in if false branch, expected [i32, i32] but got [] - 0000024: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:1000: assert_invalid passed: - error: type mismatch in if true branch, expected [i32, i32] but got [] - 000001f: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1007: assert_invalid passed: - error: type mismatch in if true branch, expected [i32] but got [i64] - 000001f: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1013: assert_invalid passed: - error: type mismatch in if false branch, expected [i32] but got [i64] - 0000022: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:1019: assert_invalid passed: - error: type mismatch in if true branch, expected [i32] but got [i64] - 000001f: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1026: assert_invalid passed: - error: type mismatch in if true branch, expected [i32, i32] but got [i32] - 0000020: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1032: assert_invalid passed: - error: type mismatch in if false branch, expected [i32, i32] but got [i32] - 0000025: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:1038: assert_invalid passed: - error: type mismatch in if true branch, expected [i32, i32] but got [i32] - 0000020: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1045: assert_invalid passed: - error: type mismatch in if true branch, expected [i32, i32] but got [i32] - 0000022: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1052: assert_invalid passed: - error: type mismatch in if false branch, expected [i32, i32] but got [i32] - 0000027: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:1059: assert_invalid passed: - error: type mismatch in if true branch, expected [i32, i32] but got [i32] - 0000022: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1067: assert_invalid passed: - error: type mismatch in if true branch, expected [] but got [i32] - 0000021: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1073: assert_invalid passed: - error: type mismatch in if false branch, expected [] but got [i32] - 0000024: error: OnEndExpr callback failed -out/test/spec/multi-value/if.wast:1079: assert_invalid passed: - error: type mismatch in if true branch, expected [] but got [i32] - 0000021: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1086: assert_invalid passed: - error: type mismatch in if true branch, expected [i32] but got [i64] - 000001f: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1092: assert_invalid passed: - error: type mismatch in if true branch, expected [] but got [i32] - 0000024: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1099: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [i64] - 0000025: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:1109: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [i64] - 0000025: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:1119: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [i64] - 0000027: error: EndFunctionBody callback failed -out/test/spec/multi-value/if.wast:1130: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1136: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1142: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1148: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 0000024: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1155: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001e: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1164: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1173: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1182: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 0000024: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1192: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 000001f: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1201: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [] - 0000022: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1210: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1219: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [] - 0000025: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1229: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [i64] - 0000020: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1238: assert_invalid passed: - error: type mismatch in br, expected [i32] but got [i64] - 0000023: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1247: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i64] - 0000021: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1256: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i64] - 0000026: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1265: assert_invalid passed: - error: type mismatch in br, expected [i32, i32] but got [i64] - 0000023: error: OnBrExpr callback failed -out/test/spec/multi-value/if.wast:1275: assert_invalid passed: - error: type mismatch in if true branch, expected [i32, i32] but got [i32] - 0000022: error: OnElseExpr callback failed -out/test/spec/multi-value/if.wast:1286: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 0000019: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1294: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001d: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1303: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001d: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1312: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001f: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1321: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 0000022: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1331: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001d: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1340: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001d: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1349: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001d: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1358: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 0000019: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1366: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 0000019: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1374: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001f: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1383: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 0000036: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1399: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001b: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1408: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001b: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1417: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 0000021: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1426: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001e: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1435: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001e: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1444: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001e: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1454: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 000001f: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1460: assert_invalid passed: - error: type mismatch in if, expected [i32, f64] but got [] - 0000020: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1466: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [f32] - 0000024: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1472: assert_invalid passed: - error: type mismatch in if, expected [f32, i32] but got [f32] - 0000025: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1478: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [] - 0000021: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1484: assert_invalid passed: - error: type mismatch in if, expected [i32, f64] but got [] - 0000022: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1490: assert_invalid passed: - error: type mismatch in if, expected [i32] but got [f32] - 0000026: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1496: assert_invalid passed: - error: type mismatch in if, expected [f32, i32] but got [f32] - 0000027: error: OnIfExpr callback failed -out/test/spec/multi-value/if.wast:1503: assert_malformed passed: - out/test/spec/multi-value/if/if.104.wat:1:42: error: unexpected token $x, expected ). - (func (param i32) (result i32) if (param $x i32) end) - ^^ -out/test/spec/multi-value/if.wast:1507: assert_malformed passed: - out/test/spec/multi-value/if/if.105.wat:1:43: error: unexpected token $x, expected ). - (func (param i32) (result i32) (if (param $x i32) (then))) - ^^ -out/test/spec/multi-value/if.wast:1512: assert_malformed passed: - out/test/spec/multi-value/if/if.106.wat:1:26: error: unexpected label "$l" - (func i32.const 0 if end $l) - ^^ -out/test/spec/multi-value/if.wast:1516: assert_malformed passed: - out/test/spec/multi-value/if/if.107.wat:1:29: error: mismatching label "$a" != "$l" - (func i32.const 0 if $a end $l) - ^^ -out/test/spec/multi-value/if.wast:1520: assert_malformed passed: - out/test/spec/multi-value/if/if.108.wat:1:27: error: unexpected label "$l" - (func i32.const 0 if else $l end) - ^^ -out/test/spec/multi-value/if.wast:1524: assert_malformed passed: - out/test/spec/multi-value/if/if.109.wat:1:30: error: mismatching label "$a" != "$l" - (func i32.const 0 if $a else $l end) - ^^ -out/test/spec/multi-value/if.wast:1528: assert_malformed passed: - out/test/spec/multi-value/if/if.110.wat:1:31: error: unexpected label "$l" - (func i32.const 0 if else end $l) - ^^ -out/test/spec/multi-value/if.wast:1532: assert_malformed passed: - out/test/spec/multi-value/if/if.111.wat:1:27: error: unexpected label "$l" - (func i32.const 0 if else $l end $l) - ^^ - out/test/spec/multi-value/if/if.111.wat:1:34: error: unexpected label "$l" - (func i32.const 0 if else $l end $l) - ^^ -out/test/spec/multi-value/if.wast:1536: assert_malformed passed: - out/test/spec/multi-value/if/if.112.wat:1:27: error: unexpected label "$l1" - (func i32.const 0 if else $l1 end $l2) - ^^^ - out/test/spec/multi-value/if/if.112.wat:1:35: error: unexpected label "$l2" - (func i32.const 0 if else $l1 end $l2) - ^^^ -out/test/spec/multi-value/if.wast:1540: assert_malformed passed: - out/test/spec/multi-value/if/if.113.wat:1:34: error: mismatching label "$a" != "$l" - (func i32.const 0 if $a else end $l) - ^^ -out/test/spec/multi-value/if.wast:1544: assert_malformed passed: - out/test/spec/multi-value/if/if.114.wat:1:37: error: mismatching label "$a" != "$l" - (func i32.const 0 if $a else $a end $l) - ^^ -out/test/spec/multi-value/if.wast:1548: assert_malformed passed: - out/test/spec/multi-value/if/if.115.wat:1:30: error: mismatching label "$a" != "$l" - (func i32.const 0 if $a else $l end $l) - ^^ - out/test/spec/multi-value/if/if.115.wat:1:37: error: mismatching label "$a" != "$l" - (func i32.const 0 if $a else $l end $l) - ^^ -238/238 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/multi-value/loop.txt b/test/spec/multi-value/loop.txt deleted file mode 100644 index 43cde4dd..00000000 --- a/test/spec/multi-value/loop.txt +++ /dev/null @@ -1,149 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/loop.wast -(;; STDOUT ;;; -out/test/spec/multi-value/loop.wast:526: assert_malformed passed: - out/test/spec/multi-value/loop/loop.1.wat:1:95: error: unexpected token (, expected ). - ...result i32)))(func (i32.const 0) (loop (type $sig) (result i32) (param i32))) - ^ -out/test/spec/multi-value/loop.wast:533: assert_malformed passed: - out/test/spec/multi-value/loop/loop.2.wat:1:82: error: unexpected token (, expected ). - ...result i32)))(func (i32.const 0) (loop (param i32) (type $sig) (result i32))) - ^ -out/test/spec/multi-value/loop.wast:540: assert_malformed passed: - out/test/spec/multi-value/loop/loop.3.wat:1:95: error: unexpected token (, expected ). - ...result i32)))(func (i32.const 0) (loop (param i32) (result i32) (type $sig))) - ^ -out/test/spec/multi-value/loop.wast:547: assert_malformed passed: - out/test/spec/multi-value/loop/loop.4.wat:1:83: error: unexpected token (, expected ). - ...result i32)))(func (i32.const 0) (loop (result i32) (type $sig) (param i32))) - ^ -out/test/spec/multi-value/loop.wast:554: assert_malformed passed: - out/test/spec/multi-value/loop/loop.5.wat:1:83: error: unexpected token (, expected ). - ...result i32)))(func (i32.const 0) (loop (result i32) (param i32) (type $sig))) - ^ -out/test/spec/multi-value/loop.wast:561: assert_malformed passed: - out/test/spec/multi-value/loop/loop.6.wat:1:40: error: unexpected token (, expected ). - (func (i32.const 0) (loop (result i32) (param i32))) - ^ -out/test/spec/multi-value/loop.wast:568: assert_malformed passed: - out/test/spec/multi-value/loop/loop.7.wat:1:34: error: unexpected token $x, expected ). - (func (i32.const 0) (loop (param $x i32) (drop))) - ^^ - out/test/spec/multi-value/loop/loop.7.wat:1:49: error: unexpected token ), expected EOF. - (func (i32.const 0) (loop (param $x i32) (drop))) - ^ -out/test/spec/multi-value/loop.wast:572: assert_malformed passed: - out/test/spec/multi-value/loop/loop.8.wat:1:25: error: expected 0 results, got 1 - (type $sig (func))(func (loop (type $sig) (result i32) (i32.const 0)) (unreac... - ^ -out/test/spec/multi-value/loop.wast:579: assert_malformed passed: - out/test/spec/multi-value/loop/loop.9.wat:1:50: error: expected 1 arguments, got 0 - ...func (param i32) (result i32)))(func (loop (type $sig) (result i32) (i32.c... - ^ -out/test/spec/multi-value/loop.wast:586: assert_malformed passed: - out/test/spec/multi-value/loop/loop.10.wat:1:64: error: expected 1 results, got 0 - ...2) (result i32)))(func (i32.const 0) (loop (type $sig) (param i32) (drop))... - ^ -out/test/spec/multi-value/loop.wast:593: assert_malformed passed: - out/test/spec/multi-value/loop/loop.11.wat:1:68: error: expected 2 arguments, got 1 - ...2) (result i32)))(func (i32.const 0) (loop (type $sig) (param i32) (result... - ^ -out/test/spec/multi-value/loop.wast:601: assert_invalid passed: - error: type mismatch in loop, expected [] but got [i32] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:609: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/loop.wast:613: assert_invalid passed: - error: type mismatch in implicit return, expected [i64] but got [] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/loop.wast:617: assert_invalid passed: - error: type mismatch in implicit return, expected [f32] but got [] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/loop.wast:621: assert_invalid passed: - error: type mismatch in implicit return, expected [f64] but got [] - 000001c: error: EndFunctionBody callback failed -out/test/spec/multi-value/loop.wast:626: assert_invalid passed: - error: type mismatch in loop, expected [] but got [i32] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:632: assert_invalid passed: - error: type mismatch in loop, expected [] but got [i32, i32] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:638: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [] - 000001b: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:644: assert_invalid passed: - error: type mismatch in loop, expected [i32, i32] but got [] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:650: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [] - 000001c: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:656: assert_invalid passed: - error: type mismatch in loop, expected [i32, i32] but got [] - 000001d: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:662: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [f32] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:668: assert_invalid passed: - error: type mismatch in loop, expected [i32, i32] but got [i32] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:674: assert_invalid passed: - error: type mismatch in loop, expected [i32, i32] but got [i32] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:680: assert_invalid passed: - error: type mismatch in loop, expected [] but got [i32] - 000001f: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:686: assert_invalid passed: - error: type mismatch in implicit return, expected [i32] but got [i64] - 0000020: error: EndFunctionBody callback failed -out/test/spec/multi-value/loop.wast:693: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:702: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [] - 000001e: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:711: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [] - 0000020: error: OnEndExpr callback failed -out/test/spec/multi-value/loop.wast:721: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [] - 000001d: error: OnLoopExpr callback failed -out/test/spec/multi-value/loop.wast:727: assert_invalid passed: - error: type mismatch in loop, expected [i32, f64] but got [] - 000001e: error: OnLoopExpr callback failed -out/test/spec/multi-value/loop.wast:733: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [f32] - 0000022: error: OnLoopExpr callback failed -out/test/spec/multi-value/loop.wast:739: assert_invalid passed: - error: type mismatch in loop, expected [f32, i32] but got [f32] - 0000023: error: OnLoopExpr callback failed -out/test/spec/multi-value/loop.wast:745: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [] - 000001f: error: OnLoopExpr callback failed -out/test/spec/multi-value/loop.wast:751: assert_invalid passed: - error: type mismatch in loop, expected [i32, f64] but got [] - 0000020: error: OnLoopExpr callback failed -out/test/spec/multi-value/loop.wast:757: assert_invalid passed: - error: type mismatch in loop, expected [i32] but got [f32] - 0000024: error: OnLoopExpr callback failed -out/test/spec/multi-value/loop.wast:763: assert_invalid passed: - error: type mismatch in loop, expected [f32, i32] but got [f32] - 0000025: error: OnLoopExpr callback failed -out/test/spec/multi-value/loop.wast:770: assert_malformed passed: - out/test/spec/multi-value/loop/loop.39.wat:1:44: error: unexpected token $x, expected ). - (func (param i32) (result i32) loop (param $x i32) end) - ^^ -out/test/spec/multi-value/loop.wast:774: assert_malformed passed: - out/test/spec/multi-value/loop/loop.40.wat:1:45: error: unexpected token $x, expected ). - (func (param i32) (result i32) (loop (param $x i32))) - ^^ -out/test/spec/multi-value/loop.wast:779: assert_malformed passed: - out/test/spec/multi-value/loop/loop.41.wat:1:16: error: unexpected label "$l" - (func loop end $l) - ^^ -out/test/spec/multi-value/loop.wast:783: assert_malformed passed: - out/test/spec/multi-value/loop/loop.42.wat:1:19: error: mismatching label "$a" != "$l" - (func loop $a end $l) - ^^ -119/119 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/multi-value/type.txt b/test/spec/multi-value/type.txt deleted file mode 100644 index 125f3004..00000000 --- a/test/spec/multi-value/type.txt +++ /dev/null @@ -1,13 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/multi-value/type.wast -(;; STDOUT ;;; -out/test/spec/multi-value/type.wast:44: assert_malformed passed: - out/test/spec/multi-value/type/type.1.wat:1:27: error: unexpected token "param", expected param or result. - (type (func (result i32) (param i32))) - ^^^^^ -out/test/spec/multi-value/type.wast:48: assert_malformed passed: - out/test/spec/multi-value/type/type.2.wat:1:21: error: unexpected token $x, expected ). - (type (func (result $x i32))) - ^^ -2/2 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/mutable-global/globals.txt b/test/spec/mutable-global/globals.txt deleted file mode 100644 index fb8c120d..00000000 --- a/test/spec/mutable-global/globals.txt +++ /dev/null @@ -1,41 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/mutable-global/globals.wast -(;; STDOUT ;;; -out/test/spec/mutable-global/globals.wast:50: assert_invalid passed: - error: can't global.set on immutable global at index 0. - error: type mismatch in global.set, expected [f32] but got [i32] - 0000026: error: OnGlobalSetExpr callback failed -out/test/spec/mutable-global/globals.wast:59: assert_invalid passed: - 0000013: error: expected END opcode after initializer expression -out/test/spec/mutable-global/globals.wast:64: assert_invalid passed: - 000000e: error: unexpected opcode in initializer expression: 0x20 -out/test/spec/mutable-global/globals.wast:69: assert_invalid passed: - 0000013: error: expected END opcode after initializer expression -out/test/spec/mutable-global/globals.wast:74: assert_invalid passed: - 0000010: error: expected END opcode after initializer expression -out/test/spec/mutable-global/globals.wast:79: assert_invalid passed: - 000000e: error: unexpected opcode in initializer expression: 0x1 -out/test/spec/mutable-global/globals.wast:84: assert_invalid passed: - error: type mismatch at global initializer expression. got f32, expected i32 - 0000013: error: EndGlobalInitExpr callback failed -out/test/spec/mutable-global/globals.wast:89: assert_invalid passed: - 0000010: error: expected END opcode after initializer expression -out/test/spec/mutable-global/globals.wast:94: assert_invalid passed: - error: invalid global initializer expression, must be a constant expression - 000000e: error: EndGlobalInitExpr callback failed -out/test/spec/mutable-global/globals.wast:99: assert_invalid passed: - 0000000: error: initializer expression can only reference an imported global - 0000010: error: EndGlobalInitExpr callback failed -out/test/spec/mutable-global/globals.wast:104: assert_invalid passed: - 0000000: error: global variable out of range: 1 (max 1) - 0000010: error: EndGlobalInitExpr callback failed -out/test/spec/mutable-global/globals.wast:112: assert_malformed passed: - 0000019: error: unable to read string: import field name -out/test/spec/mutable-global/globals.wast:125: assert_malformed passed: - 0000019: error: unable to read string: import field name -out/test/spec/mutable-global/globals.wast:142: assert_malformed passed: - 0000011: error: global mutability must be 0 or 1 -out/test/spec/mutable-global/globals.wast:154: assert_malformed passed: - 0000011: error: global mutability must be 0 or 1 -31/31 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/mutable-global/linking.txt b/test/spec/mutable-global/linking.txt deleted file mode 100644 index 8d00c957..00000000 --- a/test/spec/mutable-global/linking.txt +++ /dev/null @@ -1,48 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/mutable-global/linking.wast -(;; STDOUT ;;; -out/test/spec/mutable-global/linking.wast:28: assert_unlinkable passed: - error: import signature mismatch -out/test/spec/mutable-global/linking.wast:32: assert_unlinkable passed: - error: import signature mismatch -out/test/spec/mutable-global/linking.wast:87: assert_unlinkable passed: - error: mutability mismatch in imported global, expected mutable but got immutable. -out/test/spec/mutable-global/linking.wast:91: assert_unlinkable passed: - error: mutability mismatch in imported global, expected immutable but got mutable. -out/test/spec/mutable-global/linking.wast:136: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:137: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:139: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:141: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:142: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:144: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:146: assert_trap passed: undefined table index -out/test/spec/mutable-global/linking.wast:147: assert_trap passed: undefined table index -out/test/spec/mutable-global/linking.wast:148: assert_trap passed: undefined table index -out/test/spec/mutable-global/linking.wast:149: assert_trap passed: undefined table index -out/test/spec/mutable-global/linking.wast:152: assert_trap passed: indirect call signature mismatch -out/test/spec/mutable-global/linking.wast:184: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:185: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:187: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:188: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:190: assert_trap passed: undefined table index -out/test/spec/mutable-global/linking.wast:207: assert_unlinkable passed: - error: out of bounds table access: elem segment is out of bounds: [10, 11) >= max value 10 -out/test/spec/mutable-global/linking.wast:216: assert_unlinkable passed: - error: invalid import "Mt.mem" -out/test/spec/mutable-global/linking.wast:225: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:228: assert_unlinkable passed: - error: out of bounds table access: elem segment is out of bounds: [12, 13) >= max value 10 -out/test/spec/mutable-global/linking.wast:236: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:239: assert_unlinkable passed: - error: out of bounds memory access: data segment is out of bounds: [65536, 65537) >= max value 65536 -out/test/spec/mutable-global/linking.wast:248: assert_trap passed: uninitialized table element -out/test/spec/mutable-global/linking.wast:299: assert_unlinkable passed: - error: out of bounds memory access: data segment is out of bounds: [65536, 65537) >= max value 65536 -out/test/spec/mutable-global/linking.wast:324: assert_unlinkable passed: - error: invalid import "Mm.tab" -out/test/spec/mutable-global/linking.wast:335: assert_unlinkable passed: - error: out of bounds memory access: data segment is out of bounds: [327680, 327681) >= max value 327680 -out/test/spec/mutable-global/linking.wast:345: assert_unlinkable passed: - error: out of bounds table access: elem segment is out of bounds: [0, 1) >= max value 0 -91/91 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/nontrapping-float-to-int-conversions/conversions.txt b/test/spec/nontrapping-float-to-int-conversions/conversions.txt deleted file mode 100644 index 23d28ed4..00000000 --- a/test/spec/nontrapping-float-to-int-conversions/conversions.txt +++ /dev/null @@ -1,147 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/nontrapping-float-to-int-conversions/conversions.wast -(;; STDOUT ;;; -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:78: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:79: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:80: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:81: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:82: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:83: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:84: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:85: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:100: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:101: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:102: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:103: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:104: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:105: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:106: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:107: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:123: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:124: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:125: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:126: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:127: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:128: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:129: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:130: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:146: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:147: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:148: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:149: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:150: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:151: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:152: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:153: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:154: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:155: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:156: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:174: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:175: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:176: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:177: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:178: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:179: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:180: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:181: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:194: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:195: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:196: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:197: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:198: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:199: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:200: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:201: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:219: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:220: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:221: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:222: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:223: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:224: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:225: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:226: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:243: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:244: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:245: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:246: assert_trap passed: integer overflow -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:247: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:248: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:249: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:250: assert_trap passed: invalid conversion to integer -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:674: assert_invalid passed: - error: type mismatch in i32.wrap_i64, expected [i64] but got [f32] - 000001e: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:675: assert_invalid passed: - error: type mismatch in i32.trunc_f32_s, expected [f32] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:676: assert_invalid passed: - error: type mismatch in i32.trunc_f32_u, expected [f32] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:677: assert_invalid passed: - error: type mismatch in i32.trunc_f64_s, expected [f64] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:678: assert_invalid passed: - error: type mismatch in i32.trunc_f64_u, expected [f64] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:679: assert_invalid passed: - error: type mismatch in i32.reinterpret_f32, expected [f32] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:680: assert_invalid passed: - error: type mismatch in i64.extend_i32_s, expected [i32] but got [f32] - 000001e: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:681: assert_invalid passed: - error: type mismatch in i64.extend_i32_u, expected [i32] but got [f32] - 000001e: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:682: assert_invalid passed: - error: type mismatch in i64.trunc_f32_s, expected [f32] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:683: assert_invalid passed: - error: type mismatch in i64.trunc_f32_u, expected [f32] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:684: assert_invalid passed: - error: type mismatch in i64.trunc_f64_s, expected [f64] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:685: assert_invalid passed: - error: type mismatch in i64.trunc_f64_u, expected [f64] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:686: assert_invalid passed: - error: type mismatch in i64.reinterpret_f64, expected [f64] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:687: assert_invalid passed: - error: type mismatch in f32.convert_i32_s, expected [i32] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:688: assert_invalid passed: - error: type mismatch in f32.convert_i32_u, expected [i32] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:689: assert_invalid passed: - error: type mismatch in f32.convert_i64_s, expected [i64] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:690: assert_invalid passed: - error: type mismatch in f32.convert_i64_u, expected [i64] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:691: assert_invalid passed: - error: type mismatch in f32.demote_f64, expected [f64] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:692: assert_invalid passed: - error: type mismatch in f32.reinterpret_i32, expected [i32] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:693: assert_invalid passed: - error: type mismatch in f64.convert_i32_s, expected [i32] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:694: assert_invalid passed: - error: type mismatch in f64.convert_i32_u, expected [i32] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:695: assert_invalid passed: - error: type mismatch in f64.convert_i64_s, expected [i64] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:696: assert_invalid passed: - error: type mismatch in f64.convert_i64_u, expected [i64] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:697: assert_invalid passed: - error: type mismatch in f64.promote_f32, expected [f32] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/nontrapping-float-to-int-conversions/conversions.wast:698: assert_invalid passed: - error: type mismatch in f64.reinterpret_i64, expected [i64] but got [i32] - 000001b: error: OnConvertExpr callback failed -614/614 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/reference-types/binary-leb128.txt b/test/spec/reference-types/binary-leb128.txt new file mode 100644 index 00000000..c35213b4 --- /dev/null +++ b/test/spec/reference-types/binary-leb128.txt @@ -0,0 +1,118 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/reference-types/binary-leb128.wast +;;; ARGS*: --enable-reference-types +(;; STDOUT ;;; +out/test/spec/reference-types/binary-leb128.wast:218: assert_malformed passed: + 000000c: error: unable to read u32 leb128: memory initial page count +out/test/spec/reference-types/binary-leb128.wast:226: assert_malformed passed: + 000000e: error: unable to read u32 leb128: memory max page count +out/test/spec/reference-types/binary-leb128.wast:235: assert_malformed passed: + 0000010: error: unable to read u32 leb128: data segment flags +out/test/spec/reference-types/binary-leb128.wast:246: assert_malformed passed: + 0000011: error: unable to read u32 leb128: elem segment flags +out/test/spec/reference-types/binary-leb128.wast:257: assert_malformed passed: + 0000009: error: unable to read u32 leb128: section size +out/test/spec/reference-types/binary-leb128.wast:268: assert_malformed passed: + 000000a: error: unable to read u32 leb128: string length +out/test/spec/reference-types/binary-leb128.wast:279: assert_malformed passed: + 000000c: error: unable to read u32 leb128: function param count +out/test/spec/reference-types/binary-leb128.wast:291: assert_malformed passed: + 000000f: error: unable to read u32 leb128: function result count +out/test/spec/reference-types/binary-leb128.wast:303: assert_malformed passed: + 0000012: error: unable to read u32 leb128: string length +out/test/spec/reference-types/binary-leb128.wast:318: assert_malformed passed: + 000001b: error: unable to read u32 leb128: string length +out/test/spec/reference-types/binary-leb128.wast:333: assert_malformed passed: + 0000026: error: unable to read u32 leb128: import signature index +out/test/spec/reference-types/binary-leb128.wast:348: assert_malformed passed: + 0000011: error: unable to read u32 leb128: function signature index +out/test/spec/reference-types/binary-leb128.wast:360: assert_malformed passed: + 0000015: error: unable to read u32 leb128: string length +out/test/spec/reference-types/binary-leb128.wast:376: assert_malformed passed: + 0000019: error: unable to read u32 leb128: export item index +out/test/spec/reference-types/binary-leb128.wast:392: assert_malformed passed: + 0000014: error: unable to read u32 leb128: function body count +out/test/spec/reference-types/binary-leb128.wast:405: assert_malformed passed: + 0000022: error: unable to read u32 leb128: load offset +out/test/spec/reference-types/binary-leb128.wast:424: assert_malformed passed: + 0000021: error: unable to read u32 leb128: load alignment +out/test/spec/reference-types/binary-leb128.wast:443: assert_malformed passed: + 0000023: error: unable to read u32 leb128: store alignment +out/test/spec/reference-types/binary-leb128.wast:462: assert_malformed passed: + 0000024: error: unable to read u32 leb128: store offset +out/test/spec/reference-types/binary-leb128.wast:483: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/reference-types/binary-leb128.wast:493: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/reference-types/binary-leb128.wast:504: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/reference-types/binary-leb128.wast:514: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/reference-types/binary-leb128.wast:526: assert_malformed passed: + 000000c: error: unable to read u32 leb128: memory initial page count +out/test/spec/reference-types/binary-leb128.wast:534: assert_malformed passed: + 000000c: error: unable to read u32 leb128: memory initial page count +out/test/spec/reference-types/binary-leb128.wast:542: assert_malformed passed: + 000000e: error: unable to read u32 leb128: memory max page count +out/test/spec/reference-types/binary-leb128.wast:551: assert_malformed passed: + 000000e: error: unable to read u32 leb128: memory max page count +out/test/spec/reference-types/binary-leb128.wast:560: assert_malformed passed: + 0000010: error: unable to read u32 leb128: data segment flags +out/test/spec/reference-types/binary-leb128.wast:571: assert_malformed passed: + 0000011: error: unable to read u32 leb128: elem segment flags +out/test/spec/reference-types/binary-leb128.wast:582: assert_malformed passed: + 0000009: error: unable to read u32 leb128: section size +out/test/spec/reference-types/binary-leb128.wast:593: assert_malformed passed: + 000000a: error: unable to read u32 leb128: string length +out/test/spec/reference-types/binary-leb128.wast:604: assert_malformed passed: + 000000c: error: unable to read u32 leb128: function param count +out/test/spec/reference-types/binary-leb128.wast:616: assert_malformed passed: + 000000f: error: unable to read u32 leb128: function result count +out/test/spec/reference-types/binary-leb128.wast:628: assert_malformed passed: + 0000012: error: unable to read u32 leb128: string length +out/test/spec/reference-types/binary-leb128.wast:643: assert_malformed passed: + 000001b: error: unable to read u32 leb128: string length +out/test/spec/reference-types/binary-leb128.wast:658: assert_malformed passed: + 0000026: error: unable to read u32 leb128: import signature index +out/test/spec/reference-types/binary-leb128.wast:673: assert_malformed passed: + 0000011: error: unable to read u32 leb128: function signature index +out/test/spec/reference-types/binary-leb128.wast:686: assert_malformed passed: + 0000015: error: unable to read u32 leb128: string length +out/test/spec/reference-types/binary-leb128.wast:702: assert_malformed passed: + 0000019: error: unable to read u32 leb128: export item index +out/test/spec/reference-types/binary-leb128.wast:718: assert_malformed passed: + 0000014: error: unable to read u32 leb128: function body count +out/test/spec/reference-types/binary-leb128.wast:731: assert_malformed passed: + 0000022: error: unable to read u32 leb128: load offset +out/test/spec/reference-types/binary-leb128.wast:750: assert_malformed passed: + 0000022: error: unable to read u32 leb128: load offset +out/test/spec/reference-types/binary-leb128.wast:769: assert_malformed passed: + 0000021: error: unable to read u32 leb128: load alignment +out/test/spec/reference-types/binary-leb128.wast:787: assert_malformed passed: + 0000021: error: unable to read u32 leb128: load alignment +out/test/spec/reference-types/binary-leb128.wast:806: assert_malformed passed: + 0000023: error: unable to read u32 leb128: store alignment +out/test/spec/reference-types/binary-leb128.wast:825: assert_malformed passed: + 0000023: error: unable to read u32 leb128: store alignment +out/test/spec/reference-types/binary-leb128.wast:844: assert_malformed passed: + 0000024: error: unable to read u32 leb128: store offset +out/test/spec/reference-types/binary-leb128.wast:863: assert_malformed passed: + 0000024: error: unable to read u32 leb128: store offset +out/test/spec/reference-types/binary-leb128.wast:885: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/reference-types/binary-leb128.wast:895: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/reference-types/binary-leb128.wast:905: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/reference-types/binary-leb128.wast:915: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/reference-types/binary-leb128.wast:926: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/reference-types/binary-leb128.wast:936: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/reference-types/binary-leb128.wast:946: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/reference-types/binary-leb128.wast:956: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +56/56 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/sign-extension-ops/i32.txt b/test/spec/sign-extension-ops/i32.txt deleted file mode 100644 index aa643ec4..00000000 --- a/test/spec/sign-extension-ops/i32.txt +++ /dev/null @@ -1,264 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/sign-extension-ops/i32.wast -(;; STDOUT ;;; -out/test/spec/sign-extension-ops/i32.wast:64: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i32.wast:65: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i32.wast:66: assert_trap passed: integer overflow -out/test/spec/sign-extension-ops/i32.wast:67: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i32.wast:85: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i32.wast:86: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i32.wast:102: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i32.wast:103: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i32.wast:123: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i32.wast:124: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i32.wast:444: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 0000018: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:452: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001c: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:461: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001c: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:470: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001e: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:479: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 0000021: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:488: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001c: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:497: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001c: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:506: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001c: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:515: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 0000018: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:523: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 0000018: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:531: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001e: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:540: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 0000035: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:556: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001a: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:565: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001a: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:574: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 0000020: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:583: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001d: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:592: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001d: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:601: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [] - 000001d: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:611: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 0000018: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:619: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001a: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:627: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:636: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:645: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:654: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:663: assert_invalid passed: - error: type mismatch in drop, expected [any] but got [] - 0000021: error: OnDropExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:672: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:681: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 0000023: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:691: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 0000021: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:701: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:710: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:719: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:728: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:737: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:746: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001e: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:755: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 0000018: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:763: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001a: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:771: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 0000018: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:779: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001a: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:787: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001f: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:796: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 0000021: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:805: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 0000035: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:821: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 0000037: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:837: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001a: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:846: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001c: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:855: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001a: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:864: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001c: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:873: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:882: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 0000022: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:891: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001d: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:900: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001f: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:909: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001d: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:918: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001f: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:927: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [] - 000001d: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:936: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i32] - 000001f: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:948: assert_invalid passed: - error: type mismatch in i32.add, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:949: assert_invalid passed: - error: type mismatch in i32.and, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:950: assert_invalid passed: - error: type mismatch in i32.div_s, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:951: assert_invalid passed: - error: type mismatch in i32.div_u, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:952: assert_invalid passed: - error: type mismatch in i32.mul, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:953: assert_invalid passed: - error: type mismatch in i32.or, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:954: assert_invalid passed: - error: type mismatch in i32.rem_s, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:955: assert_invalid passed: - error: type mismatch in i32.rem_u, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:956: assert_invalid passed: - error: type mismatch in i32.rotl, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:957: assert_invalid passed: - error: type mismatch in i32.rotr, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:958: assert_invalid passed: - error: type mismatch in i32.shl, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:959: assert_invalid passed: - error: type mismatch in i32.shr_s, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:960: assert_invalid passed: - error: type mismatch in i32.shr_u, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:961: assert_invalid passed: - error: type mismatch in i32.sub, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:962: assert_invalid passed: - error: type mismatch in i32.xor, expected [i32, i32] but got [i64, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:963: assert_invalid passed: - error: type mismatch in i32.eqz, expected [i32] but got [i64] - 000001b: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:964: assert_invalid passed: - error: type mismatch in i32.clz, expected [i32] but got [i64] - 000001b: error: OnUnaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:965: assert_invalid passed: - error: type mismatch in i32.ctz, expected [i32] but got [i64] - 000001b: error: OnUnaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:966: assert_invalid passed: - error: type mismatch in i32.popcnt, expected [i32] but got [i64] - 000001b: error: OnUnaryExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:967: assert_invalid passed: - error: type mismatch in i32.eq, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:968: assert_invalid passed: - error: type mismatch in i32.ge_s, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:969: assert_invalid passed: - error: type mismatch in i32.ge_u, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:970: assert_invalid passed: - error: type mismatch in i32.gt_s, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:971: assert_invalid passed: - error: type mismatch in i32.gt_u, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:972: assert_invalid passed: - error: type mismatch in i32.le_s, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:973: assert_invalid passed: - error: type mismatch in i32.le_u, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:974: assert_invalid passed: - error: type mismatch in i32.lt_s, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:975: assert_invalid passed: - error: type mismatch in i32.lt_u, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i32.wast:976: assert_invalid passed: - error: type mismatch in i32.ne, expected [i32, i32] but got [i64, f32] - 0000020: error: OnCompareExpr callback failed -457/457 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/sign-extension-ops/i64.txt b/test/spec/sign-extension-ops/i64.txt deleted file mode 100644 index 43cbffd5..00000000 --- a/test/spec/sign-extension-ops/i64.txt +++ /dev/null @@ -1,102 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/sign-extension-ops/i64.wast -(;; STDOUT ;;; -out/test/spec/sign-extension-ops/i64.wast:65: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i64.wast:66: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i64.wast:67: assert_trap passed: integer overflow -out/test/spec/sign-extension-ops/i64.wast:68: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i64.wast:86: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i64.wast:87: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i64.wast:103: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i64.wast:104: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i64.wast:124: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i64.wast:125: assert_trap passed: integer divide by zero -out/test/spec/sign-extension-ops/i64.wast:457: assert_invalid passed: - error: type mismatch in i64.add, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:458: assert_invalid passed: - error: type mismatch in i64.and, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:459: assert_invalid passed: - error: type mismatch in i64.div_s, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:460: assert_invalid passed: - error: type mismatch in i64.div_u, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:461: assert_invalid passed: - error: type mismatch in i64.mul, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:462: assert_invalid passed: - error: type mismatch in i64.or, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:463: assert_invalid passed: - error: type mismatch in i64.rem_s, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:464: assert_invalid passed: - error: type mismatch in i64.rem_u, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:465: assert_invalid passed: - error: type mismatch in i64.rotl, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:466: assert_invalid passed: - error: type mismatch in i64.rotr, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:467: assert_invalid passed: - error: type mismatch in i64.shl, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:468: assert_invalid passed: - error: type mismatch in i64.shr_s, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:469: assert_invalid passed: - error: type mismatch in i64.shr_u, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:470: assert_invalid passed: - error: type mismatch in i64.sub, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:471: assert_invalid passed: - error: type mismatch in i64.xor, expected [i64, i64] but got [i32, f32] - 0000020: error: OnBinaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:472: assert_invalid passed: - error: type mismatch in i64.eqz, expected [i64] but got [i32] - 000001b: error: OnConvertExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:473: assert_invalid passed: - error: type mismatch in i64.clz, expected [i64] but got [i32] - 000001b: error: OnUnaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:474: assert_invalid passed: - error: type mismatch in i64.ctz, expected [i64] but got [i32] - 000001b: error: OnUnaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:475: assert_invalid passed: - error: type mismatch in i64.popcnt, expected [i64] but got [i32] - 000001b: error: OnUnaryExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:476: assert_invalid passed: - error: type mismatch in i64.eq, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:477: assert_invalid passed: - error: type mismatch in i64.ge_s, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:478: assert_invalid passed: - error: type mismatch in i64.ge_u, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:479: assert_invalid passed: - error: type mismatch in i64.gt_s, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:480: assert_invalid passed: - error: type mismatch in i64.gt_u, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:481: assert_invalid passed: - error: type mismatch in i64.le_s, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:482: assert_invalid passed: - error: type mismatch in i64.le_u, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:483: assert_invalid passed: - error: type mismatch in i64.lt_s, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:484: assert_invalid passed: - error: type mismatch in i64.lt_u, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -out/test/spec/sign-extension-ops/i64.wast:485: assert_invalid passed: - error: type mismatch in i64.ne, expected [i64, i64] but got [i32, f32] - 0000020: error: OnCompareExpr callback failed -413/413 tests passed. -;;; STDOUT ;;) diff --git a/test/update-spec-tests.py b/test/update-spec-tests.py index 07871ae2..a78f8bd1 100755 --- a/test/update-spec-tests.py +++ b/test/update-spec-tests.py @@ -63,7 +63,7 @@ def ProcessDir(wabt_test_dir, testsuite_dir, tool, flags=None): with open(test_filename, 'w') as f: f.write(';;; TOOL: %s\n' % tool) - f.write(';;; STDIN_FILE: %s\n' % wast_filename) + f.write(';;; STDIN_FILE: %s\n' % wast_filename.replace(os.sep, '/')) if flags: f.write(';;; ARGS*: %s\n' % flags) diff --git a/third_party/testsuite b/third_party/testsuite -Subproject b7eba900aa5e5e237c7cdbfecacc52d4beb6e52 +Subproject 645d8fcf9cab495cfc8f3772a2318480d646b43 |