wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v2/testdata/imports.json (about) 1 {"source_filename": "./imports.wast", 2 "commands": [ 3 {"type": "module", "line": 3, "filename": "imports.0.wasm"}, 4 {"type": "register", "line": 21, "as": "test"}, 5 {"type": "module", "line": 26, "filename": "imports.1.wasm"}, 6 {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "print32", "args": [{"type": "i32", "value": "13"}]}, "expected": []}, 7 {"type": "assert_return", "line": 86, "action": {"type": "invoke", "field": "print64", "args": [{"type": "i64", "value": "24"}]}, "expected": []}, 8 {"type": "assert_invalid", "line": 89, "filename": "imports.2.wasm", "text": "unknown type", "module_type": "binary"}, 9 {"type": "module", "line": 97, "filename": "imports.3.wasm"}, 10 {"type": "assert_return", "line": 104, "action": {"type": "invoke", "field": "print_i32", "args": [{"type": "i32", "value": "13"}]}, "expected": []}, 11 {"type": "module", "line": 107, "filename": "imports.4.wasm"}, 12 {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "print_i32", "args": [{"type": "i32", "value": "5"}, {"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "16"}]}, 13 {"type": "module", "line": 116, "filename": "imports.5.wasm"}, 14 {"type": "module", "line": 117, "filename": "imports.6.wasm"}, 15 {"type": "module", "line": 118, "filename": "imports.7.wasm"}, 16 {"type": "module", "line": 119, "filename": "imports.8.wasm"}, 17 {"type": "module", "line": 120, "filename": "imports.9.wasm"}, 18 {"type": "module", "line": 121, "filename": "imports.10.wasm"}, 19 {"type": "module", "line": 122, "filename": "imports.11.wasm"}, 20 {"type": "assert_unlinkable", "line": 125, "filename": "imports.12.wasm", "text": "unknown import", "module_type": "binary"}, 21 {"type": "assert_unlinkable", "line": 129, "filename": "imports.13.wasm", "text": "unknown import", "module_type": "binary"}, 22 {"type": "assert_unlinkable", "line": 134, "filename": "imports.14.wasm", "text": "incompatible import type", "module_type": "binary"}, 23 {"type": "assert_unlinkable", "line": 138, "filename": "imports.15.wasm", "text": "incompatible import type", "module_type": "binary"}, 24 {"type": "assert_unlinkable", "line": 142, "filename": "imports.16.wasm", "text": "incompatible import type", "module_type": "binary"}, 25 {"type": "assert_unlinkable", "line": 146, "filename": "imports.17.wasm", "text": "incompatible import type", "module_type": "binary"}, 26 {"type": "assert_unlinkable", "line": 150, "filename": "imports.18.wasm", "text": "incompatible import type", "module_type": "binary"}, 27 {"type": "assert_unlinkable", "line": 154, "filename": "imports.19.wasm", "text": "incompatible import type", "module_type": "binary"}, 28 {"type": "assert_unlinkable", "line": 158, "filename": "imports.20.wasm", "text": "incompatible import type", "module_type": "binary"}, 29 {"type": "assert_unlinkable", "line": 162, "filename": "imports.21.wasm", "text": "incompatible import type", "module_type": "binary"}, 30 {"type": "assert_unlinkable", "line": 166, "filename": "imports.22.wasm", "text": "incompatible import type", "module_type": "binary"}, 31 {"type": "assert_unlinkable", "line": 170, "filename": "imports.23.wasm", "text": "incompatible import type", "module_type": "binary"}, 32 {"type": "assert_unlinkable", "line": 174, "filename": "imports.24.wasm", "text": "incompatible import type", "module_type": "binary"}, 33 {"type": "assert_unlinkable", "line": 178, "filename": "imports.25.wasm", "text": "incompatible import type", "module_type": "binary"}, 34 {"type": "assert_unlinkable", "line": 182, "filename": "imports.26.wasm", "text": "incompatible import type", "module_type": "binary"}, 35 {"type": "assert_unlinkable", "line": 186, "filename": "imports.27.wasm", "text": "incompatible import type", "module_type": "binary"}, 36 {"type": "assert_unlinkable", "line": 190, "filename": "imports.28.wasm", "text": "incompatible import type", "module_type": "binary"}, 37 {"type": "assert_unlinkable", "line": 194, "filename": "imports.29.wasm", "text": "incompatible import type", "module_type": "binary"}, 38 {"type": "assert_unlinkable", "line": 199, "filename": "imports.30.wasm", "text": "incompatible import type", "module_type": "binary"}, 39 {"type": "assert_unlinkable", "line": 203, "filename": "imports.31.wasm", "text": "incompatible import type", "module_type": "binary"}, 40 {"type": "assert_unlinkable", "line": 207, "filename": "imports.32.wasm", "text": "incompatible import type", "module_type": "binary"}, 41 {"type": "assert_unlinkable", "line": 211, "filename": "imports.33.wasm", "text": "incompatible import type", "module_type": "binary"}, 42 {"type": "assert_unlinkable", "line": 215, "filename": "imports.34.wasm", "text": "incompatible import type", "module_type": "binary"}, 43 {"type": "assert_unlinkable", "line": 219, "filename": "imports.35.wasm", "text": "incompatible import type", "module_type": "binary"}, 44 {"type": "module", "line": 226, "filename": "imports.36.wasm"}, 45 {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "get-0", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 46 {"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "get-1", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 47 {"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "get-x", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 48 {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "get-y", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 49 {"type": "module", "line": 248, "filename": "imports.37.wasm"}, 50 {"type": "module", "line": 249, "filename": "imports.38.wasm"}, 51 {"type": "module", "line": 250, "filename": "imports.39.wasm"}, 52 {"type": "assert_unlinkable", "line": 253, "filename": "imports.40.wasm", "text": "unknown import", "module_type": "binary"}, 53 {"type": "assert_unlinkable", "line": 257, "filename": "imports.41.wasm", "text": "unknown import", "module_type": "binary"}, 54 {"type": "assert_unlinkable", "line": 262, "filename": "imports.42.wasm", "text": "incompatible import type", "module_type": "binary"}, 55 {"type": "assert_unlinkable", "line": 266, "filename": "imports.43.wasm", "text": "incompatible import type", "module_type": "binary"}, 56 {"type": "assert_unlinkable", "line": 270, "filename": "imports.44.wasm", "text": "incompatible import type", "module_type": "binary"}, 57 {"type": "assert_unlinkable", "line": 274, "filename": "imports.45.wasm", "text": "incompatible import type", "module_type": "binary"}, 58 {"type": "assert_unlinkable", "line": 278, "filename": "imports.46.wasm", "text": "incompatible import type", "module_type": "binary"}, 59 {"type": "assert_unlinkable", "line": 282, "filename": "imports.47.wasm", "text": "incompatible import type", "module_type": "binary"}, 60 {"type": "assert_unlinkable", "line": 286, "filename": "imports.48.wasm", "text": "incompatible import type", "module_type": "binary"}, 61 {"type": "assert_unlinkable", "line": 290, "filename": "imports.49.wasm", "text": "incompatible import type", "module_type": "binary"}, 62 {"type": "assert_unlinkable", "line": 294, "filename": "imports.50.wasm", "text": "incompatible import type", "module_type": "binary"}, 63 {"type": "assert_unlinkable", "line": 298, "filename": "imports.51.wasm", "text": "incompatible import type", "module_type": "binary"}, 64 {"type": "assert_unlinkable", "line": 302, "filename": "imports.52.wasm", "text": "incompatible import type", "module_type": "binary"}, 65 {"type": "assert_unlinkable", "line": 306, "filename": "imports.53.wasm", "text": "incompatible import type", "module_type": "binary"}, 66 {"type": "assert_unlinkable", "line": 311, "filename": "imports.54.wasm", "text": "incompatible import type", "module_type": "binary"}, 67 {"type": "assert_unlinkable", "line": 315, "filename": "imports.55.wasm", "text": "incompatible import type", "module_type": "binary"}, 68 {"type": "assert_unlinkable", "line": 319, "filename": "imports.56.wasm", "text": "incompatible import type", "module_type": "binary"}, 69 {"type": "assert_unlinkable", "line": 323, "filename": "imports.57.wasm", "text": "incompatible import type", "module_type": "binary"}, 70 {"type": "assert_unlinkable", "line": 327, "filename": "imports.58.wasm", "text": "incompatible import type", "module_type": "binary"}, 71 {"type": "assert_unlinkable", "line": 331, "filename": "imports.59.wasm", "text": "incompatible import type", "module_type": "binary"}, 72 {"type": "module", "line": 338, "filename": "imports.60.wasm"}, 73 {"type": "assert_trap", "line": 350, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 74 {"type": "assert_return", "line": 351, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, 75 {"type": "assert_return", "line": 352, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, 76 {"type": "assert_trap", "line": 353, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 77 {"type": "assert_trap", "line": 354, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, 78 {"type": "module", "line": 357, "filename": "imports.61.wasm"}, 79 {"type": "assert_trap", "line": 369, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 80 {"type": "assert_return", "line": 370, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, 81 {"type": "assert_return", "line": 371, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, 82 {"type": "assert_trap", "line": 372, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 83 {"type": "assert_trap", "line": 373, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, 84 {"type": "module", "line": 376, "filename": "imports.62.wasm"}, 85 {"type": "module", "line": 383, "filename": "imports.63.wasm"}, 86 {"type": "module", "line": 384, "filename": "imports.64.wasm"}, 87 {"type": "module", "line": 385, "filename": "imports.65.wasm"}, 88 {"type": "module", "line": 386, "filename": "imports.66.wasm"}, 89 {"type": "module", "line": 387, "filename": "imports.67.wasm"}, 90 {"type": "module", "line": 388, "filename": "imports.68.wasm"}, 91 {"type": "module", "line": 389, "filename": "imports.69.wasm"}, 92 {"type": "module", "line": 390, "filename": "imports.70.wasm"}, 93 {"type": "module", "line": 391, "filename": "imports.71.wasm"}, 94 {"type": "module", "line": 392, "filename": "imports.72.wasm"}, 95 {"type": "module", "line": 393, "filename": "imports.73.wasm"}, 96 {"type": "module", "line": 394, "filename": "imports.74.wasm"}, 97 {"type": "module", "line": 395, "filename": "imports.75.wasm"}, 98 {"type": "module", "line": 396, "filename": "imports.76.wasm"}, 99 {"type": "module", "line": 397, "filename": "imports.77.wasm"}, 100 {"type": "module", "line": 398, "filename": "imports.78.wasm"}, 101 {"type": "module", "line": 399, "filename": "imports.79.wasm"}, 102 {"type": "module", "line": 400, "filename": "imports.80.wasm"}, 103 {"type": "module", "line": 401, "filename": "imports.81.wasm"}, 104 {"type": "module", "line": 402, "filename": "imports.82.wasm"}, 105 {"type": "assert_unlinkable", "line": 405, "filename": "imports.83.wasm", "text": "unknown import", "module_type": "binary"}, 106 {"type": "assert_unlinkable", "line": 409, "filename": "imports.84.wasm", "text": "unknown import", "module_type": "binary"}, 107 {"type": "assert_unlinkable", "line": 414, "filename": "imports.85.wasm", "text": "incompatible import type", "module_type": "binary"}, 108 {"type": "assert_unlinkable", "line": 418, "filename": "imports.86.wasm", "text": "incompatible import type", "module_type": "binary"}, 109 {"type": "assert_unlinkable", "line": 422, "filename": "imports.87.wasm", "text": "incompatible import type", "module_type": "binary"}, 110 {"type": "assert_unlinkable", "line": 426, "filename": "imports.88.wasm", "text": "incompatible import type", "module_type": "binary"}, 111 {"type": "assert_unlinkable", "line": 430, "filename": "imports.89.wasm", "text": "incompatible import type", "module_type": "binary"}, 112 {"type": "assert_unlinkable", "line": 434, "filename": "imports.90.wasm", "text": "incompatible import type", "module_type": "binary"}, 113 {"type": "assert_unlinkable", "line": 439, "filename": "imports.91.wasm", "text": "incompatible import type", "module_type": "binary"}, 114 {"type": "assert_unlinkable", "line": 443, "filename": "imports.92.wasm", "text": "incompatible import type", "module_type": "binary"}, 115 {"type": "assert_unlinkable", "line": 447, "filename": "imports.93.wasm", "text": "incompatible import type", "module_type": "binary"}, 116 {"type": "assert_unlinkable", "line": 451, "filename": "imports.94.wasm", "text": "incompatible import type", "module_type": "binary"}, 117 {"type": "module", "line": 459, "filename": "imports.95.wasm"}, 118 {"type": "assert_return", "line": 466, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 119 {"type": "assert_return", "line": 467, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, 120 {"type": "assert_return", "line": 468, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, 121 {"type": "assert_trap", "line": 469, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, 122 {"type": "module", "line": 471, "filename": "imports.96.wasm"}, 123 {"type": "assert_return", "line": 477, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 124 {"type": "assert_return", "line": 478, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, 125 {"type": "assert_return", "line": 479, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, 126 {"type": "assert_trap", "line": 480, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, 127 {"type": "assert_invalid", "line": 483, "filename": "imports.97.wasm", "text": "multiple memories", "module_type": "binary"}, 128 {"type": "assert_invalid", "line": 487, "filename": "imports.98.wasm", "text": "multiple memories", "module_type": "binary"}, 129 {"type": "assert_invalid", "line": 491, "filename": "imports.99.wasm", "text": "multiple memories", "module_type": "binary"}, 130 {"type": "module", "line": 495, "filename": "imports.100.wasm"}, 131 {"type": "module", "line": 496, "filename": "imports.101.wasm"}, 132 {"type": "module", "line": 497, "filename": "imports.102.wasm"}, 133 {"type": "module", "line": 498, "filename": "imports.103.wasm"}, 134 {"type": "module", "line": 499, "filename": "imports.104.wasm"}, 135 {"type": "module", "line": 500, "filename": "imports.105.wasm"}, 136 {"type": "module", "line": 501, "filename": "imports.106.wasm"}, 137 {"type": "module", "line": 502, "filename": "imports.107.wasm"}, 138 {"type": "module", "line": 503, "filename": "imports.108.wasm"}, 139 {"type": "assert_unlinkable", "line": 506, "filename": "imports.109.wasm", "text": "unknown import", "module_type": "binary"}, 140 {"type": "assert_unlinkable", "line": 510, "filename": "imports.110.wasm", "text": "unknown import", "module_type": "binary"}, 141 {"type": "assert_unlinkable", "line": 515, "filename": "imports.111.wasm", "text": "incompatible import type", "module_type": "binary"}, 142 {"type": "assert_unlinkable", "line": 519, "filename": "imports.112.wasm", "text": "incompatible import type", "module_type": "binary"}, 143 {"type": "assert_unlinkable", "line": 523, "filename": "imports.113.wasm", "text": "incompatible import type", "module_type": "binary"}, 144 {"type": "assert_unlinkable", "line": 527, "filename": "imports.114.wasm", "text": "incompatible import type", "module_type": "binary"}, 145 {"type": "assert_unlinkable", "line": 532, "filename": "imports.115.wasm", "text": "incompatible import type", "module_type": "binary"}, 146 {"type": "assert_unlinkable", "line": 536, "filename": "imports.116.wasm", "text": "incompatible import type", "module_type": "binary"}, 147 {"type": "assert_unlinkable", "line": 540, "filename": "imports.117.wasm", "text": "incompatible import type", "module_type": "binary"}, 148 {"type": "assert_unlinkable", "line": 544, "filename": "imports.118.wasm", "text": "incompatible import type", "module_type": "binary"}, 149 {"type": "assert_unlinkable", "line": 548, "filename": "imports.119.wasm", "text": "incompatible import type", "module_type": "binary"}, 150 {"type": "assert_unlinkable", "line": 552, "filename": "imports.120.wasm", "text": "incompatible import type", "module_type": "binary"}, 151 {"type": "assert_unlinkable", "line": 557, "filename": "imports.121.wasm", "text": "incompatible import type", "module_type": "binary"}, 152 {"type": "assert_unlinkable", "line": 561, "filename": "imports.122.wasm", "text": "incompatible import type", "module_type": "binary"}, 153 {"type": "module", "line": 565, "filename": "imports.123.wasm"}, 154 {"type": "assert_return", "line": 569, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 155 {"type": "assert_return", "line": 570, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 156 {"type": "assert_return", "line": 571, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 157 {"type": "assert_return", "line": 572, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 158 {"type": "assert_return", "line": 573, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 159 {"type": "module", "line": 575, "name": "$Mgm", "filename": "imports.124.wasm"}, 160 {"type": "register", "line": 579, "name": "$Mgm", "as": "grown-memory"}, 161 {"type": "assert_return", "line": 580, "action": {"type": "invoke", "module": "$Mgm", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 162 {"type": "module", "line": 581, "name": "$Mgim1", "filename": "imports.125.wasm"}, 163 {"type": "register", "line": 586, "name": "$Mgim1", "as": "grown-imported-memory"}, 164 {"type": "assert_return", "line": 587, "action": {"type": "invoke", "module": "$Mgim1", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 165 {"type": "module", "line": 588, "name": "$Mgim2", "filename": "imports.126.wasm"}, 166 {"type": "assert_return", "line": 593, "action": {"type": "invoke", "module": "$Mgim2", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "3"}]}, 167 {"type": "assert_malformed", "line": 599, "filename": "imports.127.wat", "text": "import after function", "module_type": "text"}, 168 {"type": "assert_malformed", "line": 603, "filename": "imports.128.wat", "text": "import after function", "module_type": "text"}, 169 {"type": "assert_malformed", "line": 607, "filename": "imports.129.wat", "text": "import after function", "module_type": "text"}, 170 {"type": "assert_malformed", "line": 611, "filename": "imports.130.wat", "text": "import after function", "module_type": "text"}, 171 {"type": "assert_malformed", "line": 616, "filename": "imports.131.wat", "text": "import after global", "module_type": "text"}, 172 {"type": "assert_malformed", "line": 620, "filename": "imports.132.wat", "text": "import after global", "module_type": "text"}, 173 {"type": "assert_malformed", "line": 624, "filename": "imports.133.wat", "text": "import after global", "module_type": "text"}, 174 {"type": "assert_malformed", "line": 628, "filename": "imports.134.wat", "text": "import after global", "module_type": "text"}, 175 {"type": "assert_malformed", "line": 633, "filename": "imports.135.wat", "text": "import after table", "module_type": "text"}, 176 {"type": "assert_malformed", "line": 637, "filename": "imports.136.wat", "text": "import after table", "module_type": "text"}, 177 {"type": "assert_malformed", "line": 641, "filename": "imports.137.wat", "text": "import after table", "module_type": "text"}, 178 {"type": "assert_malformed", "line": 645, "filename": "imports.138.wat", "text": "import after table", "module_type": "text"}, 179 {"type": "assert_malformed", "line": 650, "filename": "imports.139.wat", "text": "import after memory", "module_type": "text"}, 180 {"type": "assert_malformed", "line": 654, "filename": "imports.140.wat", "text": "import after memory", "module_type": "text"}, 181 {"type": "assert_malformed", "line": 658, "filename": "imports.141.wat", "text": "import after memory", "module_type": "text"}, 182 {"type": "assert_malformed", "line": 662, "filename": "imports.142.wat", "text": "import after memory", "module_type": "text"}, 183 {"type": "module", "line": 669, "filename": "imports.143.wasm"}, 184 {"type": "register", "line": 670, "as": "not wasm"}, 185 {"type": "assert_unlinkable", "line": 672, "filename": "imports.144.wasm", "text": "unknown import", "module_type": "binary"}]}