diff options
Diffstat (limited to 'test/spec/memory64')
| -rw-r--r-- | test/spec/memory64/binary.txt | 268 | ||||
| -rw-r--r-- | test/spec/memory64/binary0.txt | 10 | ||||
| -rw-r--r-- | test/spec/memory64/call_indirect.txt | 1 | ||||
| -rw-r--r-- | test/spec/memory64/imports.txt | 340 | ||||
| -rw-r--r-- | test/spec/memory64/memory.txt | 98 | ||||
| -rw-r--r-- | test/spec/memory64/memory64.txt | 58 | ||||
| -rw-r--r-- | test/spec/memory64/table.txt | 101 | ||||
| -rw-r--r-- | test/spec/memory64/table_copy_mixed.txt | 15 | ||||
| -rw-r--r-- | test/spec/memory64/table_grow.txt | 30 |
9 files changed, 642 insertions, 279 deletions
diff --git a/test/spec/memory64/binary.txt b/test/spec/memory64/binary.txt index 66ac3ad9..28441993 100644 --- a/test/spec/memory64/binary.txt +++ b/test/spec/memory64/binary.txt @@ -59,7 +59,7 @@ out/test/spec/memory64/binary.wast:44: assert_malformed passed: 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: 13 + 000000a: error: invalid section code: 14 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: @@ -68,217 +68,151 @@ 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:210: assert_malformed passed: - 000000c: error: unexpected type form (got 0xe0) -out/test/spec/memory64/binary.wast:223: assert_malformed passed: - 000000c: error: unable to read u64 leb128: memory initial page count -out/test/spec/memory64/binary.wast:233: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:243: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:254: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:264: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:276: assert_malformed passed: - 000000c: error: unable to read u64 leb128: memory initial page count -out/test/spec/memory64/binary.wast:284: assert_malformed passed: - 000000c: error: unable to read u64 leb128: memory initial page count -out/test/spec/memory64/binary.wast:294: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:304: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:314: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:324: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:335: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:345: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:355: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:365: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:376: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:386: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:396: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:406: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:418: assert_malformed passed: +out/test/spec/memory64/binary.wast:56: assert_malformed passed: 000001b: error: function body must end with END opcode -out/test/spec/memory64/binary.wast:439: assert_malformed passed: +out/test/spec/memory64/binary.wast:77: assert_malformed passed: 000001a: error: function body must end with END opcode -out/test/spec/memory64/binary.wast:455: assert_malformed passed: +out/test/spec/memory64/binary.wast:93: assert_malformed passed: 000001a: error: function body must end with END opcode -out/test/spec/memory64/binary.wast:475: assert_malformed passed: - 000000c: error: unable to read u64 leb128: memory initial page count -out/test/spec/memory64/binary.wast:483: assert_malformed passed: - 0000022: error: unable to read u64 leb128: load offset -out/test/spec/memory64/binary.wast:502: assert_malformed passed: - 0000021: error: unable to read u32 leb128: load alignment -out/test/spec/memory64/binary.wast:521: assert_malformed passed: - 0000023: error: unable to read u32 leb128: store alignment -out/test/spec/memory64/binary.wast:540: assert_malformed passed: - 0000024: error: unable to read u64 leb128: store offset -out/test/spec/memory64/binary.wast:561: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:571: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:582: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:592: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:604: assert_malformed passed: - 000000c: error: unable to read u64 leb128: memory initial page count -out/test/spec/memory64/binary.wast:612: assert_malformed passed: - 000000c: error: unable to read u64 leb128: memory initial page count -out/test/spec/memory64/binary.wast:620: assert_malformed passed: - 0000022: error: unable to read u64 leb128: load offset -out/test/spec/memory64/binary.wast:639: assert_malformed passed: - 0000022: error: unable to read u64 leb128: load offset -out/test/spec/memory64/binary.wast:658: assert_malformed passed: - 0000021: error: unable to read u32 leb128: load alignment -out/test/spec/memory64/binary.wast:676: assert_malformed passed: - 0000021: error: unable to read u32 leb128: load alignment -out/test/spec/memory64/binary.wast:695: assert_malformed passed: - 0000023: error: unable to read u32 leb128: store alignment -out/test/spec/memory64/binary.wast:714: assert_malformed passed: - 0000023: error: unable to read u32 leb128: store alignment -out/test/spec/memory64/binary.wast:733: assert_malformed passed: - 0000024: error: unable to read u64 leb128: store offset -out/test/spec/memory64/binary.wast:752: assert_malformed passed: - 0000024: error: unable to read u64 leb128: store offset -out/test/spec/memory64/binary.wast:774: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:784: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:794: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:804: assert_malformed passed: - 000000e: error: unable to read i32 leb128: i32.const value -out/test/spec/memory64/binary.wast:815: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:825: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:835: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:845: assert_malformed passed: - 000000e: error: unable to read i64 leb128: i64.const value -out/test/spec/memory64/binary.wast:857: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/memory64/binary.wast:877: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/memory64/binary.wast:897: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/memory64/binary.wast:916: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/memory64/binary.wast:935: assert_malformed passed: - 0000020: error: memory.grow reserved value must be 0 -out/test/spec/memory64/binary.wast:955: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/memory64/binary.wast:974: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/memory64/binary.wast:993: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/memory64/binary.wast:1011: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/memory64/binary.wast:1029: assert_malformed passed: - 000001e: error: memory.size reserved value must be 0 -out/test/spec/memory64/binary.wast:1048: assert_malformed passed: +out/test/spec/memory64/binary.wast:113: assert_malformed passed: + 0000019: error: init expression must end with END opcode +out/test/spec/memory64/binary.wast:126: assert_malformed passed: 0000017: error: unable to read u32 leb128: local type count -out/test/spec/memory64/binary.wast:1065: assert_malformed passed: +out/test/spec/memory64/binary.wast:143: assert_malformed passed: 0000017: error: unable to read u32 leb128: local type count -out/test/spec/memory64/binary.wast:1082: assert_malformed passed: +out/test/spec/memory64/binary.wast:160: assert_malformed passed: 000001e: error: local count must be <= 0xffffffff -out/test/spec/memory64/binary.wast:1098: assert_malformed passed: +out/test/spec/memory64/binary.wast:176: assert_malformed passed: 0000030: error: local count must be <= 0xffffffff -out/test/spec/memory64/binary.wast:1132: assert_malformed passed: +out/test/spec/memory64/binary.wast:210: assert_malformed passed: 0000013: error: function signature count != function body count -out/test/spec/memory64/binary.wast:1142: assert_malformed passed: +out/test/spec/memory64/binary.wast:220: assert_malformed passed: 000000b: error: function signature count != function body count -out/test/spec/memory64/binary.wast:1151: assert_malformed passed: +out/test/spec/memory64/binary.wast:229: assert_malformed passed: 0000016: error: function signature count != function body count -out/test/spec/memory64/binary.wast:1162: assert_malformed passed: +out/test/spec/memory64/binary.wast:240: assert_malformed passed: 0000015: error: function signature count != function body count -out/test/spec/memory64/binary.wast:1185: assert_malformed passed: +out/test/spec/memory64/binary.wast:263: assert_malformed passed: 000000e: error: data segment count does not equal count in DataCount section -out/test/spec/memory64/binary.wast:1195: assert_malformed passed: +out/test/spec/memory64/binary.wast:275: assert_malformed passed: 000000e: error: data segment count does not equal count in DataCount section -out/test/spec/memory64/binary.wast:1205: assert_malformed passed: +out/test/spec/memory64/binary.wast:287: assert_malformed passed: + 0000010: error: Data section missing but DataCount non-zero +out/test/spec/memory64/binary.wast:303: assert_malformed passed: 0000024: error: memory.init requires data count section -out/test/spec/memory64/binary.wast:1227: assert_malformed passed: +out/test/spec/memory64/binary.wast:326: assert_malformed passed: 000001e: error: data.drop requires data count section -out/test/spec/memory64/binary.wast:1246: assert_malformed passed: +out/test/spec/memory64/binary.wast:346: assert_malformed passed: 0000024: error: unexpected opcode: 0xf3 -out/test/spec/memory64/binary.wast:1272: assert_malformed passed: +out/test/spec/memory64/binary.wast:374: assert_malformed passed: 0000022: error: table elem type must be a reference type -out/test/spec/memory64/binary.wast:1353: assert_malformed passed: +out/test/spec/memory64/binary.wast:459: assert_malformed passed: 000000a: error: invalid section size: extends past end -out/test/spec/memory64/binary.wast:1364: assert_malformed passed: +out/test/spec/memory64/binary.wast:470: assert_malformed passed: 000000e: error: unfinished section (expected end: 0x11) -out/test/spec/memory64/binary.wast:1383: assert_malformed passed: - 000000e: error: invalid import tag kind: exceptions not allowed -out/test/spec/memory64/binary.wast:1393: assert_malformed passed: - 000000e: error: invalid import tag kind: exceptions not allowed -out/test/spec/memory64/binary.wast:1404: assert_malformed passed: +out/test/spec/memory64/binary.wast:489: assert_malformed passed: + 000000e: error: malformed import kind: 5 +out/test/spec/memory64/binary.wast:499: assert_malformed passed: 000000e: error: malformed import kind: 5 -out/test/spec/memory64/binary.wast:1414: assert_malformed passed: +out/test/spec/memory64/binary.wast:510: assert_malformed passed: 000000e: error: malformed import kind: 5 -out/test/spec/memory64/binary.wast:1425: assert_malformed passed: +out/test/spec/memory64/binary.wast:520: assert_malformed passed: + 000000e: error: malformed import kind: 5 +out/test/spec/memory64/binary.wast:531: assert_malformed passed: 000000e: error: malformed import kind: 128 -out/test/spec/memory64/binary.wast:1435: assert_malformed passed: +out/test/spec/memory64/binary.wast:541: assert_malformed passed: 000000e: error: malformed import kind: 128 -out/test/spec/memory64/binary.wast:1448: assert_malformed passed: +out/test/spec/memory64/binary.wast:554: assert_malformed passed: 0000027: error: unable to read u32 leb128: string length -out/test/spec/memory64/binary.wast:1467: assert_malformed passed: +out/test/spec/memory64/binary.wast:573: assert_malformed passed: 000002b: error: unfinished section (expected end: 0x40) -out/test/spec/memory64/binary.wast:1498: assert_malformed passed: +out/test/spec/memory64/binary.wast:604: assert_malformed passed: 000000b: error: invalid table count 1, only 0 bytes left in section -out/test/spec/memory64/binary.wast:1508: assert_malformed passed: +out/test/spec/memory64/binary.wast:614: assert_malformed passed: 000000d: error: malformed table limits flag: 8 -out/test/spec/memory64/binary.wast:1517: assert_malformed passed: +out/test/spec/memory64/binary.wast:623: assert_malformed passed: 000000d: error: malformed table limits flag: 8 -out/test/spec/memory64/binary.wast:1527: assert_malformed passed: +out/test/spec/memory64/binary.wast:633: assert_malformed passed: 000000d: error: malformed table limits flag: 129 -out/test/spec/memory64/binary.wast:1545: assert_malformed passed: +out/test/spec/memory64/binary.wast:651: assert_malformed passed: 000000b: error: invalid memory count 1, only 0 bytes left in section -out/test/spec/memory64/binary.wast:1555: assert_malformed passed: +out/test/spec/memory64/binary.wast:661: assert_malformed passed: 000000c: error: malformed memory limits flag: 8 -out/test/spec/memory64/binary.wast:1563: assert_malformed passed: +out/test/spec/memory64/binary.wast:669: assert_malformed passed: 000000c: error: malformed memory limits flag: 8 -out/test/spec/memory64/binary.wast:1572: assert_malformed passed: +out/test/spec/memory64/binary.wast:678: assert_malformed passed: 000000c: error: malformed memory limits flag: 129 -out/test/spec/memory64/binary.wast:1581: assert_malformed passed: +out/test/spec/memory64/binary.wast:687: assert_malformed passed: 000000c: error: malformed memory limits flag: 129 -out/test/spec/memory64/binary.wast:1598: assert_malformed passed: +out/test/spec/memory64/binary.wast:704: assert_malformed passed: 0000010: error: unable to read i32 leb128: global type -out/test/spec/memory64/binary.wast:1609: assert_malformed passed: +out/test/spec/memory64/binary.wast:715: assert_malformed passed: 0000010: error: unfinished section (expected end: 0x15) -out/test/spec/memory64/binary.wast:1632: assert_malformed passed: +out/test/spec/memory64/binary.wast:738: assert_malformed passed: 000001b: error: unable to read u32 leb128: string length -out/test/spec/memory64/binary.wast:1653: assert_malformed passed: +out/test/spec/memory64/binary.wast:759: assert_malformed passed: 000001b: error: unfinished section (expected end: 0x20) -out/test/spec/memory64/binary.wast:1687: assert_malformed passed: +out/test/spec/memory64/binary.wast:793: assert_malformed passed: 0000021: error: unable to read u32 leb128: elem segment flags -out/test/spec/memory64/binary.wast:1703: assert_malformed passed: +out/test/spec/memory64/binary.wast:809: assert_malformed passed: 0000024: error: init expression must end with END opcode -out/test/spec/memory64/binary.wast:1720: assert_malformed passed: +out/test/spec/memory64/binary.wast:826: assert_malformed passed: 0000021: error: unfinished section (expected end: 0x27) -out/test/spec/memory64/binary.wast:1746: assert_malformed passed: +out/test/spec/memory64/binary.wast:852: assert_malformed passed: 0000016: error: unable to read u32 leb128: data segment flags -out/test/spec/memory64/binary.wast:1759: assert_malformed passed: +out/test/spec/memory64/binary.wast:865: assert_malformed passed: 0000016: error: unfinished section (expected end: 0x1c) -out/test/spec/memory64/binary.wast:1772: assert_malformed passed: +out/test/spec/memory64/binary.wast:878: assert_malformed passed: 0000015: error: unable to read data: data segment data -out/test/spec/memory64/binary.wast:1786: assert_malformed passed: +out/test/spec/memory64/binary.wast:892: assert_malformed passed: 000001a: error: unfinished section (expected end: 0x1b) -out/test/spec/memory64/binary.wast:1817: assert_malformed passed: +out/test/spec/memory64/binary.wast:923: assert_malformed passed: 0000048: error: function body must end with END opcode -out/test/spec/memory64/binary.wast:1864: assert_malformed passed: +out/test/spec/memory64/binary.wast:970: assert_malformed passed: 0000017: error: multiple Start sections -177/177 tests passed. +out/test/spec/memory64/binary.wast:987: assert_malformed passed: + 0000014: error: multiple Function sections +out/test/spec/memory64/binary.wast:999: assert_malformed passed: + 0000016: error: function signature count != function body count +out/test/spec/memory64/binary.wast:1011: assert_malformed passed: + 000000d: error: multiple DataCount sections +out/test/spec/memory64/binary.wast:1021: assert_malformed passed: + 000000d: error: multiple Data sections +out/test/spec/memory64/binary.wast:1031: assert_malformed passed: + 000000d: error: multiple Global sections +out/test/spec/memory64/binary.wast:1041: assert_malformed passed: + 000000d: error: multiple Export sections +out/test/spec/memory64/binary.wast:1051: assert_malformed passed: + 000000d: error: multiple Table sections +out/test/spec/memory64/binary.wast:1061: assert_malformed passed: + 000000d: error: multiple Elem sections +out/test/spec/memory64/binary.wast:1071: assert_malformed passed: + 000000d: error: multiple Import sections +out/test/spec/memory64/binary.wast:1081: assert_malformed passed: + 000000d: error: multiple Type sections +out/test/spec/memory64/binary.wast:1091: assert_malformed passed: + 000000d: error: multiple Memory sections +out/test/spec/memory64/binary.wast:1101: assert_malformed passed: + 000000d: error: section Type out of order +out/test/spec/memory64/binary.wast:1111: assert_malformed passed: + 000000d: error: section Import out of order +out/test/spec/memory64/binary.wast:1121: assert_malformed passed: + 000000d: error: section Function out of order +out/test/spec/memory64/binary.wast:1131: assert_malformed passed: + 000000d: error: section Table out of order +out/test/spec/memory64/binary.wast:1141: assert_malformed passed: + 000000d: error: section Memory out of order +out/test/spec/memory64/binary.wast:1151: assert_malformed passed: + 000000d: error: section Global out of order +out/test/spec/memory64/binary.wast:1161: assert_malformed passed: + 0000011: error: section Export out of order +out/test/spec/memory64/binary.wast:1172: assert_malformed passed: + 0000011: error: section Start out of order +out/test/spec/memory64/binary.wast:1183: assert_malformed passed: + 000000d: error: section Elem out of order +out/test/spec/memory64/binary.wast:1193: assert_malformed passed: + 000000d: error: section DataCount out of order +out/test/spec/memory64/binary.wast:1203: assert_malformed passed: + 000000d: error: section Code out of order +126/126 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/memory64/binary0.txt b/test/spec/memory64/binary0.txt new file mode 100644 index 00000000..4a5f0647 --- /dev/null +++ b/test/spec/memory64/binary0.txt @@ -0,0 +1,10 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/binary0.wast +;;; ARGS*: --enable-memory64 --enable-multi-memory +(;; STDOUT ;;; +out/test/spec/memory64/binary0.wast:48: assert_malformed passed: + 000000e: error: unable to read u64 leb128: memory initial page count +out/test/spec/memory64/binary0.wast:59: assert_malformed passed: + 000000d: error: unable to read uint8_t: memory flags +7/7 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/memory64/call_indirect.txt b/test/spec/memory64/call_indirect.txt index e40b4d49..1f1c5cc9 100644 --- a/test/spec/memory64/call_indirect.txt +++ b/test/spec/memory64/call_indirect.txt @@ -87,6 +87,7 @@ out/test/spec/memory64/call_indirect.wast:786: assert_malformed passed: ^^^^^^^^^^^^^ out/test/spec/memory64/call_indirect.wast:801: assert_invalid passed: out/test/spec/memory64/call_indirect/call_indirect.13.wasm:000001c: error: table variable out of range: 0 (max 0) + out/test/spec/memory64/call_indirect/call_indirect.13.wasm:000001c: error: type mismatch: call_indirect must reference table of funcref type 000001c: error: OnCallIndirectExpr callback failed out/test/spec/memory64/call_indirect.wast:809: assert_invalid passed: out/test/spec/memory64/call_indirect/call_indirect.14.wasm:0000023: error: type mismatch in i32.eqz, expected [i32] but got [] diff --git a/test/spec/memory64/imports.txt b/test/spec/memory64/imports.txt new file mode 100644 index 00000000..f62c98b4 --- /dev/null +++ b/test/spec/memory64/imports.txt @@ -0,0 +1,340 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/imports.wast +;;; ARGS*: --enable-memory64 --enable-exceptions --enable-multi-memory +(;; STDOUT ;;; +called host spectest.print_i32(i32:13) => +called host spectest.print_i32_f32(i32:14, f32:42.000000) => +called host spectest.print_i32(i32:13) => +called host spectest.print_i32(i32:13) => +called host spectest.print_f32(f32:13.000000) => +called host spectest.print_i32(i32:13) => +called host spectest.print_i64(i64:24) => +called host spectest.print_f64_f64(f64:25.000000, f64:53.000000) => +called host spectest.print_i64(i64:24) => +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/memory64/imports.wast:99: assert_invalid passed: + out/test/spec/memory64/imports/imports.2.wasm:000001e: error: function type variable out of range: 1 (max 1) + 000001e: error: OnImportFunc callback failed +called host spectest.print_i32(i32:13) => +out/test/spec/memory64/imports.wast:135: assert_unlinkable passed: + error: invalid import "test.unknown" +out/test/spec/memory64/imports.wast:139: assert_unlinkable passed: + error: invalid import "spectest.unknown" +out/test/spec/memory64/imports.wast:144: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:148: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:152: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:156: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:160: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:164: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:168: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:172: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:176: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:180: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:184: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:188: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:192: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:196: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:200: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:204: assert_unlinkable passed: + error: import signature mismatch +out/test/spec/memory64/imports.wast:209: assert_unlinkable passed: + error: expected import "test.global-i32" to have kind func, not global +out/test/spec/memory64/imports.wast:213: assert_unlinkable passed: + error: expected import "test.table-10-inf" to have kind func, not table +out/test/spec/memory64/imports.wast:217: assert_unlinkable passed: + error: expected import "test.memory-2-inf" to have kind func, not memory +out/test/spec/memory64/imports.wast:221: assert_unlinkable passed: + error: expected import "test.tag" to have kind func, not tag +out/test/spec/memory64/imports.wast:225: assert_unlinkable passed: + error: expected import "spectest.global_i32" to have kind func, not global +out/test/spec/memory64/imports.wast:229: assert_unlinkable passed: + error: expected import "spectest.table" to have kind func, not table +out/test/spec/memory64/imports.wast:233: assert_unlinkable passed: + error: expected import "spectest.memory" to have kind func, not memory +out/test/spec/memory64/imports.wast:238: assert_unlinkable passed: + error: invalid import "test.unknown" +out/test/spec/memory64/imports.wast:242: assert_unlinkable passed: + error: signature mismatch in imported tag +out/test/spec/memory64/imports.wast:246: assert_unlinkable passed: + error: signature mismatch in imported tag +out/test/spec/memory64/imports.wast:250: assert_unlinkable passed: + error: signature mismatch in imported tag +out/test/spec/memory64/imports.wast:254: assert_unlinkable passed: + error: expected import "test.func-i32" to have kind tag, not func +out/test/spec/memory64/imports.wast:294: assert_unlinkable passed: + error: invalid import "test.unknown" +out/test/spec/memory64/imports.wast:298: assert_unlinkable passed: + error: invalid import "spectest.unknown" +out/test/spec/memory64/imports.wast:303: assert_unlinkable passed: + error: type mismatch in imported global, expected i64 but got i32. +out/test/spec/memory64/imports.wast:307: assert_unlinkable passed: + error: type mismatch in imported global, expected f32 but got i32. +out/test/spec/memory64/imports.wast:311: assert_unlinkable passed: + error: type mismatch in imported global, expected f64 but got i32. +out/test/spec/memory64/imports.wast:315: assert_unlinkable passed: + error: mutability mismatch in imported global, expected immutable but got mutable. +out/test/spec/memory64/imports.wast:319: assert_unlinkable passed: + error: type mismatch in imported global, expected i32 but got f32. +out/test/spec/memory64/imports.wast:323: assert_unlinkable passed: + error: type mismatch in imported global, expected i64 but got f32. +out/test/spec/memory64/imports.wast:327: assert_unlinkable passed: + error: type mismatch in imported global, expected f64 but got f32. +out/test/spec/memory64/imports.wast:331: assert_unlinkable passed: + error: mutability mismatch in imported global, expected immutable but got mutable. +out/test/spec/memory64/imports.wast:335: assert_unlinkable passed: + error: type mismatch in imported global, expected i32 but got i64. +out/test/spec/memory64/imports.wast:339: assert_unlinkable passed: + error: type mismatch in imported global, expected f32 but got i64. +out/test/spec/memory64/imports.wast:343: assert_unlinkable passed: + error: type mismatch in imported global, expected f64 but got i64. +out/test/spec/memory64/imports.wast:347: assert_unlinkable passed: + error: mutability mismatch in imported global, expected mutable but got immutable. +out/test/spec/memory64/imports.wast:352: assert_unlinkable passed: + error: expected import "test.func" to have kind global, not func +out/test/spec/memory64/imports.wast:356: assert_unlinkable passed: + error: expected import "test.table-10-inf" to have kind global, not table +out/test/spec/memory64/imports.wast:360: assert_unlinkable passed: + error: expected import "test.memory-2-inf" to have kind global, not memory +out/test/spec/memory64/imports.wast:364: assert_unlinkable passed: + error: expected import "spectest.print_i32" to have kind global, not func +out/test/spec/memory64/imports.wast:368: assert_unlinkable passed: + error: expected import "spectest.table" to have kind global, not table +out/test/spec/memory64/imports.wast:372: assert_unlinkable passed: + error: expected import "spectest.memory" to have kind global, not memory +out/test/spec/memory64/imports.wast:392: assert_trap passed: uninitialized table element +out/test/spec/memory64/imports.wast:395: assert_trap passed: uninitialized table element +out/test/spec/memory64/imports.wast:396: assert_trap passed: undefined table index +out/test/spec/memory64/imports.wast:412: assert_trap passed: uninitialized table element +out/test/spec/memory64/imports.wast:415: assert_trap passed: uninitialized table element +out/test/spec/memory64/imports.wast:416: assert_trap passed: undefined table index +out/test/spec/memory64/imports.wast:463: assert_unlinkable passed: + error: invalid import "test.unknown" +out/test/spec/memory64/imports.wast:467: assert_unlinkable passed: + error: invalid import "spectest.unknown" +out/test/spec/memory64/imports.wast:472: assert_unlinkable passed: + error: actual size (10) smaller than declared (12) +out/test/spec/memory64/imports.wast:476: assert_unlinkable passed: + error: max size (unspecified) larger than declared (20) +out/test/spec/memory64/imports.wast:480: assert_unlinkable passed: + error: actual size (10) smaller than declared (12) +out/test/spec/memory64/imports.wast:484: assert_unlinkable passed: + error: max size (unspecified) larger than declared (20) +out/test/spec/memory64/imports.wast:488: assert_unlinkable passed: + error: actual size (10) smaller than declared (12) +out/test/spec/memory64/imports.wast:492: assert_unlinkable passed: + error: max size (20) larger than declared (18) +out/test/spec/memory64/imports.wast:496: assert_unlinkable passed: + error: actual size (10) smaller than declared (12) +out/test/spec/memory64/imports.wast:500: assert_unlinkable passed: + error: max size (20) larger than declared (18) +out/test/spec/memory64/imports.wast:504: assert_unlinkable passed: + error: actual size (10) smaller than declared (12) +out/test/spec/memory64/imports.wast:508: assert_unlinkable passed: + error: max size (20) larger than declared (15) +out/test/spec/memory64/imports.wast:513: assert_unlinkable passed: + error: expected import "test.func" to have kind table, not func +out/test/spec/memory64/imports.wast:517: assert_unlinkable passed: + error: expected import "test.global-i32" to have kind table, not global +out/test/spec/memory64/imports.wast:521: assert_unlinkable passed: + error: expected import "test.memory-2-inf" to have kind table, not memory +out/test/spec/memory64/imports.wast:525: assert_unlinkable passed: + error: expected import "spectest.print_i32" to have kind table, not func +out/test/spec/memory64/imports.wast:530: assert_unlinkable passed: + error: expected i64 memory, but i32 memory provided +out/test/spec/memory64/imports.wast:534: assert_unlinkable passed: + error: expected i32 memory, but i64 memory provided +out/test/spec/memory64/imports.wast:538: assert_unlinkable passed: + error: expected i64 memory, but i32 memory provided +out/test/spec/memory64/imports.wast:542: assert_unlinkable passed: + error: expected i32 memory, but i64 memory provided +out/test/spec/memory64/imports.wast:561: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 +out/test/spec/memory64/imports.wast:574: assert_trap passed: out of bounds memory access: access at 1000000+4 >= max value 65536 +out/test/spec/memory64/imports.wast:607: assert_unlinkable passed: + error: invalid import "test.unknown" +out/test/spec/memory64/imports.wast:611: assert_unlinkable passed: + error: invalid import "spectest.unknown" +out/test/spec/memory64/imports.wast:616: assert_unlinkable passed: + error: max size (unspecified) larger than declared (1) +out/test/spec/memory64/imports.wast:620: assert_unlinkable passed: + error: max size (unspecified) larger than declared (2) +out/test/spec/memory64/imports.wast:624: assert_unlinkable passed: + error: max size (unspecified) larger than declared (3) +out/test/spec/memory64/imports.wast:628: assert_unlinkable passed: + error: max size (unspecified) larger than declared (3) +out/test/spec/memory64/imports.wast:632: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:636: assert_unlinkable passed: + error: max size (4) larger than declared (1) +out/test/spec/memory64/imports.wast:640: assert_unlinkable passed: + error: max size (4) larger than declared (2) +out/test/spec/memory64/imports.wast:644: assert_unlinkable passed: + error: max size (4) larger than declared (3) +out/test/spec/memory64/imports.wast:648: assert_unlinkable passed: + error: max size (4) larger than declared (2) +out/test/spec/memory64/imports.wast:652: assert_unlinkable passed: + error: max size (4) larger than declared (3) +out/test/spec/memory64/imports.wast:656: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:660: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:664: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:668: assert_unlinkable passed: + error: actual size (2) smaller than declared (4) +out/test/spec/memory64/imports.wast:672: assert_unlinkable passed: + error: actual size (2) smaller than declared (4) +out/test/spec/memory64/imports.wast:676: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:680: assert_unlinkable passed: + error: actual size (2) smaller than declared (4) +out/test/spec/memory64/imports.wast:684: assert_unlinkable passed: + error: actual size (2) smaller than declared (5) +out/test/spec/memory64/imports.wast:688: assert_unlinkable passed: + error: max size (unspecified) larger than declared (1) +out/test/spec/memory64/imports.wast:692: assert_unlinkable passed: + error: max size (unspecified) larger than declared (2) +out/test/spec/memory64/imports.wast:696: assert_unlinkable passed: + error: max size (unspecified) larger than declared (3) +out/test/spec/memory64/imports.wast:700: assert_unlinkable passed: + error: max size (unspecified) larger than declared (3) +out/test/spec/memory64/imports.wast:704: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:708: assert_unlinkable passed: + error: max size (4) larger than declared (1) +out/test/spec/memory64/imports.wast:712: assert_unlinkable passed: + error: max size (4) larger than declared (2) +out/test/spec/memory64/imports.wast:716: assert_unlinkable passed: + error: max size (4) larger than declared (3) +out/test/spec/memory64/imports.wast:720: assert_unlinkable passed: + error: max size (4) larger than declared (2) +out/test/spec/memory64/imports.wast:724: assert_unlinkable passed: + error: max size (4) larger than declared (3) +out/test/spec/memory64/imports.wast:728: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:732: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:736: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:740: assert_unlinkable passed: + error: actual size (2) smaller than declared (4) +out/test/spec/memory64/imports.wast:744: assert_unlinkable passed: + error: actual size (2) smaller than declared (4) +out/test/spec/memory64/imports.wast:748: assert_unlinkable passed: + error: actual size (2) smaller than declared (3) +out/test/spec/memory64/imports.wast:752: assert_unlinkable passed: + error: actual size (2) smaller than declared (4) +out/test/spec/memory64/imports.wast:756: assert_unlinkable passed: + error: actual size (2) smaller than declared (5) +out/test/spec/memory64/imports.wast:760: assert_unlinkable passed: + error: actual size (1) smaller than declared (2) +out/test/spec/memory64/imports.wast:764: assert_unlinkable passed: + error: max size (2) larger than declared (1) +out/test/spec/memory64/imports.wast:769: assert_unlinkable passed: + error: expected i64 memory, but i32 memory provided +out/test/spec/memory64/imports.wast:773: assert_unlinkable passed: + error: expected i32 memory, but i64 memory provided +out/test/spec/memory64/imports.wast:777: assert_unlinkable passed: + error: expected i64 memory, but i32 memory provided +out/test/spec/memory64/imports.wast:781: assert_unlinkable passed: + error: expected i32 memory, but i64 memory provided +out/test/spec/memory64/imports.wast:786: assert_unlinkable passed: + error: expected import "test.func-i32" to have kind memory, not func +out/test/spec/memory64/imports.wast:790: assert_unlinkable passed: + error: expected import "test.global-i32" to have kind memory, not global +out/test/spec/memory64/imports.wast:794: assert_unlinkable passed: + error: expected import "test.table-10-inf" to have kind memory, not table +out/test/spec/memory64/imports.wast:798: assert_unlinkable passed: + error: expected import "spectest.print_i32" to have kind memory, not func +out/test/spec/memory64/imports.wast:802: assert_unlinkable passed: + error: expected import "spectest.global_i32" to have kind memory, not global +out/test/spec/memory64/imports.wast:806: assert_unlinkable passed: + error: expected import "spectest.table" to have kind memory, not table +out/test/spec/memory64/imports.wast:811: assert_unlinkable passed: + error: actual size (1) smaller than declared (2) +out/test/spec/memory64/imports.wast:815: assert_unlinkable passed: + error: max size (2) larger than declared (1) +out/test/spec/memory64/imports.wast:833: assert_malformed passed: + out/test/spec/memory64/imports/imports.205.wat:1:9: error: imports must occur before all non-import definitions + (func) (import "" "" (func)) + ^^^^^^ +out/test/spec/memory64/imports.wast:837: assert_malformed passed: + out/test/spec/memory64/imports/imports.206.wat:1:9: error: imports must occur before all non-import definitions + (func) (import "" "" (global i64)) + ^^^^^^ +out/test/spec/memory64/imports.wast:841: assert_malformed passed: + out/test/spec/memory64/imports/imports.207.wat:1:9: error: imports must occur before all non-import definitions + (func) (import "" "" (table 0 funcref)) + ^^^^^^ +out/test/spec/memory64/imports.wast:845: assert_malformed passed: + out/test/spec/memory64/imports/imports.208.wat:1:9: error: imports must occur before all non-import definitions + (func) (import "" "" (memory 0)) + ^^^^^^ +out/test/spec/memory64/imports.wast:850: assert_malformed passed: + out/test/spec/memory64/imports/imports.209.wat:1:29: error: imports must occur before all non-import definitions + (global i64 (i64.const 0)) (import "" "" (func)) + ^^^^^^ +out/test/spec/memory64/imports.wast:854: assert_malformed passed: + out/test/spec/memory64/imports/imports.210.wat:1:29: error: imports must occur before all non-import definitions + (global i64 (i64.const 0)) (import "" "" (global f32)) + ^^^^^^ +out/test/spec/memory64/imports.wast:858: assert_malformed passed: + out/test/spec/memory64/imports/imports.211.wat:1:29: error: imports must occur before all non-import definitions + (global i64 (i64.const 0)) (import "" "" (table 0 funcref)) + ^^^^^^ +out/test/spec/memory64/imports.wast:862: assert_malformed passed: + out/test/spec/memory64/imports/imports.212.wat:1:29: error: imports must occur before all non-import definitions + (global i64 (i64.const 0)) (import "" "" (memory 0)) + ^^^^^^ +out/test/spec/memory64/imports.wast:867: assert_malformed passed: + out/test/spec/memory64/imports/imports.213.wat:1:20: error: imports must occur before all non-import definitions + (table 0 funcref) (import "" "" (func)) + ^^^^^^ +out/test/spec/memory64/imports.wast:871: assert_malformed passed: + out/test/spec/memory64/imports/imports.214.wat:1:20: error: imports must occur before all non-import definitions + (table 0 funcref) (import "" "" (global i32)) + ^^^^^^ +out/test/spec/memory64/imports.wast:875: assert_malformed passed: + out/test/spec/memory64/imports/imports.215.wat:1:20: error: imports must occur before all non-import definitions + (table 0 funcref) (import "" "" (table 0 funcref)) + ^^^^^^ +out/test/spec/memory64/imports.wast:879: assert_malformed passed: + out/test/spec/memory64/imports/imports.216.wat:1:20: error: imports must occur before all non-import definitions + (table 0 funcref) (import "" "" (memory 0)) + ^^^^^^ +out/test/spec/memory64/imports.wast:884: assert_malformed passed: + out/test/spec/memory64/imports/imports.217.wat:1:13: error: imports must occur before all non-import definitions + (memory 0) (import "" "" (func)) + ^^^^^^ +out/test/spec/memory64/imports.wast:888: assert_malformed passed: + out/test/spec/memory64/imports/imports.218.wat:1:13: error: imports must occur before all non-import definitions + (memory 0) (import "" "" (global i32)) + ^^^^^^ +out/test/spec/memory64/imports.wast:892: assert_malformed passed: + out/test/spec/memory64/imports/imports.219.wat:1:13: error: imports must occur before all non-import definitions + (memory 0) (import "" "" (table 1 3 funcref)) + ^^^^^^ +out/test/spec/memory64/imports.wast:896: assert_malformed passed: + out/test/spec/memory64/imports/imports.220.wat:1:13: error: imports must occur before all non-import definitions + (memory 0) (import "" "" (memory 1 2)) + ^^^^^^ +out/test/spec/memory64/imports.wast:906: assert_unlinkable passed: + error: invalid import "not wasm.overloaded" +257/257 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/memory64/memory.txt b/test/spec/memory64/memory.txt index 373f2cd6..222920b4 100644 --- a/test/spec/memory64/memory.txt +++ b/test/spec/memory64/memory.txt @@ -2,86 +2,80 @@ ;;; STDIN_FILE: third_party/testsuite/proposals/memory64/memory.wast ;;; ARGS*: --enable-memory64 (;; STDOUT ;;; -out/test/spec/memory64/memory.wast:10: assert_invalid passed: - out/test/spec/memory64/memory/memory.6.wasm:000000f: error: only one memory block allowed - 000000f: error: OnMemory callback failed -out/test/spec/memory64/memory.wast:11: assert_invalid passed: - out/test/spec/memory64/memory/memory.7.wasm:0000023: error: only one memory block allowed - 0000023: error: OnMemory callback failed -out/test/spec/memory64/memory.wast:20: assert_invalid passed: - out/test/spec/memory64/memory/memory.11.wasm:000000c: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory.wast:17: assert_invalid passed: + out/test/spec/memory64/memory/memory.9.wasm:000000c: error: memory variable out of range: 0 (max 0) 000000c: error: BeginDataSegment callback failed -out/test/spec/memory64/memory.wast:21: assert_invalid passed: - out/test/spec/memory64/memory/memory.12.wasm:000000c: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory.wast:18: assert_invalid passed: + out/test/spec/memory64/memory/memory.10.wasm:000000c: error: memory variable out of range: 0 (max 0) 000000c: error: BeginDataSegment callback failed -out/test/spec/memory64/memory.wast:22: assert_invalid passed: - out/test/spec/memory64/memory/memory.13.wasm:000000c: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory.wast:19: assert_invalid passed: + out/test/spec/memory64/memory/memory.11.wasm:000000c: error: memory variable out of range: 0 (max 0) 000000c: error: BeginDataSegment callback failed -out/test/spec/memory64/memory.wast:25: assert_invalid passed: - out/test/spec/memory64/memory/memory.14.wasm:000001c: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory.wast:22: assert_invalid passed: + out/test/spec/memory64/memory/memory.12.wasm:000001c: error: memory variable out of range: 0 (max 0) 000001c: error: OnLoadExpr callback failed -out/test/spec/memory64/memory.wast:29: assert_invalid passed: - out/test/spec/memory64/memory/memory.15.wasm:0000021: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory.wast:26: assert_invalid passed: + out/test/spec/memory64/memory/memory.13.wasm:0000021: error: memory variable out of range: 0 (max 0) 0000021: error: OnStoreExpr callback failed -out/test/spec/memory64/memory.wast:33: assert_invalid passed: - out/test/spec/memory64/memory/memory.16.wasm:000001c: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory.wast:30: assert_invalid passed: + out/test/spec/memory64/memory/memory.14.wasm:000001c: error: memory variable out of range: 0 (max 0) 000001c: error: OnLoadExpr callback failed -out/test/spec/memory64/memory.wast:37: assert_invalid passed: - out/test/spec/memory64/memory/memory.17.wasm:000001e: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory.wast:34: assert_invalid passed: + out/test/spec/memory64/memory/memory.15.wasm:000001e: error: memory variable out of range: 0 (max 0) 000001e: error: OnStoreExpr callback failed -out/test/spec/memory64/memory.wast:41: assert_invalid passed: - out/test/spec/memory64/memory/memory.18.wasm:0000019: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory.wast:38: assert_invalid passed: + out/test/spec/memory64/memory/memory.16.wasm:0000019: error: memory variable out of range: 0 (max 0) 0000019: error: OnMemorySizeExpr callback failed -out/test/spec/memory64/memory.wast:45: assert_invalid passed: - out/test/spec/memory64/memory/memory.19.wasm:000001b: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory.wast:42: assert_invalid passed: + out/test/spec/memory64/memory/memory.17.wasm:000001b: error: memory variable out of range: 0 (max 0) 000001b: error: OnMemoryGrowExpr callback failed -out/test/spec/memory64/memory.wast:51: assert_invalid passed: - out/test/spec/memory64/memory/memory.20.wasm:000000e: error: max pages (0) must be >= initial pages (1) +out/test/spec/memory64/memory.wast:48: assert_invalid passed: + out/test/spec/memory64/memory/memory.18.wasm:000000e: error: max pages (0) must be >= initial pages (1) 000000e: error: OnMemory callback failed -out/test/spec/memory64/memory.wast:55: assert_invalid passed: - out/test/spec/memory64/memory/memory.21.wasm:000000f: error: initial pages (65537) must be <= (65536) +out/test/spec/memory64/memory.wast:52: assert_invalid passed: + out/test/spec/memory64/memory/memory.19.wasm:000000f: error: initial pages (65537) must be <= (65536) 000000f: error: OnMemory callback failed -out/test/spec/memory64/memory.wast:59: assert_invalid passed: - out/test/spec/memory64/memory/memory.22.wasm:0000011: error: initial pages (2147483648) must be <= (65536) +out/test/spec/memory64/memory.wast:56: assert_invalid passed: + out/test/spec/memory64/memory/memory.20.wasm:0000011: error: initial pages (2147483648) must be <= (65536) 0000011: error: OnMemory callback failed -out/test/spec/memory64/memory.wast:63: assert_invalid passed: - out/test/spec/memory64/memory/memory.23.wasm:0000011: error: initial pages (4294967295) must be <= (65536) +out/test/spec/memory64/memory.wast:60: assert_invalid passed: + out/test/spec/memory64/memory/memory.21.wasm:0000011: error: initial pages (4294967295) must be <= (65536) 0000011: error: OnMemory callback failed -out/test/spec/memory64/memory.wast:67: assert_invalid passed: - out/test/spec/memory64/memory/memory.24.wasm:0000010: error: max pages (65537) must be <= (65536) +out/test/spec/memory64/memory.wast:64: assert_invalid passed: + out/test/spec/memory64/memory/memory.22.wasm:0000010: error: max pages (65537) must be <= (65536) 0000010: error: OnMemory callback failed -out/test/spec/memory64/memory.wast:71: assert_invalid passed: - out/test/spec/memory64/memory/memory.25.wasm:0000012: error: max pages (2147483648) must be <= (65536) +out/test/spec/memory64/memory.wast:68: assert_invalid passed: + out/test/spec/memory64/memory/memory.23.wasm:0000012: error: max pages (2147483648) must be <= (65536) 0000012: error: OnMemory callback failed -out/test/spec/memory64/memory.wast:75: assert_invalid passed: - out/test/spec/memory64/memory/memory.26.wasm:0000012: error: max pages (4294967295) must be <= (65536) +out/test/spec/memory64/memory.wast:72: assert_invalid passed: + out/test/spec/memory64/memory/memory.24.wasm:0000012: 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" +out/test/spec/memory64/memory.wast:77: assert_invalid passed: + out/test/spec/memory64/memory/memory.25.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" +out/test/spec/memory64/memory.wast:81: assert_invalid passed: + out/test/spec/memory64/memory/memory.26.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" + out/test/spec/memory64/memory/memory.26.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" +out/test/spec/memory64/memory.wast:85: assert_invalid passed: + out/test/spec/memory64/memory/memory.27.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" +out/test/spec/memory64/memory.wast:228: assert_malformed passed: + out/test/spec/memory64/memory/memory.29.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" +out/test/spec/memory64/memory.wast:232: assert_malformed passed: + out/test/spec/memory64/memory/memory.30.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" +out/test/spec/memory64/memory.wast:236: assert_malformed passed: + out/test/spec/memory64/memory/memory.31.wat:1:32: error: redefinition of memory "$foo" (import "" "" (memory $foo 1))(import "" "" (memory $foo 1)) ^^^^^^ -79/79 tests passed. +86/86 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/memory64/memory64.txt b/test/spec/memory64/memory64.txt index a79ac162..f83ca265 100644 --- a/test/spec/memory64/memory64.txt +++ b/test/spec/memory64/memory64.txt @@ -2,46 +2,40 @@ ;;; STDIN_FILE: third_party/testsuite/proposals/memory64/memory64.wast ;;; ARGS*: --enable-memory64 (;; STDOUT ;;; -out/test/spec/memory64/memory64.wast:9: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.4.wasm:000000f: error: only one memory block allowed - 000000f: error: OnMemory callback failed -out/test/spec/memory64/memory64.wast:10: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.5.wasm:0000023: error: only one memory block allowed - 0000023: error: OnMemory callback failed -out/test/spec/memory64/memory64.wast:19: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.9.wasm:000000c: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory64.wast:16: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.7.wasm:000000c: error: memory variable out of range: 0 (max 0) 000000c: error: BeginDataSegment callback failed -out/test/spec/memory64/memory64.wast:20: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.10.wasm:000000c: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory64.wast:17: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.8.wasm:000000c: error: memory variable out of range: 0 (max 0) 000000c: error: BeginDataSegment callback failed -out/test/spec/memory64/memory64.wast:21: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.11.wasm:000000c: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory64.wast:18: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.9.wasm:000000c: error: memory variable out of range: 0 (max 0) 000000c: error: BeginDataSegment callback failed -out/test/spec/memory64/memory64.wast:24: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.12.wasm:000001c: error: memory variable out of range: 0 (max 0) - out/test/spec/memory64/memory64/memory64.12.wasm:000001c: error: type mismatch in f32.load, expected [i32] but got [i64] +out/test/spec/memory64/memory64.wast:21: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.10.wasm:000001c: error: memory variable out of range: 0 (max 0) + out/test/spec/memory64/memory64/memory64.10.wasm:000001c: error: type mismatch in f32.load, expected [i32] but got [i64] 000001c: error: OnLoadExpr callback failed -out/test/spec/memory64/memory64.wast:28: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.13.wasm:0000021: error: memory variable out of range: 0 (max 0) - out/test/spec/memory64/memory64/memory64.13.wasm:0000021: error: type mismatch in f32.store, expected [i32, f32] but got [i64, f32] +out/test/spec/memory64/memory64.wast:25: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.11.wasm:0000021: error: memory variable out of range: 0 (max 0) + out/test/spec/memory64/memory64/memory64.11.wasm:0000021: error: type mismatch in f32.store, expected [i32, f32] but got [i64, f32] 0000021: error: OnStoreExpr callback failed -out/test/spec/memory64/memory64.wast:32: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.14.wasm:000001c: error: memory variable out of range: 0 (max 0) - out/test/spec/memory64/memory64/memory64.14.wasm:000001c: error: type mismatch in i32.load8_s, expected [i32] but got [i64] +out/test/spec/memory64/memory64.wast:29: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.12.wasm:000001c: error: memory variable out of range: 0 (max 0) + out/test/spec/memory64/memory64/memory64.12.wasm:000001c: error: type mismatch in i32.load8_s, expected [i32] but got [i64] 000001c: error: OnLoadExpr callback failed -out/test/spec/memory64/memory64.wast:36: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.15.wasm:000001e: error: memory variable out of range: 0 (max 0) - out/test/spec/memory64/memory64/memory64.15.wasm:000001e: error: type mismatch in i32.store8, expected [i32, i32] but got [i64, i32] +out/test/spec/memory64/memory64.wast:33: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.13.wasm:000001e: error: memory variable out of range: 0 (max 0) + out/test/spec/memory64/memory64/memory64.13.wasm:000001e: error: type mismatch in i32.store8, expected [i32, i32] but got [i64, i32] 000001e: error: OnStoreExpr callback failed -out/test/spec/memory64/memory64.wast:40: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.16.wasm:0000019: error: memory variable out of range: 0 (max 0) +out/test/spec/memory64/memory64.wast:37: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.14.wasm:0000019: error: memory variable out of range: 0 (max 0) 0000019: error: OnMemorySizeExpr callback failed -out/test/spec/memory64/memory64.wast:44: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.17.wasm:000001b: error: memory variable out of range: 0 (max 0) - out/test/spec/memory64/memory64/memory64.17.wasm:000001b: error: type mismatch in memory.grow, expected [i32] but got [i64] +out/test/spec/memory64/memory64.wast:41: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.15.wasm:000001b: error: memory variable out of range: 0 (max 0) + out/test/spec/memory64/memory64/memory64.15.wasm:000001b: error: type mismatch in memory.grow, expected [i32] but got [i64] 000001b: error: OnMemoryGrowExpr callback failed -out/test/spec/memory64/memory64.wast:50: assert_invalid passed: - out/test/spec/memory64/memory64/memory64.18.wasm:000000e: error: max pages (0) must be >= initial pages (1) +out/test/spec/memory64/memory64.wast:47: assert_invalid passed: + out/test/spec/memory64/memory64/memory64.16.wasm:000000e: error: max pages (0) must be >= initial pages (1) 000000e: error: OnMemory callback failed -65/65 tests passed. +63/63 tests passed. ;;; STDOUT ;;) diff --git a/test/spec/memory64/table.txt b/test/spec/memory64/table.txt index b68289c0..1fb95959 100644 --- a/test/spec/memory64/table.txt +++ b/test/spec/memory64/table.txt @@ -1,49 +1,124 @@ ;;; TOOL: run-interp-spec -;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table.wast ;;; ARGS*: --enable-memory64 +;; memory64 table.wast from last commit before wasm-3.0 merge + +(module (table 0 funcref)) +(module (table 1 funcref)) +(module (table 0 0 funcref)) +(module (table 0 1 funcref)) +(module (table 1 256 funcref)) +(module (table 0 65536 funcref)) +(module (table 0 0xffff_ffff funcref)) + +(module (table 0 funcref) (table 0 funcref)) +(module (table (import "spectest" "table") 0 funcref) (table 0 funcref)) + +(assert_invalid + (module (table 1 0 funcref)) + "size minimum must not be greater than maximum" +) +(assert_invalid + (module (table 0xffff_ffff 0 funcref)) + "size minimum must not be greater than maximum" +) + +(assert_invalid + (module quote "(table 0x1_0000_0000 funcref)") + "table size must be at most 2^32-1" +) +(assert_invalid + (module quote "(table 0x1_0000_0000 0x1_0000_0000 funcref)") + "table size must be at most 2^32-1" +) +(assert_invalid + (module quote "(table 0 0x1_0000_0000 funcref)") + "table size must be at most 2^32-1" +) + +;; Same as above but with i64 index types + +(module (table i64 0 funcref)) +(module (table i64 1 funcref)) +(module (table i64 0 0 funcref)) +(module (table i64 0 1 funcref)) +(module (table i64 1 256 funcref)) +(module (table i64 0 65536 funcref)) +(module (table i64 0 0xffff_ffff funcref)) + +(module (table i64 0 funcref) (table i64 0 funcref)) +(module (table (import "spectest" "table64") i64 0 funcref) (table i64 0 funcref)) + +(assert_invalid + (module (table i64 1 0 funcref)) + "size minimum must not be greater than maximum" +) +(assert_invalid + (module (table i64 0xffff_ffff 0 funcref)) + "size minimum must not be greater than maximum" +) + +;; Elem segments with no table + +(assert_invalid (module (elem (i32.const 0))) "unknown table") +(assert_invalid (module (elem (i32.const 0) $f) (func $f)) "unknown table") + +;; Duplicate table identifiers + +(assert_malformed (module quote + "(table $foo 1 funcref)" + "(table $foo 1 funcref)") + "duplicate table") +(assert_malformed (module quote + "(import \"\" \"\" (table $foo 1 funcref))" + "(table $foo 1 funcref)") + "duplicate table") +(assert_malformed (module quote + "(import \"\" \"\" (table $foo 1 funcref))" + "(import \"\" \"\" (table $foo 1 funcref))") + "duplicate table") (;; STDOUT ;;; -out/test/spec/memory64/table.wast:15: assert_invalid passed: +out/test/spec/memory64/table.txt:17: assert_invalid passed: out/test/spec/memory64/table/table.9.wasm:000000f: error: max elems (0) must be >= initial elems (1) 000000f: error: OnTable callback failed -out/test/spec/memory64/table.wast:19: assert_invalid passed: +out/test/spec/memory64/table.txt:21: assert_invalid passed: out/test/spec/memory64/table/table.10.wasm:0000013: error: max elems (0) must be >= initial elems (4294967295) 0000013: error: OnTable callback failed -out/test/spec/memory64/table.wast:24: assert_invalid passed: +out/test/spec/memory64/table.txt:26: assert_invalid passed: out/test/spec/memory64/table/table.11.wat:1:8: error: invalid int "0x1_0000_0000" (table 0x1_0000_0000 funcref) ^^^^^^^^^^^^^ -out/test/spec/memory64/table.wast:28: assert_invalid passed: +out/test/spec/memory64/table.txt:30: assert_invalid passed: out/test/spec/memory64/table/table.12.wat:1:8: error: invalid int "0x1_0000_0000" (table 0x1_0000_0000 0x1_0000_0000 funcref) ^^^^^^^^^^^^^ out/test/spec/memory64/table/table.12.wat:1:22: error: invalid int "0x1_0000_0000" (table 0x1_0000_0000 0x1_0000_0000 funcref) ^^^^^^^^^^^^^ -out/test/spec/memory64/table.wast:32: assert_invalid passed: +out/test/spec/memory64/table.txt:34: assert_invalid passed: out/test/spec/memory64/table/table.13.wat:1:10: error: invalid int "0x1_0000_0000" (table 0 0x1_0000_0000 funcref) ^^^^^^^^^^^^^ -out/test/spec/memory64/table.wast:50: assert_invalid passed: +out/test/spec/memory64/table.txt:52: assert_invalid passed: out/test/spec/memory64/table/table.23.wasm:000000f: error: max elems (0) must be >= initial elems (1) 000000f: error: OnTable callback failed -out/test/spec/memory64/table.wast:54: assert_invalid passed: +out/test/spec/memory64/table.txt:56: assert_invalid passed: out/test/spec/memory64/table/table.24.wasm:0000013: error: max elems (0) must be >= initial elems (4294967295) 0000013: error: OnTable callback failed -out/test/spec/memory64/table.wast:60: assert_invalid passed: +out/test/spec/memory64/table.txt:62: assert_invalid passed: out/test/spec/memory64/table/table.25.wasm:000000c: error: table variable out of range: 0 (max 0) 000000c: error: BeginElemSegment callback failed -out/test/spec/memory64/table.wast:61: assert_invalid passed: +out/test/spec/memory64/table.txt:63: assert_invalid passed: out/test/spec/memory64/table/table.26.wasm:0000016: error: table variable out of range: 0 (max 0) 0000016: error: BeginElemSegment callback failed -out/test/spec/memory64/table.wast:65: assert_malformed passed: +out/test/spec/memory64/table.txt:67: assert_malformed passed: out/test/spec/memory64/table/table.27.wat:1:24: error: redefinition of table "$foo" (table $foo 1 funcref)(table $foo 1 funcref) ^^^^^ -out/test/spec/memory64/table.wast:69: assert_malformed passed: +out/test/spec/memory64/table.txt:71: assert_malformed passed: out/test/spec/memory64/table/table.28.wat:1:39: error: redefinition of table "$foo" (import "" "" (table $foo 1 funcref))(table $foo 1 funcref) ^^^^^ -out/test/spec/memory64/table.wast:73: assert_malformed passed: +out/test/spec/memory64/table.txt:75: assert_malformed passed: out/test/spec/memory64/table/table.29.wat:1:39: error: redefinition of table "$foo" (import "" "" (table $foo 1 funcref))(import "" "" (table $foo 1 funcref)) ^^^^^^ diff --git a/test/spec/memory64/table_copy_mixed.txt b/test/spec/memory64/table_copy_mixed.txt new file mode 100644 index 00000000..b6118e74 --- /dev/null +++ b/test/spec/memory64/table_copy_mixed.txt @@ -0,0 +1,15 @@ +;;; TOOL: run-interp-spec +;;; STDIN_FILE: third_party/testsuite/proposals/memory64/table_copy_mixed.wast +;;; ARGS*: --enable-memory64 +(;; STDOUT ;;; +out/test/spec/memory64/table_copy_mixed.wast:20: assert_invalid passed: + out/test/spec/memory64/table_copy_mixed/table_copy_mixed.1.wasm:000003e: error: type mismatch in table.copy, expected [i32, i64, i32] but got [i32, i64, i64] + 000003e: error: OnTableCopyExpr callback failed +out/test/spec/memory64/table_copy_mixed.wast:30: assert_invalid passed: + out/test/spec/memory64/table_copy_mixed/table_copy_mixed.2.wasm:000003d: error: type mismatch in table.copy, expected [i32, i64, i32] but got [i32, i32, i32] + 000003d: error: OnTableCopyExpr callback failed +out/test/spec/memory64/table_copy_mixed.wast:40: assert_invalid passed: + out/test/spec/memory64/table_copy_mixed/table_copy_mixed.3.wasm:000003d: error: type mismatch in table.copy, expected [i32, i64, i32] but got [i64, i64, i32] + 000003d: error: OnTableCopyExpr callback failed +4/4 tests passed. +;;; STDOUT ;;) diff --git a/test/spec/memory64/table_grow.txt b/test/spec/memory64/table_grow.txt index d0d621fc..c0a28c6e 100644 --- a/test/spec/memory64/table_grow.txt +++ b/test/spec/memory64/table_grow.txt @@ -14,26 +14,26 @@ out/test/spec/memory64/table_grow.wast:59: assert_trap passed: out of bounds tab out/test/spec/memory64/table_grow.wast:60: assert_trap passed: out of bounds table access: table.get at 1 >= max value 1 out/test/spec/memory64/table_grow.wast:71: assert_trap passed: out of bounds table access: table.set at 5 >= max value 5 out/test/spec/memory64/table_grow.wast:72: assert_trap passed: out of bounds table access: table.get at 5 >= max value 5 -out/test/spec/memory64/table_grow.wast:147: assert_invalid passed: - out/test/spec/memory64/table_grow/table_grow.5.wasm:0000021: error: type mismatch in table.grow, expected [externref, i32] but got [] +out/test/spec/memory64/table_grow.wast:168: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.8.wasm:0000021: error: type mismatch in table.grow, expected [externref, i32] but got [] 0000021: error: OnTableGrowExpr callback failed -out/test/spec/memory64/table_grow.wast:156: assert_invalid passed: - out/test/spec/memory64/table_grow/table_grow.6.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [externref] +out/test/spec/memory64/table_grow.wast:177: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.9.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [externref] 0000023: error: OnTableGrowExpr callback failed -out/test/spec/memory64/table_grow.wast:165: assert_invalid passed: - out/test/spec/memory64/table_grow/table_grow.7.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [i32] +out/test/spec/memory64/table_grow.wast:186: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.10.wasm:0000023: error: type mismatch in table.grow, expected [externref, i32] but got [i32] 0000023: error: OnTableGrowExpr callback failed -out/test/spec/memory64/table_grow.wast:174: assert_invalid passed: - out/test/spec/memory64/table_grow/table_grow.8.wasm:0000028: error: type mismatch in table.grow, expected [externref, i32] but got [externref, f32] +out/test/spec/memory64/table_grow.wast:195: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.11.wasm:0000028: error: type mismatch in table.grow, expected [externref, i32] but got [externref, f32] 0000028: error: OnTableGrowExpr callback failed -out/test/spec/memory64/table_grow.wast:183: assert_invalid passed: - out/test/spec/memory64/table_grow/table_grow.9.wasm:0000026: error: type mismatch in table.grow, expected [funcref, i32] but got [externref, i32] +out/test/spec/memory64/table_grow.wast:204: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.12.wasm:0000026: error: type mismatch in table.grow, expected [funcref, i32] but got [externref, i32] 0000026: error: OnTableGrowExpr callback failed -out/test/spec/memory64/table_grow.wast:193: assert_invalid passed: - out/test/spec/memory64/table_grow/table_grow.10.wasm:0000025: error: type mismatch at end of function, expected [] but got [i32] +out/test/spec/memory64/table_grow.wast:214: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.13.wasm:0000025: error: type mismatch at end of function, expected [] but got [i32] 0000025: error: EndFunctionBody callback failed -out/test/spec/memory64/table_grow.wast:202: assert_invalid passed: - out/test/spec/memory64/table_grow/table_grow.11.wasm:0000026: error: type mismatch in implicit return, expected [f32] but got [i32] +out/test/spec/memory64/table_grow.wast:223: assert_invalid passed: + out/test/spec/memory64/table_grow/table_grow.14.wasm:0000026: error: type mismatch in implicit return, expected [f32] but got [i32] 0000026: error: EndFunctionBody callback failed -71/71 tests passed. +77/77 tests passed. ;;; STDOUT ;;) |