1{"source_filename": "./func.wast",
2 "commands": [
3 {"type": "module", "line": 3, "filename": "func.0.wasm"},
4 {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "type-use-1", "args": []}, "expected": []},
5 {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "type-use-2", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
6 {"type": "assert_return", "line": 173, "action": {"type": "invoke", "field": "type-use-3", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
7 {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "type-use-4", "args": [{"type": "i32", "value": "1"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]},
8 {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "type-use-5", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
9 {"type": "assert_return", "line": 179, "action": {"type": "invoke", "field": "type-use-6", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
10 {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "type-use-7", "args": [{"type": "i32", "value": "1"}, {"type": "f64", "value": "4607182418800017408"}, {"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]},
11 {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "local-first-i32", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
12 {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "local-first-i64", "args": []}, "expected": [{"type": "i64", "value": "0"}]},
13 {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "local-first-f32", "args": []}, "expected": [{"type": "f32", "value": "0"}]},
14 {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "local-first-f64", "args": []}, "expected": [{"type": "f64", "value": "0"}]},
15 {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "local-second-i32", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
16 {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "local-second-i64", "args": []}, "expected": [{"type": "i64", "value": "0"}]},
17 {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "local-second-f32", "args": []}, "expected": [{"type": "f32", "value": "0"}]},
18 {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "local-second-f64", "args": []}, "expected": [{"type": "f64", "value": "0"}]},
19 {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "local-mixed", "args": []}, "expected": [{"type": "f64", "value": "0"}]},
20 {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "param-first-i32", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "2"}]},
21 {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "param-first-i64", "args": [{"type": "i64", "value": "2"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "2"}]},
22 {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "param-first-f32", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1073741824"}]},
23 {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "param-first-f64", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4611686018427387904"}]},
24 {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "param-second-i32", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "3"}]},
25 {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "param-second-i64", "args": [{"type": "i64", "value": "2"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "3"}]},
26 {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "param-second-f32", "args": [{"type": "f32", "value": "1073741824"}, {"type": "f32", "value": "1077936128"}]}, "expected": [{"type": "f32", "value": "1077936128"}]},
27 {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "param-second-f64", "args": [{"type": "f64", "value": "4611686018427387904"}, {"type": "f64", "value": "4613937818241073152"}]}, "expected": [{"type": "f64", "value": "4613937818241073152"}]},
28 {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "param-mixed", "args": [{"type": "f32", "value": "1065353216"}, {"type": "i32", "value": "2"}, {"type": "i64", "value": "3"}, {"type": "i32", "value": "4"}, {"type": "f64", "value": "4617878467915022336"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "f64", "value": "4617878467915022336"}]},
29 {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "empty", "args": []}, "expected": []},
30 {"type": "assert_return", "line": 229, "action": {"type": "invoke", "field": "value-void", "args": []}, "expected": []},
31 {"type": "assert_return", "line": 230, "action": {"type": "invoke", "field": "value-i32", "args": []}, "expected": [{"type": "i32", "value": "77"}]},
32 {"type": "assert_return", "line": 231, "action": {"type": "invoke", "field": "value-i64", "args": []}, "expected": [{"type": "i64", "value": "7777"}]},
33 {"type": "assert_return", "line": 232, "action": {"type": "invoke", "field": "value-f32", "args": []}, "expected": [{"type": "f32", "value": "1117480550"}]},
34 {"type": "assert_return", "line": 233, "action": {"type": "invoke", "field": "value-f64", "args": []}, "expected": [{"type": "f64", "value": "4635172994171566817"}]},
35 {"type": "assert_return", "line": 234, "action": {"type": "invoke", "field": "value-block-void", "args": []}, "expected": []},
36 {"type": "assert_return", "line": 235, "action": {"type": "invoke", "field": "value-block-i32", "args": []}, "expected": [{"type": "i32", "value": "77"}]},
37 {"type": "assert_return", "line": 237, "action": {"type": "invoke", "field": "return-empty", "args": []}, "expected": []},
38 {"type": "assert_return", "line": 238, "action": {"type": "invoke", "field": "return-i32", "args": []}, "expected": [{"type": "i32", "value": "78"}]},
39 {"type": "assert_return", "line": 239, "action": {"type": "invoke", "field": "return-i64", "args": []}, "expected": [{"type": "i64", "value": "7878"}]},
40 {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "return-f32", "args": []}, "expected": [{"type": "f32", "value": "1117611622"}]},
41 {"type": "assert_return", "line": 241, "action": {"type": "invoke", "field": "return-f64", "args": []}, "expected": [{"type": "f64", "value": "4635244066603186258"}]},
42 {"type": "assert_return", "line": 242, "action": {"type": "invoke", "field": "return-block-i32", "args": []}, "expected": [{"type": "i32", "value": "77"}]},
43 {"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "break-empty", "args": []}, "expected": []},
44 {"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "break-i32", "args": []}, "expected": [{"type": "i32", "value": "79"}]},
45 {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "break-i64", "args": []}, "expected": [{"type": "i64", "value": "7979"}]},
46 {"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "break-f32", "args": []}, "expected": [{"type": "f32", "value": "1117768909"}]},
47 {"type": "assert_return", "line": 248, "action": {"type": "invoke", "field": "break-f64", "args": []}, "expected": [{"type": "f64", "value": "4635315139034805699"}]},
48 {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "break-block-i32", "args": []}, "expected": [{"type": "i32", "value": "77"}]},
49 {"type": "assert_return", "line": 251, "action": {"type": "invoke", "field": "break-br_if-empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
50 {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "break-br_if-empty", "args": [{"type": "i32", "value": "2"}]}, "expected": []},
51 {"type": "assert_return", "line": 253, "action": {"type": "invoke", "field": "break-br_if-num", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "51"}]},
52 {"type": "assert_return", "line": 254, "action": {"type": "invoke", "field": "break-br_if-num", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "50"}]},
53 {"type": "assert_return", "line": 256, "action": {"type": "invoke", "field": "break-br_table-empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
54 {"type": "assert_return", "line": 257, "action": {"type": "invoke", "field": "break-br_table-empty", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
55 {"type": "assert_return", "line": 258, "action": {"type": "invoke", "field": "break-br_table-empty", "args": [{"type": "i32", "value": "5"}]}, "expected": []},
56 {"type": "assert_return", "line": 259, "action": {"type": "invoke", "field": "break-br_table-empty", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": []},
57 {"type": "assert_return", "line": 260, "action": {"type": "invoke", "field": "break-br_table-num", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "50"}]},
58 {"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "break-br_table-num", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "50"}]},
59 {"type": "assert_return", "line": 262, "action": {"type": "invoke", "field": "break-br_table-num", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "50"}]},
60 {"type": "assert_return", "line": 263, "action": {"type": "invoke", "field": "break-br_table-num", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "50"}]},
61 {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "break-br_table-nested-empty", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
62 {"type": "assert_return", "line": 265, "action": {"type": "invoke", "field": "break-br_table-nested-empty", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
63 {"type": "assert_return", "line": 266, "action": {"type": "invoke", "field": "break-br_table-nested-empty", "args": [{"type": "i32", "value": "3"}]}, "expected": []},
64 {"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "break-br_table-nested-empty", "args": [{"type": "i32", "value": "4294967294"}]}, "expected": []},
65 {"type": "assert_return", "line": 269, "action": {"type": "invoke", "field": "break-br_table-nested-num", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "52"}]},
66 {"type": "assert_return", "line": 272, "action": {"type": "invoke", "field": "break-br_table-nested-num", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "50"}]},
67 {"type": "assert_return", "line": 275, "action": {"type": "invoke", "field": "break-br_table-nested-num", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "52"}]},
68 {"type": "assert_return", "line": 278, "action": {"type": "invoke", "field": "break-br_table-nested-num", "args": [{"type": "i32", "value": "4294967293"}]}, "expected": [{"type": "i32", "value": "52"}]},
69 {"type": "assert_return", "line": 281, "action": {"type": "invoke", "field": "init-local-i32", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
70 {"type": "assert_return", "line": 282, "action": {"type": "invoke", "field": "init-local-i64", "args": []}, "expected": [{"type": "i64", "value": "0"}]},
71 {"type": "assert_return", "line": 283, "action": {"type": "invoke", "field": "init-local-f32", "args": []}, "expected": [{"type": "f32", "value": "0"}]},
72 {"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "init-local-f64", "args": []}, "expected": [{"type": "f64", "value": "0"}]},
73 {"type": "module", "line": 289, "filename": "func.1.wasm"},
74 {"type": "assert_invalid", "line": 303, "filename": "func.2.wasm", "text": "unknown type", "module_type": "binary"},
75 {"type": "module", "line": 315, "filename": "func.3.wasm"},
76 {"type": "assert_return", "line": 378, "action": {"type": "invoke", "field": "signature-explicit-reused", "args": []}, "expected": []},
77 {"type": "assert_return", "line": 379, "action": {"type": "invoke", "field": "signature-implicit-reused", "args": []}, "expected": []},
78 {"type": "assert_return", "line": 380, "action": {"type": "invoke", "field": "signature-explicit-duplicate", "args": []}, "expected": []},
79 {"type": "assert_return", "line": 381, "action": {"type": "invoke", "field": "signature-implicit-duplicate", "args": []}, "expected": []},
80 {"type": "assert_malformed", "line": 387, "filename": "func.4.wat", "text": "unexpected token", "module_type": "text"},
81 {"type": "assert_malformed", "line": 394, "filename": "func.5.wat", "text": "unexpected token", "module_type": "text"},
82 {"type": "assert_malformed", "line": 401, "filename": "func.6.wat", "text": "unexpected token", "module_type": "text"},
83 {"type": "assert_malformed", "line": 408, "filename": "func.7.wat", "text": "unexpected token", "module_type": "text"},
84 {"type": "assert_malformed", "line": 415, "filename": "func.8.wat", "text": "unexpected token", "module_type": "text"},
85 {"type": "assert_malformed", "line": 422, "filename": "func.9.wat", "text": "unexpected token", "module_type": "text"},
86 {"type": "assert_malformed", "line": 429, "filename": "func.10.wat", "text": "inline function type", "module_type": "text"},
87 {"type": "assert_malformed", "line": 436, "filename": "func.11.wat", "text": "inline function type", "module_type": "text"},
88 {"type": "assert_malformed", "line": 443, "filename": "func.12.wat", "text": "inline function type", "module_type": "text"},
89 {"type": "assert_malformed", "line": 450, "filename": "func.13.wat", "text": "inline function type", "module_type": "text"},
90 {"type": "assert_invalid", "line": 461, "filename": "func.14.wasm", "text": "type mismatch", "module_type": "binary"},
91 {"type": "assert_invalid", "line": 465, "filename": "func.15.wasm", "text": "type mismatch", "module_type": "binary"},
92 {"type": "assert_invalid", "line": 469, "filename": "func.16.wasm", "text": "type mismatch", "module_type": "binary"},
93 {"type": "assert_invalid", "line": 477, "filename": "func.17.wasm", "text": "type mismatch", "module_type": "binary"},
94 {"type": "assert_invalid", "line": 481, "filename": "func.18.wasm", "text": "type mismatch", "module_type": "binary"},
95 {"type": "assert_invalid", "line": 485, "filename": "func.19.wasm", "text": "type mismatch", "module_type": "binary"},
96 {"type": "assert_invalid", "line": 493, "filename": "func.20.wasm", "text": "invalid result arity", "module_type": "binary"},
97 {"type": "assert_invalid", "line": 497, "filename": "func.21.wasm", "text": "invalid result arity", "module_type": "binary"},
98 {"type": "assert_invalid", "line": 506, "filename": "func.22.wasm", "text": "type mismatch", "module_type": "binary"},
99 {"type": "assert_invalid", "line": 510, "filename": "func.23.wasm", "text": "type mismatch", "module_type": "binary"},
100 {"type": "assert_invalid", "line": 514, "filename": "func.24.wasm", "text": "type mismatch", "module_type": "binary"},
101 {"type": "assert_invalid", "line": 518, "filename": "func.25.wasm", "text": "type mismatch", "module_type": "binary"},
102 {"type": "assert_invalid", "line": 523, "filename": "func.26.wasm", "text": "type mismatch", "module_type": "binary"},
103 {"type": "assert_invalid", "line": 529, "filename": "func.27.wasm", "text": "type mismatch", "module_type": "binary"},
104 {"type": "assert_invalid", "line": 535, "filename": "func.28.wasm", "text": "type mismatch", "module_type": "binary"},
105 {"type": "assert_invalid", "line": 542, "filename": "func.29.wasm", "text": "type mismatch", "module_type": "binary"},
106 {"type": "assert_invalid", "line": 548, "filename": "func.30.wasm", "text": "type mismatch", "module_type": "binary"},
107 {"type": "assert_invalid", "line": 554, "filename": "func.31.wasm", "text": "type mismatch", "module_type": "binary"},
108 {"type": "assert_invalid", "line": 561, "filename": "func.32.wasm", "text": "type mismatch", "module_type": "binary"},
109 {"type": "assert_invalid", "line": 567, "filename": "func.33.wasm", "text": "type mismatch", "module_type": "binary"},
110 {"type": "assert_invalid", "line": 573, "filename": "func.34.wasm", "text": "type mismatch", "module_type": "binary"},
111 {"type": "assert_invalid", "line": 579, "filename": "func.35.wasm", "text": "type mismatch", "module_type": "binary"},
112 {"type": "assert_invalid", "line": 586, "filename": "func.36.wasm", "text": "type mismatch", "module_type": "binary"},
113 {"type": "assert_invalid", "line": 592, "filename": "func.37.wasm", "text": "type mismatch", "module_type": "binary"},
114 {"type": "assert_invalid", "line": 598, "filename": "func.38.wasm", "text": "type mismatch", "module_type": "binary"},
115 {"type": "assert_invalid", "line": 604, "filename": "func.39.wasm", "text": "type mismatch", "module_type": "binary"},
116 {"type": "assert_invalid", "line": 610, "filename": "func.40.wasm", "text": "type mismatch", "module_type": "binary"},
117 {"type": "assert_invalid", "line": 617, "filename": "func.41.wasm", "text": "type mismatch", "module_type": "binary"},
118 {"type": "assert_invalid", "line": 623, "filename": "func.42.wasm", "text": "type mismatch", "module_type": "binary"},
119 {"type": "assert_invalid", "line": 629, "filename": "func.43.wasm", "text": "type mismatch", "module_type": "binary"},
120 {"type": "assert_malformed", "line": 639, "filename": "func.44.wat", "text": "unexpected token", "module_type": "text"},
121 {"type": "assert_malformed", "line": 643, "filename": "func.45.wat", "text": "unexpected token", "module_type": "text"},
122 {"type": "assert_malformed", "line": 647, "filename": "func.46.wat", "text": "unexpected token", "module_type": "text"},
123 {"type": "assert_malformed", "line": 651, "filename": "func.47.wat", "text": "unexpected token", "module_type": "text"},
124 {"type": "assert_malformed", "line": 655, "filename": "func.48.wat", "text": "unexpected token", "module_type": "text"},
125 {"type": "assert_malformed", "line": 659, "filename": "func.49.wat", "text": "unexpected token", "module_type": "text"}]}
View as plain text