1{"source_filename": "./elem.wast",
2 "commands": [
3 {"type": "module", "line": 4, "filename": "elem.0.wasm"},
4 {"type": "module", "line": 80, "filename": "elem.1.wasm"},
5 {"type": "module", "line": 90, "filename": "elem.2.wasm"},
6 {"type": "module", "line": 95, "filename": "elem.3.wasm"},
7 {"type": "module", "line": 101, "filename": "elem.4.wasm"},
8 {"type": "module", "line": 110, "filename": "elem.5.wasm"},
9 {"type": "module", "line": 120, "filename": "elem.6.wasm"},
10 {"type": "module", "line": 127, "filename": "elem.7.wasm"},
11 {"type": "module", "line": 134, "filename": "elem.8.wasm"},
12 {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "65"}]},
13 {"type": "assert_return", "line": 149, "action": {"type": "invoke", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]},
14 {"type": "module", "line": 153, "filename": "elem.9.wasm"},
15 {"type": "assert_return", "line": 167, "action": {"type": "invoke", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "65"}]},
16 {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]},
17 {"type": "assert_invalid", "line": 171, "filename": "elem.10.wasm", "text": "unknown global", "module_type": "binary"},
18 {"type": "assert_invalid", "line": 175, "filename": "elem.11.wasm", "text": "unknown global", "module_type": "binary"},
19 {"type": "module", "line": 182, "filename": "elem.12.wasm"},
20 {"type": "module", "line": 187, "filename": "elem.13.wasm"},
21 {"type": "module", "line": 193, "filename": "elem.14.wasm"},
22 {"type": "module", "line": 197, "filename": "elem.15.wasm"},
23 {"type": "module", "line": 202, "filename": "elem.16.wasm"},
24 {"type": "module", "line": 207, "filename": "elem.17.wasm"},
25 {"type": "module", "line": 212, "filename": "elem.18.wasm"},
26 {"type": "module", "line": 218, "filename": "elem.19.wasm"},
27 {"type": "module", "line": 224, "filename": "elem.20.wasm"},
28 {"type": "module", "line": 230, "filename": "elem.21.wasm"},
29 {"type": "assert_uninstantiable", "line": 239, "filename": "elem.22.wasm", "text": "out of bounds table access", "module_type": "binary"},
30 {"type": "assert_uninstantiable", "line": 248, "filename": "elem.23.wasm", "text": "out of bounds table access", "module_type": "binary"},
31 {"type": "assert_uninstantiable", "line": 257, "filename": "elem.24.wasm", "text": "out of bounds table access", "module_type": "binary"},
32 {"type": "assert_uninstantiable", "line": 266, "filename": "elem.25.wasm", "text": "out of bounds table access", "module_type": "binary"},
33 {"type": "assert_uninstantiable", "line": 273, "filename": "elem.26.wasm", "text": "out of bounds table access", "module_type": "binary"},
34 {"type": "assert_uninstantiable", "line": 281, "filename": "elem.27.wasm", "text": "out of bounds table access", "module_type": "binary"},
35 {"type": "assert_uninstantiable", "line": 290, "filename": "elem.28.wasm", "text": "out of bounds table access", "module_type": "binary"},
36 {"type": "assert_uninstantiable", "line": 298, "filename": "elem.29.wasm", "text": "out of bounds table access", "module_type": "binary"},
37 {"type": "assert_uninstantiable", "line": 307, "filename": "elem.30.wasm", "text": "out of bounds table access", "module_type": "binary"},
38 {"type": "assert_uninstantiable", "line": 315, "filename": "elem.31.wasm", "text": "out of bounds table access", "module_type": "binary"},
39 {"type": "assert_uninstantiable", "line": 324, "filename": "elem.32.wasm", "text": "out of bounds table access", "module_type": "binary"},
40 {"type": "assert_uninstantiable", "line": 332, "filename": "elem.33.wasm", "text": "out of bounds table access", "module_type": "binary"},
41 {"type": "module", "line": 342, "filename": "elem.34.wasm"},
42 {"type": "assert_trap", "line": 350, "action": {"type": "invoke", "field": "init", "args": []}, "text": "out of bounds table access", "expected": []},
43 {"type": "module", "line": 352, "filename": "elem.35.wasm"},
44 {"type": "assert_trap", "line": 360, "action": {"type": "invoke", "field": "init", "args": []}, "text": "out of bounds table access", "expected": []},
45 {"type": "assert_invalid", "line": 365, "filename": "elem.36.wasm", "text": "unknown table", "module_type": "binary"},
46 {"type": "assert_invalid", "line": 375, "filename": "elem.37.wasm", "text": "type mismatch", "module_type": "binary"},
47 {"type": "assert_invalid", "line": 383, "filename": "elem.38.wasm", "text": "type mismatch", "module_type": "binary"},
48 {"type": "assert_invalid", "line": 391, "filename": "elem.39.wasm", "text": "type mismatch", "module_type": "binary"},
49 {"type": "assert_invalid", "line": 399, "filename": "elem.40.wasm", "text": "type mismatch", "module_type": "binary"},
50 {"type": "assert_invalid", "line": 407, "filename": "elem.41.wasm", "text": "type mismatch", "module_type": "binary"},
51 {"type": "assert_invalid", "line": 416, "filename": "elem.42.wasm", "text": "type mismatch", "module_type": "binary"},
52 {"type": "assert_invalid", "line": 426, "filename": "elem.43.wasm", "text": "constant expression required", "module_type": "binary"},
53 {"type": "assert_invalid", "line": 434, "filename": "elem.44.wasm", "text": "constant expression required", "module_type": "binary"},
54 {"type": "assert_invalid", "line": 442, "filename": "elem.45.wasm", "text": "constant expression required", "module_type": "binary"},
55 {"type": "assert_invalid", "line": 450, "filename": "elem.46.wasm", "text": "constant expression required", "module_type": "binary"},
56 {"type": "assert_invalid", "line": 458, "filename": "elem.47.wasm", "text": "constant expression required", "module_type": "binary"},
57 {"type": "assert_invalid", "line": 467, "filename": "elem.48.wasm", "text": "unknown global 0", "module_type": "binary"},
58 {"type": "assert_invalid", "line": 475, "filename": "elem.49.wasm", "text": "unknown global 1", "module_type": "binary"},
59 {"type": "assert_invalid", "line": 484, "filename": "elem.50.wasm", "text": "constant expression required", "module_type": "binary"},
60 {"type": "assert_invalid", "line": 495, "filename": "elem.51.wasm", "text": "type mismatch", "module_type": "binary"},
61 {"type": "assert_invalid", "line": 503, "filename": "elem.52.wasm", "text": "type mismatch", "module_type": "binary"},
62 {"type": "assert_invalid", "line": 511, "filename": "elem.53.wasm", "text": "type mismatch", "module_type": "binary"},
63 {"type": "assert_invalid", "line": 519, "filename": "elem.54.wasm", "text": "type mismatch", "module_type": "binary"},
64 {"type": "assert_invalid", "line": 527, "filename": "elem.55.wasm", "text": "constant expression required", "module_type": "binary"},
65 {"type": "assert_invalid", "line": 536, "filename": "elem.56.wasm", "text": "constant expression required", "module_type": "binary"},
66 {"type": "module", "line": 545, "filename": "elem.57.wasm"},
67 {"type": "assert_return", "line": 556, "action": {"type": "invoke", "field": "call-overwritten", "args": []}, "expected": [{"type": "i32", "value": "66"}]},
68 {"type": "module", "line": 558, "filename": "elem.58.wasm"},
69 {"type": "assert_return", "line": 569, "action": {"type": "invoke", "field": "call-overwritten-element", "args": []}, "expected": [{"type": "i32", "value": "66"}]},
70 {"type": "module", "line": 573, "name": "$module1", "filename": "elem.59.wasm"},
71 {"type": "register", "line": 591, "name": "$module1", "as": "module1"},
72 {"type": "assert_trap", "line": 593, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
73 {"type": "assert_return", "line": 594, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "65"}]},
74 {"type": "assert_return", "line": 595, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]},
75 {"type": "module", "line": 597, "name": "$module2", "filename": "elem.60.wasm"},
76 {"type": "assert_return", "line": 606, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]},
77 {"type": "assert_return", "line": 607, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "68"}]},
78 {"type": "assert_return", "line": 608, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "66"}]},
79 {"type": "module", "line": 610, "name": "$module3", "filename": "elem.61.wasm"},
80 {"type": "assert_return", "line": 619, "action": {"type": "invoke", "module": "$module1", "field": "call-7", "args": []}, "expected": [{"type": "i32", "value": "67"}]},
81 {"type": "assert_return", "line": 620, "action": {"type": "invoke", "module": "$module1", "field": "call-8", "args": []}, "expected": [{"type": "i32", "value": "69"}]},
82 {"type": "assert_return", "line": 621, "action": {"type": "invoke", "module": "$module1", "field": "call-9", "args": []}, "expected": [{"type": "i32", "value": "70"}]},
83 {"type": "assert_invalid", "line": 626, "filename": "elem.62.wasm", "text": "type mismatch", "module_type": "binary"},
84 {"type": "assert_invalid", "line": 631, "filename": "elem.63.wasm", "text": "type mismatch", "module_type": "binary"},
85 {"type": "assert_invalid", "line": 636, "filename": "elem.64.wasm", "text": "type mismatch", "module_type": "binary"},
86 {"type": "assert_invalid", "line": 645, "filename": "elem.65.wasm", "text": "type mismatch", "module_type": "binary"},
87 {"type": "module", "line": 654, "name": "$m", "filename": "elem.66.wasm"},
88 {"type": "register", "line": 661, "name": "$m", "as": "exporter"},
89 {"type": "assert_return", "line": 663, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "null"}]},
90 {"type": "assert_return", "line": 664, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "null"}]},
91 {"type": "assert_return", "line": 666, "action": {"type": "invoke", "module": "$m", "field": "set", "args": [{"type": "i32", "value": "0"}, {"type": "externref", "value": "42"}]}, "expected": []},
92 {"type": "assert_return", "line": 667, "action": {"type": "invoke", "module": "$m", "field": "set", "args": [{"type": "i32", "value": "1"}, {"type": "externref", "value": "137"}]}, "expected": []},
93 {"type": "assert_return", "line": 669, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "42"}]},
94 {"type": "assert_return", "line": 670, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "137"}]},
95 {"type": "module", "line": 672, "filename": "elem.67.wasm"},
96 {"type": "assert_return", "line": 676, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "externref", "value": "null"}]},
97 {"type": "assert_return", "line": 677, "action": {"type": "invoke", "module": "$m", "field": "get", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "externref", "value": "137"}]},
98 {"type": "module", "line": 681, "name": "$module4", "filename": "elem.68.wasm"},
99 {"type": "register", "line": 688, "name": "$module4", "as": "module4"},
100 {"type": "module", "line": 690, "filename": "elem.69.wasm"},
101 {"type": "assert_return", "line": 700, "action": {"type": "invoke", "field": "call_imported_elem", "args": []}, "expected": [{"type": "i32", "value": "42"}]}]}
View as plain text