github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v2/testdata/br_table.json (about) 1 {"source_filename": "./br_table.wast", 2 "commands": [ 3 {"type": "module", "line": 3, "filename": "br_table.0.wasm"}, 4 {"type": "assert_return", "line": 1256, "action": {"type": "invoke", "field": "type-i32", "args": []}, "expected": []}, 5 {"type": "assert_return", "line": 1257, "action": {"type": "invoke", "field": "type-i64", "args": []}, "expected": []}, 6 {"type": "assert_return", "line": 1258, "action": {"type": "invoke", "field": "type-f32", "args": []}, "expected": []}, 7 {"type": "assert_return", "line": 1259, "action": {"type": "invoke", "field": "type-f64", "args": []}, "expected": []}, 8 {"type": "assert_return", "line": 1261, "action": {"type": "invoke", "field": "type-i32-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 9 {"type": "assert_return", "line": 1262, "action": {"type": "invoke", "field": "type-i64-value", "args": []}, "expected": [{"type": "i64", "value": "2"}]}, 10 {"type": "assert_return", "line": 1263, "action": {"type": "invoke", "field": "type-f32-value", "args": []}, "expected": [{"type": "f32", "value": "1077936128"}]}, 11 {"type": "assert_return", "line": 1264, "action": {"type": "invoke", "field": "type-f64-value", "args": []}, "expected": [{"type": "f64", "value": "4616189618054758400"}]}, 12 {"type": "assert_return", "line": 1266, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "22"}]}, 13 {"type": "assert_return", "line": 1267, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "22"}]}, 14 {"type": "assert_return", "line": 1268, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "22"}]}, 15 {"type": "assert_return", "line": 1269, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "22"}]}, 16 {"type": "assert_return", "line": 1270, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "22"}]}, 17 {"type": "assert_return", "line": 1271, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "22"}]}, 18 {"type": "assert_return", "line": 1273, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "33"}]}, 19 {"type": "assert_return", "line": 1274, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "33"}]}, 20 {"type": "assert_return", "line": 1275, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "33"}]}, 21 {"type": "assert_return", "line": 1276, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "33"}]}, 22 {"type": "assert_return", "line": 1277, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "33"}]}, 23 {"type": "assert_return", "line": 1278, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "33"}]}, 24 {"type": "assert_return", "line": 1280, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "22"}]}, 25 {"type": "assert_return", "line": 1281, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "20"}]}, 26 {"type": "assert_return", "line": 1282, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "20"}]}, 27 {"type": "assert_return", "line": 1283, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "20"}]}, 28 {"type": "assert_return", "line": 1284, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "20"}]}, 29 {"type": "assert_return", "line": 1285, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "20"}]}, 30 {"type": "assert_return", "line": 1287, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "32"}]}, 31 {"type": "assert_return", "line": 1288, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "33"}]}, 32 {"type": "assert_return", "line": 1289, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "33"}]}, 33 {"type": "assert_return", "line": 1290, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "33"}]}, 34 {"type": "assert_return", "line": 1291, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "33"}]}, 35 {"type": "assert_return", "line": 1292, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "33"}]}, 36 {"type": "assert_return", "line": 1294, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "103"}]}, 37 {"type": "assert_return", "line": 1295, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "102"}]}, 38 {"type": "assert_return", "line": 1296, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "101"}]}, 39 {"type": "assert_return", "line": 1297, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "100"}]}, 40 {"type": "assert_return", "line": 1298, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "104"}]}, 41 {"type": "assert_return", "line": 1299, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "104"}]}, 42 {"type": "assert_return", "line": 1300, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "104"}]}, 43 {"type": "assert_return", "line": 1301, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "104"}]}, 44 {"type": "assert_return", "line": 1302, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "104"}]}, 45 {"type": "assert_return", "line": 1303, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "104"}]}, 46 {"type": "assert_return", "line": 1305, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "213"}]}, 47 {"type": "assert_return", "line": 1306, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "212"}]}, 48 {"type": "assert_return", "line": 1307, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "211"}]}, 49 {"type": "assert_return", "line": 1308, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "210"}]}, 50 {"type": "assert_return", "line": 1309, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "214"}]}, 51 {"type": "assert_return", "line": 1310, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "214"}]}, 52 {"type": "assert_return", "line": 1311, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "214"}]}, 53 {"type": "assert_return", "line": 1312, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "214"}]}, 54 {"type": "assert_return", "line": 1313, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "214"}]}, 55 {"type": "assert_return", "line": 1314, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "214"}]}, 56 {"type": "assert_return", "line": 1316, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 57 {"type": "assert_return", "line": 1317, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 58 {"type": "assert_return", "line": 1318, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "100"}]}, "expected": [{"type": "i32", "value": "0"}]}, 59 {"type": "assert_return", "line": 1319, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "101"}]}, "expected": [{"type": "i32", "value": "1"}]}, 60 {"type": "assert_return", "line": 1320, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "10000"}]}, "expected": [{"type": "i32", "value": "0"}]}, 61 {"type": "assert_return", "line": 1321, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "10001"}]}, "expected": [{"type": "i32", "value": "1"}]}, 62 {"type": "assert_return", "line": 1322, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "1000000"}]}, "expected": [{"type": "i32", "value": "1"}]}, 63 {"type": "assert_return", "line": 1323, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "1000001"}]}, "expected": [{"type": "i32", "value": "1"}]}, 64 {"type": "assert_return", "line": 1325, "action": {"type": "invoke", "field": "as-block-first", "args": []}, "expected": []}, 65 {"type": "assert_return", "line": 1326, "action": {"type": "invoke", "field": "as-block-mid", "args": []}, "expected": []}, 66 {"type": "assert_return", "line": 1327, "action": {"type": "invoke", "field": "as-block-last", "args": []}, "expected": []}, 67 {"type": "assert_return", "line": 1328, "action": {"type": "invoke", "field": "as-block-value", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 68 {"type": "assert_return", "line": 1330, "action": {"type": "invoke", "field": "as-loop-first", "args": []}, "expected": [{"type": "i32", "value": "3"}]}, 69 {"type": "assert_return", "line": 1331, "action": {"type": "invoke", "field": "as-loop-mid", "args": []}, "expected": [{"type": "i32", "value": "4"}]}, 70 {"type": "assert_return", "line": 1332, "action": {"type": "invoke", "field": "as-loop-last", "args": []}, "expected": [{"type": "i32", "value": "5"}]}, 71 {"type": "assert_return", "line": 1334, "action": {"type": "invoke", "field": "as-br-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 72 {"type": "assert_return", "line": 1336, "action": {"type": "invoke", "field": "as-br_if-cond", "args": []}, "expected": []}, 73 {"type": "assert_return", "line": 1337, "action": {"type": "invoke", "field": "as-br_if-value", "args": []}, "expected": [{"type": "i32", "value": "8"}]}, 74 {"type": "assert_return", "line": 1338, "action": {"type": "invoke", "field": "as-br_if-value-cond", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 75 {"type": "assert_return", "line": 1340, "action": {"type": "invoke", "field": "as-br_table-index", "args": []}, "expected": []}, 76 {"type": "assert_return", "line": 1341, "action": {"type": "invoke", "field": "as-br_table-value", "args": []}, "expected": [{"type": "i32", "value": "10"}]}, 77 {"type": "assert_return", "line": 1342, "action": {"type": "invoke", "field": "as-br_table-value-index", "args": []}, "expected": [{"type": "i32", "value": "11"}]}, 78 {"type": "assert_return", "line": 1344, "action": {"type": "invoke", "field": "as-return-value", "args": []}, "expected": [{"type": "i64", "value": "7"}]}, 79 {"type": "assert_return", "line": 1346, "action": {"type": "invoke", "field": "as-if-cond", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 80 {"type": "assert_return", "line": 1347, "action": {"type": "invoke", "field": "as-if-then", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "3"}]}, 81 {"type": "assert_return", "line": 1348, "action": {"type": "invoke", "field": "as-if-then", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "6"}]}, 82 {"type": "assert_return", "line": 1349, "action": {"type": "invoke", "field": "as-if-else", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "4"}]}, 83 {"type": "assert_return", "line": 1350, "action": {"type": "invoke", "field": "as-if-else", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "6"}]}, 84 {"type": "assert_return", "line": 1352, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "5"}]}, 85 {"type": "assert_return", "line": 1353, "action": {"type": "invoke", "field": "as-select-first", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "5"}]}, 86 {"type": "assert_return", "line": 1354, "action": {"type": "invoke", "field": "as-select-second", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "6"}]}, 87 {"type": "assert_return", "line": 1355, "action": {"type": "invoke", "field": "as-select-second", "args": [{"type": "i32", "value": "1"}, {"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "6"}]}, 88 {"type": "assert_return", "line": 1356, "action": {"type": "invoke", "field": "as-select-cond", "args": []}, "expected": [{"type": "i32", "value": "7"}]}, 89 {"type": "assert_return", "line": 1358, "action": {"type": "invoke", "field": "as-call-first", "args": []}, "expected": [{"type": "i32", "value": "12"}]}, 90 {"type": "assert_return", "line": 1359, "action": {"type": "invoke", "field": "as-call-mid", "args": []}, "expected": [{"type": "i32", "value": "13"}]}, 91 {"type": "assert_return", "line": 1360, "action": {"type": "invoke", "field": "as-call-last", "args": []}, "expected": [{"type": "i32", "value": "14"}]}, 92 {"type": "assert_return", "line": 1362, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": []}, "expected": [{"type": "i32", "value": "20"}]}, 93 {"type": "assert_return", "line": 1363, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": []}, "expected": [{"type": "i32", "value": "21"}]}, 94 {"type": "assert_return", "line": 1364, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": []}, "expected": [{"type": "i32", "value": "22"}]}, 95 {"type": "assert_return", "line": 1365, "action": {"type": "invoke", "field": "as-call_indirect-func", "args": []}, "expected": [{"type": "i32", "value": "23"}]}, 96 {"type": "assert_return", "line": 1367, "action": {"type": "invoke", "field": "as-local.set-value", "args": []}, "expected": [{"type": "i32", "value": "17"}]}, 97 {"type": "assert_return", "line": 1368, "action": {"type": "invoke", "field": "as-local.tee-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 98 {"type": "assert_return", "line": 1369, "action": {"type": "invoke", "field": "as-global.set-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 99 {"type": "assert_return", "line": 1371, "action": {"type": "invoke", "field": "as-load-address", "args": []}, "expected": [{"type": "f32", "value": "1071225242"}]}, 100 {"type": "assert_return", "line": 1372, "action": {"type": "invoke", "field": "as-loadN-address", "args": []}, "expected": [{"type": "i64", "value": "30"}]}, 101 {"type": "assert_return", "line": 1374, "action": {"type": "invoke", "field": "as-store-address", "args": []}, "expected": [{"type": "i32", "value": "30"}]}, 102 {"type": "assert_return", "line": 1375, "action": {"type": "invoke", "field": "as-store-value", "args": []}, "expected": [{"type": "i32", "value": "31"}]}, 103 {"type": "assert_return", "line": 1376, "action": {"type": "invoke", "field": "as-storeN-address", "args": []}, "expected": [{"type": "i32", "value": "32"}]}, 104 {"type": "assert_return", "line": 1377, "action": {"type": "invoke", "field": "as-storeN-value", "args": []}, "expected": [{"type": "i32", "value": "33"}]}, 105 {"type": "assert_return", "line": 1379, "action": {"type": "invoke", "field": "as-unary-operand", "args": []}, "expected": [{"type": "f32", "value": "1079613850"}]}, 106 {"type": "assert_return", "line": 1381, "action": {"type": "invoke", "field": "as-binary-left", "args": []}, "expected": [{"type": "i32", "value": "3"}]}, 107 {"type": "assert_return", "line": 1382, "action": {"type": "invoke", "field": "as-binary-right", "args": []}, "expected": [{"type": "i64", "value": "45"}]}, 108 {"type": "assert_return", "line": 1384, "action": {"type": "invoke", "field": "as-test-operand", "args": []}, "expected": [{"type": "i32", "value": "44"}]}, 109 {"type": "assert_return", "line": 1386, "action": {"type": "invoke", "field": "as-compare-left", "args": []}, "expected": [{"type": "i32", "value": "43"}]}, 110 {"type": "assert_return", "line": 1387, "action": {"type": "invoke", "field": "as-compare-right", "args": []}, "expected": [{"type": "i32", "value": "42"}]}, 111 {"type": "assert_return", "line": 1389, "action": {"type": "invoke", "field": "as-convert-operand", "args": []}, "expected": [{"type": "i32", "value": "41"}]}, 112 {"type": "assert_return", "line": 1391, "action": {"type": "invoke", "field": "as-memory.grow-size", "args": []}, "expected": [{"type": "i32", "value": "40"}]}, 113 {"type": "assert_return", "line": 1393, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "19"}]}, 114 {"type": "assert_return", "line": 1394, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "17"}]}, 115 {"type": "assert_return", "line": 1395, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "16"}]}, 116 {"type": "assert_return", "line": 1396, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, 117 {"type": "assert_return", "line": 1397, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "16"}]}, 118 {"type": "assert_return", "line": 1398, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "100000"}]}, "expected": [{"type": "i32", "value": "16"}]}, 119 {"type": "assert_return", "line": 1400, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "8"}]}, 120 {"type": "assert_return", "line": 1401, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "9"}]}, 121 {"type": "assert_return", "line": 1402, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "17"}]}, 122 {"type": "assert_return", "line": 1403, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "17"}]}, 123 {"type": "assert_return", "line": 1404, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "4294967292"}]}, "expected": [{"type": "i32", "value": "17"}]}, 124 {"type": "assert_return", "line": 1405, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "10213210"}]}, "expected": [{"type": "i32", "value": "17"}]}, 125 {"type": "assert_return", "line": 1407, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "17"}]}, 126 {"type": "assert_return", "line": 1408, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "9"}]}, 127 {"type": "assert_return", "line": 1409, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "8"}]}, 128 {"type": "assert_return", "line": 1410, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "8"}]}, 129 {"type": "assert_return", "line": 1411, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "4294967287"}]}, "expected": [{"type": "i32", "value": "8"}]}, 130 {"type": "assert_return", "line": 1412, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "999999"}]}, "expected": [{"type": "i32", "value": "8"}]}, 131 {"type": "assert_return", "line": 1414, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "9"}]}, 132 {"type": "assert_return", "line": 1415, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "8"}]}, 133 {"type": "assert_return", "line": 1416, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "9"}]}, 134 {"type": "assert_return", "line": 1417, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "9"}]}, 135 {"type": "assert_return", "line": 1418, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "4293967296"}]}, "expected": [{"type": "i32", "value": "9"}]}, 136 {"type": "assert_return", "line": 1419, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "9423975"}]}, "expected": [{"type": "i32", "value": "9"}]}, 137 {"type": "assert_return", "line": 1421, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "17"}]}, 138 {"type": "assert_return", "line": 1422, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "9"}]}, 139 {"type": "assert_return", "line": 1423, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "8"}]}, 140 {"type": "assert_return", "line": 1424, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "8"}]}, 141 {"type": "assert_return", "line": 1425, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "4294967287"}]}, "expected": [{"type": "i32", "value": "8"}]}, 142 {"type": "assert_return", "line": 1426, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "999999"}]}, "expected": [{"type": "i32", "value": "8"}]}, 143 {"type": "assert_return", "line": 1428, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "9"}]}, 144 {"type": "assert_return", "line": 1429, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "8"}]}, 145 {"type": "assert_return", "line": 1430, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "9"}]}, 146 {"type": "assert_return", "line": 1431, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "9"}]}, 147 {"type": "assert_return", "line": 1432, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "4293967296"}]}, "expected": [{"type": "i32", "value": "9"}]}, 148 {"type": "assert_return", "line": 1433, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "9423975"}]}, "expected": [{"type": "i32", "value": "9"}]}, 149 {"type": "assert_return", "line": 1435, "action": {"type": "invoke", "field": "nested-br_table-loop-block", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 150 {"type": "assert_return", "line": 1437, "action": {"type": "invoke", "field": "meet-externref", "args": [{"type": "i32", "value": "0"}, {"type": "externref", "value": "1"}]}, "expected": [{"type": "externref", "value": "1"}]}, 151 {"type": "assert_return", "line": 1438, "action": {"type": "invoke", "field": "meet-externref", "args": [{"type": "i32", "value": "1"}, {"type": "externref", "value": "1"}]}, "expected": [{"type": "externref", "value": "1"}]}, 152 {"type": "assert_return", "line": 1439, "action": {"type": "invoke", "field": "meet-externref", "args": [{"type": "i32", "value": "2"}, {"type": "externref", "value": "1"}]}, "expected": [{"type": "externref", "value": "1"}]}, 153 {"type": "assert_invalid", "line": 1442, "filename": "br_table.1.wasm", "text": "type mismatch", "module_type": "binary"}, 154 {"type": "assert_invalid", "line": 1449, "filename": "br_table.2.wasm", "text": "type mismatch", "module_type": "binary"}, 155 {"type": "assert_invalid", "line": 1456, "filename": "br_table.3.wasm", "text": "type mismatch", "module_type": "binary"}, 156 {"type": "assert_invalid", "line": 1462, "filename": "br_table.4.wasm", "text": "type mismatch", "module_type": "binary"}, 157 {"type": "assert_invalid", "line": 1470, "filename": "br_table.5.wasm", "text": "type mismatch", "module_type": "binary"}, 158 {"type": "assert_invalid", "line": 1481, "filename": "br_table.6.wasm", "text": "type mismatch", "module_type": "binary"}, 159 {"type": "assert_invalid", "line": 1492, "filename": "br_table.7.wasm", "text": "type mismatch", "module_type": "binary"}, 160 {"type": "assert_invalid", "line": 1498, "filename": "br_table.8.wasm", "text": "type mismatch", "module_type": "binary"}, 161 {"type": "assert_invalid", "line": 1504, "filename": "br_table.9.wasm", "text": "type mismatch", "module_type": "binary"}, 162 {"type": "assert_invalid", "line": 1510, "filename": "br_table.10.wasm", "text": "type mismatch", "module_type": "binary"}, 163 {"type": "assert_invalid", "line": 1516, "filename": "br_table.11.wasm", "text": "type mismatch", "module_type": "binary"}, 164 {"type": "assert_invalid", "line": 1525, "filename": "br_table.12.wasm", "text": "type mismatch", "module_type": "binary"}, 165 {"type": "assert_invalid", "line": 1532, "filename": "br_table.13.wasm", "text": "type mismatch", "module_type": "binary"}, 166 {"type": "assert_invalid", "line": 1544, "filename": "br_table.14.wasm", "text": "type mismatch", "module_type": "binary"}, 167 {"type": "assert_invalid", "line": 1556, "filename": "br_table.15.wasm", "text": "type mismatch", "module_type": "binary"}, 168 {"type": "assert_invalid", "line": 1567, "filename": "br_table.16.wasm", "text": "type mismatch", "module_type": "binary"}, 169 {"type": "assert_invalid", "line": 1579, "filename": "br_table.17.wasm", "text": "type mismatch", "module_type": "binary"}, 170 {"type": "assert_invalid", "line": 1591, "filename": "br_table.18.wasm", "text": "type mismatch", "module_type": "binary"}, 171 {"type": "assert_invalid", "line": 1605, "filename": "br_table.19.wasm", "text": "unknown label", "module_type": "binary"}, 172 {"type": "assert_invalid", "line": 1611, "filename": "br_table.20.wasm", "text": "unknown label", "module_type": "binary"}, 173 {"type": "assert_invalid", "line": 1617, "filename": "br_table.21.wasm", "text": "unknown label", "module_type": "binary"}, 174 {"type": "assert_invalid", "line": 1624, "filename": "br_table.22.wasm", "text": "unknown label", "module_type": "binary"}, 175 {"type": "assert_invalid", "line": 1630, "filename": "br_table.23.wasm", "text": "unknown label", "module_type": "binary"}, 176 {"type": "assert_invalid", "line": 1636, "filename": "br_table.24.wasm", "text": "unknown label", "module_type": "binary"}]}