Skip to content

Commit 0ef50ac

Browse files
alexcrichtonalexcrichton
authored
Update spec testsuite submodule (#1618)
1 parent 1bf990b commit 0ef50ac

10 files changed

Lines changed: 572 additions & 8 deletions

File tree

‎tests/snapshots/testsuite/memory.wast.json‎

Lines changed: 165 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1093,6 +1093,171 @@
10931093
"filename": "memory.33.wat",
10941094
"text": "duplicate memory",
10951095
"module_type": "text"
1096+
},
1097+
{
1098+
"type": "module",
1099+
"line": 246,
1100+
"filename": "memory.34.wasm"
1101+
},
1102+
{
1103+
"type": "assert_return",
1104+
"line": 260,
1105+
"action": {
1106+
"type": "invoke",
1107+
"field": "load",
1108+
"args": [
1109+
{
1110+
"type": "i32",
1111+
"value": "0"
1112+
}
1113+
]
1114+
},
1115+
"expected": [
1116+
{
1117+
"type": "i32",
1118+
"value": "0"
1119+
}
1120+
]
1121+
},
1122+
{
1123+
"type": "assert_return",
1124+
"line": 261,
1125+
"action": {
1126+
"type": "invoke",
1127+
"field": "load",
1128+
"args": [
1129+
{
1130+
"type": "i32",
1131+
"value": "10000"
1132+
}
1133+
]
1134+
},
1135+
"expected": [
1136+
{
1137+
"type": "i32",
1138+
"value": "0"
1139+
}
1140+
]
1141+
},
1142+
{
1143+
"type": "assert_return",
1144+
"line": 262,
1145+
"action": {
1146+
"type": "invoke",
1147+
"field": "load",
1148+
"args": [
1149+
{
1150+
"type": "i32",
1151+
"value": "20000"
1152+
}
1153+
]
1154+
},
1155+
"expected": [
1156+
{
1157+
"type": "i32",
1158+
"value": "0"
1159+
}
1160+
]
1161+
},
1162+
{
1163+
"type": "assert_return",
1164+
"line": 263,
1165+
"action": {
1166+
"type": "invoke",
1167+
"field": "load",
1168+
"args": [
1169+
{
1170+
"type": "i32",
1171+
"value": "30000"
1172+
}
1173+
]
1174+
},
1175+
"expected": [
1176+
{
1177+
"type": "i32",
1178+
"value": "0"
1179+
}
1180+
]
1181+
},
1182+
{
1183+
"type": "assert_return",
1184+
"line": 264,
1185+
"action": {
1186+
"type": "invoke",
1187+
"field": "load",
1188+
"args": [
1189+
{
1190+
"type": "i32",
1191+
"value": "40000"
1192+
}
1193+
]
1194+
},
1195+
"expected": [
1196+
{
1197+
"type": "i32",
1198+
"value": "0"
1199+
}
1200+
]
1201+
},
1202+
{
1203+
"type": "assert_return",
1204+
"line": 265,
1205+
"action": {
1206+
"type": "invoke",
1207+
"field": "load",
1208+
"args": [
1209+
{
1210+
"type": "i32",
1211+
"value": "50000"
1212+
}
1213+
]
1214+
},
1215+
"expected": [
1216+
{
1217+
"type": "i32",
1218+
"value": "0"
1219+
}
1220+
]
1221+
},
1222+
{
1223+
"type": "assert_return",
1224+
"line": 266,
1225+
"action": {
1226+
"type": "invoke",
1227+
"field": "load",
1228+
"args": [
1229+
{
1230+
"type": "i32",
1231+
"value": "60000"
1232+
}
1233+
]
1234+
},
1235+
"expected": [
1236+
{
1237+
"type": "i32",
1238+
"value": "0"
1239+
}
1240+
]
1241+
},
1242+
{
1243+
"type": "assert_return",
1244+
"line": 267,
1245+
"action": {
1246+
"type": "invoke",
1247+
"field": "load",
1248+
"args": [
1249+
{
1250+
"type": "i32",
1251+
"value": "65535"
1252+
}
1253+
]
1254+
},
1255+
"expected": [
1256+
{
1257+
"type": "i32",
1258+
"value": "0"
1259+
}
1260+
]
10961261
}
10971262
]
10981263
}

‎tests/snapshots/testsuite/memory.wast/79.print‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
(module
2+
(type (;0;) (func (param i32) (result i32)))
3+
(func (;0;) (type 0) (param i32) (result i32)
4+
local.get 0
5+
i32.load8_u
6+
)
7+
(memory (;0;) 1 1)
8+
(global (;0;) i32 i32.const 10000)
9+
(global (;1;) i32 i32.const 10000)
10+
(global (;2;) i32 i32.const 10000)
11+
(export "memory" (memory 0))
12+
(export "__data_end" (global 0))
13+
(export "__stack_top" (global 1))
14+
(export "__heap_base" (global 2))
15+
(export "load" (func 0))
16+
)

‎tests/snapshots/testsuite/proposals/function-references/return_call.wast.json‎

Lines changed: 10 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -650,17 +650,24 @@
650650
},
651651
{
652652
"type": "assert_invalid",
653-
"line": 196,
653+
"line": 192,
654654
"filename": "return_call.11.wasm",
655-
"text": "unknown function",
655+
"text": "type mismatch",
656656
"module_type": "binary"
657657
},
658658
{
659659
"type": "assert_invalid",
660-
"line": 200,
660+
"line": 204,
661661
"filename": "return_call.12.wasm",
662662
"text": "unknown function",
663663
"module_type": "binary"
664+
},
665+
{
666+
"type": "assert_invalid",
667+
"line": 208,
668+
"filename": "return_call.13.wasm",
669+
"text": "unknown function",
670+
"module_type": "binary"
664671
}
665672
]
666673
}

‎tests/snapshots/testsuite/proposals/function-references/return_call_indirect.wast.json‎

Lines changed: 11 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1048,22 +1048,29 @@
10481048
},
10491049
{
10501050
"type": "assert_invalid",
1051-
"line": 516,
1051+
"line": 512,
10521052
"filename": "return_call_indirect.25.wasm",
1053-
"text": "unknown type",
1053+
"text": "type mismatch",
10541054
"module_type": "binary"
10551055
},
10561056
{
10571057
"type": "assert_invalid",
1058-
"line": 523,
1058+
"line": 526,
10591059
"filename": "return_call_indirect.26.wasm",
10601060
"text": "unknown type",
10611061
"module_type": "binary"
10621062
},
10631063
{
10641064
"type": "assert_invalid",
1065-
"line": 534,
1065+
"line": 533,
10661066
"filename": "return_call_indirect.27.wasm",
1067+
"text": "unknown type",
1068+
"module_type": "binary"
1069+
},
1070+
{
1071+
"type": "assert_invalid",
1072+
"line": 544,
1073+
"filename": "return_call_indirect.28.wasm",
10671074
"text": "unknown function 0",
10681075
"module_type": "binary"
10691076
}

‎tests/snapshots/testsuite/proposals/function-references/return_call_ref.wast.json‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -704,6 +704,13 @@
704704
"filename": "return_call_ref.13.wasm",
705705
"text": "type mismatch",
706706
"module_type": "binary"
707+
},
708+
{
709+
"type": "assert_invalid",
710+
"line": 379,
711+
"filename": "return_call_ref.14.wasm",
712+
"text": "type mismatch",
713+
"module_type": "binary"
707714
}
708715
]
709716
}

0 commit comments

Comments
 (0)