wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v1/testdata/block.json (about) 1 {"source_filename": "./block.wast", 2 "commands": [ 3 {"type": "module", "line": 3, "filename": "block.0.wasm"}, 4 {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "empty", "args": []}, "expected": []}, 5 {"type": "assert_return", "line": 253, "action": {"type": "invoke", "field": "singular", "args": []}, "expected": [{"type": "i32", "value": "7"}]}, 6 {"type": "assert_return", "line": 254, "action": {"type": "invoke", "field": "multi", "args": []}, "expected": [{"type": "i32", "value": "8"}]}, 7 {"type": "assert_return", "line": 255, "action": {"type": "invoke", "field": "nested", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 8 {"type": "assert_return", "line": 256, "action": {"type": "invoke", "field": "deep", "args": []}, "expected": [{"type": "i32", "value": "150"}]}, 9 {"type": "assert_return", "line": 258, "action": {"type": "invoke", "field": "as-select-first", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 10 {"type": "assert_return", "line": 259, "action": {"type": "invoke", "field": "as-select-mid", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 11 {"type": "assert_return", "line": 260, "action": {"type": "invoke", "field": "as-select-last", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 12 {"type": "assert_return", "line": 262, "action": {"type": "invoke", "field": "as-loop-first", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 13 {"type": "assert_return", "line": 263, "action": {"type": "invoke", "field": "as-loop-mid", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 14 {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "as-loop-last", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 15 {"type": "assert_return", "line": 266, "action": {"type": "invoke", "field": "as-if-condition", "args": []}, "expected": []}, 16 {"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "as-if-then", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 17 {"type": "assert_return", "line": 268, "action": {"type": "invoke", "field": "as-if-else", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 18 {"type": "assert_return", "line": 270, "action": {"type": "invoke", "field": "as-br_if-first", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 19 {"type": "assert_return", "line": 271, "action": {"type": "invoke", "field": "as-br_if-last", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 20 {"type": "assert_return", "line": 273, "action": {"type": "invoke", "field": "as-br_table-first", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 21 {"type": "assert_return", "line": 274, "action": {"type": "invoke", "field": "as-br_table-last", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 22 {"type": "assert_return", "line": 276, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 23 {"type": "assert_return", "line": 277, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 24 {"type": "assert_return", "line": 278, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 25 {"type": "assert_return", "line": 280, "action": {"type": "invoke", "field": "as-store-first", "args": []}, "expected": []}, 26 {"type": "assert_return", "line": 281, "action": {"type": "invoke", "field": "as-store-last", "args": []}, "expected": []}, 27 {"type": "assert_return", "line": 283, "action": {"type": "invoke", "field": "as-memory.grow-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 28 {"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "as-call-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 29 {"type": "assert_return", "line": 285, "action": {"type": "invoke", "field": "as-return-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 30 {"type": "assert_return", "line": 286, "action": {"type": "invoke", "field": "as-drop-operand", "args": []}, "expected": []}, 31 {"type": "assert_return", "line": 287, "action": {"type": "invoke", "field": "as-br-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 32 {"type": "assert_return", "line": 288, "action": {"type": "invoke", "field": "as-local.set-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 33 {"type": "assert_return", "line": 289, "action": {"type": "invoke", "field": "as-local.tee-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 34 {"type": "assert_return", "line": 290, "action": {"type": "invoke", "field": "as-global.set-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 35 {"type": "assert_return", "line": 291, "action": {"type": "invoke", "field": "as-load-operand", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 36 {"type": "assert_return", "line": 293, "action": {"type": "invoke", "field": "as-unary-operand", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 37 {"type": "assert_return", "line": 294, "action": {"type": "invoke", "field": "as-binary-operand", "args": []}, "expected": [{"type": "i32", "value": "12"}]}, 38 {"type": "assert_return", "line": 295, "action": {"type": "invoke", "field": "as-test-operand", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 39 {"type": "assert_return", "line": 296, "action": {"type": "invoke", "field": "as-compare-operand", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 40 {"type": "assert_return", "line": 298, "action": {"type": "invoke", "field": "break-bare", "args": []}, "expected": [{"type": "i32", "value": "19"}]}, 41 {"type": "assert_return", "line": 299, "action": {"type": "invoke", "field": "break-value", "args": []}, "expected": [{"type": "i32", "value": "18"}]}, 42 {"type": "assert_return", "line": 300, "action": {"type": "invoke", "field": "break-repeated", "args": []}, "expected": [{"type": "i32", "value": "18"}]}, 43 {"type": "assert_return", "line": 301, "action": {"type": "invoke", "field": "break-inner", "args": []}, "expected": [{"type": "i32", "value": "15"}]}, 44 {"type": "assert_return", "line": 303, "action": {"type": "invoke", "field": "effects", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 45 {"type": "assert_invalid", "line": 306, "filename": "block.1.wasm", "text": "type mismatch", "module_type": "binary"}, 46 {"type": "assert_invalid", "line": 310, "filename": "block.2.wasm", "text": "type mismatch", "module_type": "binary"}, 47 {"type": "assert_invalid", "line": 314, "filename": "block.3.wasm", "text": "type mismatch", "module_type": "binary"}, 48 {"type": "assert_invalid", "line": 318, "filename": "block.4.wasm", "text": "type mismatch", "module_type": "binary"}, 49 {"type": "assert_invalid", "line": 323, "filename": "block.5.wasm", "text": "type mismatch", "module_type": "binary"}, 50 {"type": "assert_invalid", "line": 329, "filename": "block.6.wasm", "text": "type mismatch", "module_type": "binary"}, 51 {"type": "assert_invalid", "line": 335, "filename": "block.7.wasm", "text": "type mismatch", "module_type": "binary"}, 52 {"type": "assert_invalid", "line": 341, "filename": "block.8.wasm", "text": "type mismatch", "module_type": "binary"}, 53 {"type": "assert_invalid", "line": 348, "filename": "block.9.wasm", "text": "type mismatch", "module_type": "binary"}, 54 {"type": "assert_invalid", "line": 354, "filename": "block.10.wasm", "text": "type mismatch", "module_type": "binary"}, 55 {"type": "assert_invalid", "line": 360, "filename": "block.11.wasm", "text": "type mismatch", "module_type": "binary"}, 56 {"type": "assert_invalid", "line": 366, "filename": "block.12.wasm", "text": "type mismatch", "module_type": "binary"}, 57 {"type": "assert_invalid", "line": 373, "filename": "block.13.wasm", "text": "type mismatch", "module_type": "binary"}, 58 {"type": "assert_invalid", "line": 382, "filename": "block.14.wasm", "text": "type mismatch", "module_type": "binary"}, 59 {"type": "assert_invalid", "line": 391, "filename": "block.15.wasm", "text": "type mismatch", "module_type": "binary"}, 60 {"type": "assert_invalid", "line": 401, "filename": "block.16.wasm", "text": "type mismatch", "module_type": "binary"}, 61 {"type": "assert_invalid", "line": 407, "filename": "block.17.wasm", "text": "type mismatch", "module_type": "binary"}, 62 {"type": "assert_invalid", "line": 413, "filename": "block.18.wasm", "text": "type mismatch", "module_type": "binary"}, 63 {"type": "assert_invalid", "line": 419, "filename": "block.19.wasm", "text": "type mismatch", "module_type": "binary"}, 64 {"type": "assert_invalid", "line": 426, "filename": "block.20.wasm", "text": "type mismatch", "module_type": "binary"}, 65 {"type": "assert_invalid", "line": 432, "filename": "block.21.wasm", "text": "type mismatch", "module_type": "binary"}, 66 {"type": "assert_invalid", "line": 438, "filename": "block.22.wasm", "text": "type mismatch", "module_type": "binary"}, 67 {"type": "assert_invalid", "line": 444, "filename": "block.23.wasm", "text": "type mismatch", "module_type": "binary"}, 68 {"type": "assert_invalid", "line": 450, "filename": "block.24.wasm", "text": "type mismatch", "module_type": "binary"}, 69 {"type": "assert_invalid", "line": 456, "filename": "block.25.wasm", "text": "type mismatch", "module_type": "binary"}, 70 {"type": "assert_invalid", "line": 462, "filename": "block.26.wasm", "text": "type mismatch", "module_type": "binary"}, 71 {"type": "assert_invalid", "line": 468, "filename": "block.27.wasm", "text": "type mismatch", "module_type": "binary"}, 72 {"type": "assert_invalid", "line": 474, "filename": "block.28.wasm", "text": "type mismatch", "module_type": "binary"}, 73 {"type": "assert_invalid", "line": 480, "filename": "block.29.wasm", "text": "type mismatch", "module_type": "binary"}, 74 {"type": "assert_invalid", "line": 486, "filename": "block.30.wasm", "text": "type mismatch", "module_type": "binary"}, 75 {"type": "assert_invalid", "line": 492, "filename": "block.31.wasm", "text": "type mismatch", "module_type": "binary"}, 76 {"type": "assert_invalid", "line": 499, "filename": "block.32.wasm", "text": "type mismatch", "module_type": "binary"}, 77 {"type": "assert_invalid", "line": 505, "filename": "block.33.wasm", "text": "type mismatch", "module_type": "binary"}, 78 {"type": "assert_invalid", "line": 511, "filename": "block.34.wasm", "text": "type mismatch", "module_type": "binary"}, 79 {"type": "assert_invalid", "line": 517, "filename": "block.35.wasm", "text": "type mismatch", "module_type": "binary"}, 80 {"type": "assert_invalid", "line": 523, "filename": "block.36.wasm", "text": "type mismatch", "module_type": "binary"}, 81 {"type": "assert_invalid", "line": 529, "filename": "block.37.wasm", "text": "type mismatch", "module_type": "binary"}, 82 {"type": "assert_invalid", "line": 535, "filename": "block.38.wasm", "text": "type mismatch", "module_type": "binary"}, 83 {"type": "assert_invalid", "line": 541, "filename": "block.39.wasm", "text": "type mismatch", "module_type": "binary"}, 84 {"type": "assert_invalid", "line": 547, "filename": "block.40.wasm", "text": "type mismatch", "module_type": "binary"}, 85 {"type": "assert_invalid", "line": 553, "filename": "block.41.wasm", "text": "type mismatch", "module_type": "binary"}, 86 {"type": "assert_invalid", "line": 559, "filename": "block.42.wasm", "text": "type mismatch", "module_type": "binary"}, 87 {"type": "assert_invalid", "line": 565, "filename": "block.43.wasm", "text": "type mismatch", "module_type": "binary"}, 88 {"type": "assert_invalid", "line": 572, "filename": "block.44.wasm", "text": "type mismatch", "module_type": "binary"}, 89 {"type": "assert_invalid", "line": 578, "filename": "block.45.wasm", "text": "type mismatch", "module_type": "binary"}, 90 {"type": "assert_invalid", "line": 584, "filename": "block.46.wasm", "text": "type mismatch", "module_type": "binary"}, 91 {"type": "assert_invalid", "line": 590, "filename": "block.47.wasm", "text": "type mismatch", "module_type": "binary"}, 92 {"type": "assert_invalid", "line": 597, "filename": "block.48.wasm", "text": "type mismatch", "module_type": "binary"}, 93 {"type": "assert_invalid", "line": 603, "filename": "block.49.wasm", "text": "type mismatch", "module_type": "binary"}, 94 {"type": "assert_invalid", "line": 609, "filename": "block.50.wasm", "text": "type mismatch", "module_type": "binary"}, 95 {"type": "assert_invalid", "line": 615, "filename": "block.51.wasm", "text": "type mismatch", "module_type": "binary"}, 96 {"type": "assert_invalid", "line": 622, "filename": "block.52.wasm", "text": "type mismatch", "module_type": "binary"}, 97 {"type": "assert_invalid", "line": 628, "filename": "block.53.wasm", "text": "type mismatch", "module_type": "binary"}, 98 {"type": "assert_invalid", "line": 634, "filename": "block.54.wasm", "text": "type mismatch", "module_type": "binary"}, 99 {"type": "assert_invalid", "line": 640, "filename": "block.55.wasm", "text": "type mismatch", "module_type": "binary"}, 100 {"type": "assert_invalid", "line": 647, "filename": "block.56.wasm", "text": "type mismatch", "module_type": "binary"}, 101 {"type": "assert_invalid", "line": 653, "filename": "block.57.wasm", "text": "type mismatch", "module_type": "binary"}, 102 {"type": "assert_invalid", "line": 659, "filename": "block.58.wasm", "text": "type mismatch", "module_type": "binary"}, 103 {"type": "assert_invalid", "line": 665, "filename": "block.59.wasm", "text": "type mismatch", "module_type": "binary"}, 104 {"type": "assert_invalid", "line": 671, "filename": "block.60.wasm", "text": "type mismatch", "module_type": "binary"}, 105 {"type": "assert_invalid", "line": 677, "filename": "block.61.wasm", "text": "type mismatch", "module_type": "binary"}, 106 {"type": "assert_invalid", "line": 683, "filename": "block.62.wasm", "text": "type mismatch", "module_type": "binary"}, 107 {"type": "assert_invalid", "line": 689, "filename": "block.63.wasm", "text": "type mismatch", "module_type": "binary"}, 108 {"type": "assert_invalid", "line": 695, "filename": "block.64.wasm", "text": "type mismatch", "module_type": "binary"}, 109 {"type": "assert_invalid", "line": 701, "filename": "block.65.wasm", "text": "type mismatch", "module_type": "binary"}, 110 {"type": "assert_invalid", "line": 707, "filename": "block.66.wasm", "text": "type mismatch", "module_type": "binary"}, 111 {"type": "assert_invalid", "line": 713, "filename": "block.67.wasm", "text": "type mismatch", "module_type": "binary"}, 112 {"type": "assert_invalid", "line": 720, "filename": "block.68.wasm", "text": "type mismatch", "module_type": "binary"}, 113 {"type": "assert_invalid", "line": 726, "filename": "block.69.wasm", "text": "type mismatch", "module_type": "binary"}, 114 {"type": "assert_invalid", "line": 732, "filename": "block.70.wasm", "text": "type mismatch", "module_type": "binary"}, 115 {"type": "assert_invalid", "line": 738, "filename": "block.71.wasm", "text": "type mismatch", "module_type": "binary"}, 116 {"type": "assert_invalid", "line": 745, "filename": "block.72.wasm", "text": "type mismatch", "module_type": "binary"}, 117 {"type": "assert_invalid", "line": 751, "filename": "block.73.wasm", "text": "type mismatch", "module_type": "binary"}, 118 {"type": "assert_invalid", "line": 757, "filename": "block.74.wasm", "text": "type mismatch", "module_type": "binary"}, 119 {"type": "assert_invalid", "line": 763, "filename": "block.75.wasm", "text": "type mismatch", "module_type": "binary"}, 120 {"type": "assert_invalid", "line": 769, "filename": "block.76.wasm", "text": "type mismatch", "module_type": "binary"}, 121 {"type": "assert_invalid", "line": 775, "filename": "block.77.wasm", "text": "type mismatch", "module_type": "binary"}, 122 {"type": "assert_invalid", "line": 781, "filename": "block.78.wasm", "text": "type mismatch", "module_type": "binary"}, 123 {"type": "assert_invalid", "line": 787, "filename": "block.79.wasm", "text": "type mismatch", "module_type": "binary"}, 124 {"type": "assert_invalid", "line": 793, "filename": "block.80.wasm", "text": "type mismatch", "module_type": "binary"}, 125 {"type": "assert_invalid", "line": 799, "filename": "block.81.wasm", "text": "type mismatch", "module_type": "binary"}, 126 {"type": "assert_invalid", "line": 805, "filename": "block.82.wasm", "text": "type mismatch", "module_type": "binary"}, 127 {"type": "assert_invalid", "line": 811, "filename": "block.83.wasm", "text": "type mismatch", "module_type": "binary"}, 128 {"type": "assert_invalid", "line": 818, "filename": "block.84.wasm", "text": "type mismatch", "module_type": "binary"}, 129 {"type": "assert_invalid", "line": 824, "filename": "block.85.wasm", "text": "type mismatch", "module_type": "binary"}, 130 {"type": "assert_invalid", "line": 830, "filename": "block.86.wasm", "text": "type mismatch", "module_type": "binary"}, 131 {"type": "assert_invalid", "line": 836, "filename": "block.87.wasm", "text": "type mismatch", "module_type": "binary"}, 132 {"type": "assert_invalid", "line": 843, "filename": "block.88.wasm", "text": "type mismatch", "module_type": "binary"}, 133 {"type": "assert_invalid", "line": 849, "filename": "block.89.wasm", "text": "type mismatch", "module_type": "binary"}, 134 {"type": "assert_invalid", "line": 855, "filename": "block.90.wasm", "text": "type mismatch", "module_type": "binary"}, 135 {"type": "assert_invalid", "line": 861, "filename": "block.91.wasm", "text": "type mismatch", "module_type": "binary"}, 136 {"type": "assert_invalid", "line": 868, "filename": "block.92.wasm", "text": "type mismatch", "module_type": "binary"}, 137 {"type": "assert_invalid", "line": 874, "filename": "block.93.wasm", "text": "type mismatch", "module_type": "binary"}, 138 {"type": "assert_invalid", "line": 880, "filename": "block.94.wasm", "text": "type mismatch", "module_type": "binary"}, 139 {"type": "assert_invalid", "line": 886, "filename": "block.95.wasm", "text": "type mismatch", "module_type": "binary"}, 140 {"type": "assert_invalid", "line": 893, "filename": "block.96.wasm", "text": "type mismatch", "module_type": "binary"}, 141 {"type": "assert_invalid", "line": 901, "filename": "block.97.wasm", "text": "type mismatch", "module_type": "binary"}, 142 {"type": "assert_invalid", "line": 909, "filename": "block.98.wasm", "text": "type mismatch", "module_type": "binary"}, 143 {"type": "assert_invalid", "line": 917, "filename": "block.99.wasm", "text": "type mismatch", "module_type": "binary"}, 144 {"type": "assert_invalid", "line": 925, "filename": "block.100.wasm", "text": "type mismatch", "module_type": "binary"}, 145 {"type": "assert_invalid", "line": 933, "filename": "block.101.wasm", "text": "type mismatch", "module_type": "binary"}, 146 {"type": "assert_invalid", "line": 941, "filename": "block.102.wasm", "text": "type mismatch", "module_type": "binary"}, 147 {"type": "assert_invalid", "line": 949, "filename": "block.103.wasm", "text": "type mismatch", "module_type": "binary"}, 148 {"type": "assert_invalid", "line": 957, "filename": "block.104.wasm", "text": "type mismatch", "module_type": "binary"}, 149 {"type": "assert_invalid", "line": 965, "filename": "block.105.wasm", "text": "type mismatch", "module_type": "binary"}, 150 {"type": "assert_invalid", "line": 973, "filename": "block.106.wasm", "text": "type mismatch", "module_type": "binary"}, 151 {"type": "assert_invalid", "line": 981, "filename": "block.107.wasm", "text": "type mismatch", "module_type": "binary"}, 152 {"type": "assert_invalid", "line": 990, "filename": "block.108.wasm", "text": "type mismatch", "module_type": "binary"}, 153 {"type": "assert_invalid", "line": 996, "filename": "block.109.wasm", "text": "type mismatch", "module_type": "binary"}, 154 {"type": "assert_invalid", "line": 1002, "filename": "block.110.wasm", "text": "type mismatch", "module_type": "binary"}, 155 {"type": "assert_invalid", "line": 1008, "filename": "block.111.wasm", "text": "type mismatch", "module_type": "binary"}, 156 {"type": "assert_invalid", "line": 1015, "filename": "block.112.wasm", "text": "type mismatch", "module_type": "binary"}, 157 {"type": "assert_invalid", "line": 1021, "filename": "block.113.wasm", "text": "type mismatch", "module_type": "binary"}, 158 {"type": "assert_invalid", "line": 1027, "filename": "block.114.wasm", "text": "type mismatch", "module_type": "binary"}, 159 {"type": "assert_invalid", "line": 1033, "filename": "block.115.wasm", "text": "type mismatch", "module_type": "binary"}, 160 {"type": "assert_invalid", "line": 1040, "filename": "block.116.wasm", "text": "type mismatch", "module_type": "binary"}, 161 {"type": "assert_invalid", "line": 1046, "filename": "block.117.wasm", "text": "type mismatch", "module_type": "binary"}, 162 {"type": "assert_invalid", "line": 1052, "filename": "block.118.wasm", "text": "type mismatch", "module_type": "binary"}, 163 {"type": "assert_invalid", "line": 1058, "filename": "block.119.wasm", "text": "type mismatch", "module_type": "binary"}, 164 {"type": "assert_invalid", "line": 1064, "filename": "block.120.wasm", "text": "type mismatch", "module_type": "binary"}, 165 {"type": "assert_invalid", "line": 1070, "filename": "block.121.wasm", "text": "type mismatch", "module_type": "binary"}, 166 {"type": "assert_invalid", "line": 1076, "filename": "block.122.wasm", "text": "type mismatch", "module_type": "binary"}, 167 {"type": "assert_invalid", "line": 1082, "filename": "block.123.wasm", "text": "type mismatch", "module_type": "binary"}, 168 {"type": "assert_invalid", "line": 1088, "filename": "block.124.wasm", "text": "type mismatch", "module_type": "binary"}, 169 {"type": "assert_invalid", "line": 1094, "filename": "block.125.wasm", "text": "type mismatch", "module_type": "binary"}, 170 {"type": "assert_invalid", "line": 1100, "filename": "block.126.wasm", "text": "type mismatch", "module_type": "binary"}, 171 {"type": "assert_invalid", "line": 1106, "filename": "block.127.wasm", "text": "type mismatch", "module_type": "binary"}, 172 {"type": "assert_malformed", "line": 1114, "filename": "block.128.wat", "text": "mismatching label", "module_type": "text"}, 173 {"type": "assert_malformed", "line": 1118, "filename": "block.129.wat", "text": "mismatching label", "module_type": "text"}]}