1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
|
{"source_filename": "./if.wast",
"commands": [
{"type": "module", "line": 3, "filename": "if.0.wasm"},
{"type": "assert_return", "line": 537, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
{"type": "assert_return", "line": 538, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
{"type": "assert_return", "line": 539, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "100"}]}, "expected": []},
{"type": "assert_return", "line": 540, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967294"}]}, "expected": []},
{"type": "assert_return", "line": 542, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "8"}]},
{"type": "assert_return", "line": 543, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "7"}]},
{"type": "assert_return", "line": 544, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "7"}]},
{"type": "assert_return", "line": 545, "action": {"type": "invoke", "field": "singular", "args": [{"type": "i32", "value": "4294967286"}]}, "expected": [{"type": "i32", "value": "7"}]},
{"type": "assert_return", "line": 547, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "9"}, {"type": "i32", "value": "4294967295"}]},
{"type": "assert_return", "line": 548, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 549, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 550, "action": {"type": "invoke", "field": "multi", "args": [{"type": "i32", "value": "4294967291"}]}, "expected": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 552, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "11"}]},
{"type": "assert_return", "line": 553, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "10"}]},
{"type": "assert_return", "line": 554, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "10"}]},
{"type": "assert_return", "line": 555, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "9"}]},
{"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "10"}]},
{"type": "assert_return", "line": 557, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "9"}]},
{"type": "assert_return", "line": 558, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "10"}]},
{"type": "assert_return", "line": 559, "action": {"type": "invoke", "field": "nested", "args": [{"type": "i32", "value": "4294967185"}, {"type": "i32", "value": "4294967294"}]}, "expected": [{"type": "i32", "value": "9"}]},
{"type": "assert_return", "line": 561, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 562, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 563, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_return", "line": 564, "action": {"type": "invoke", "field": "as-select-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_return", "line": 565, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 566, "action": {"type": "invoke", "field": "as-select-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_return", "line": 568, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 569, "action": {"type": "invoke", "field": "as-loop-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 570, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 571, "action": {"type": "invoke", "field": "as-loop-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "as-loop-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 575, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 576, "action": {"type": "invoke", "field": "as-if-condition", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_return", "line": 578, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 579, "action": {"type": "invoke", "field": "as-br_if-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 580, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 581, "action": {"type": "invoke", "field": "as-br_if-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_return", "line": 583, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 584, "action": {"type": "invoke", "field": "as-br_table-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 585, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_return", "line": 586, "action": {"type": "invoke", "field": "as-br_table-last", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_return", "line": 588, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 589, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 590, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_return", "line": 591, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_return", "line": 592, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]},
{"type": "assert_trap", "line": 593, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": [{"type": "i32", "value": "1"}]}, "text": "undefined element", "expected": [{"type": "i32"}]},
{"type": "assert_return", "line": 595, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
{"type": "assert_return", "line": 596, "action": {"type": "invoke", "field": "as-store-first", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
{"type": "assert_return", "line": 597, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
{"type": "assert_return", "line": 598, "action": {"type": "invoke", "field": "as-store-last", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
{"type": "assert_return", "line": 600, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 601, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 603, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 604, "action": {"type": "invoke", "field": "as-call-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 606, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 607, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 609, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
{"type": "assert_return", "line": 610, "action": {"type": "invoke", "field": "as-drop-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
{"type": "assert_return", "line": 612, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 613, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 615, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 616, "action": {"type": "invoke", "field": "as-local.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 618, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 619, "action": {"type": "invoke", "field": "as-local.tee-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 621, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 622, "action": {"type": "invoke", "field": "as-global.set-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 624, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 625, "action": {"type": "invoke", "field": "as-load-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 627, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 628, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 629, "action": {"type": "invoke", "field": "as-unary-operand", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 631, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "15"}]},
{"type": "assert_return", "line": 632, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967284"}]},
{"type": "assert_return", "line": 633, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967281"}]},
{"type": "assert_return", "line": 634, "action": {"type": "invoke", "field": "as-binary-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]},
{"type": "assert_return", "line": 636, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 637, "action": {"type": "invoke", "field": "as-test-operand", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 639, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 640, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 641, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 642, "action": {"type": "invoke", "field": "as-compare-operand", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 644, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967284"}]},
{"type": "assert_return", "line": 645, "action": {"type": "invoke", "field": "as-binary-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "12"}]},
{"type": "assert_return", "line": 647, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 648, "action": {"type": "invoke", "field": "as-compare-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 650, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967293"}]},
{"type": "assert_return", "line": 651, "action": {"type": "invoke", "field": "as-mixed-operands", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "27"}]},
{"type": "assert_return", "line": 653, "action": {"type": "invoke", "field": "break-bare", "args": []}, "expected": [{"type": "i32", "value": "19"}]},
{"type": "assert_return", "line": 654, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "18"}]},
{"type": "assert_return", "line": 655, "action": {"type": "invoke", "field": "break-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "21"}]},
{"type": "assert_return", "line": 656, "action": {"type": "invoke", "field": "break-multi-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967278"}, {"type": "i32", "value": "18"}, {"type": "i64", "value": "18446744073709551598"}]},
{"type": "assert_return", "line": 659, "action": {"type": "invoke", "field": "break-multi-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "18"}, {"type": "i32", "value": "4294967278"}, {"type": "i64", "value": "18"}]},
{"type": "assert_return", "line": 663, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]},
{"type": "assert_return", "line": 664, "action": {"type": "invoke", "field": "param", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 665, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]},
{"type": "assert_return", "line": 666, "action": {"type": "invoke", "field": "params", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 667, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 668, "action": {"type": "invoke", "field": "params-id", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 669, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]},
{"type": "assert_return", "line": 670, "action": {"type": "invoke", "field": "param-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 671, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]},
{"type": "assert_return", "line": 672, "action": {"type": "invoke", "field": "params-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 673, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 674, "action": {"type": "invoke", "field": "params-id-break", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]},
{"type": "assert_return", "line": 676, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967282"}]},
{"type": "assert_return", "line": 677, "action": {"type": "invoke", "field": "effects", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967290"}]},
{"type": "assert_return", "line": 680, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 684, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "100"}, {"type": "i64", "value": "124"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "224"}, {"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 688, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i32", "value": "0"}]},
{"type": "assert_return", "line": 692, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 696, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}, {"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 700, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 704, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}, {"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 708, "action": {"type": "invoke", "field": "add64_u_with_carry", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}, {"type": "i32", "value": "1"}]},
{"type": "assert_return", "line": 713, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]},
{"type": "assert_return", "line": 716, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "1230"}, {"type": "i64", "value": "23"}]}, "expected": [{"type": "i64", "value": "1253"}]},
{"type": "assert_return", "line": 719, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]},
{"type": "assert_return", "line": 722, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]},
{"type": "assert_return", "line": 725, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]},
{"type": "assert_return", "line": 728, "action": {"type": "invoke", "field": "add64_u_saturated", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]},
{"type": "assert_return", "line": 731, "action": {"type": "invoke", "field": "type-use", "args": []}, "expected": []},
{"type": "assert_return", "line": 733, "action": {"type": "invoke", "field": "atypical-condition", "args": []}, "expected": []},
{"type": "assert_malformed", "line": 736, "filename": "if.1.wat", "text": "unexpected token", "module_type": "text"},
{"type": "assert_malformed", "line": 745, "filename": "if.2.wat", "text": "unexpected token", "module_type": "text"},
{"type": "assert_malformed", "line": 754, "filename": "if.3.wat", "text": "unexpected token", "module_type": "text"},
{"type": "assert_malformed", "line": 763, "filename": "if.4.wat", "text": "unexpected token", "module_type": "text"},
{"type": "assert_malformed", "line": 772, "filename": "if.5.wat", "text": "unexpected token", "module_type": "text"},
{"type": "assert_malformed", "line": 781, "filename": "if.6.wat", "text": "unexpected token", "module_type": "text"},
{"type": "assert_malformed", "line": 788, "filename": "if.7.wat", "text": "unexpected token", "module_type": "text"},
{"type": "assert_malformed", "line": 796, "filename": "if.8.wat", "text": "inline function type", "module_type": "text"},
{"type": "assert_malformed", "line": 806, "filename": "if.9.wat", "text": "inline function type", "module_type": "text"},
{"type": "assert_malformed", "line": 816, "filename": "if.10.wat", "text": "inline function type", "module_type": "text"},
{"type": "assert_malformed", "line": 826, "filename": "if.11.wat", "text": "inline function type", "module_type": "text"},
{"type": "assert_invalid", "line": 836, "filename": "if.12.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 844, "filename": "if.13.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 848, "filename": "if.14.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 852, "filename": "if.15.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 856, "filename": "if.16.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 861, "filename": "if.17.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 865, "filename": "if.18.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 869, "filename": "if.19.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 873, "filename": "if.20.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 878, "filename": "if.21.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 884, "filename": "if.22.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 890, "filename": "if.23.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 896, "filename": "if.24.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 903, "filename": "if.25.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 909, "filename": "if.26.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 915, "filename": "if.27.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 921, "filename": "if.28.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 928, "filename": "if.29.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 934, "filename": "if.30.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 940, "filename": "if.31.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 947, "filename": "if.32.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 953, "filename": "if.33.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 959, "filename": "if.34.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 966, "filename": "if.35.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 972, "filename": "if.36.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 979, "filename": "if.37.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 985, "filename": "if.38.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 991, "filename": "if.39.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 998, "filename": "if.40.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1004, "filename": "if.41.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1010, "filename": "if.42.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1017, "filename": "if.43.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1023, "filename": "if.44.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1029, "filename": "if.45.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1036, "filename": "if.46.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1042, "filename": "if.47.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1048, "filename": "if.48.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1055, "filename": "if.49.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1062, "filename": "if.50.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1069, "filename": "if.51.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1077, "filename": "if.52.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1083, "filename": "if.53.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1089, "filename": "if.54.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1096, "filename": "if.55.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1102, "filename": "if.56.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1109, "filename": "if.57.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1119, "filename": "if.58.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1129, "filename": "if.59.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1140, "filename": "if.60.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1146, "filename": "if.61.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1152, "filename": "if.62.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1158, "filename": "if.63.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1165, "filename": "if.64.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1174, "filename": "if.65.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1183, "filename": "if.66.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1192, "filename": "if.67.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1202, "filename": "if.68.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1211, "filename": "if.69.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1220, "filename": "if.70.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1229, "filename": "if.71.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1239, "filename": "if.72.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1248, "filename": "if.73.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1257, "filename": "if.74.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1266, "filename": "if.75.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1275, "filename": "if.76.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1285, "filename": "if.77.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1296, "filename": "if.78.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1304, "filename": "if.79.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1313, "filename": "if.80.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1322, "filename": "if.81.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1331, "filename": "if.82.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1341, "filename": "if.83.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1350, "filename": "if.84.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1359, "filename": "if.85.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1368, "filename": "if.86.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1376, "filename": "if.87.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1384, "filename": "if.88.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1393, "filename": "if.89.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1409, "filename": "if.90.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1418, "filename": "if.91.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1427, "filename": "if.92.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1436, "filename": "if.93.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1445, "filename": "if.94.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1454, "filename": "if.95.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1464, "filename": "if.96.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1470, "filename": "if.97.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1476, "filename": "if.98.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1482, "filename": "if.99.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1488, "filename": "if.100.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1494, "filename": "if.101.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1500, "filename": "if.102.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_invalid", "line": 1506, "filename": "if.103.wasm", "text": "type mismatch", "module_type": "binary"},
{"type": "assert_malformed", "line": 1513, "filename": "if.104.wat", "text": "unexpected token", "module_type": "text"},
{"type": "assert_malformed", "line": 1517, "filename": "if.105.wat", "text": "unexpected token", "module_type": "text"},
{"type": "assert_malformed", "line": 1522, "filename": "if.106.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1526, "filename": "if.107.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1530, "filename": "if.108.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1534, "filename": "if.109.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1538, "filename": "if.110.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1542, "filename": "if.111.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1546, "filename": "if.112.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1550, "filename": "if.113.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1554, "filename": "if.114.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1558, "filename": "if.115.wat", "text": "mismatching label", "module_type": "text"},
{"type": "assert_malformed", "line": 1562, "filename": "if.116.wat", "text": "unexpected token", "module_type": "text"}]}
|
