github.com/tetratelabs/wazero@v1.7.1/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": 246, "action": {"type": "invoke", "field": "get-0", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 46 {"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "get-1", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 47 {"type": "assert_return", "line": 248, "action": {"type": "invoke", "field": "get-x", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 48 {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "get-y", "args": []}, "expected": [{"type": "i32", "value": "666"}]}, 49 {"type": "assert_return", "line": 250, "action": {"type": "invoke", "field": "get-4", "args": []}, "expected": [{"type": "i64", "value": "666"}]}, 50 {"type": "assert_return", "line": 251, "action": {"type": "invoke", "field": "get-5", "args": []}, "expected": [{"type": "f32", "value": "1143383654"}]}, 51 {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "get-6", "args": []}, "expected": [{"type": "f64", "value": "4649074691427585229"}]}, 52 {"type": "module", "line": 254, "filename": "imports.37.wasm"}, 53 {"type": "module", "line": 255, "filename": "imports.38.wasm"}, 54 {"type": "module", "line": 256, "filename": "imports.39.wasm"}, 55 {"type": "assert_unlinkable", "line": 259, "filename": "imports.40.wasm", "text": "unknown import", "module_type": "binary"}, 56 {"type": "assert_unlinkable", "line": 263, "filename": "imports.41.wasm", "text": "unknown import", "module_type": "binary"}, 57 {"type": "assert_unlinkable", "line": 268, "filename": "imports.42.wasm", "text": "incompatible import type", "module_type": "binary"}, 58 {"type": "assert_unlinkable", "line": 272, "filename": "imports.43.wasm", "text": "incompatible import type", "module_type": "binary"}, 59 {"type": "assert_unlinkable", "line": 276, "filename": "imports.44.wasm", "text": "incompatible import type", "module_type": "binary"}, 60 {"type": "assert_unlinkable", "line": 280, "filename": "imports.45.wasm", "text": "incompatible import type", "module_type": "binary"}, 61 {"type": "assert_unlinkable", "line": 284, "filename": "imports.46.wasm", "text": "incompatible import type", "module_type": "binary"}, 62 {"type": "assert_unlinkable", "line": 288, "filename": "imports.47.wasm", "text": "incompatible import type", "module_type": "binary"}, 63 {"type": "assert_unlinkable", "line": 292, "filename": "imports.48.wasm", "text": "incompatible import type", "module_type": "binary"}, 64 {"type": "assert_unlinkable", "line": 296, "filename": "imports.49.wasm", "text": "incompatible import type", "module_type": "binary"}, 65 {"type": "assert_unlinkable", "line": 300, "filename": "imports.50.wasm", "text": "incompatible import type", "module_type": "binary"}, 66 {"type": "assert_unlinkable", "line": 304, "filename": "imports.51.wasm", "text": "incompatible import type", "module_type": "binary"}, 67 {"type": "assert_unlinkable", "line": 308, "filename": "imports.52.wasm", "text": "incompatible import type", "module_type": "binary"}, 68 {"type": "assert_unlinkable", "line": 312, "filename": "imports.53.wasm", "text": "incompatible import type", "module_type": "binary"}, 69 {"type": "assert_unlinkable", "line": 317, "filename": "imports.54.wasm", "text": "incompatible import type", "module_type": "binary"}, 70 {"type": "assert_unlinkable", "line": 321, "filename": "imports.55.wasm", "text": "incompatible import type", "module_type": "binary"}, 71 {"type": "assert_unlinkable", "line": 325, "filename": "imports.56.wasm", "text": "incompatible import type", "module_type": "binary"}, 72 {"type": "assert_unlinkable", "line": 329, "filename": "imports.57.wasm", "text": "incompatible import type", "module_type": "binary"}, 73 {"type": "assert_unlinkable", "line": 333, "filename": "imports.58.wasm", "text": "incompatible import type", "module_type": "binary"}, 74 {"type": "assert_unlinkable", "line": 337, "filename": "imports.59.wasm", "text": "incompatible import type", "module_type": "binary"}, 75 {"type": "module", "line": 344, "filename": "imports.60.wasm"}, 76 {"type": "assert_trap", "line": 356, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 77 {"type": "assert_return", "line": 357, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, 78 {"type": "assert_return", "line": 358, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, 79 {"type": "assert_trap", "line": 359, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 80 {"type": "assert_trap", "line": 360, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, 81 {"type": "module", "line": 363, "filename": "imports.61.wasm"}, 82 {"type": "assert_trap", "line": 375, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "0"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 83 {"type": "assert_return", "line": 376, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "11"}]}, 84 {"type": "assert_return", "line": 377, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "22"}]}, 85 {"type": "assert_trap", "line": 378, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "3"}]}, "text": "uninitialized element", "expected": [{"type": "i32"}]}, 86 {"type": "assert_trap", "line": 379, "action": {"type": "invoke", "field": "call", "args": [{"type": "i32", "value": "100"}]}, "text": "undefined element", "expected": [{"type": "i32"}]}, 87 {"type": "module", "line": 382, "filename": "imports.62.wasm"}, 88 {"type": "module", "line": 389, "filename": "imports.63.wasm"}, 89 {"type": "module", "line": 390, "filename": "imports.64.wasm"}, 90 {"type": "module", "line": 391, "filename": "imports.65.wasm"}, 91 {"type": "module", "line": 392, "filename": "imports.66.wasm"}, 92 {"type": "module", "line": 393, "filename": "imports.67.wasm"}, 93 {"type": "module", "line": 394, "filename": "imports.68.wasm"}, 94 {"type": "module", "line": 395, "filename": "imports.69.wasm"}, 95 {"type": "module", "line": 396, "filename": "imports.70.wasm"}, 96 {"type": "module", "line": 397, "filename": "imports.71.wasm"}, 97 {"type": "module", "line": 398, "filename": "imports.72.wasm"}, 98 {"type": "module", "line": 399, "filename": "imports.73.wasm"}, 99 {"type": "module", "line": 400, "filename": "imports.74.wasm"}, 100 {"type": "module", "line": 401, "filename": "imports.75.wasm"}, 101 {"type": "module", "line": 402, "filename": "imports.76.wasm"}, 102 {"type": "module", "line": 403, "filename": "imports.77.wasm"}, 103 {"type": "module", "line": 404, "filename": "imports.78.wasm"}, 104 {"type": "module", "line": 405, "filename": "imports.79.wasm"}, 105 {"type": "module", "line": 406, "filename": "imports.80.wasm"}, 106 {"type": "module", "line": 407, "filename": "imports.81.wasm"}, 107 {"type": "module", "line": 408, "filename": "imports.82.wasm"}, 108 {"type": "assert_unlinkable", "line": 411, "filename": "imports.83.wasm", "text": "unknown import", "module_type": "binary"}, 109 {"type": "assert_unlinkable", "line": 415, "filename": "imports.84.wasm", "text": "unknown import", "module_type": "binary"}, 110 {"type": "assert_unlinkable", "line": 420, "filename": "imports.85.wasm", "text": "incompatible import type", "module_type": "binary"}, 111 {"type": "assert_unlinkable", "line": 424, "filename": "imports.86.wasm", "text": "incompatible import type", "module_type": "binary"}, 112 {"type": "assert_unlinkable", "line": 428, "filename": "imports.87.wasm", "text": "incompatible import type", "module_type": "binary"}, 113 {"type": "assert_unlinkable", "line": 432, "filename": "imports.88.wasm", "text": "incompatible import type", "module_type": "binary"}, 114 {"type": "assert_unlinkable", "line": 436, "filename": "imports.89.wasm", "text": "incompatible import type", "module_type": "binary"}, 115 {"type": "assert_unlinkable", "line": 440, "filename": "imports.90.wasm", "text": "incompatible import type", "module_type": "binary"}, 116 {"type": "assert_unlinkable", "line": 445, "filename": "imports.91.wasm", "text": "incompatible import type", "module_type": "binary"}, 117 {"type": "assert_unlinkable", "line": 449, "filename": "imports.92.wasm", "text": "incompatible import type", "module_type": "binary"}, 118 {"type": "assert_unlinkable", "line": 453, "filename": "imports.93.wasm", "text": "incompatible import type", "module_type": "binary"}, 119 {"type": "assert_unlinkable", "line": 457, "filename": "imports.94.wasm", "text": "incompatible import type", "module_type": "binary"}, 120 {"type": "module", "line": 465, "filename": "imports.95.wasm"}, 121 {"type": "assert_return", "line": 472, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 122 {"type": "assert_return", "line": 473, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, 123 {"type": "assert_return", "line": 474, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, 124 {"type": "assert_trap", "line": 475, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, 125 {"type": "module", "line": 477, "filename": "imports.96.wasm"}, 126 {"type": "assert_return", "line": 483, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 127 {"type": "assert_return", "line": 484, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, 128 {"type": "assert_return", "line": 485, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "1048576"}]}, 129 {"type": "assert_trap", "line": 486, "action": {"type": "invoke", "field": "load", "args": [{"type": "i32", "value": "1000000"}]}, "text": "out of bounds memory access", "expected": [{"type": "i32"}]}, 130 {"type": "assert_invalid", "line": 489, "filename": "imports.97.wasm", "text": "multiple memories", "module_type": "binary"}, 131 {"type": "assert_invalid", "line": 493, "filename": "imports.98.wasm", "text": "multiple memories", "module_type": "binary"}, 132 {"type": "assert_invalid", "line": 497, "filename": "imports.99.wasm", "text": "multiple memories", "module_type": "binary"}, 133 {"type": "module", "line": 501, "filename": "imports.100.wasm"}, 134 {"type": "module", "line": 502, "filename": "imports.101.wasm"}, 135 {"type": "module", "line": 503, "filename": "imports.102.wasm"}, 136 {"type": "module", "line": 504, "filename": "imports.103.wasm"}, 137 {"type": "module", "line": 505, "filename": "imports.104.wasm"}, 138 {"type": "module", "line": 506, "filename": "imports.105.wasm"}, 139 {"type": "module", "line": 507, "filename": "imports.106.wasm"}, 140 {"type": "module", "line": 508, "filename": "imports.107.wasm"}, 141 {"type": "module", "line": 509, "filename": "imports.108.wasm"}, 142 {"type": "assert_unlinkable", "line": 512, "filename": "imports.109.wasm", "text": "unknown import", "module_type": "binary"}, 143 {"type": "assert_unlinkable", "line": 516, "filename": "imports.110.wasm", "text": "unknown import", "module_type": "binary"}, 144 {"type": "assert_unlinkable", "line": 521, "filename": "imports.111.wasm", "text": "incompatible import type", "module_type": "binary"}, 145 {"type": "assert_unlinkable", "line": 525, "filename": "imports.112.wasm", "text": "incompatible import type", "module_type": "binary"}, 146 {"type": "assert_unlinkable", "line": 529, "filename": "imports.113.wasm", "text": "incompatible import type", "module_type": "binary"}, 147 {"type": "assert_unlinkable", "line": 533, "filename": "imports.114.wasm", "text": "incompatible import type", "module_type": "binary"}, 148 {"type": "assert_unlinkable", "line": 538, "filename": "imports.115.wasm", "text": "incompatible import type", "module_type": "binary"}, 149 {"type": "assert_unlinkable", "line": 542, "filename": "imports.116.wasm", "text": "incompatible import type", "module_type": "binary"}, 150 {"type": "assert_unlinkable", "line": 546, "filename": "imports.117.wasm", "text": "incompatible import type", "module_type": "binary"}, 151 {"type": "assert_unlinkable", "line": 550, "filename": "imports.118.wasm", "text": "incompatible import type", "module_type": "binary"}, 152 {"type": "assert_unlinkable", "line": 554, "filename": "imports.119.wasm", "text": "incompatible import type", "module_type": "binary"}, 153 {"type": "assert_unlinkable", "line": 558, "filename": "imports.120.wasm", "text": "incompatible import type", "module_type": "binary"}, 154 {"type": "assert_unlinkable", "line": 563, "filename": "imports.121.wasm", "text": "incompatible import type", "module_type": "binary"}, 155 {"type": "assert_unlinkable", "line": 567, "filename": "imports.122.wasm", "text": "incompatible import type", "module_type": "binary"}, 156 {"type": "module", "line": 571, "filename": "imports.123.wasm"}, 157 {"type": "assert_return", "line": 575, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 158 {"type": "assert_return", "line": 576, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 159 {"type": "assert_return", "line": 577, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 160 {"type": "assert_return", "line": 578, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 161 {"type": "assert_return", "line": 579, "action": {"type": "invoke", "field": "grow", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "2"}]}, 162 {"type": "module", "line": 581, "name": "$Mgm", "filename": "imports.124.wasm"}, 163 {"type": "register", "line": 585, "name": "$Mgm", "as": "grown-memory"}, 164 {"type": "assert_return", "line": 586, "action": {"type": "invoke", "module": "$Mgm", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 165 {"type": "module", "line": 587, "name": "$Mgim1", "filename": "imports.125.wasm"}, 166 {"type": "register", "line": 592, "name": "$Mgim1", "as": "grown-imported-memory"}, 167 {"type": "assert_return", "line": 593, "action": {"type": "invoke", "module": "$Mgim1", "field": "grow", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 168 {"type": "module", "line": 594, "name": "$Mgim2", "filename": "imports.126.wasm"}, 169 {"type": "assert_return", "line": 599, "action": {"type": "invoke", "module": "$Mgim2", "field": "size", "args": []}, "expected": [{"type": "i32", "value": "3"}]}, 170 {"type": "assert_malformed", "line": 605, "filename": "imports.127.wat", "text": "import after function", "module_type": "text"}, 171 {"type": "assert_malformed", "line": 609, "filename": "imports.128.wat", "text": "import after function", "module_type": "text"}, 172 {"type": "assert_malformed", "line": 613, "filename": "imports.129.wat", "text": "import after function", "module_type": "text"}, 173 {"type": "assert_malformed", "line": 617, "filename": "imports.130.wat", "text": "import after function", "module_type": "text"}, 174 {"type": "assert_malformed", "line": 622, "filename": "imports.131.wat", "text": "import after global", "module_type": "text"}, 175 {"type": "assert_malformed", "line": 626, "filename": "imports.132.wat", "text": "import after global", "module_type": "text"}, 176 {"type": "assert_malformed", "line": 630, "filename": "imports.133.wat", "text": "import after global", "module_type": "text"}, 177 {"type": "assert_malformed", "line": 634, "filename": "imports.134.wat", "text": "import after global", "module_type": "text"}, 178 {"type": "assert_malformed", "line": 639, "filename": "imports.135.wat", "text": "import after table", "module_type": "text"}, 179 {"type": "assert_malformed", "line": 643, "filename": "imports.136.wat", "text": "import after table", "module_type": "text"}, 180 {"type": "assert_malformed", "line": 647, "filename": "imports.137.wat", "text": "import after table", "module_type": "text"}, 181 {"type": "assert_malformed", "line": 651, "filename": "imports.138.wat", "text": "import after table", "module_type": "text"}, 182 {"type": "assert_malformed", "line": 656, "filename": "imports.139.wat", "text": "import after memory", "module_type": "text"}, 183 {"type": "assert_malformed", "line": 660, "filename": "imports.140.wat", "text": "import after memory", "module_type": "text"}, 184 {"type": "assert_malformed", "line": 664, "filename": "imports.141.wat", "text": "import after memory", "module_type": "text"}, 185 {"type": "assert_malformed", "line": 668, "filename": "imports.142.wat", "text": "import after memory", "module_type": "text"}, 186 {"type": "module", "line": 675, "filename": "imports.143.wasm"}, 187 {"type": "register", "line": 676, "as": "not wasm"}, 188 {"type": "assert_unlinkable", "line": 678, "filename": "imports.144.wasm", "text": "unknown import", "module_type": "binary"}]}