diff options
44 files changed, 999 insertions, 327 deletions
diff --git a/test/spec-wasm2c-prefix.c b/test/spec-wasm2c-prefix.c index 897872b4..f28339e1 100644 --- a/test/spec-wasm2c-prefix.c +++ b/test/spec-wasm2c-prefix.c @@ -202,6 +202,7 @@ static void spectest_print_f64_f64(double d1, double d2) { static wasm_rt_table_t spectest_table; static wasm_rt_memory_t spectest_memory; static uint32_t spectest_global_i32 = 666; +static uint64_t spectest_global_i64 = 666l; void (*Z_spectestZ_printZ_vv)(void) = &spectest_print; void (*Z_spectestZ_print_i32Z_vi)(uint32_t) = &spectest_print_i32; @@ -214,6 +215,7 @@ void (*Z_spectestZ_print_f64_f64Z_vdd)(double, wasm_rt_table_t* Z_spectestZ_table = &spectest_table; wasm_rt_memory_t* Z_spectestZ_memory = &spectest_memory; uint32_t* Z_spectestZ_global_i32Z_i = &spectest_global_i32; +uint64_t* Z_spectestZ_global_i64Z_j = &spectest_global_i64; static void init_spectest_module(void) { wasm_rt_allocate_memory(&spectest_memory, 1, 2); diff --git a/test/spec/binary.txt b/test/spec/binary.txt index aae62080..be2221d0 100644 --- a/test/spec/binary.txt +++ b/test/spec/binary.txt @@ -100,79 +100,83 @@ out/test/spec/binary.wast:318: assert_malformed passed: out/test/spec/binary.wast:336: assert_malformed passed: 000001e: error: memory.size reserved value must be 0 out/test/spec/binary.wast:355: assert_malformed passed: + 0000017: error: unable to read u32 leb128: local type count +out/test/spec/binary.wast:372: assert_malformed passed: 000001c: error: local count must be < 0x10000000 -out/test/spec/binary.wast:387: assert_malformed passed: +out/test/spec/binary.wast:388: assert_malformed passed: + 0000030: error: local count must be < 0x10000000 +out/test/spec/binary.wast:422: assert_malformed passed: 0000013: error: function signature count != function body count -out/test/spec/binary.wast:397: assert_malformed passed: +out/test/spec/binary.wast:432: assert_malformed passed: 000000b: error: function signature count != function body count -out/test/spec/binary.wast:406: assert_malformed passed: +out/test/spec/binary.wast:441: assert_malformed passed: 0000016: error: function signature count != function body count -out/test/spec/binary.wast:417: assert_malformed passed: +out/test/spec/binary.wast:452: assert_malformed passed: 0000015: error: function signature count != function body count -out/test/spec/binary.wast:446: assert_malformed passed: +out/test/spec/binary.wast:481: assert_malformed passed: 000000a: error: invalid section size: extends past end -out/test/spec/binary.wast:457: assert_malformed passed: +out/test/spec/binary.wast:492: assert_malformed passed: 000000e: error: unfinished section (expected end: 0x11) -out/test/spec/binary.wast:476: assert_malformed passed: +out/test/spec/binary.wast:511: assert_malformed passed: 000000e: error: invalid import event kind: exceptions not allowed -out/test/spec/binary.wast:486: assert_malformed passed: +out/test/spec/binary.wast:521: assert_malformed passed: 000000e: error: invalid import event kind: exceptions not allowed -out/test/spec/binary.wast:497: assert_malformed passed: +out/test/spec/binary.wast:532: assert_malformed passed: 000000e: error: malformed import kind: 5 -out/test/spec/binary.wast:507: assert_malformed passed: +out/test/spec/binary.wast:542: assert_malformed passed: 000000e: error: malformed import kind: 5 -out/test/spec/binary.wast:518: assert_malformed passed: +out/test/spec/binary.wast:553: assert_malformed passed: 000000e: error: malformed import kind: 128 -out/test/spec/binary.wast:528: assert_malformed passed: +out/test/spec/binary.wast:563: assert_malformed passed: 000000e: error: malformed import kind: 128 -out/test/spec/binary.wast:541: assert_malformed passed: +out/test/spec/binary.wast:576: assert_malformed passed: 0000027: error: unable to read u32 leb128: string length -out/test/spec/binary.wast:560: assert_malformed passed: +out/test/spec/binary.wast:595: assert_malformed passed: 000002b: error: unfinished section (expected end: 0x40) -out/test/spec/binary.wast:591: assert_malformed passed: +out/test/spec/binary.wast:626: assert_malformed passed: 000000b: error: invalid table count 1, only 0 bytes left in section -out/test/spec/binary.wast:601: assert_malformed passed: +out/test/spec/binary.wast:636: assert_malformed passed: 000000c: error: malformed memory limits flag: 112 -out/test/spec/binary.wast:610: assert_malformed passed: +out/test/spec/binary.wast:645: assert_malformed passed: 000000c: error: malformed memory limits flag: 112 -out/test/spec/binary.wast:620: assert_malformed passed: +out/test/spec/binary.wast:655: assert_malformed passed: 000000c: error: malformed memory limits flag: 112 -out/test/spec/binary.wast:638: assert_malformed passed: +out/test/spec/binary.wast:673: assert_malformed passed: 000000b: error: invalid memory count 1, only 0 bytes left in section -out/test/spec/binary.wast:648: assert_malformed passed: +out/test/spec/binary.wast:683: assert_malformed passed: 000000c: error: memory may not be shared: threads not allowed -out/test/spec/binary.wast:656: assert_malformed passed: +out/test/spec/binary.wast:691: assert_malformed passed: 000000c: error: memory may not be shared: threads not allowed -out/test/spec/binary.wast:665: assert_malformed passed: +out/test/spec/binary.wast:700: assert_malformed passed: 000000c: error: malformed memory limits flag: 129 -out/test/spec/binary.wast:674: assert_malformed passed: +out/test/spec/binary.wast:709: assert_malformed passed: 000000c: error: malformed memory limits flag: 129 -out/test/spec/binary.wast:691: assert_malformed passed: +out/test/spec/binary.wast:726: assert_malformed passed: 0000010: error: unable to read i32 leb128: global type -out/test/spec/binary.wast:702: assert_malformed passed: +out/test/spec/binary.wast:737: assert_malformed passed: 0000010: error: unfinished section (expected end: 0x15) -out/test/spec/binary.wast:725: assert_malformed passed: +out/test/spec/binary.wast:760: assert_malformed passed: 000001b: error: unable to read u32 leb128: string length -out/test/spec/binary.wast:746: assert_malformed passed: +out/test/spec/binary.wast:781: assert_malformed passed: 000001b: error: unfinished section (expected end: 0x20) -out/test/spec/binary.wast:780: assert_malformed passed: +out/test/spec/binary.wast:815: assert_malformed passed: 0000021: error: unable to read u32 leb128: elem segment flags -out/test/spec/binary.wast:796: assert_malformed passed: +out/test/spec/binary.wast:831: assert_malformed passed: 0000021: error: unable to read u32 leb128: elem segment flags -out/test/spec/binary.wast:813: assert_malformed passed: +out/test/spec/binary.wast:848: assert_malformed passed: 0000021: error: unfinished section (expected end: 0x27) -out/test/spec/binary.wast:839: assert_malformed passed: +out/test/spec/binary.wast:874: assert_malformed passed: 0000016: error: unable to read u32 leb128: data segment flags -out/test/spec/binary.wast:852: assert_malformed passed: +out/test/spec/binary.wast:887: assert_malformed passed: 0000016: error: unfinished section (expected end: 0x1c) -out/test/spec/binary.wast:865: assert_malformed passed: +out/test/spec/binary.wast:900: assert_malformed passed: 0000015: error: unable to read data: data segment data -out/test/spec/binary.wast:879: assert_malformed passed: +out/test/spec/binary.wast:914: assert_malformed passed: 000001a: error: unfinished section (expected end: 0x1b) -out/test/spec/binary.wast:910: assert_malformed passed: +out/test/spec/binary.wast:945: assert_malformed passed: error: function type variable out of range: 11 (max 1) 0000025: error: OnBlockExpr callback failed -out/test/spec/binary.wast:945: assert_malformed passed: +out/test/spec/binary.wast:980: assert_malformed passed: 0000017: error: multiple Start sections -86/86 tests passed. +88/88 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/br_table.txt b/test/spec/br_table.txt index 31c0b5a5..23485f65 100644 --- a/test/spec/br_table.txt +++ b/test/spec/br_table.txt @@ -16,53 +16,62 @@ out/test/spec/br_table.wast:1449: assert_invalid passed: out/test/spec/br_table.wast:1457: assert_invalid passed: error: br_table labels have inconsistent types: expected [f32], got [] 0000026: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1469: assert_invalid passed: +out/test/spec/br_table.wast:1468: assert_invalid passed: + error: type mismatch in br_table, expected [i64] but got [i32] + 0000023: error: OnBrTableExpr callback failed +out/test/spec/br_table.wast:1479: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 000001f: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1475: assert_invalid passed: +out/test/spec/br_table.wast:1485: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [i64] 000001e: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1481: assert_invalid passed: +out/test/spec/br_table.wast:1491: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 0000021: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1487: assert_invalid passed: +out/test/spec/br_table.wast:1497: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 0000023: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1493: assert_invalid passed: +out/test/spec/br_table.wast:1503: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [... i64] 0000022: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1502: assert_invalid passed: +out/test/spec/br_table.wast:1512: assert_invalid passed: error: type mismatch in block, expected [] but got [i32] 0000022: error: OnEndExpr callback failed -out/test/spec/br_table.wast:1509: assert_invalid passed: +out/test/spec/br_table.wast:1519: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 0000022: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1521: assert_invalid passed: +out/test/spec/br_table.wast:1531: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 0000024: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1533: assert_invalid passed: +out/test/spec/br_table.wast:1543: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 000001c: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1544: assert_invalid passed: +out/test/spec/br_table.wast:1554: assert_invalid passed: error: type mismatch in br_table, expected [i32] but got [] 000001e: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1557: assert_invalid passed: +out/test/spec/br_table.wast:1566: assert_invalid passed: + error: br_table labels have inconsistent types: expected [i32], got [] + 0000025: error: OnBrTableExpr callback failed +out/test/spec/br_table.wast:1578: assert_invalid passed: + error: br_table labels have inconsistent types: expected [], got [i32] + 0000025: error: OnBrTableExpr callback failed +out/test/spec/br_table.wast:1592: assert_invalid passed: error: invalid depth: 2 (max 1) 000001f: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1563: assert_invalid passed: +out/test/spec/br_table.wast:1598: assert_invalid passed: error: invalid depth: 5 (max 2) 0000021: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1569: assert_invalid passed: +out/test/spec/br_table.wast:1604: assert_invalid passed: error: invalid depth: 268435457 (max 1) 0000024: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1576: assert_invalid passed: +out/test/spec/br_table.wast:1611: assert_invalid passed: error: invalid depth: 2 (max 1) 000001f: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1582: assert_invalid passed: +out/test/spec/br_table.wast:1617: assert_invalid passed: error: invalid depth: 5 (max 2) 0000021: error: OnBrTableExpr callback failed -out/test/spec/br_table.wast:1588: assert_invalid passed: +out/test/spec/br_table.wast:1623: assert_invalid passed: error: invalid depth: 268435457 (max 1) 0000024: error: OnBrTableExpr callback failed -167/167 tests passed. +170/170 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/data.txt b/test/spec/data.txt index 38f0a34e..ced8756e 100644 --- a/test/spec/data.txt +++ b/test/spec/data.txt @@ -43,12 +43,32 @@ out/test/spec/data.wast:337: assert_invalid passed: out/test/spec/data.wast:355: assert_invalid passed: 0000013: error: expected i32 init_expr out/test/spec/data.wast:363: assert_invalid passed: - 0000014: error: expected END opcode after initializer expression + error: invalid data segment offset, must be a constant expression; either i32.const or global.get. + 0000012: error: EndDataSegmentInitExpr callback failed out/test/spec/data.wast:371: assert_invalid passed: - 0000012: error: unexpected opcode in initializer expression: 0x1 + 0000014: error: expected END opcode after initializer expression out/test/spec/data.wast:379: assert_invalid passed: + 000002a: error: expected END opcode after initializer expression +out/test/spec/data.wast:388: assert_invalid passed: + 000002a: error: expected END opcode after initializer expression +out/test/spec/data.wast:397: assert_invalid passed: + 0000014: error: expected END opcode after initializer expression +out/test/spec/data.wast:405: assert_invalid passed: + 0000012: error: unexpected opcode in initializer expression: 0x1 +out/test/spec/data.wast:413: assert_invalid passed: 0000012: error: unexpected opcode in initializer expression: 0x1 -out/test/spec/data.wast:387: assert_invalid passed: +out/test/spec/data.wast:421: assert_invalid passed: 0000014: error: expected END opcode after initializer expression -24/24 tests passed. +out/test/spec/data.wast:435: assert_invalid passed: + 0000000: error: global variable out of range: 0 (max 0) + error: initializer expression cannot reference a mutable global + 0000014: error: EndDataSegmentInitExpr callback failed +out/test/spec/data.wast:443: assert_invalid passed: + 0000000: error: global variable out of range: 1 (max 1) + error: initializer expression cannot reference a mutable global + 000002a: error: EndDataSegmentInitExpr callback failed +out/test/spec/data.wast:452: assert_invalid passed: + error: initializer expression cannot reference a mutable global + 000002e: error: EndDataSegmentInitExpr callback failed +31/31 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/elem.txt b/test/spec/elem.txt index 273a1899..b4ccd528 100644 --- a/test/spec/elem.txt +++ b/test/spec/elem.txt @@ -31,13 +31,33 @@ out/test/spec/elem.wast:248: assert_invalid passed: out/test/spec/elem.wast:258: assert_invalid passed: 0000014: error: expected i32 init_expr out/test/spec/elem.wast:266: assert_invalid passed: - 0000015: error: expected END opcode after initializer expression + error: invalid elem segment offset, must be a constant expression; either i32.const or global.get. + 0000013: error: EndElemSegmentInitExpr callback failed out/test/spec/elem.wast:274: assert_invalid passed: - 0000013: error: unexpected opcode in initializer expression: 0x1 + 0000015: error: expected END opcode after initializer expression out/test/spec/elem.wast:282: assert_invalid passed: + 000002b: error: expected END opcode after initializer expression +out/test/spec/elem.wast:291: assert_invalid passed: + 000002b: error: expected END opcode after initializer expression +out/test/spec/elem.wast:301: assert_invalid passed: + 0000015: error: expected END opcode after initializer expression +out/test/spec/elem.wast:309: assert_invalid passed: + 0000013: error: unexpected opcode in initializer expression: 0x1 +out/test/spec/elem.wast:317: assert_invalid passed: 0000013: error: unexpected opcode in initializer expression: 0x1 -out/test/spec/elem.wast:290: assert_invalid passed: +out/test/spec/elem.wast:325: assert_invalid passed: 0000015: error: expected END opcode after initializer expression -out/test/spec/elem.wast:353: assert_trap passed: uninitialized table element -31/31 tests passed. +out/test/spec/elem.wast:339: assert_invalid passed: + 0000000: error: global variable out of range: 0 (max 0) + error: initializer expression cannot reference a mutable global + 0000015: error: EndElemSegmentInitExpr callback failed +out/test/spec/elem.wast:347: assert_invalid passed: + 0000000: error: global variable out of range: 1 (max 1) + error: initializer expression cannot reference a mutable global + 000002b: error: EndElemSegmentInitExpr callback failed +out/test/spec/elem.wast:356: assert_invalid passed: + error: initializer expression cannot reference a mutable global + 000002f: error: EndElemSegmentInitExpr callback failed +out/test/spec/elem.wast:414: assert_trap passed: uninitialized table element +38/38 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/exports.txt b/test/spec/exports.txt index df3ded29..7e3c530f 100644 --- a/test/spec/exports.txt +++ b/test/spec/exports.txt @@ -2,70 +2,94 @@ ;;; STDIN_FILE: third_party/testsuite/exports.wast (;; STDOUT ;;; out/test/spec/exports.wast:29: assert_invalid passed: + 0000000: error: function variable out of range: 0 (max 0) + 000000f: error: OnExport callback failed +out/test/spec/exports.wast:33: assert_invalid passed: 0000000: error: function variable out of range: 1 (max 1) 0000019: error: OnExport callback failed -out/test/spec/exports.wast:33: assert_invalid passed: +out/test/spec/exports.wast:37: assert_invalid passed: + 0000000: error: function variable out of range: 1 (max 1) + 000002e: error: OnExport callback failed +out/test/spec/exports.wast:41: assert_invalid passed: error: duplicate export "a" 000001d: error: OnExport callback failed -out/test/spec/exports.wast:37: assert_invalid passed: +out/test/spec/exports.wast:45: assert_invalid passed: error: duplicate export "a" 000001e: error: OnExport callback failed -out/test/spec/exports.wast:41: assert_invalid passed: +out/test/spec/exports.wast:49: assert_invalid passed: error: duplicate export "a" 0000025: error: OnExport callback failed -out/test/spec/exports.wast:45: assert_invalid passed: +out/test/spec/exports.wast:53: assert_invalid passed: error: duplicate export "a" 0000023: error: OnExport callback failed -out/test/spec/exports.wast:49: assert_invalid passed: +out/test/spec/exports.wast:57: assert_invalid passed: error: duplicate export "a" 0000022: error: OnExport callback failed -out/test/spec/exports.wast:78: assert_invalid passed: +out/test/spec/exports.wast:86: assert_invalid passed: + 0000000: error: global variable out of range: 0 (max 0) + 000000f: error: OnExport callback failed +out/test/spec/exports.wast:90: assert_invalid passed: 0000000: error: global variable out of range: 1 (max 1) 0000017: error: OnExport callback failed -out/test/spec/exports.wast:82: assert_invalid passed: +out/test/spec/exports.wast:94: assert_invalid passed: + 0000000: error: global variable out of range: 1 (max 1) + 0000029: error: OnExport callback failed +out/test/spec/exports.wast:98: assert_invalid passed: error: duplicate export "a" 000001b: error: OnExport callback failed -out/test/spec/exports.wast:86: assert_invalid passed: +out/test/spec/exports.wast:102: assert_invalid passed: error: duplicate export "a" 0000020: error: OnExport callback failed -out/test/spec/exports.wast:90: assert_invalid passed: +out/test/spec/exports.wast:106: assert_invalid passed: error: duplicate export "a" 0000025: error: OnExport callback failed -out/test/spec/exports.wast:94: assert_invalid passed: +out/test/spec/exports.wast:110: assert_invalid passed: error: duplicate export "a" 0000021: error: OnExport callback failed -out/test/spec/exports.wast:98: assert_invalid passed: +out/test/spec/exports.wast:114: assert_invalid passed: error: duplicate export "a" 0000020: error: OnExport callback failed -out/test/spec/exports.wast:126: assert_invalid passed: +out/test/spec/exports.wast:142: assert_invalid passed: + 0000000: error: table variable out of range: 0 (max 0) + 000000f: error: OnExport callback failed +out/test/spec/exports.wast:146: assert_invalid passed: 0000000: error: table variable out of range: 1 (max 1) 0000015: error: OnExport callback failed -out/test/spec/exports.wast:130: assert_invalid passed: +out/test/spec/exports.wast:150: assert_invalid passed: + 0000000: error: table variable out of range: 1 (max 1) + 0000026: error: OnExport callback failed +out/test/spec/exports.wast:154: assert_invalid passed: error: duplicate export "a" 0000019: error: OnExport callback failed -out/test/spec/exports.wast:139: assert_invalid passed: +out/test/spec/exports.wast:163: assert_invalid passed: error: duplicate export "a" 0000023: error: OnExport callback failed -out/test/spec/exports.wast:143: assert_invalid passed: +out/test/spec/exports.wast:167: assert_invalid passed: error: duplicate export "a" 0000021: error: OnExport callback failed -out/test/spec/exports.wast:147: assert_invalid passed: +out/test/spec/exports.wast:171: assert_invalid passed: error: duplicate export "a" 000001e: error: OnExport callback failed -out/test/spec/exports.wast:175: assert_invalid passed: +out/test/spec/exports.wast:199: assert_invalid passed: + 0000000: error: memory variable out of range: 0 (max 0) + 000000f: error: OnExport callback failed +out/test/spec/exports.wast:203: assert_invalid passed: 0000000: error: memory variable out of range: 1 (max 1) 0000014: error: OnExport callback failed -out/test/spec/exports.wast:179: assert_invalid passed: +out/test/spec/exports.wast:207: assert_invalid passed: + 0000000: error: memory variable out of range: 1 (max 1) + 0000026: error: OnExport callback failed +out/test/spec/exports.wast:211: assert_invalid passed: error: duplicate export "a" 0000018: error: OnExport callback failed -out/test/spec/exports.wast:188: assert_invalid passed: +out/test/spec/exports.wast:220: assert_invalid passed: error: duplicate export "a" 0000022: error: OnExport callback failed -out/test/spec/exports.wast:192: assert_invalid passed: +out/test/spec/exports.wast:224: assert_invalid passed: error: duplicate export "a" 0000020: error: OnExport callback failed -out/test/spec/exports.wast:196: assert_invalid passed: +out/test/spec/exports.wast:228: assert_invalid passed: error: duplicate export "a" 000001e: error: OnExport callback failed -28/28 tests passed. +36/36 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/global.txt b/test/spec/global.txt index 73f911ec..0ad3862b 100644 --- a/test/spec/global.txt +++ b/test/spec/global.txt @@ -1,89 +1,128 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/global.wast (;; STDOUT ;;; -out/test/spec/global.wast:221: assert_trap passed: undefined table index -out/test/spec/global.wast:243: assert_invalid passed: +out/test/spec/global.wast:231: assert_trap passed: undefined table index +out/test/spec/global.wast:253: assert_invalid passed: error: can't global.set on immutable global at index 0. 0000029: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:252: assert_invalid passed: +out/test/spec/global.wast:258: assert_invalid passed: + error: can't global.set on immutable global at index 0. + 0000035: error: OnGlobalSetExpr callback failed +out/test/spec/global.wast:267: assert_invalid passed: 0000013: error: expected END opcode after initializer expression -out/test/spec/global.wast:257: assert_invalid passed: +out/test/spec/global.wast:272: assert_invalid passed: 000000e: error: unexpected opcode in initializer expression: 0x20 -out/test/spec/global.wast:262: assert_invalid passed: +out/test/spec/global.wast:277: assert_invalid passed: 0000013: error: expected END opcode after initializer expression -out/test/spec/global.wast:267: assert_invalid passed: +out/test/spec/global.wast:282: assert_invalid passed: 0000010: error: expected END opcode after initializer expression -out/test/spec/global.wast:272: assert_invalid passed: +out/test/spec/global.wast:287: assert_invalid passed: + 0000010: error: expected END opcode after initializer expression +out/test/spec/global.wast:292: assert_invalid passed: 000000e: error: unexpected opcode in initializer expression: 0x1 -out/test/spec/global.wast:277: assert_invalid passed: +out/test/spec/global.wast:297: assert_invalid passed: error: type mismatch at global initializer expression. got f32, expected i32 0000013: error: EndGlobalInitExpr callback failed -out/test/spec/global.wast:282: assert_invalid passed: +out/test/spec/global.wast:302: assert_invalid passed: 0000010: error: expected END opcode after initializer expression -out/test/spec/global.wast:287: assert_invalid passed: +out/test/spec/global.wast:307: assert_invalid passed: error: invalid global initializer expression, must be a constant expression 000000e: error: EndGlobalInitExpr callback failed -out/test/spec/global.wast:292: assert_invalid passed: +out/test/spec/global.wast:312: assert_invalid passed: + 0000026: error: expected END opcode after initializer expression +out/test/spec/global.wast:317: assert_invalid passed: + 0000026: error: expected END opcode after initializer expression +out/test/spec/global.wast:322: assert_invalid passed: 0000000: error: initializer expression can only reference an imported global 0000010: error: EndGlobalInitExpr callback failed -out/test/spec/global.wast:297: assert_invalid passed: +out/test/spec/global.wast:327: assert_invalid passed: 0000000: error: global variable out of range: 1 (max 1) 0000010: error: EndGlobalInitExpr callback failed -out/test/spec/global.wast:305: assert_malformed passed: +out/test/spec/global.wast:332: assert_invalid passed: + 0000000: error: global variable out of range: 2 (max 2) + 0000026: error: EndGlobalInitExpr callback failed +out/test/spec/global.wast:337: assert_invalid passed: + error: initializer expression cannot reference a mutable global + 000002a: error: EndGlobalInitExpr callback failed +out/test/spec/global.wast:345: assert_malformed passed: 0000026: error: global mutability must be 0 or 1 -out/test/spec/global.wast:318: assert_malformed passed: +out/test/spec/global.wast:358: assert_malformed passed: 0000026: error: global mutability must be 0 or 1 -out/test/spec/global.wast:335: assert_malformed passed: +out/test/spec/global.wast:375: assert_malformed passed: 0000011: error: global mutability must be 0 or 1 -out/test/spec/global.wast:347: assert_malformed passed: +out/test/spec/global.wast:387: assert_malformed passed: 0000011: error: global mutability must be 0 or 1 -out/test/spec/global.wast:361: assert_invalid passed: +out/test/spec/global.wast:401: assert_invalid passed: + 0000000: error: global variable out of range: 0 (max 0) + 000001a: error: OnGlobalGetExpr callback failed +out/test/spec/global.wast:406: assert_invalid passed: + 0000000: error: global variable out of range: 1 (max 1) + 0000022: error: OnGlobalGetExpr callback failed +out/test/spec/global.wast:414: assert_invalid passed: + 0000000: error: global variable out of range: 1 (max 1) + 0000034: error: OnGlobalGetExpr callback failed +out/test/spec/global.wast:422: assert_invalid passed: + 0000000: error: global variable out of range: 2 (max 2) + 000003c: error: OnGlobalGetExpr callback failed +out/test/spec/global.wast:432: assert_invalid passed: + 0000000: error: global variable out of range: 0 (max 0) + 000001b: error: OnGlobalSetExpr callback failed +out/test/spec/global.wast:437: assert_invalid passed: + 0000000: error: global variable out of range: 1 (max 1) + 0000023: error: OnGlobalSetExpr callback failed +out/test/spec/global.wast:445: assert_invalid passed: + 0000000: error: global variable out of range: 1 (max 1) + 0000035: error: OnGlobalSetExpr callback failed +out/test/spec/global.wast:453: assert_invalid passed: + 0000000: error: global variable out of range: 2 (max 2) + 000003d: error: OnGlobalSetExpr callback failed +out/test/spec/global.wast:463: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000021: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:370: assert_invalid passed: +out/test/spec/global.wast:472: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:380: assert_invalid passed: +out/test/spec/global.wast:482: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:390: assert_invalid passed: +out/test/spec/global.wast:492: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000027: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:400: assert_invalid passed: +out/test/spec/global.wast:502: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 000002a: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:410: assert_invalid passed: +out/test/spec/global.wast:512: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:420: assert_invalid passed: +out/test/spec/global.wast:522: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:430: assert_invalid passed: +out/test/spec/global.wast:532: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000025: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:440: assert_invalid passed: +out/test/spec/global.wast:542: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000021: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:449: assert_invalid passed: +out/test/spec/global.wast:551: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000021: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:458: assert_invalid passed: +out/test/spec/global.wast:560: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 0000027: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:468: assert_invalid passed: +out/test/spec/global.wast:570: assert_invalid passed: error: type mismatch in global.set, expected [i32] but got [] 000003e: error: OnGlobalSetExpr callback failed -out/test/spec/global.wast:486: assert_malformed passed: - out/test/spec/global/global.32.wat:1:33: error: redefinition of global "$foo" +out/test/spec/global.wast:588: assert_malformed passed: + out/test/spec/global/global.46.wat:1:33: error: redefinition of global "$foo" (global $foo i32 (i32.const 0))(global $foo i32 (i32.const 0)) ^^^^^^ -out/test/spec/global.wast:490: assert_malformed passed: - out/test/spec/global/global.33.wat:1:34: error: redefinition of global "$foo" +out/test/spec/global.wast:592: assert_malformed passed: + out/test/spec/global/global.47.wat:1:34: error: redefinition of global "$foo" (import "" "" (global $foo i32))(global $foo i32 (i32.const 0)) ^^^^^^ -out/test/spec/global.wast:494: assert_malformed passed: - out/test/spec/global/global.34.wat:1:34: error: redefinition of global "$foo" +out/test/spec/global.wast:596: assert_malformed passed: + out/test/spec/global/global.48.wat:1:34: error: redefinition of global "$foo" (import "" "" (global $foo i32))(import "" "" (global $foo i32)) ^^^^^^ -76/76 tests passed. +92/92 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/imports.txt b/test/spec/imports.txt index a03625fb..9fcb8e9f 100644 --- a/test/spec/imports.txt +++ b/test/spec/imports.txt @@ -11,212 +11,236 @@ called host spectest.print_f64_f64(f64:25.000000, f64:53.000000) => called host spectest.print_f64(f64:24.000000) => called host spectest.print_f64(f64:24.000000) => called host spectest.print_f64(f64:24.000000) => -out/test/spec/imports.wast:91: assert_invalid passed: +out/test/spec/imports.wast:92: assert_invalid passed: 0000000: error: function type variable out of range: 1 (max 1) 000001e: error: OnImportFunc callback failed -out/test/spec/imports.wast:107: assert_unlinkable passed: +out/test/spec/imports.wast:108: assert_unlinkable passed: error: invalid import "test.unknown" -out/test/spec/imports.wast:111: assert_unlinkable passed: +out/test/spec/imports.wast:112: assert_unlinkable passed: error: invalid import "spectest.unknown" -out/test/spec/imports.wast:116: assert_unlinkable passed: +out/test/spec/imports.wast:117: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:120: assert_unlinkable passed: +out/test/spec/imports.wast:121: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:124: assert_unlinkable passed: +out/test/spec/imports.wast:125: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:128: assert_unlinkable passed: +out/test/spec/imports.wast:129: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:132: assert_unlinkable passed: +out/test/spec/imports.wast:133: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:136: assert_unlinkable passed: +out/test/spec/imports.wast:137: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:140: assert_unlinkable passed: +out/test/spec/imports.wast:141: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:144: assert_unlinkable passed: +out/test/spec/imports.wast:145: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:148: assert_unlinkable passed: +out/test/spec/imports.wast:149: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:152: assert_unlinkable passed: +out/test/spec/imports.wast:153: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:156: assert_unlinkable passed: +out/test/spec/imports.wast:157: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:160: assert_unlinkable passed: +out/test/spec/imports.wast:161: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:164: assert_unlinkable passed: +out/test/spec/imports.wast:165: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:168: assert_unlinkable passed: +out/test/spec/imports.wast:169: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:172: assert_unlinkable passed: +out/test/spec/imports.wast:173: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:176: assert_unlinkable passed: +out/test/spec/imports.wast:177: assert_unlinkable passed: error: import signature mismatch -out/test/spec/imports.wast:181: assert_unlinkable passed: +out/test/spec/imports.wast:182: assert_unlinkable passed: error: expected import "test.global-i32" to have kind func, not global -out/test/spec/imports.wast:185: assert_unlinkable passed: +out/test/spec/imports.wast:186: assert_unlinkable passed: error: expected import "test.table-10-inf" to have kind func, not table -out/test/spec/imports.wast:189: assert_unlinkable passed: +out/test/spec/imports.wast:190: assert_unlinkable passed: error: expected import "test.memory-2-inf" to have kind func, not memory -out/test/spec/imports.wast:193: assert_unlinkable passed: +out/test/spec/imports.wast:194: assert_unlinkable passed: error: expected import "spectest.global_i32" to have kind func, not global -out/test/spec/imports.wast:197: assert_unlinkable passed: +out/test/spec/imports.wast:198: assert_unlinkable passed: error: expected import "spectest.table" to have kind func, not table -out/test/spec/imports.wast:201: assert_unlinkable passed: +out/test/spec/imports.wast:202: assert_unlinkable passed: error: expected import "spectest.memory" to have kind func, not memory -out/test/spec/imports.wast:235: assert_unlinkable passed: +out/test/spec/imports.wast:237: assert_unlinkable passed: error: invalid import "test.unknown" -out/test/spec/imports.wast:239: assert_unlinkable passed: +out/test/spec/imports.wast:241: assert_unlinkable passed: error: invalid import "spectest.unknown" -out/test/spec/imports.wast:244: assert_unlinkable passed: +out/test/spec/imports.wast:246: assert_unlinkable passed: + error: type mismatch in imported global, expected i64 but got i32. +out/test/spec/imports.wast:250: assert_unlinkable passed: + error: type mismatch in imported global, expected f32 but got i32. +out/test/spec/imports.wast:254: assert_unlinkable passed: + error: type mismatch in imported global, expected f64 but got i32. +out/test/spec/imports.wast:258: assert_unlinkable passed: + error: mutability mismatch in imported global, expected immutable but got mutable. +out/test/spec/imports.wast:262: assert_unlinkable passed: + error: type mismatch in imported global, expected i32 but got f32. +out/test/spec/imports.wast:266: assert_unlinkable passed: + error: type mismatch in imported global, expected i64 but got f32. +out/test/spec/imports.wast:270: assert_unlinkable passed: + error: type mismatch in imported global, expected f64 but got f32. +out/test/spec/imports.wast:274: assert_unlinkable passed: + error: mutability mismatch in imported global, expected immutable but got mutable. +out/test/spec/imports.wast:278: assert_unlinkable passed: + error: type mismatch in imported global, expected i32 but got i64. +out/test/spec/imports.wast:282: assert_unlinkable passed: + error: type mismatch in imported global, expected f32 but got i64. +out/test/spec/imports.wast:286: assert_unlinkable passed: + error: type mismatch in imported global, expected f64 but got i64. +out/test/spec/imports.wast:290: assert_unlinkable passed: + error: mutability mismatch in imported global, expected mutable but got immutable. +out/test/spec/imports.wast:295: assert_unlinkable passed: error: expected import "test.func" to have kind global, not func -out/test/spec/imports.wast:248: assert_unlinkable passed: +out/test/spec/imports.wast:299: assert_unlinkable passed: error: expected import "test.table-10-inf" to have kind global, not table -out/test/spec/imports.wast:252: assert_unlinkable passed: +out/test/spec/imports.wast:303: assert_unlinkable passed: error: expected import "test.memory-2-inf" to have kind global, not memory -out/test/spec/imports.wast:256: assert_unlinkable passed: +out/test/spec/imports.wast:307: assert_unlinkable passed: error: expected import "spectest.print_i32" to have kind global, not func -out/test/spec/imports.wast:260: assert_unlinkable passed: +out/test/spec/imports.wast:311: assert_unlinkable passed: error: expected import "spectest.table" to have kind global, not table -out/test/spec/imports.wast:264: assert_unlinkable passed: +out/test/spec/imports.wast:315: assert_unlinkable passed: error: expected import "spectest.memory" to have kind global, not memory -out/test/spec/imports.wast:283: assert_trap passed: uninitialized table element -out/test/spec/imports.wast:286: assert_trap passed: uninitialized table element -out/test/spec/imports.wast:287: assert_trap passed: undefined table index -out/test/spec/imports.wast:302: assert_trap passed: uninitialized table element -out/test/spec/imports.wast:305: assert_trap passed: uninitialized table element -out/test/spec/imports.wast:306: assert_trap passed: undefined table index -out/test/spec/imports.wast:310: assert_invalid passed: +out/test/spec/imports.wast:334: assert_trap passed: uninitialized table element +out/test/spec/imports.wast:337: assert_trap passed: uninitialized table element +out/test/spec/imports.wast:338: assert_trap passed: undefined table index +out/test/spec/imports.wast:353: assert_trap passed: uninitialized table element +out/test/spec/imports.wast:356: assert_trap passed: uninitialized table element +out/test/spec/imports.wast:357: assert_trap passed: undefined table index +out/test/spec/imports.wast:361: assert_invalid passed: error: only one table allowed 0000017: error: OnImportTable callback failed -out/test/spec/imports.wast:314: assert_invalid passed: +out/test/spec/imports.wast:365: assert_invalid passed: error: only one table allowed 0000017: error: OnTable callback failed -out/test/spec/imports.wast:318: assert_invalid passed: +out/test/spec/imports.wast:369: assert_invalid passed: error: only one table allowed 0000011: error: OnTable callback failed -out/test/spec/imports.wast:335: assert_unlinkable passed: +out/test/spec/imports.wast:386: assert_unlinkable passed: error: invalid import "test.unknown" -out/test/spec/imports.wast:339: assert_unlinkable passed: +out/test/spec/imports.wast:390: assert_unlinkable passed: error: invalid import "spectest.unknown" -out/test/spec/imports.wast:344: assert_unlinkable passed: +out/test/spec/imports.wast:395: assert_unlinkable passed: error: actual size (10) smaller than declared (12) -out/test/spec/imports.wast:348: assert_unlinkable passed: +out/test/spec/imports.wast:399: assert_unlinkable passed: error: max size (unspecified) larger than declared (20) -out/test/spec/imports.wast:352: assert_unlinkable passed: +out/test/spec/imports.wast:403: assert_unlinkable passed: error: actual size (10) smaller than declared (12) -out/test/spec/imports.wast:356: assert_unlinkable passed: +out/test/spec/imports.wast:407: assert_unlinkable passed: error: max size (20) larger than declared (15) -out/test/spec/imports.wast:361: assert_unlinkable passed: +out/test/spec/imports.wast:412: assert_unlinkable passed: error: expected import "test.func" to have kind table, not func -out/test/spec/imports.wast:365: assert_unlinkable passed: +out/test/spec/imports.wast:416: assert_unlinkable passed: error: expected import "test.global-i32" to have kind table, not global -out/test/spec/imports.wast:369: assert_unlinkable passed: +out/test/spec/imports.wast:420: assert_unlinkable passed: error: expected import "test.memory-2-inf" to have kind table, not memory -out/test/spec/imports.wast:373: assert_unlinkable passed: +out/test/spec/imports.wast:424: assert_unlinkable passed: error: expected import "spectest.print_i32" to have kind table, not func -out/test/spec/imports.wast:391: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 -out/test/spec/imports.wast:402: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 -out/test/spec/imports.wast:405: assert_invalid passed: +out/test/spec/imports.wast:442: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 +out/test/spec/imports.wast:453: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 +out/test/spec/imports.wast:456: assert_invalid passed: error: only one memory block allowed 0000015: error: OnImportMemory callback failed -out/test/spec/imports.wast:409: assert_invalid passed: +out/test/spec/imports.wast:460: assert_invalid passed: error: only one memory block allowed 0000015: error: OnMemory callback failed -out/test/spec/imports.wast:413: assert_invalid passed: +out/test/spec/imports.wast:464: assert_invalid passed: error: only one memory block allowed 000000f: error: OnMemory callback failed -out/test/spec/imports.wast:428: assert_unlinkable passed: +out/test/spec/imports.wast:479: assert_unlinkable passed: error: invalid import "test.unknown" -out/test/spec/imports.wast:432: assert_unlinkable passed: +out/test/spec/imports.wast:483: assert_unlinkable passed: error: invalid import "spectest.unknown" -out/test/spec/imports.wast:437: assert_unlinkable passed: +out/test/spec/imports.wast:488: assert_unlinkable passed: error: actual size (2) smaller than declared (3) -out/test/spec/imports.wast:441: assert_unlinkable passed: +out/test/spec/imports.wast:492: assert_unlinkable passed: error: max size (unspecified) larger than declared (3) -out/test/spec/imports.wast:445: assert_unlinkable passed: +out/test/spec/imports.wast:496: assert_unlinkable passed: error: actual size (1) smaller than declared (2) -out/test/spec/imports.wast:449: assert_unlinkable passed: +out/test/spec/imports.wast:500: assert_unlinkable passed: error: max size (2) larger than declared (1) -out/test/spec/imports.wast:454: assert_unlinkable passed: +out/test/spec/imports.wast:505: assert_unlinkable passed: error: expected import "test.func-i32" to have kind memory, not func -out/test/spec/imports.wast:458: assert_unlinkable passed: +out/test/spec/imports.wast:509: assert_unlinkable passed: error: expected import "test.global-i32" to have kind memory, not global -out/test/spec/imports.wast:462: assert_unlinkable passed: +out/test/spec/imports.wast:513: assert_unlinkable passed: error: expected import "test.table-10-inf" to have kind memory, not table -out/test/spec/imports.wast:466: assert_unlinkable passed: +out/test/spec/imports.wast:517: assert_unlinkable passed: error: expected import "spectest.print_i32" to have kind memory, not func -out/test/spec/imports.wast:470: assert_unlinkable passed: +out/test/spec/imports.wast:521: assert_unlinkable passed: error: expected import "spectest.global_i32" to have kind memory, not global -out/test/spec/imports.wast:474: assert_unlinkable passed: +out/test/spec/imports.wast:525: assert_unlinkable passed: error: expected import "spectest.table" to have kind memory, not table -out/test/spec/imports.wast:479: assert_unlinkable passed: +out/test/spec/imports.wast:530: assert_unlinkable passed: error: actual size (1) smaller than declared (2) -out/test/spec/imports.wast:483: assert_unlinkable passed: +out/test/spec/imports.wast:534: assert_unlinkable passed: error: max size (2) larger than declared (1) -out/test/spec/imports.wast:501: assert_malformed passed: - out/test/spec/imports/imports.100.wat:1:9: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:552: assert_malformed passed: + out/test/spec/imports/imports.113.wat:1:9: error: imports must occur before all non-import definitions (func) (import "" "" (func)) ^^^^^^ -out/test/spec/imports.wast:505: assert_malformed passed: - out/test/spec/imports/imports.101.wat:1:9: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:556: assert_malformed passed: + out/test/spec/imports/imports.114.wat:1:9: error: imports must occur before all non-import definitions (func) (import "" "" (global i64)) ^^^^^^ -out/test/spec/imports.wast:509: assert_malformed passed: - out/test/spec/imports/imports.102.wat:1:9: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:560: assert_malformed passed: + out/test/spec/imports/imports.115.wat:1:9: error: imports must occur before all non-import definitions (func) (import "" "" (table 0 funcref)) ^^^^^^ -out/test/spec/imports.wast:513: assert_malformed passed: - out/test/spec/imports/imports.103.wat:1:9: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:564: assert_malformed passed: + out/test/spec/imports/imports.116.wat:1:9: error: imports must occur before all non-import definitions (func) (import "" "" (memory 0)) ^^^^^^ -out/test/spec/imports.wast:518: assert_malformed passed: - out/test/spec/imports/imports.104.wat:1:29: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:569: assert_malformed passed: + out/test/spec/imports/imports.117.wat:1:29: error: imports must occur before all non-import definitions (global i64 (i64.const 0)) (import "" "" (func)) ^^^^^^ -out/test/spec/imports.wast:522: assert_malformed passed: - out/test/spec/imports/imports.105.wat:1:29: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:573: assert_malformed passed: + out/test/spec/imports/imports.118.wat:1:29: error: imports must occur before all non-import definitions (global i64 (i64.const 0)) (import "" "" (global f32)) ^^^^^^ -out/test/spec/imports.wast:526: assert_malformed passed: - out/test/spec/imports/imports.106.wat:1:29: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:577: assert_malformed passed: + out/test/spec/imports/imports.119.wat:1:29: error: imports must occur before all non-import definitions (global i64 (i64.const 0)) (import "" "" (table 0 funcref)) ^^^^^^ -out/test/spec/imports.wast:530: assert_malformed passed: - out/test/spec/imports/imports.107.wat:1:29: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:581: assert_malformed passed: + out/test/spec/imports/imports.120.wat:1:29: error: imports must occur before all non-import definitions (global i64 (i64.const 0)) (import "" "" (memory 0)) ^^^^^^ -out/test/spec/imports.wast:535: assert_malformed passed: - out/test/spec/imports/imports.108.wat:1:20: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:586: assert_malformed passed: + out/test/spec/imports/imports.121.wat:1:20: error: imports must occur before all non-import definitions (table 0 funcref) (import "" "" (func)) ^^^^^^ -out/test/spec/imports.wast:539: assert_malformed passed: - out/test/spec/imports/imports.109.wat:1:20: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:590: assert_malformed passed: + out/test/spec/imports/imports.122.wat:1:20: error: imports must occur before all non-import definitions (table 0 funcref) (import "" "" (global i32)) ^^^^^^ -out/test/spec/imports.wast:543: assert_malformed passed: - out/test/spec/imports/imports.110.wat:1:20: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:594: assert_malformed passed: + out/test/spec/imports/imports.123.wat:1:20: error: imports must occur before all non-import definitions (table 0 funcref) (import "" "" (table 0 funcref)) ^^^^^^ -out/test/spec/imports.wast:547: assert_malformed passed: - out/test/spec/imports/imports.111.wat:1:20: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:598: assert_malformed passed: + out/test/spec/imports/imports.124.wat:1:20: error: imports must occur before all non-import definitions (table 0 funcref) (import "" "" (memory 0)) ^^^^^^ -out/test/spec/imports.wast:552: assert_malformed passed: - out/test/spec/imports/imports.112.wat:1:13: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:603: assert_malformed passed: + out/test/spec/imports/imports.125.wat:1:13: error: imports must occur before all non-import definitions (memory 0) (import "" "" (func)) ^^^^^^ -out/test/spec/imports.wast:556: assert_malformed passed: - out/test/spec/imports/imports.113.wat:1:13: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:607: assert_malformed passed: + out/test/spec/imports/imports.126.wat:1:13: error: imports must occur before all non-import definitions (memory 0) (import "" "" (global i32)) ^^^^^^ -out/test/spec/imports.wast:560: assert_malformed passed: - out/test/spec/imports/imports.114.wat:1:13: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:611: assert_malformed passed: + out/test/spec/imports/imports.127.wat:1:13: error: imports must occur before all non-import definitions (memory 0) (import "" "" (table 1 3 funcref)) ^^^^^^ -out/test/spec/imports.wast:564: assert_malformed passed: - out/test/spec/imports/imports.115.wat:1:13: error: imports must occur before all non-import definitions +out/test/spec/imports.wast:615: assert_malformed passed: + out/test/spec/imports/imports.128.wat:1:13: error: imports must occur before all non-import definitions (memory 0) (import "" "" (memory 1 2)) ^^^^^^ -out/test/spec/imports.wast:574: assert_unlinkable passed: +out/test/spec/imports.wast:625: assert_unlinkable passed: error: invalid import "not wasm.overloaded" -109/109 tests passed. +121/121 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/local_tee.txt b/test/spec/local_tee.txt index 99e4bfcd..5b2d2b35 100644 --- a/test/spec/local_tee.txt +++ b/test/spec/local_tee.txt @@ -97,32 +97,32 @@ out/test/spec/local_tee.wast:580: assert_invalid passed: out/test/spec/local_tee.wast:589: assert_invalid passed: error: type mismatch in local.tee, expected [i32] but got [] 000001f: error: OnLocalTeeExpr callback failed -out/test/spec/local_tee.wast:602: assert_invalid passed: +out/test/spec/local_tee.wast:599: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [f32] + 0000021: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:603: assert_invalid passed: + error: type mismatch in local.tee, expected [i32] but got [f32] + 0000022: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:607: assert_invalid passed: + error: type mismatch in local.tee, expected [f64] but got [i64] + 0000020: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:615: assert_invalid passed: 0000000: error: local variable out of range (max 2) - 000001d: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:606: assert_invalid passed: + 000001f: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:619: assert_invalid passed: 0000000: error: local variable out of range (max 2) - 0000020: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:611: assert_invalid passed: + 0000022: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:624: assert_invalid passed: 0000000: error: local variable out of range (max 2) - 000001b: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:615: assert_invalid passed: + 000001d: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:628: assert_invalid passed: 0000000: error: local variable out of range (max 2) - 0000021: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:620: assert_invalid passed: - 0000000: error: local variable out of range (max 3) - 000001e: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:624: assert_invalid passed: - 0000000: error: local variable out of range (max 3) - 0000021: error: OnLocalGetExpr callback failed -out/test/spec/local_tee.wast:629: assert_invalid passed: - error: type mismatch in local.tee, expected [i32] but got [f32] 0000021: error: OnLocalTeeExpr callback failed out/test/spec/local_tee.wast:633: assert_invalid passed: - error: type mismatch in local.tee, expected [i32] but got [f32] - 0000022: error: OnLocalTeeExpr callback failed -out/test/spec/local_tee.wast:637: assert_invalid passed: - error: type mismatch in local.tee, expected [f64] but got [i64] + 0000000: error: local variable out of range (max 3) 0000020: error: OnLocalTeeExpr callback failed +out/test/spec/local_tee.wast:637: assert_invalid passed: + 0000000: error: local variable out of range (max 3) + 0000023: error: OnLocalTeeExpr callback failed 96/96 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/memory64/address.txt b/test/spec/memory64/address.txt new file mode 100644 index 00000000..da234e60 --- /dev/null +++ b/test/spec/memory64/address.txt @@ -0,0 +1,59 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/address.wast +;;; ARGS*: --enable-memory64 +(;; STDOUT ;;; +out/test/spec/memory64/address.wast:192: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536 +out/test/spec/memory64/address.wast:194: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address.wast:195: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address.wast:196: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 +out/test/spec/memory64/address.wast:197: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 +out/test/spec/memory64/address.wast:198: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 +out/test/spec/memory64/address.wast:199: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 +out/test/spec/memory64/address.wast:201: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536 +out/test/spec/memory64/address.wast:202: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536 +out/test/spec/memory64/address.wast:203: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536 +out/test/spec/memory64/address.wast:204: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536 +out/test/spec/memory64/address.wast:205: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address.wast:207: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address.wast:208: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address.wast:209: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 +out/test/spec/memory64/address.wast:210: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 +out/test/spec/memory64/address.wast:211: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 +out/test/spec/memory64/address.wast:214: assert_invalid passed: + out/test/spec/memory64/address/address.1.wat:1:33: error: offset must be less than or equal to 0xffffffff + (memory 1)(func (drop (i32.load offset=4294967296 (i32.const 0)))) + ^^^^^^^^^^^^^^^^^ +out/test/spec/memory64/address.wast:486: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536 +out/test/spec/memory64/address.wast:488: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address.wast:489: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address.wast:490: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 +out/test/spec/memory64/address.wast:491: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 +out/test/spec/memory64/address.wast:492: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 +out/test/spec/memory64/address.wast:493: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 +out/test/spec/memory64/address.wast:494: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536 +out/test/spec/memory64/address.wast:496: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536 +out/test/spec/memory64/address.wast:497: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536 +out/test/spec/memory64/address.wast:498: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536 +out/test/spec/memory64/address.wast:499: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536 +out/test/spec/memory64/address.wast:500: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address.wast:501: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address.wast:502: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536 +out/test/spec/memory64/address.wast:504: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address.wast:505: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address.wast:506: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 +out/test/spec/memory64/address.wast:507: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 +out/test/spec/memory64/address.wast:508: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address.wast:509: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address.wast:510: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536 +out/test/spec/memory64/address.wast:554: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536 +out/test/spec/memory64/address.wast:556: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 +out/test/spec/memory64/address.wast:557: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 +out/test/spec/memory64/address.wast:559: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address.wast:560: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 +out/test/spec/memory64/address.wast:604: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536 +out/test/spec/memory64/address.wast:606: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536 +out/test/spec/memory64/address.wast:607: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536 +out/test/spec/memory64/address.wast:609: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536 +out/test/spec/memory64/address.wast:610: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536 +256/256 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/memory64/address64.txt b/test/spec/memory64/address64.txt index 177d2f25..361f3a07 100644 --- a/test/spec/memory64/address64.txt +++ b/test/spec/memory64/address64.txt @@ -13,30 +13,26 @@ out/test/spec/memory64/address64.wast:201: assert_trap passed: out of bounds mem out/test/spec/memory64/address64.wast:202: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 out/test/spec/memory64/address64.wast:203: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 out/test/spec/memory64/address64.wast:204: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 -out/test/spec/memory64/address64.wast:207: assert_malformed passed: - out/test/spec/memory64/address64/address64.1.wat:1:37: error: offset must be less than or equal to 0xffffffff - (memory i64 1)(func (drop (i32.load offset=4294967296 (i64.const 0)))) - ^^^^^^^^^^^^^^^^^ -out/test/spec/memory64/address64.wast:479: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536 -out/test/spec/memory64/address64.wast:481: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536 -out/test/spec/memory64/address64.wast:482: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536 -out/test/spec/memory64/address64.wast:483: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536 -out/test/spec/memory64/address64.wast:484: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536 -out/test/spec/memory64/address64.wast:485: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address64.wast:472: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536 +out/test/spec/memory64/address64.wast:474: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536 +out/test/spec/memory64/address64.wast:475: assert_trap passed: out of bounds memory access: access at 4294967295+1 >= max value 65536 +out/test/spec/memory64/address64.wast:476: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536 +out/test/spec/memory64/address64.wast:477: assert_trap passed: out of bounds memory access: access at 4294967295+2 >= max value 65536 +out/test/spec/memory64/address64.wast:478: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address64.wast:479: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address64.wast:480: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536 +out/test/spec/memory64/address64.wast:482: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address64.wast:483: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 +out/test/spec/memory64/address64.wast:484: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 +out/test/spec/memory64/address64.wast:485: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 out/test/spec/memory64/address64.wast:486: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 -out/test/spec/memory64/address64.wast:487: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536 -out/test/spec/memory64/address64.wast:489: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 -out/test/spec/memory64/address64.wast:490: assert_trap passed: out of bounds memory access: access at 4294967296+1 >= max value 65536 -out/test/spec/memory64/address64.wast:491: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 -out/test/spec/memory64/address64.wast:492: assert_trap passed: out of bounds memory access: access at 4294967296+2 >= max value 65536 -out/test/spec/memory64/address64.wast:493: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 -out/test/spec/memory64/address64.wast:494: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 -out/test/spec/memory64/address64.wast:495: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536 -out/test/spec/memory64/address64.wast:539: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536 -out/test/spec/memory64/address64.wast:541: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 -out/test/spec/memory64/address64.wast:542: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 -out/test/spec/memory64/address64.wast:586: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536 -out/test/spec/memory64/address64.wast:588: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536 -out/test/spec/memory64/address64.wast:589: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536 -239/239 tests passed. +out/test/spec/memory64/address64.wast:487: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address64.wast:488: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536 +out/test/spec/memory64/address64.wast:532: assert_trap passed: out of bounds memory access: access at 65533+4 >= max value 65536 +out/test/spec/memory64/address64.wast:534: assert_trap passed: out of bounds memory access: access at 4294967295+4 >= max value 65536 +out/test/spec/memory64/address64.wast:535: assert_trap passed: out of bounds memory access: access at 4294967296+4 >= max value 65536 +out/test/spec/memory64/address64.wast:579: assert_trap passed: out of bounds memory access: access at 65529+8 >= max value 65536 +out/test/spec/memory64/address64.wast:581: assert_trap passed: out of bounds memory access: access at 4294967295+8 >= max value 65536 +out/test/spec/memory64/address64.wast:582: assert_trap passed: out of bounds memory access: access at 4294967296+8 >= max value 65536 +238/238 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/memory64/binary-leb128.txt b/test/spec/memory64/binary-leb128.txt new file mode 100644 index 00000000..56a8e030 --- /dev/null +++ b/test/spec/memory64/binary-leb128.txt @@ -0,0 +1,120 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/binary-leb128.wast +;;; ARGS*: --enable-memory64 +(;; STDOUT ;;; +out/test/spec/memory64/binary-leb128.wast:217: assert_malformed passed: + 000000c: error: unable to read u32 leb128: memory initial page count +out/test/spec/memory64/binary-leb128.wast:225: assert_malformed passed: + 000000e: error: unable to read u32 leb128: memory max page count +out/test/spec/memory64/binary-leb128.wast:234: assert_malformed passed: + 0000010: error: unable to read u32 leb128: data segment flags +out/test/spec/memory64/binary-leb128.wast:245: assert_malformed passed: + 0000011: error: unable to read u32 leb128: elem segment flags +out/test/spec/memory64/binary-leb128.wast:256: assert_malformed passed: + 0000009: error: unable to read u32 leb128: section size +out/test/spec/memory64/binary-leb128.wast:267: assert_malformed passed: + 000000a: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary-leb128.wast:278: assert_malformed passed: + 000000c: error: unable to read u32 leb128: function param count +out/test/spec/memory64/binary-leb128.wast:290: assert_malformed passed: + 000000f: error: unable to read u32 leb128: function result count +out/test/spec/memory64/binary-leb128.wast:302: assert_malformed passed: + 0000012: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary-leb128.wast:317: assert_malformed passed: + 000001b: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary-leb128.wast:332: assert_malformed passed: + 0000026: error: unable to read u32 leb128: import signature index +out/test/spec/memory64/binary-leb128.wast:347: assert_malformed passed: + 0000011: error: unable to read u32 leb128: function signature index +out/test/spec/memory64/binary-leb128.wast:359: assert_malformed passed: + 0000015: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary-leb128.wast:375: assert_malformed passed: + 0000019: error: unable to read u32 leb128: export item index +out/test/spec/memory64/binary-leb128.wast:391: assert_malformed passed: + 0000014: error: unable to read u32 leb128: function body count +out/test/spec/memory64/binary-leb128.wast:404: assert_malformed passed: + 0000022: error: unable to read u32 leb128: load offset +out/test/spec/memory64/binary-leb128.wast:423: assert_malformed passed: + 0000021: error: unable to read u32 leb128: load alignment +out/test/spec/memory64/binary-leb128.wast:442: assert_malformed passed: + 0000023: error: unable to read u32 leb128: store alignment +out/test/spec/memory64/binary-leb128.wast:461: assert_malformed passed: + 0000024: error: unable to read u32 leb128: store offset +out/test/spec/memory64/binary-leb128.wast:482: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/memory64/binary-leb128.wast:492: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/memory64/binary-leb128.wast:503: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/memory64/binary-leb128.wast:513: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/memory64/binary-leb128.wast:525: assert_malformed passed: + 000000c: error: unable to read u32 leb128: memory initial page count +out/test/spec/memory64/binary-leb128.wast:533: assert_malformed passed: + 000000c: error: unable to read u32 leb128: memory initial page count +out/test/spec/memory64/binary-leb128.wast:541: assert_malformed passed: + 000000e: error: unable to read u32 leb128: memory max page count +out/test/spec/memory64/binary-leb128.wast:550: assert_malformed passed: + 000000e: error: unable to read u32 leb128: memory max page count +out/test/spec/memory64/binary-leb128.wast:559: assert_malformed passed: + 0000010: error: unable to read u32 leb128: data segment flags +out/test/spec/memory64/binary-leb128.wast:570: assert_malformed passed: + 0000011: error: unable to read u32 leb128: elem segment flags +out/test/spec/memory64/binary-leb128.wast:581: assert_malformed passed: + 0000009: error: unable to read u32 leb128: section size +out/test/spec/memory64/binary-leb128.wast:592: assert_malformed passed: + 000000a: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary-leb128.wast:603: assert_malformed passed: + 000000c: error: unable to read u32 leb128: function param count +out/test/spec/memory64/binary-leb128.wast:615: assert_malformed passed: + 000000f: error: unable to read u32 leb128: function result count +out/test/spec/memory64/binary-leb128.wast:627: assert_malformed passed: + 0000012: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary-leb128.wast:642: assert_malformed passed: + 000001b: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary-leb128.wast:657: assert_malformed passed: + 0000026: error: unable to read u32 leb128: import signature index +out/test/spec/memory64/binary-leb128.wast:672: assert_malformed passed: + 0000011: error: unable to read u32 leb128: function signature index +out/test/spec/memory64/binary-leb128.wast:685: assert_malformed passed: + 0000015: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary-leb128.wast:701: assert_malformed passed: + 0000019: error: unable to read u32 leb128: export item index +out/test/spec/memory64/binary-leb128.wast:717: assert_malformed passed: + 0000014: error: unable to read u32 leb128: function body count +out/test/spec/memory64/binary-leb128.wast:730: assert_malformed passed: + 0000022: error: unable to read u32 leb128: load offset +out/test/spec/memory64/binary-leb128.wast:749: assert_malformed passed: + 0000022: error: unable to read u32 leb128: load offset +out/test/spec/memory64/binary-leb128.wast:768: assert_malformed passed: + 0000021: error: unable to read u32 leb128: load alignment +out/test/spec/memory64/binary-leb128.wast:786: assert_malformed passed: + 0000021: error: unable to read u32 leb128: load alignment +out/test/spec/memory64/binary-leb128.wast:805: assert_malformed passed: + 0000023: error: unable to read u32 leb128: store alignment +out/test/spec/memory64/binary-leb128.wast:824: assert_malformed passed: + 0000023: error: unable to read u32 leb128: store alignment +out/test/spec/memory64/binary-leb128.wast:843: assert_malformed passed: + 0000024: error: unable to read u32 leb128: store offset +out/test/spec/memory64/binary-leb128.wast:862: assert_malformed passed: + 0000024: error: unable to read u32 leb128: store offset +out/test/spec/memory64/binary-leb128.wast:884: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/memory64/binary-leb128.wast:894: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/memory64/binary-leb128.wast:904: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/memory64/binary-leb128.wast:914: assert_malformed passed: + 000000e: error: unable to read i32 leb128: init_expr i32.const value +out/test/spec/memory64/binary-leb128.wast:925: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/memory64/binary-leb128.wast:935: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/memory64/binary-leb128.wast:945: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/memory64/binary-leb128.wast:955: assert_malformed passed: + 000000e: error: unable to read i64 leb128: init_expr i64.const value +out/test/spec/memory64/binary-leb128.wast:987: assert_malformed passed: + 0000019: error: unable to read u32 leb128: opcode +57/57 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/memory64/binary.txt b/test/spec/memory64/binary.txt new file mode 100644 index 00000000..7c7ff4a1 --- /dev/null +++ b/test/spec/memory64/binary.txt @@ -0,0 +1,183 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/binary.wast +;;; ARGS*: --enable-memory64 +(;; STDOUT ;;; +out/test/spec/memory64/binary.wast:6: assert_malformed passed: + 0000000: error: unable to read uint32_t: magic +out/test/spec/memory64/binary.wast:7: assert_malformed passed: + 0000000: error: unable to read uint32_t: magic +out/test/spec/memory64/binary.wast:8: assert_malformed passed: + 0000000: error: unable to read uint32_t: magic +out/test/spec/memory64/binary.wast:9: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:10: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:11: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:12: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:13: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:14: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:15: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:16: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:17: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:18: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:21: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:24: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:25: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:28: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:31: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:34: assert_malformed passed: + 0000004: error: bad magic value +out/test/spec/memory64/binary.wast:37: assert_malformed passed: + 0000004: error: unable to read uint32_t: version +out/test/spec/memory64/binary.wast:38: assert_malformed passed: + 0000004: error: unable to read uint32_t: version +out/test/spec/memory64/binary.wast:39: assert_malformed passed: + 0000004: error: unable to read uint32_t: version +out/test/spec/memory64/binary.wast:40: assert_malformed passed: + 0000008: error: bad wasm file version: 0 (expected 0x1) +out/test/spec/memory64/binary.wast:41: assert_malformed passed: + 0000008: error: bad wasm file version: 0xd (expected 0x1) +out/test/spec/memory64/binary.wast:42: assert_malformed passed: + 0000008: error: bad wasm file version: 0xe (expected 0x1) +out/test/spec/memory64/binary.wast:43: assert_malformed passed: + 0000008: error: bad wasm file version: 0x100 (expected 0x1) +out/test/spec/memory64/binary.wast:44: assert_malformed passed: + 0000008: error: bad wasm file version: 0x10000 (expected 0x1) +out/test/spec/memory64/binary.wast:45: assert_malformed passed: + 0000008: error: bad wasm file version: 0x1000000 (expected 0x1) +out/test/spec/memory64/binary.wast:48: assert_malformed passed: + 000000a: error: invalid section code: 12 +out/test/spec/memory64/binary.wast:49: assert_malformed passed: + 000000a: error: invalid section code: 127 +out/test/spec/memory64/binary.wast:50: assert_malformed passed: + 000000a: error: invalid section code: 128 +out/test/spec/memory64/binary.wast:51: assert_malformed passed: + 000000a: error: invalid section code: 129 +out/test/spec/memory64/binary.wast:52: assert_malformed passed: + 000000a: error: invalid section code: 255 +out/test/spec/memory64/binary.wast:57: assert_malformed passed: + 000000c: error: unexpected type form (got 0xe0) +out/test/spec/memory64/binary.wast:71: assert_malformed passed: + 0000022: error: call_indirect reserved value must be 0 +out/test/spec/memory64/binary.wast:90: assert_malformed passed: + 0000022: error: call_indirect reserved value must be 0 +out/test/spec/memory64/binary.wast:109: assert_malformed passed: + 0000022: error: call_indirect reserved value must be 0 +out/test/spec/memory64/binary.wast:127: assert_malformed passed: + 0000022: error: call_indirect reserved value must be 0 +out/test/spec/memory64/binary.wast:145: assert_malformed passed: + 0000022: error: call_indirect reserved value must be 0 +out/test/spec/memory64/binary.wast:164: assert_malformed passed: + 0000020: error: memory.grow reserved value must be 0 +out/test/spec/memory64/binary.wast:184: assert_malformed passed: + 0000020: error: memory.grow reserved value must be 0 +out/test/spec/memory64/binary.wast:204: assert_malformed passed: + 0000020: error: memory.grow reserved value must be 0 +out/test/spec/memory64/binary.wast:223: assert_malformed passed: + 0000020: error: memory.grow reserved value must be 0 +out/test/spec/memory64/binary.wast:242: assert_malformed passed: + 0000020: error: memory.grow reserved value must be 0 +out/test/spec/memory64/binary.wast:262: assert_malformed passed: + 000001e: error: memory.size reserved value must be 0 +out/test/spec/memory64/binary.wast:281: assert_malformed passed: + 000001e: error: memory.size reserved value must be 0 +out/test/spec/memory64/binary.wast:300: assert_malformed passed: + 000001e: error: memory.size reserved value must be 0 +out/test/spec/memory64/binary.wast:318: assert_malformed passed: + 000001e: error: memory.size reserved value must be 0 +out/test/spec/memory64/binary.wast:336: assert_malformed passed: + 000001e: error: memory.size reserved value must be 0 +out/test/spec/memory64/binary.wast:355: assert_malformed passed: + 0000017: error: unable to read u32 leb128: local type count +out/test/spec/memory64/binary.wast:372: assert_malformed passed: + 000001c: error: local count must be < 0x10000000 +out/test/spec/memory64/binary.wast:388: assert_malformed passed: + 0000030: error: local count must be < 0x10000000 +out/test/spec/memory64/binary.wast:422: assert_malformed passed: + 0000013: error: function signature count != function body count +out/test/spec/memory64/binary.wast:432: assert_malformed passed: + 000000b: error: function signature count != function body count +out/test/spec/memory64/binary.wast:441: assert_malformed passed: + 0000016: error: function signature count != function body count +out/test/spec/memory64/binary.wast:452: assert_malformed passed: + 0000015: error: function signature count != function body count +out/test/spec/memory64/binary.wast:481: assert_malformed passed: + 000000a: error: invalid section size: extends past end +out/test/spec/memory64/binary.wast:492: assert_malformed passed: + 000000e: error: unfinished section (expected end: 0x11) +out/test/spec/memory64/binary.wast:511: assert_malformed passed: + 000000e: error: invalid import event kind: exceptions not allowed +out/test/spec/memory64/binary.wast:521: assert_malformed passed: + 000000e: error: invalid import event kind: exceptions not allowed +out/test/spec/memory64/binary.wast:532: assert_malformed passed: + 000000e: error: malformed import kind: 5 +out/test/spec/memory64/binary.wast:542: assert_malformed passed: + 000000e: error: malformed import kind: 5 +out/test/spec/memory64/binary.wast:553: assert_malformed passed: + 000000e: error: malformed import kind: 128 +out/test/spec/memory64/binary.wast:563: assert_malformed passed: + 000000e: error: malformed import kind: 128 +out/test/spec/memory64/binary.wast:576: assert_malformed passed: + 0000027: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary.wast:595: assert_malformed passed: + 000002b: error: unfinished section (expected end: 0x40) +out/test/spec/memory64/binary.wast:626: assert_malformed passed: + 000000b: error: invalid table count 1, only 0 bytes left in section +out/test/spec/memory64/binary.wast:636: assert_malformed passed: + 000000c: error: malformed memory limits flag: 112 +out/test/spec/memory64/binary.wast:645: assert_malformed passed: + 000000c: error: malformed memory limits flag: 112 +out/test/spec/memory64/binary.wast:655: assert_malformed passed: + 000000c: error: malformed memory limits flag: 112 +out/test/spec/memory64/binary.wast:673: assert_malformed passed: + 000000b: error: invalid memory count 1, only 0 bytes left in section +out/test/spec/memory64/binary.wast:683: assert_malformed passed: + 000000c: error: malformed memory limits flag: 8 +out/test/spec/memory64/binary.wast:691: assert_malformed passed: + 000000c: error: malformed memory limits flag: 8 +out/test/spec/memory64/binary.wast:700: assert_malformed passed: + 000000c: error: malformed memory limits flag: 129 +out/test/spec/memory64/binary.wast:709: assert_malformed passed: + 000000c: error: malformed memory limits flag: 129 +out/test/spec/memory64/binary.wast:726: assert_malformed passed: + 0000010: error: unable to read i32 leb128: global type +out/test/spec/memory64/binary.wast:737: assert_malformed passed: + 0000010: error: unfinished section (expected end: 0x15) +out/test/spec/memory64/binary.wast:760: assert_malformed passed: + 000001b: error: unable to read u32 leb128: string length +out/test/spec/memory64/binary.wast:781: assert_malformed passed: + 000001b: error: unfinished section (expected end: 0x20) +out/test/spec/memory64/binary.wast:815: assert_malformed passed: + 0000021: error: unable to read u32 leb128: elem segment flags +out/test/spec/memory64/binary.wast:831: assert_malformed passed: + 0000021: error: unable to read u32 leb128: elem segment flags +out/test/spec/memory64/binary.wast:848: assert_malformed passed: + 0000021: error: unfinished section (expected end: 0x27) +out/test/spec/memory64/binary.wast:874: assert_malformed passed: + 0000016: error: unable to read u32 leb128: data segment flags +out/test/spec/memory64/binary.wast:887: assert_malformed passed: + 0000016: error: unfinished section (expected end: 0x1c) +out/test/spec/memory64/binary.wast:900: assert_malformed passed: + 0000015: error: unable to read data: data segment data +out/test/spec/memory64/binary.wast:914: assert_malformed passed: + 000001a: error: unfinished section (expected end: 0x1b) +out/test/spec/memory64/binary.wast:945: assert_malformed passed: + error: function type variable out of range: 11 (max 1) + 0000025: error: OnBlockExpr callback failed +out/test/spec/memory64/binary.wast:980: assert_malformed passed: + 0000017: error: multiple Start sections +88/88 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/memory64/bulk64.txt b/test/spec/memory64/bulk64.txt deleted file mode 100644 index 0f95b254..00000000 --- a/test/spec/memory64/bulk64.txt +++ /dev/null @@ -1,33 +0,0 @@ -;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/memory64/bulk64.wast -;;; ARGS*: --enable-memory64 --enable-bulk-memory -(;; STDOUT ;;; -fill(i64:1, i32:255, i64:3) => -fill(i64:0, i32:48042, i64:2) => -fill(i64:0, i32:0, i64:65536) => -fill(i64:65536, i32:0, i64:0) => -out/test/spec/memory64/bulk64.wast:41: assert_trap passed: out of bounds memory access: memory.fill out of bounds -copy(i64:10, i64:0, i64:4) => -copy(i64:8, i64:10, i64:4) => -copy(i64:10, i64:7, i64:6) => -out/test/spec/memory64/bulk64.wast:90: assert_trap passed: out of bounds memory access: memory.copy out of bound -copy(i64:65280, i64:0, i64:256) => -copy(i64:65024, i64:65280, i64:256) => -copy(i64:65536, i64:0, i64:0) => -copy(i64:0, i64:65536, i64:0) => -out/test/spec/memory64/bulk64.wast:110: assert_trap passed: out of bounds memory access: memory.copy out of bound -out/test/spec/memory64/bulk64.wast:113: assert_trap passed: out of bounds memory access: memory.copy out of bound -init(i64:0, i32:1, i32:2) => -init(i64:65532, i32:0, i32:4) => -out/test/spec/memory64/bulk64.wast:140: assert_trap passed: out of bounds memory access: memory.init out of bounds -init(i64:65536, i32:0, i32:0) => -init(i64:0, i32:4, i32:0) => -out/test/spec/memory64/bulk64.wast:151: assert_trap passed: out of bounds memory access: memory.init out of bounds -out/test/spec/memory64/bulk64.wast:154: assert_trap passed: out of bounds memory access: memory.init out of bounds -init(i64:0, i32:0, i32:0) => -init_passive() => -drop_passive() => -drop_passive() => -drop_active() => -65/65 tests passed. -;;; STDOUT ;;) diff --git a/test/spec/memory64/memory.txt b/test/spec/memory64/memory.txt new file mode 100644 index 00000000..515ee069 --- /dev/null +++ b/test/spec/memory64/memory.txt @@ -0,0 +1,83 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/memory.wast +;;; ARGS*: --enable-memory64 +(;; STDOUT ;;; +out/test/spec/memory64/memory.wast:10: assert_invalid passed: + error: only one memory block allowed + 000000f: error: OnMemory callback failed +out/test/spec/memory64/memory.wast:11: assert_invalid passed: + error: only one memory block allowed + 0000023: error: OnMemory callback failed +out/test/spec/memory64/memory.wast:20: assert_invalid passed: + 0000000: error: memory variable out of range: 0 (max 0) + 000000c: error: BeginDataSegment callback failed +out/test/spec/memory64/memory.wast:21: assert_invalid passed: + 0000000: error: memory variable out of range: 0 (max 0) + 000000c: error: BeginDataSegment callback failed +out/test/spec/memory64/memory.wast:22: assert_invalid passed: + 0000000: error: memory variable out of range: 0 (max 0) + 000000c: error: BeginDataSegment callback failed +out/test/spec/memory64/memory.wast:25: assert_invalid passed: + 000001b: error: load/store memory 0 out of range 0 +out/test/spec/memory64/memory.wast:29: assert_invalid passed: + 0000020: error: load/store memory 0 out of range 0 +out/test/spec/memory64/memory.wast:33: assert_invalid passed: + 000001b: error: load/store memory 0 out of range 0 +out/test/spec/memory64/memory.wast:37: assert_invalid passed: + 000001d: error: load/store memory 0 out of range 0 +out/test/spec/memory64/memory.wast:41: assert_invalid passed: + error: memory variable out of range: 0 (max 0) + 0000019: error: OnMemorySizeExpr callback failed +out/test/spec/memory64/memory.wast:45: assert_invalid passed: + error: memory variable out of range: 0 (max 0) + 000001b: error: OnMemoryGrowExpr callback failed +out/test/spec/memory64/memory.wast:51: assert_invalid passed: + error: max pages (0) must be >= initial pages (1) + 000000e: error: OnMemory callback failed +out/test/spec/memory64/memory.wast:55: assert_invalid passed: + error: initial pages (65537) must be <= (65536) + 000000f: error: OnMemory callback failed +out/test/spec/memory64/memory.wast:59: assert_invalid passed: + error: initial pages (2147483648) must be <= (65536) + 0000011: error: OnMemory callback failed +out/test/spec/memory64/memory.wast:63: assert_invalid passed: + error: initial pages (4294967295) must be <= (65536) + 0000011: error: OnMemory callback failed +out/test/spec/memory64/memory.wast:67: assert_invalid passed: + error: max pages (65537) must be <= (65536) + 0000010: error: OnMemory callback failed +out/test/spec/memory64/memory.wast:71: assert_invalid passed: + error: max pages (2147483648) must be <= (65536) + 0000012: error: OnMemory callback failed +out/test/spec/memory64/memory.wast:75: assert_invalid passed: + error: max pages (4294967295) must be <= (65536) + 0000012: error: OnMemory callback failed +out/test/spec/memory64/memory.wast:80: assert_invalid passed: + out/test/spec/memory64/memory/memory.27.wat:1:9: error: invalid int "0x1_0000_0000" + (memory 0x1_0000_0000) + ^^^^^^^^^^^^^ +out/test/spec/memory64/memory.wast:84: assert_invalid passed: + out/test/spec/memory64/memory/memory.28.wat:1:9: error: invalid int "0x1_0000_0000" + (memory 0x1_0000_0000 0x1_0000_0000) + ^^^^^^^^^^^^^ + out/test/spec/memory64/memory/memory.28.wat:1:23: error: invalid int "0x1_0000_0000" + (memory 0x1_0000_0000 0x1_0000_0000) + ^^^^^^^^^^^^^ +out/test/spec/memory64/memory.wast:88: assert_invalid passed: + out/test/spec/memory64/memory/memory.29.wat:1:11: error: invalid int "0x1_0000_0000" + (memory 0 0x1_0000_0000) + ^^^^^^^^^^^^^ +out/test/spec/memory64/memory.wast:231: assert_malformed passed: + out/test/spec/memory64/memory/memory.31.wat:1:17: error: redefinition of memory "$foo" + (memory $foo 1)(memory $foo 1) + ^^^^^^ +out/test/spec/memory64/memory.wast:235: assert_malformed passed: + out/test/spec/memory64/memory/memory.32.wat:1:32: error: redefinition of memory "$foo" + (import "" "" (memory $foo 1))(memory $foo 1) + ^^^^^^ +out/test/spec/memory64/memory.wast:239: assert_malformed passed: + out/test/spec/memory64/memory/memory.33.wat:1:32: error: redefinition of memory "$foo" + (import "" "" (memory $foo 1))(import "" "" (memory $foo 1)) + ^^^^^^ +69/69 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/select.txt b/test/spec/select.txt index 25420604..8914cd21 100644 --- a/test/spec/select.txt +++ b/test/spec/select.txt @@ -1,59 +1,92 @@ ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/select.wast (;; STDOUT ;;; -out/test/spec/select.wast:208: assert_trap passed: unreachable executed -out/test/spec/select.wast:209: assert_trap passed: unreachable executed -out/test/spec/select.wast:210: assert_trap passed: unreachable executed -out/test/spec/select.wast:211: assert_trap passed: unreachable executed -out/test/spec/select.wast:248: assert_trap passed: undefined table index -out/test/spec/select.wast:249: assert_trap passed: undefined table index -out/test/spec/select.wast:290: assert_invalid passed: +out/test/spec/select.wast:217: assert_trap passed: unreachable executed +out/test/spec/select.wast:218: assert_trap passed: unreachable executed +out/test/spec/select.wast:219: assert_trap passed: unreachable executed +out/test/spec/select.wast:220: assert_trap passed: unreachable executed +out/test/spec/select.wast:257: assert_trap passed: undefined table index +out/test/spec/select.wast:258: assert_trap passed: undefined table index +out/test/spec/select.wast:299: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [i32] 000001c: error: OnSelectExpr callback failed -out/test/spec/select.wast:297: assert_invalid passed: +out/test/spec/select.wast:306: assert_invalid passed: error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32] 000001e: error: OnSelectExpr callback failed -out/test/spec/select.wast:301: assert_invalid passed: +out/test/spec/select.wast:310: assert_invalid passed: error: type mismatch in select, expected [f32, f32, i32] but got [i32, f32, i32] 0000021: error: OnSelectExpr callback failed -out/test/spec/select.wast:305: assert_invalid passed: +out/test/spec/select.wast:314: assert_invalid passed: error: type mismatch in select, expected [f64, f64, i32] but got [i32, f64, i32] 0000025: error: OnSelectExpr callback failed -out/test/spec/select.wast:311: assert_invalid passed: +out/test/spec/select.wast:320: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [] 0000018: error: OnSelectExpr callback failed -out/test/spec/select.wast:319: assert_invalid passed: +out/test/spec/select.wast:328: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [i32] 000001a: error: OnSelectExpr callback failed -out/test/spec/select.wast:327: assert_invalid passed: +out/test/spec/select.wast:336: assert_invalid passed: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32] 000001c: error: OnSelectExpr callback failed -out/test/spec/select.wast:335: assert_invalid passed: +out/test/spec/select.wast:344: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [] 0000020: error: OnSelectExpr callback failed -out/test/spec/select.wast:344: assert_invalid passed: +out/test/spec/select.wast:353: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [i32] 0000020: error: OnSelectExpr callback failed -out/test/spec/select.wast:353: assert_invalid passed: +out/test/spec/select.wast:362: assert_invalid passed: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32] 0000020: error: OnSelectExpr callback failed -out/test/spec/select.wast:362: assert_invalid passed: +out/test/spec/select.wast:371: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [] 0000020: error: OnSelectExpr callback failed -out/test/spec/select.wast:371: assert_invalid passed: +out/test/spec/select.wast:380: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [i32] 0000020: error: OnSelectExpr callback failed -out/test/spec/select.wast:380: assert_invalid passed: +out/test/spec/select.wast:389: assert_invalid passed: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32] 0000020: error: OnSelectExpr callback failed -out/test/spec/select.wast:389: assert_invalid passed: +out/test/spec/select.wast:398: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [] 0000020: error: OnSelectExpr callback failed -out/test/spec/select.wast:398: assert_invalid passed: +out/test/spec/select.wast:407: assert_invalid passed: error: type mismatch in select, expected [any, any, i32] but got [i32] 0000020: error: OnSelectExpr callback failed -out/test/spec/select.wast:407: assert_invalid passed: +out/test/spec/select.wast:416: assert_invalid passed: error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32] 0000020: error: OnSelectExpr callback failed -110/110 tests passed. +out/test/spec/select.wast:428: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, i64] + 000001e: error: OnSelectExpr callback failed +out/test/spec/select.wast:432: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, f32] + 0000021: error: OnSelectExpr callback failed +out/test/spec/select.wast:436: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, f64] + 0000025: error: OnSelectExpr callback failed +out/test/spec/select.wast:443: assert_invalid passed: + error: type mismatch in implicit return, expected [i32] but got [i64] + 0000020: error: EndFunctionBody callback failed +out/test/spec/select.wast:451: assert_invalid passed: + error: type mismatch in select, expected [i64, i64, i32] but got [i32, i64, i32] + 000001f: error: OnSelectExpr callback failed +out/test/spec/select.wast:456: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i64, i32, i32] + 000001f: error: OnSelectExpr callback failed +out/test/spec/select.wast:462: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i32, i64] + 000001f: error: OnSelectExpr callback failed +out/test/spec/select.wast:467: assert_invalid passed: + error: type mismatch in select, expected [i32, i32, i32] but got [i32, i64] + 000001d: error: OnSelectExpr callback failed +out/test/spec/select.wast:472: assert_invalid passed: + error: type mismatch in select, expected [any, any, i32] but got [i64] + 000001b: error: OnSelectExpr callback failed +out/test/spec/select.wast:478: assert_invalid passed: + error: type mismatch in implicit return, expected [i32] but got [i64] + 000001f: error: EndFunctionBody callback failed +out/test/spec/select.wast:484: assert_invalid passed: + error: type mismatch in function, expected [] but got [any] + 000001a: error: EndFunctionBody callback failed +121/121 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/simd/simd_boolean.txt b/test/spec/simd/simd_boolean.txt index 1f1fa696..19459b7a 100644 --- a/test/spec/simd/simd_boolean.txt +++ b/test/spec/simd/simd_boolean.txt @@ -1,3 +1,4 @@ +;;; SKIP: ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_boolean.wast ;;; ARGS*: --enable-simd diff --git a/test/spec/simd/simd_conversions.txt b/test/spec/simd/simd_conversions.txt index e67f82b5..51f7c3b5 100644 --- a/test/spec/simd/simd_conversions.txt +++ b/test/spec/simd/simd_conversions.txt @@ -1,3 +1,4 @@ +;;; SKIP: ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_conversions.wast ;;; ARGS*: --enable-simd diff --git a/test/spec/simd/simd_i16x8_arith2.txt b/test/spec/simd/simd_i16x8_arith2.txt index 5dae3514..9668a841 100644 --- a/test/spec/simd/simd_i16x8_arith2.txt +++ b/test/spec/simd/simd_i16x8_arith2.txt @@ -1,3 +1,4 @@ +;;; SKIP: ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i16x8_arith2.wast ;;; ARGS*: --enable-simd diff --git a/test/spec/simd/simd_i16x8_extadd_pairwise_i8x16.txt b/test/spec/simd/simd_i16x8_extadd_pairwise_i8x16.txt new file mode 100644 index 00000000..4bc40f87 --- /dev/null +++ b/test/spec/simd/simd_i16x8_extadd_pairwise_i8x16.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i16x8_extadd_pairwise_i8x16.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i16x8_extmul_i8x16.txt b/test/spec/simd/simd_i16x8_extmul_i8x16.txt new file mode 100644 index 00000000..f9e0b032 --- /dev/null +++ b/test/spec/simd/simd_i16x8_extmul_i8x16.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i16x8_extmul_i8x16.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i16x8_q15mulr_sat_s.txt b/test/spec/simd/simd_i16x8_q15mulr_sat_s.txt new file mode 100644 index 00000000..80a68e51 --- /dev/null +++ b/test/spec/simd/simd_i16x8_q15mulr_sat_s.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i16x8_q15mulr_sat_s.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i32x4_dot_i16x8.txt b/test/spec/simd/simd_i32x4_dot_i16x8.txt new file mode 100644 index 00000000..84acbcc3 --- /dev/null +++ b/test/spec/simd/simd_i32x4_dot_i16x8.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i32x4_dot_i16x8.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i32x4_extadd_pairwise_i16x8.txt b/test/spec/simd/simd_i32x4_extadd_pairwise_i16x8.txt new file mode 100644 index 00000000..8435c860 --- /dev/null +++ b/test/spec/simd/simd_i32x4_extadd_pairwise_i16x8.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i32x4_extadd_pairwise_i16x8.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i32x4_extmul_i16x8.txt b/test/spec/simd/simd_i32x4_extmul_i16x8.txt new file mode 100644 index 00000000..0d9eeb61 --- /dev/null +++ b/test/spec/simd/simd_i32x4_extmul_i16x8.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i32x4_extmul_i16x8.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i32x4_trunc_sat_f32x4.txt b/test/spec/simd/simd_i32x4_trunc_sat_f32x4.txt new file mode 100644 index 00000000..ef1318ff --- /dev/null +++ b/test/spec/simd/simd_i32x4_trunc_sat_f32x4.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i32x4_trunc_sat_f32x4.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i32x4_trunc_sat_f64x2.txt b/test/spec/simd/simd_i32x4_trunc_sat_f64x2.txt new file mode 100644 index 00000000..0d41382f --- /dev/null +++ b/test/spec/simd/simd_i32x4_trunc_sat_f64x2.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i32x4_trunc_sat_f64x2.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i64x2_arith2.txt b/test/spec/simd/simd_i64x2_arith2.txt new file mode 100644 index 00000000..29fd8692 --- /dev/null +++ b/test/spec/simd/simd_i64x2_arith2.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i64x2_arith2.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i64x2_cmp.txt b/test/spec/simd/simd_i64x2_cmp.txt new file mode 100644 index 00000000..e5991804 --- /dev/null +++ b/test/spec/simd/simd_i64x2_cmp.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i64x2_cmp.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i64x2_extmul_i32x4.txt b/test/spec/simd/simd_i64x2_extmul_i32x4.txt new file mode 100644 index 00000000..5736dbb9 --- /dev/null +++ b/test/spec/simd/simd_i64x2_extmul_i32x4.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i64x2_extmul_i32x4.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_i8x16_arith2.txt b/test/spec/simd/simd_i8x16_arith2.txt index d0ba6b92..b10a6764 100644 --- a/test/spec/simd/simd_i8x16_arith2.txt +++ b/test/spec/simd/simd_i8x16_arith2.txt @@ -1,3 +1,4 @@ +;;; SKIP: ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_i8x16_arith2.wast ;;; ARGS*: --enable-simd diff --git a/test/spec/simd/simd_int_to_int_extend.txt b/test/spec/simd/simd_int_to_int_extend.txt new file mode 100644 index 00000000..32479a30 --- /dev/null +++ b/test/spec/simd/simd_int_to_int_extend.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_int_to_int_extend.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_lane.txt b/test/spec/simd/simd_lane.txt index d8db834f..fd1301ec 100644 --- a/test/spec/simd/simd_lane.txt +++ b/test/spec/simd/simd_lane.txt @@ -1,3 +1,4 @@ +;;; SKIP: ;;; TOOL: run-interp-spec ;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_lane.wast ;;; ARGS*: --enable-simd diff --git a/test/spec/simd/simd_load16_lane.txt b/test/spec/simd/simd_load16_lane.txt new file mode 100644 index 00000000..4097ce03 --- /dev/null +++ b/test/spec/simd/simd_load16_lane.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_load16_lane.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_load32_lane.txt b/test/spec/simd/simd_load32_lane.txt new file mode 100644 index 00000000..dbd27a5f --- /dev/null +++ b/test/spec/simd/simd_load32_lane.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_load32_lane.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_load64_lane.txt b/test/spec/simd/simd_load64_lane.txt new file mode 100644 index 00000000..fdfb2250 --- /dev/null +++ b/test/spec/simd/simd_load64_lane.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_load64_lane.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_load8_lane.txt b/test/spec/simd/simd_load8_lane.txt new file mode 100644 index 00000000..14ebd1f0 --- /dev/null +++ b/test/spec/simd/simd_load8_lane.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_load8_lane.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_load_zero.txt b/test/spec/simd/simd_load_zero.txt new file mode 100644 index 00000000..ec258dad --- /dev/null +++ b/test/spec/simd/simd_load_zero.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_load_zero.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_store16_lane.txt b/test/spec/simd/simd_store16_lane.txt new file mode 100644 index 00000000..6865adb4 --- /dev/null +++ b/test/spec/simd/simd_store16_lane.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_store16_lane.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_store32_lane.txt b/test/spec/simd/simd_store32_lane.txt new file mode 100644 index 00000000..17f1e63e --- /dev/null +++ b/test/spec/simd/simd_store32_lane.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_store32_lane.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_store64_lane.txt b/test/spec/simd/simd_store64_lane.txt new file mode 100644 index 00000000..6d63dd65 --- /dev/null +++ b/test/spec/simd/simd_store64_lane.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_store64_lane.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/spec/simd/simd_store8_lane.txt b/test/spec/simd/simd_store8_lane.txt new file mode 100644 index 00000000..ecbeec94 --- /dev/null +++ b/test/spec/simd/simd_store8_lane.txt @@ -0,0 +1,4 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/simd/simd_store8_lane.wast +;;; ARGS*: --enable-simd +;;; SKIP: diff --git a/test/wasm2c/spec/global.txt b/test/wasm2c/spec/global.txt index e7b215bb..5eff09b3 100644 --- a/test/wasm2c/spec/global.txt +++ b/test/wasm2c/spec/global.txt @@ -1,5 +1,5 @@ ;;; TOOL: run-spec-wasm2c ;;; STDIN_FILE: third_party/testsuite/global.wast (;; STDOUT ;;; -46/46 tests passed. +48/48 tests passed. ;;; STDOUT ;;) diff --git a/third_party/testsuite b/third_party/testsuite -Subproject 35c50bf6fbb002cfdc1227b0af731bdcaf87771 +Subproject 9994915e0cca8b42a16c577e4c85491822367dd |