1{"source_filename": "./bulk.wast",
2 "commands": [
3 {"type": "module", "line": 2, "filename": "bulk.0.wasm"},
4 {"type": "module", "line": 6, "filename": "bulk.1.wasm"},
5 {"type": "module", "line": 13, "filename": "bulk.2.wasm"},
6 {"type": "action", "line": 27, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "255"}, {"type": "i32", "value": "3"}]}, "expected": []},
7 {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]},
8 {"type": "assert_return", "line": 29, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "255"}]},
9 {"type": "assert_return", "line": 30, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "255"}]},
10 {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "255"}]},
11 {"type": "assert_return", "line": 32, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "0"}]},
12 {"type": "action", "line": 35, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "48042"}, {"type": "i32", "value": "2"}]}, "expected": []},
13 {"type": "assert_return", "line": 36, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "170"}]},
14 {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "170"}]},
15 {"type": "action", "line": 40, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "65536"}]}, "expected": []},
16 {"type": "assert_trap", "line": 43, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "65280"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "257"}]}, "text": "out of bounds memory access", "expected": []},
17 {"type": "assert_return", "line": 45, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65280"}]}, "expected": [{"type": "i32", "value": "0"}]},
18 {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65535"}]}, "expected": [{"type": "i32", "value": "0"}]},
19 {"type": "action", "line": 49, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []},
20 {"type": "assert_trap", "line": 52, "action": {"type": "invoke", "field": "fill", "args": [{"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []},
21 {"type": "module", "line": 57, "filename": "bulk.3.wasm"},
22 {"type": "action", "line": 71, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}]}, "expected": []},
23 {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "0"}]},
24 {"type": "assert_return", "line": 74, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "170"}]},
25 {"type": "assert_return", "line": 75, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "187"}]},
26 {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "204"}]},
27 {"type": "assert_return", "line": 77, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "221"}]},
28 {"type": "assert_return", "line": 78, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "0"}]},
29 {"type": "action", "line": 81, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "10"}, {"type": "i32", "value": "4"}]}, "expected": []},
30 {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "170"}]},
31 {"type": "assert_return", "line": 83, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "187"}]},
32 {"type": "assert_return", "line": 84, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "204"}]},
33 {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "221"}]},
34 {"type": "assert_return", "line": 86, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "204"}]},
35 {"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "221"}]},
36 {"type": "action", "line": 90, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "7"}, {"type": "i32", "value": "6"}]}, "expected": []},
37 {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "0"}]},
38 {"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "170"}]},
39 {"type": "assert_return", "line": 93, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "187"}]},
40 {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "204"}]},
41 {"type": "assert_return", "line": 95, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "221"}]},
42 {"type": "assert_return", "line": 96, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "15"}]}, "expected": [{"type": "i32", "value": "204"}]},
43 {"type": "assert_return", "line": 97, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "i32", "value": "0"}]},
44 {"type": "action", "line": 100, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65280"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "256"}]}, "expected": []},
45 {"type": "action", "line": 101, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65024"}, {"type": "i32", "value": "65280"}, {"type": "i32", "value": "256"}]}, "expected": []},
46 {"type": "action", "line": 104, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []},
47 {"type": "action", "line": 105, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}]}, "expected": []},
48 {"type": "assert_trap", "line": 108, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []},
49 {"type": "assert_trap", "line": 110, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []},
50 {"type": "module", "line": 115, "filename": "bulk.4.wasm"},
51 {"type": "action", "line": 129, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}]}, "expected": []},
52 {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "187"}]},
53 {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "204"}]},
54 {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "0"}]},
55 {"type": "action", "line": 135, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65532"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}]}, "expected": []},
56 {"type": "assert_trap", "line": 138, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65534"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "3"}]}, "text": "out of bounds memory access", "expected": []},
57 {"type": "assert_return", "line": 140, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65534"}]}, "expected": [{"type": "i32", "value": "204"}]},
58 {"type": "assert_return", "line": 141, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "65535"}]}, "expected": [{"type": "i32", "value": "221"}]},
59 {"type": "action", "line": 144, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65536"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []},
60 {"type": "action", "line": 145, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}, {"type": "i32", "value": "0"}]}, "expected": []},
61 {"type": "assert_trap", "line": 148, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "65537"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []},
62 {"type": "assert_trap", "line": 150, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "5"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds memory access", "expected": []},
63 {"type": "module", "line": 154, "filename": "bulk.5.wasm"},
64 {"type": "action", "line": 168, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
65 {"type": "action", "line": 169, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []},
66 {"type": "action", "line": 170, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []},
67 {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
68 {"type": "assert_trap", "line": 172, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds memory access", "expected": []},
69 {"type": "action", "line": 173, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
70 {"type": "action", "line": 174, "action": {"type": "invoke", "field": "drop_active", "args": []}, "expected": []},
71 {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
72 {"type": "assert_trap", "line": 176, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds memory access", "expected": []},
73 {"type": "action", "line": 177, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
74 {"type": "module", "line": 181, "filename": "bulk.6.wasm"},
75 {"type": "module", "line": 196, "filename": "bulk.7.wasm"},
76 {"type": "module", "line": 199, "filename": "bulk.8.wasm"},
77 {"type": "assert_trap", "line": 219, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "2"}]}, "text": "out of bounds table access", "expected": []},
78 {"type": "assert_trap", "line": 221, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "text": "uninitialized element 2", "expected": [{"type": "i32"}]},
79 {"type": "action", "line": 224, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}]}, "expected": []},
80 {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
81 {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]},
82 {"type": "assert_trap", "line": 227, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]},
83 {"type": "action", "line": 230, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "2"}, {"type": "i32", "value": "2"}]}, "expected": []},
84 {"type": "action", "line": 233, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []},
85 {"type": "action", "line": 234, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4"}, {"type": "i32", "value": "0"}]}, "expected": []},
86 {"type": "assert_trap", "line": 237, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "4"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []},
87 {"type": "assert_trap", "line": 239, "action": {"type": "invoke", "field": "init", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "5"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []},
88 {"type": "module", "line": 244, "filename": "bulk.9.wasm"},
89 {"type": "action", "line": 261, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "expected": []},
90 {"type": "action", "line": 262, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []},
91 {"type": "action", "line": 263, "action": {"type": "invoke", "field": "drop_passive", "args": []}, "expected": []},
92 {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
93 {"type": "assert_trap", "line": 265, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds table access", "expected": []},
94 {"type": "action", "line": 266, "action": {"type": "invoke", "field": "init_passive", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
95 {"type": "action", "line": 267, "action": {"type": "invoke", "field": "drop_active", "args": []}, "expected": []},
96 {"type": "assert_return", "line": 268, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
97 {"type": "assert_trap", "line": 269, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "1"}]}, "text": "out of bounds table access", "expected": []},
98 {"type": "action", "line": 270, "action": {"type": "invoke", "field": "init_active", "args": [{"type": "i32", "value": "0"}]}, "expected": []},
99 {"type": "module", "line": 274, "filename": "bulk.10.wasm"},
100 {"type": "module", "line": 297, "filename": "bulk.11.wasm"},
101 {"type": "module", "line": 300, "filename": "bulk.12.wasm"},
102 {"type": "action", "line": 319, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "3"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "3"}]}, "expected": []},
103 {"type": "assert_return", "line": 321, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "0"}]},
104 {"type": "assert_return", "line": 322, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "1"}]},
105 {"type": "assert_return", "line": 323, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "2"}]},
106 {"type": "action", "line": 326, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "3"}]}, "expected": []},
107 {"type": "assert_return", "line": 328, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]},
108 {"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]},
109 {"type": "assert_return", "line": 330, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "0"}]},
110 {"type": "action", "line": 333, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "2"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "3"}]}, "expected": []},
111 {"type": "assert_return", "line": 335, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "1"}]},
112 {"type": "assert_return", "line": 336, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "2"}]},
113 {"type": "assert_return", "line": 337, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "0"}]},
114 {"type": "action", "line": 340, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "6"}, {"type": "i32", "value": "8"}, {"type": "i32", "value": "2"}]}, "expected": []},
115 {"type": "action", "line": 341, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "8"}, {"type": "i32", "value": "6"}, {"type": "i32", "value": "2"}]}, "expected": []},
116 {"type": "action", "line": 344, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "10"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "expected": []},
117 {"type": "action", "line": 345, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "10"}, {"type": "i32", "value": "0"}]}, "expected": []},
118 {"type": "assert_trap", "line": 348, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "11"}, {"type": "i32", "value": "0"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []},
119 {"type": "assert_trap", "line": 350, "action": {"type": "invoke", "field": "copy", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "11"}, {"type": "i32", "value": "0"}]}, "text": "out of bounds table access", "expected": []}]}
View as plain text