Update spec tests (#2003)

1 files changed, 108 insertions, 108 deletions

diff --git a/test/spec/binary.txt b/test/spec/binary.txt
index eb353856..30b62f3c 100644
--- a/test/spec/binary.txt
+++ b/test/spec/binary.txt
@@ -67,219 +67,219 @@ out/test/spec/binary.wast:51: assert_malformed passed:
   000000a: error: invalid section code: 129
 out/test/spec/binary.wast:52: assert_malformed passed:
   000000a: error: invalid section code: 255
-out/test/spec/binary.wast:165: assert_malformed passed:
+out/test/spec/binary.wast:210: assert_malformed passed:
   000000c: error: unexpected type form (got 0xe0)
-out/test/spec/binary.wast:178: assert_malformed passed:
+out/test/spec/binary.wast:223: assert_malformed passed:
   000000c: error: unable to read u32 leb128: memory initial page count
-out/test/spec/binary.wast:188: assert_malformed passed:
+out/test/spec/binary.wast:233: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:198: assert_malformed passed:
+out/test/spec/binary.wast:243: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:209: assert_malformed passed:
+out/test/spec/binary.wast:254: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:219: assert_malformed passed:
+out/test/spec/binary.wast:264: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:231: assert_malformed passed:
+out/test/spec/binary.wast:276: assert_malformed passed:
   000000c: error: unable to read u32 leb128: memory initial page count
-out/test/spec/binary.wast:239: assert_malformed passed:
+out/test/spec/binary.wast:284: assert_malformed passed:
   000000c: error: unable to read u32 leb128: memory initial page count
-out/test/spec/binary.wast:249: assert_malformed passed:
+out/test/spec/binary.wast:294: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:259: assert_malformed passed:
+out/test/spec/binary.wast:304: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:269: assert_malformed passed:
+out/test/spec/binary.wast:314: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:279: assert_malformed passed:
+out/test/spec/binary.wast:324: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:290: assert_malformed passed:
+out/test/spec/binary.wast:335: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:300: assert_malformed passed:
+out/test/spec/binary.wast:345: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:310: assert_malformed passed:
+out/test/spec/binary.wast:355: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:320: assert_malformed passed:
+out/test/spec/binary.wast:365: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:331: assert_malformed passed:
+out/test/spec/binary.wast:376: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:341: assert_malformed passed:
+out/test/spec/binary.wast:386: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:351: assert_malformed passed:
+out/test/spec/binary.wast:396: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:361: assert_malformed passed:
+out/test/spec/binary.wast:406: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:373: assert_malformed passed:
+out/test/spec/binary.wast:418: assert_malformed passed:
   000001b: error: function body must end with END opcode
-out/test/spec/binary.wast:394: assert_malformed passed:
+out/test/spec/binary.wast:439: assert_malformed passed:
   000001a: error: function body must end with END opcode
-out/test/spec/binary.wast:410: assert_malformed passed:
+out/test/spec/binary.wast:455: assert_malformed passed:
   000001a: error: function body must end with END opcode
-out/test/spec/binary.wast:430: assert_malformed passed:
+out/test/spec/binary.wast:475: assert_malformed passed:
   000000c: error: unable to read u32 leb128: memory initial page count
-out/test/spec/binary.wast:438: assert_malformed passed:
+out/test/spec/binary.wast:483: assert_malformed passed:
   0000022: error: unable to read u32 leb128: load offset
-out/test/spec/binary.wast:457: assert_malformed passed:
+out/test/spec/binary.wast:502: assert_malformed passed:
   0000021: error: unable to read u32 leb128: load alignment
-out/test/spec/binary.wast:476: assert_malformed passed:
+out/test/spec/binary.wast:521: assert_malformed passed:
   0000023: error: unable to read u32 leb128: store alignment
-out/test/spec/binary.wast:495: assert_malformed passed:
+out/test/spec/binary.wast:540: assert_malformed passed:
   0000024: error: unable to read u32 leb128: store offset
-out/test/spec/binary.wast:516: assert_malformed passed:
+out/test/spec/binary.wast:561: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:526: assert_malformed passed:
+out/test/spec/binary.wast:571: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:537: assert_malformed passed:
+out/test/spec/binary.wast:582: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:547: assert_malformed passed:
+out/test/spec/binary.wast:592: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:559: assert_malformed passed:
+out/test/spec/binary.wast:604: assert_malformed passed:
   000000c: error: unable to read u32 leb128: memory initial page count
-out/test/spec/binary.wast:567: assert_malformed passed:
+out/test/spec/binary.wast:612: assert_malformed passed:
   000000c: error: unable to read u32 leb128: memory initial page count
-out/test/spec/binary.wast:575: assert_malformed passed:
+out/test/spec/binary.wast:620: assert_malformed passed:
   0000022: error: unable to read u32 leb128: load offset
-out/test/spec/binary.wast:594: assert_malformed passed:
+out/test/spec/binary.wast:639: assert_malformed passed:
   0000022: error: unable to read u32 leb128: load offset
-out/test/spec/binary.wast:613: assert_malformed passed:
+out/test/spec/binary.wast:658: assert_malformed passed:
   0000021: error: unable to read u32 leb128: load alignment
-out/test/spec/binary.wast:631: assert_malformed passed:
+out/test/spec/binary.wast:676: assert_malformed passed:
   0000021: error: unable to read u32 leb128: load alignment
-out/test/spec/binary.wast:650: assert_malformed passed:
+out/test/spec/binary.wast:695: assert_malformed passed:
   0000023: error: unable to read u32 leb128: store alignment
-out/test/spec/binary.wast:669: assert_malformed passed:
+out/test/spec/binary.wast:714: assert_malformed passed:
   0000023: error: unable to read u32 leb128: store alignment
-out/test/spec/binary.wast:688: assert_malformed passed:
+out/test/spec/binary.wast:733: assert_malformed passed:
   0000024: error: unable to read u32 leb128: store offset
-out/test/spec/binary.wast:707: assert_malformed passed:
+out/test/spec/binary.wast:752: assert_malformed passed:
   0000024: error: unable to read u32 leb128: store offset
-out/test/spec/binary.wast:729: assert_malformed passed:
+out/test/spec/binary.wast:774: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:739: assert_malformed passed:
+out/test/spec/binary.wast:784: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:749: assert_malformed passed:
+out/test/spec/binary.wast:794: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:759: assert_malformed passed:
+out/test/spec/binary.wast:804: assert_malformed passed:
   000000e: error: unable to read i32 leb128: i32.const value
-out/test/spec/binary.wast:770: assert_malformed passed:
+out/test/spec/binary.wast:815: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:780: assert_malformed passed:
+out/test/spec/binary.wast:825: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:790: assert_malformed passed:
+out/test/spec/binary.wast:835: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:800: assert_malformed passed:
+out/test/spec/binary.wast:845: assert_malformed passed:
   000000e: error: unable to read i64 leb128: i64.const value
-out/test/spec/binary.wast:812: assert_malformed passed:
+out/test/spec/binary.wast:857: assert_malformed passed:
   0000020: error: memory.grow reserved value must be 0
-out/test/spec/binary.wast:832: assert_malformed passed:
+out/test/spec/binary.wast:877: assert_malformed passed:
   0000020: error: memory.grow reserved value must be 0
-out/test/spec/binary.wast:852: assert_malformed passed:
+out/test/spec/binary.wast:897: assert_malformed passed:
   0000020: error: memory.grow reserved value must be 0
-out/test/spec/binary.wast:871: assert_malformed passed:
+out/test/spec/binary.wast:916: assert_malformed passed:
   0000020: error: memory.grow reserved value must be 0
-out/test/spec/binary.wast:890: assert_malformed passed:
+out/test/spec/binary.wast:935: assert_malformed passed:
   0000020: error: memory.grow reserved value must be 0
-out/test/spec/binary.wast:910: assert_malformed passed:
+out/test/spec/binary.wast:955: assert_malformed passed:
   000001e: error: memory.size reserved value must be 0
-out/test/spec/binary.wast:929: assert_malformed passed:
+out/test/spec/binary.wast:974: assert_malformed passed:
   000001e: error: memory.size reserved value must be 0
-out/test/spec/binary.wast:948: assert_malformed passed:
+out/test/spec/binary.wast:993: assert_malformed passed:
   000001e: error: memory.size reserved value must be 0
-out/test/spec/binary.wast:966: assert_malformed passed:
+out/test/spec/binary.wast:1011: assert_malformed passed:
   000001e: error: memory.size reserved value must be 0
-out/test/spec/binary.wast:984: assert_malformed passed:
+out/test/spec/binary.wast:1029: assert_malformed passed:
   000001e: error: memory.size reserved value must be 0
-out/test/spec/binary.wast:1003: assert_malformed passed:
+out/test/spec/binary.wast:1048: assert_malformed passed:
   0000017: error: unable to read u32 leb128: local type count
-out/test/spec/binary.wast:1020: assert_malformed passed:
+out/test/spec/binary.wast:1065: assert_malformed passed:
   0000017: error: unable to read u32 leb128: local type count
-out/test/spec/binary.wast:1037: assert_malformed passed:
+out/test/spec/binary.wast:1082: assert_malformed passed:
   000001c: error: local count must be < 0x10000000
-out/test/spec/binary.wast:1053: assert_malformed passed:
+out/test/spec/binary.wast:1098: assert_malformed passed:
   0000030: error: local count must be < 0x10000000
-out/test/spec/binary.wast:1087: assert_malformed passed:
+out/test/spec/binary.wast:1132: assert_malformed passed:
   0000013: error: function signature count != function body count
-out/test/spec/binary.wast:1097: assert_malformed passed:
+out/test/spec/binary.wast:1142: assert_malformed passed:
   000000b: error: function signature count != function body count
-out/test/spec/binary.wast:1106: assert_malformed passed:
+out/test/spec/binary.wast:1151: assert_malformed passed:
   0000016: error: function signature count != function body count
-out/test/spec/binary.wast:1117: assert_malformed passed:
+out/test/spec/binary.wast:1162: assert_malformed passed:
   0000015: error: function signature count != function body count
-out/test/spec/binary.wast:1140: assert_malformed passed:
+out/test/spec/binary.wast:1185: assert_malformed passed:
   000000e: error: data segment count does not equal count in DataCount section
-out/test/spec/binary.wast:1150: assert_malformed passed:
+out/test/spec/binary.wast:1195: assert_malformed passed:
   000000e: error: data segment count does not equal count in DataCount section
-out/test/spec/binary.wast:1160: assert_malformed passed:
+out/test/spec/binary.wast:1205: assert_malformed passed:
   0000024: error: memory.init requires data count section
-out/test/spec/binary.wast:1182: assert_malformed passed:
+out/test/spec/binary.wast:1227: assert_malformed passed:
   000001e: error: data.drop requires data count section
-out/test/spec/binary.wast:1201: assert_malformed passed:
+out/test/spec/binary.wast:1246: assert_malformed passed:
   0000024: error: expected ref.null or ref.func in passive element segment
   0000025: error: expected END opcode after element expression
-out/test/spec/binary.wast:1227: assert_malformed passed:
+out/test/spec/binary.wast:1272: assert_malformed passed:
   0000022: error: table elem type must be a reference type
-out/test/spec/binary.wast:1308: assert_malformed passed:
+out/test/spec/binary.wast:1353: assert_malformed passed:
   000000a: error: invalid section size: extends past end
-out/test/spec/binary.wast:1319: assert_malformed passed:
+out/test/spec/binary.wast:1364: assert_malformed passed:
   000000e: error: unfinished section (expected end: 0x11)
-out/test/spec/binary.wast:1338: assert_malformed passed:
+out/test/spec/binary.wast:1383: assert_malformed passed:
   000000e: error: invalid import tag kind: exceptions not allowed
-out/test/spec/binary.wast:1348: assert_malformed passed:
+out/test/spec/binary.wast:1393: assert_malformed passed:
   000000e: error: invalid import tag kind: exceptions not allowed
-out/test/spec/binary.wast:1359: assert_malformed passed:
+out/test/spec/binary.wast:1404: assert_malformed passed:
   000000e: error: malformed import kind: 5
-out/test/spec/binary.wast:1369: assert_malformed passed:
+out/test/spec/binary.wast:1414: assert_malformed passed:
   000000e: error: malformed import kind: 5
-out/test/spec/binary.wast:1380: assert_malformed passed:
+out/test/spec/binary.wast:1425: assert_malformed passed:
   000000e: error: malformed import kind: 128
-out/test/spec/binary.wast:1390: assert_malformed passed:
+out/test/spec/binary.wast:1435: assert_malformed passed:
   000000e: error: malformed import kind: 128
-out/test/spec/binary.wast:1403: assert_malformed passed:
+out/test/spec/binary.wast:1448: assert_malformed passed:
   0000027: error: unable to read u32 leb128: string length
-out/test/spec/binary.wast:1422: assert_malformed passed:
+out/test/spec/binary.wast:1467: assert_malformed passed:
   000002b: error: unfinished section (expected end: 0x40)
-out/test/spec/binary.wast:1453: assert_malformed passed:
+out/test/spec/binary.wast:1498: assert_malformed passed:
   000000b: error: invalid table count 1, only 0 bytes left in section
-out/test/spec/binary.wast:1463: assert_malformed passed:
+out/test/spec/binary.wast:1508: assert_malformed passed:
   000000d: error: tables may not be shared
-out/test/spec/binary.wast:1472: assert_malformed passed:
+out/test/spec/binary.wast:1517: assert_malformed passed:
   000000d: error: tables may not be shared
-out/test/spec/binary.wast:1482: assert_malformed passed:
+out/test/spec/binary.wast:1527: assert_malformed passed:
   000000d: error: malformed table limits flag: 129
-out/test/spec/binary.wast:1500: assert_malformed passed:
+out/test/spec/binary.wast:1545: assert_malformed passed:
   000000b: error: invalid memory count 1, only 0 bytes left in section
-out/test/spec/binary.wast:1510: assert_malformed passed:
+out/test/spec/binary.wast:1555: assert_malformed passed:
   000000c: error: memory may not be shared: threads not allowed
-out/test/spec/binary.wast:1518: assert_malformed passed:
+out/test/spec/binary.wast:1563: assert_malformed passed:
   000000c: error: memory may not be shared: threads not allowed
-out/test/spec/binary.wast:1527: assert_malformed passed:
+out/test/spec/binary.wast:1572: assert_malformed passed:
   000000c: error: malformed memory limits flag: 129
-out/test/spec/binary.wast:1536: assert_malformed passed:
+out/test/spec/binary.wast:1581: assert_malformed passed:
   000000c: error: malformed memory limits flag: 129
-out/test/spec/binary.wast:1553: assert_malformed passed:
+out/test/spec/binary.wast:1598: assert_malformed passed:
   0000010: error: unable to read i32 leb128: global type
-out/test/spec/binary.wast:1564: assert_malformed passed:
+out/test/spec/binary.wast:1609: assert_malformed passed:
   0000010: error: unfinished section (expected end: 0x15)
-out/test/spec/binary.wast:1587: assert_malformed passed:
+out/test/spec/binary.wast:1632: assert_malformed passed:
   000001b: error: unable to read u32 leb128: string length
-out/test/spec/binary.wast:1608: assert_malformed passed:
+out/test/spec/binary.wast:1653: assert_malformed passed:
   000001b: error: unfinished section (expected end: 0x20)
-out/test/spec/binary.wast:1642: assert_malformed passed:
+out/test/spec/binary.wast:1687: assert_malformed passed:
   0000021: error: unable to read u32 leb128: elem segment flags
-out/test/spec/binary.wast:1658: assert_malformed passed:
+out/test/spec/binary.wast:1703: assert_malformed passed:
   0000024: error: unable to read u32 leb128: elem count
-out/test/spec/binary.wast:1675: assert_malformed passed:
+out/test/spec/binary.wast:1720: assert_malformed passed:
   0000021: error: unfinished section (expected end: 0x27)
-out/test/spec/binary.wast:1701: assert_malformed passed:
+out/test/spec/binary.wast:1746: assert_malformed passed:
   0000016: error: unable to read u32 leb128: data segment flags
-out/test/spec/binary.wast:1714: assert_malformed passed:
+out/test/spec/binary.wast:1759: assert_malformed passed:
   0000016: error: unfinished section (expected end: 0x1c)
-out/test/spec/binary.wast:1727: assert_malformed passed:
+out/test/spec/binary.wast:1772: assert_malformed passed:
   0000015: error: unable to read data: data segment data
-out/test/spec/binary.wast:1741: assert_malformed passed:
+out/test/spec/binary.wast:1786: assert_malformed passed:
   000001a: error: unfinished section (expected end: 0x1b)
-out/test/spec/binary.wast:1772: assert_malformed passed:
-  out/test/spec/binary/binary.169.wasm:0000025: error: function type variable out of range: 11 (max 1)
+out/test/spec/binary.wast:1817: assert_malformed passed:
+  out/test/spec/binary/binary.174.wasm:0000025: error: function type variable out of range: 11 (max 1)
   0000025: error: OnBlockExpr callback failed
-out/test/spec/binary.wast:1807: assert_malformed passed:
+out/test/spec/binary.wast:1852: assert_malformed passed:
   0000017: error: multiple Start sections
-172/172 tests passed.
+177/177 tests passed.
 ;;; STDOUT ;;)