github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v1/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": 1247, "action": {"type": "invoke", "field": "type-i32", "args": []}, "expected": []}, 
     5    {"type": "assert_return", "line": 1248, "action": {"type": "invoke", "field": "type-i64", "args": []}, "expected": []}, 
     6    {"type": "assert_return", "line": 1249, "action": {"type": "invoke", "field": "type-f32", "args": []}, "expected": []}, 
     7    {"type": "assert_return", "line": 1250, "action": {"type": "invoke", "field": "type-f64", "args": []}, "expected": []}, 
     8    {"type": "assert_return", "line": 1252, "action": {"type": "invoke", "field": "type-i32-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 
     9    {"type": "assert_return", "line": 1253, "action": {"type": "invoke", "field": "type-i64-value", "args": []}, "expected": [{"type": "i64", "value": "2"}]}, 
    10    {"type": "assert_return", "line": 1254, "action": {"type": "invoke", "field": "type-f32-value", "args": []}, "expected": [{"type": "f32", "value": "1077936128"}]}, 
    11    {"type": "assert_return", "line": 1255, "action": {"type": "invoke", "field": "type-f64-value", "args": []}, "expected": [{"type": "f64", "value": "4616189618054758400"}]}, 
    12    {"type": "assert_return", "line": 1257, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "22"}]}, 
    13    {"type": "assert_return", "line": 1258, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "22"}]}, 
    14    {"type": "assert_return", "line": 1259, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "22"}]}, 
    15    {"type": "assert_return", "line": 1260, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "22"}]}, 
    16    {"type": "assert_return", "line": 1261, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "22"}]}, 
    17    {"type": "assert_return", "line": 1262, "action": {"type": "invoke", "field": "empty", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "22"}]}, 
    18    {"type": "assert_return", "line": 1264, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    19    {"type": "assert_return", "line": 1265, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    20    {"type": "assert_return", "line": 1266, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    21    {"type": "assert_return", "line": 1267, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    22    {"type": "assert_return", "line": 1268, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    23    {"type": "assert_return", "line": 1269, "action": {"type": "invoke", "field": "empty-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    24    {"type": "assert_return", "line": 1271, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "22"}]}, 
    25    {"type": "assert_return", "line": 1272, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "20"}]}, 
    26    {"type": "assert_return", "line": 1273, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "20"}]}, 
    27    {"type": "assert_return", "line": 1274, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "20"}]}, 
    28    {"type": "assert_return", "line": 1275, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "20"}]}, 
    29    {"type": "assert_return", "line": 1276, "action": {"type": "invoke", "field": "singleton", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "20"}]}, 
    30    {"type": "assert_return", "line": 1278, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "32"}]}, 
    31    {"type": "assert_return", "line": 1279, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    32    {"type": "assert_return", "line": 1280, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    33    {"type": "assert_return", "line": 1281, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    34    {"type": "assert_return", "line": 1282, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "4294967196"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    35    {"type": "assert_return", "line": 1283, "action": {"type": "invoke", "field": "singleton-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "33"}]}, 
    36    {"type": "assert_return", "line": 1285, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "103"}]}, 
    37    {"type": "assert_return", "line": 1286, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "102"}]}, 
    38    {"type": "assert_return", "line": 1287, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "101"}]}, 
    39    {"type": "assert_return", "line": 1288, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "100"}]}, 
    40    {"type": "assert_return", "line": 1289, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "104"}]}, 
    41    {"type": "assert_return", "line": 1290, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "104"}]}, 
    42    {"type": "assert_return", "line": 1291, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "104"}]}, 
    43    {"type": "assert_return", "line": 1292, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "104"}]}, 
    44    {"type": "assert_return", "line": 1293, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "104"}]}, 
    45    {"type": "assert_return", "line": 1294, "action": {"type": "invoke", "field": "multiple", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "104"}]}, 
    46    {"type": "assert_return", "line": 1296, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "213"}]}, 
    47    {"type": "assert_return", "line": 1297, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "212"}]}, 
    48    {"type": "assert_return", "line": 1298, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "211"}]}, 
    49    {"type": "assert_return", "line": 1299, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "210"}]}, 
    50    {"type": "assert_return", "line": 1300, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "214"}]}, 
    51    {"type": "assert_return", "line": 1301, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "214"}]}, 
    52    {"type": "assert_return", "line": 1302, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "214"}]}, 
    53    {"type": "assert_return", "line": 1303, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "214"}]}, 
    54    {"type": "assert_return", "line": 1304, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "214"}]}, 
    55    {"type": "assert_return", "line": 1305, "action": {"type": "invoke", "field": "multiple-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "214"}]}, 
    56    {"type": "assert_return", "line": 1307, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    57    {"type": "assert_return", "line": 1308, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    58    {"type": "assert_return", "line": 1309, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "100"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    59    {"type": "assert_return", "line": 1310, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "101"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    60    {"type": "assert_return", "line": 1311, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "10000"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    61    {"type": "assert_return", "line": 1312, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "10001"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    62    {"type": "assert_return", "line": 1313, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "1000000"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    63    {"type": "assert_return", "line": 1314, "action": {"type": "invoke", "field": "large", "args": [{"type": "i32", "value": "1000001"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    64    {"type": "assert_return", "line": 1316, "action": {"type": "invoke", "field": "as-block-first", "args": []}, "expected": []}, 
    65    {"type": "assert_return", "line": 1317, "action": {"type": "invoke", "field": "as-block-mid", "args": []}, "expected": []}, 
    66    {"type": "assert_return", "line": 1318, "action": {"type": "invoke", "field": "as-block-last", "args": []}, "expected": []}, 
    67    {"type": "assert_return", "line": 1319, "action": {"type": "invoke", "field": "as-block-value", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 
    68    {"type": "assert_return", "line": 1321, "action": {"type": "invoke", "field": "as-loop-first", "args": []}, "expected": [{"type": "i32", "value": "3"}]}, 
    69    {"type": "assert_return", "line": 1322, "action": {"type": "invoke", "field": "as-loop-mid", "args": []}, "expected": [{"type": "i32", "value": "4"}]}, 
    70    {"type": "assert_return", "line": 1323, "action": {"type": "invoke", "field": "as-loop-last", "args": []}, "expected": [{"type": "i32", "value": "5"}]}, 
    71    {"type": "assert_return", "line": 1325, "action": {"type": "invoke", "field": "as-br-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
    72    {"type": "assert_return", "line": 1327, "action": {"type": "invoke", "field": "as-br_if-cond", "args": []}, "expected": []}, 
    73    {"type": "assert_return", "line": 1328, "action": {"type": "invoke", "field": "as-br_if-value", "args": []}, "expected": [{"type": "i32", "value": "8"}]}, 
    74    {"type": "assert_return", "line": 1329, "action": {"type": "invoke", "field": "as-br_if-value-cond", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
    75    {"type": "assert_return", "line": 1331, "action": {"type": "invoke", "field": "as-br_table-index", "args": []}, "expected": []}, 
    76    {"type": "assert_return", "line": 1332, "action": {"type": "invoke", "field": "as-br_table-value", "args": []}, "expected": [{"type": "i32", "value": "10"}]}, 
    77    {"type": "assert_return", "line": 1333, "action": {"type": "invoke", "field": "as-br_table-value-index", "args": []}, "expected": [{"type": "i32", "value": "11"}]}, 
    78    {"type": "assert_return", "line": 1335, "action": {"type": "invoke", "field": "as-return-value", "args": []}, "expected": [{"type": "i64", "value": "7"}]}, 
    79    {"type": "assert_return", "line": 1337, "action": {"type": "invoke", "field": "as-if-cond", "args": []}, "expected": [{"type": "i32", "value": "2"}]}, 
    80    {"type": "assert_return", "line": 1338, "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": 1339, "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": 1340, "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": 1341, "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": 1343, "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": 1344, "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": 1345, "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": 1346, "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": 1347, "action": {"type": "invoke", "field": "as-select-cond", "args": []}, "expected": [{"type": "i32", "value": "7"}]}, 
    89    {"type": "assert_return", "line": 1349, "action": {"type": "invoke", "field": "as-call-first", "args": []}, "expected": [{"type": "i32", "value": "12"}]}, 
    90    {"type": "assert_return", "line": 1350, "action": {"type": "invoke", "field": "as-call-mid", "args": []}, "expected": [{"type": "i32", "value": "13"}]}, 
    91    {"type": "assert_return", "line": 1351, "action": {"type": "invoke", "field": "as-call-last", "args": []}, "expected": [{"type": "i32", "value": "14"}]}, 
    92    {"type": "assert_return", "line": 1353, "action": {"type": "invoke", "field": "as-call_indirect-first", "args": []}, "expected": [{"type": "i32", "value": "20"}]}, 
    93    {"type": "assert_return", "line": 1354, "action": {"type": "invoke", "field": "as-call_indirect-mid", "args": []}, "expected": [{"type": "i32", "value": "21"}]}, 
    94    {"type": "assert_return", "line": 1355, "action": {"type": "invoke", "field": "as-call_indirect-last", "args": []}, "expected": [{"type": "i32", "value": "22"}]}, 
    95    {"type": "assert_return", "line": 1356, "action": {"type": "invoke", "field": "as-call_indirect-func", "args": []}, "expected": [{"type": "i32", "value": "23"}]}, 
    96    {"type": "assert_return", "line": 1358, "action": {"type": "invoke", "field": "as-local.set-value", "args": []}, "expected": [{"type": "i32", "value": "17"}]}, 
    97    {"type": "assert_return", "line": 1359, "action": {"type": "invoke", "field": "as-local.tee-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 
    98    {"type": "assert_return", "line": 1360, "action": {"type": "invoke", "field": "as-global.set-value", "args": []}, "expected": [{"type": "i32", "value": "1"}]}, 
    99    {"type": "assert_return", "line": 1362, "action": {"type": "invoke", "field": "as-load-address", "args": []}, "expected": [{"type": "f32", "value": "1071225242"}]}, 
   100    {"type": "assert_return", "line": 1363, "action": {"type": "invoke", "field": "as-loadN-address", "args": []}, "expected": [{"type": "i64", "value": "30"}]}, 
   101    {"type": "assert_return", "line": 1365, "action": {"type": "invoke", "field": "as-store-address", "args": []}, "expected": [{"type": "i32", "value": "30"}]}, 
   102    {"type": "assert_return", "line": 1366, "action": {"type": "invoke", "field": "as-store-value", "args": []}, "expected": [{"type": "i32", "value": "31"}]}, 
   103    {"type": "assert_return", "line": 1367, "action": {"type": "invoke", "field": "as-storeN-address", "args": []}, "expected": [{"type": "i32", "value": "32"}]}, 
   104    {"type": "assert_return", "line": 1368, "action": {"type": "invoke", "field": "as-storeN-value", "args": []}, "expected": [{"type": "i32", "value": "33"}]}, 
   105    {"type": "assert_return", "line": 1370, "action": {"type": "invoke", "field": "as-unary-operand", "args": []}, "expected": [{"type": "f32", "value": "1079613850"}]}, 
   106    {"type": "assert_return", "line": 1372, "action": {"type": "invoke", "field": "as-binary-left", "args": []}, "expected": [{"type": "i32", "value": "3"}]}, 
   107    {"type": "assert_return", "line": 1373, "action": {"type": "invoke", "field": "as-binary-right", "args": []}, "expected": [{"type": "i64", "value": "45"}]}, 
   108    {"type": "assert_return", "line": 1375, "action": {"type": "invoke", "field": "as-test-operand", "args": []}, "expected": [{"type": "i32", "value": "44"}]}, 
   109    {"type": "assert_return", "line": 1377, "action": {"type": "invoke", "field": "as-compare-left", "args": []}, "expected": [{"type": "i32", "value": "43"}]}, 
   110    {"type": "assert_return", "line": 1378, "action": {"type": "invoke", "field": "as-compare-right", "args": []}, "expected": [{"type": "i32", "value": "42"}]}, 
   111    {"type": "assert_return", "line": 1380, "action": {"type": "invoke", "field": "as-convert-operand", "args": []}, "expected": [{"type": "i32", "value": "41"}]}, 
   112    {"type": "assert_return", "line": 1382, "action": {"type": "invoke", "field": "as-memory.grow-size", "args": []}, "expected": [{"type": "i32", "value": "40"}]}, 
   113    {"type": "assert_return", "line": 1384, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "19"}]}, 
   114    {"type": "assert_return", "line": 1385, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "17"}]}, 
   115    {"type": "assert_return", "line": 1386, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "16"}]}, 
   116    {"type": "assert_return", "line": 1387, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "16"}]}, 
   117    {"type": "assert_return", "line": 1388, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "4294967295"}]}, "expected": [{"type": "i32", "value": "16"}]}, 
   118    {"type": "assert_return", "line": 1389, "action": {"type": "invoke", "field": "nested-block-value", "args": [{"type": "i32", "value": "100000"}]}, "expected": [{"type": "i32", "value": "16"}]}, 
   119    {"type": "assert_return", "line": 1391, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   120    {"type": "assert_return", "line": 1392, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   121    {"type": "assert_return", "line": 1393, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "17"}]}, 
   122    {"type": "assert_return", "line": 1394, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "17"}]}, 
   123    {"type": "assert_return", "line": 1395, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "4294967292"}]}, "expected": [{"type": "i32", "value": "17"}]}, 
   124    {"type": "assert_return", "line": 1396, "action": {"type": "invoke", "field": "nested-br-value", "args": [{"type": "i32", "value": "10213210"}]}, "expected": [{"type": "i32", "value": "17"}]}, 
   125    {"type": "assert_return", "line": 1398, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "17"}]}, 
   126    {"type": "assert_return", "line": 1399, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   127    {"type": "assert_return", "line": 1400, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   128    {"type": "assert_return", "line": 1401, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   129    {"type": "assert_return", "line": 1402, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "4294967287"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   130    {"type": "assert_return", "line": 1403, "action": {"type": "invoke", "field": "nested-br_if-value", "args": [{"type": "i32", "value": "999999"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   131    {"type": "assert_return", "line": 1405, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   132    {"type": "assert_return", "line": 1406, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   133    {"type": "assert_return", "line": 1407, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   134    {"type": "assert_return", "line": 1408, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   135    {"type": "assert_return", "line": 1409, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "4293967296"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   136    {"type": "assert_return", "line": 1410, "action": {"type": "invoke", "field": "nested-br_if-value-cond", "args": [{"type": "i32", "value": "9423975"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   137    {"type": "assert_return", "line": 1412, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "17"}]}, 
   138    {"type": "assert_return", "line": 1413, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   139    {"type": "assert_return", "line": 1414, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   140    {"type": "assert_return", "line": 1415, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   141    {"type": "assert_return", "line": 1416, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "4294967287"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   142    {"type": "assert_return", "line": 1417, "action": {"type": "invoke", "field": "nested-br_table-value", "args": [{"type": "i32", "value": "999999"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   143    {"type": "assert_return", "line": 1419, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   144    {"type": "assert_return", "line": 1420, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   145    {"type": "assert_return", "line": 1421, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   146    {"type": "assert_return", "line": 1422, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   147    {"type": "assert_return", "line": 1423, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "4293967296"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   148    {"type": "assert_return", "line": 1424, "action": {"type": "invoke", "field": "nested-br_table-value-index", "args": [{"type": "i32", "value": "9423975"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   149    {"type": "assert_return", "line": 1426, "action": {"type": "invoke", "field": "nested-br_table-loop-block", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "3"}]}, 
   150    {"type": "assert_invalid", "line": 1429, "filename": "br_table.1.wasm", "text": "type mismatch", "module_type": "binary"}, 
   151    {"type": "assert_invalid", "line": 1436, "filename": "br_table.2.wasm", "text": "type mismatch", "module_type": "binary"}, 
   152    {"type": "assert_invalid", "line": 1443, "filename": "br_table.3.wasm", "text": "type mismatch", "module_type": "binary"}, 
   153    {"type": "assert_invalid", "line": 1449, "filename": "br_table.4.wasm", "text": "type mismatch", "module_type": "binary"}, 
   154    {"type": "assert_invalid", "line": 1457, "filename": "br_table.5.wasm", "text": "type mismatch", "module_type": "binary"}, 
   155    {"type": "assert_invalid", "line": 1469, "filename": "br_table.6.wasm", "text": "type mismatch", "module_type": "binary"}, 
   156    {"type": "assert_invalid", "line": 1475, "filename": "br_table.7.wasm", "text": "type mismatch", "module_type": "binary"}, 
   157    {"type": "assert_invalid", "line": 1481, "filename": "br_table.8.wasm", "text": "type mismatch", "module_type": "binary"}, 
   158    {"type": "assert_invalid", "line": 1487, "filename": "br_table.9.wasm", "text": "type mismatch", "module_type": "binary"}, 
   159    {"type": "assert_invalid", "line": 1493, "filename": "br_table.10.wasm", "text": "type mismatch", "module_type": "binary"}, 
   160    {"type": "assert_invalid", "line": 1502, "filename": "br_table.11.wasm", "text": "type mismatch", "module_type": "binary"}, 
   161    {"type": "assert_invalid", "line": 1509, "filename": "br_table.12.wasm", "text": "type mismatch", "module_type": "binary"}, 
   162    {"type": "assert_invalid", "line": 1521, "filename": "br_table.13.wasm", "text": "type mismatch", "module_type": "binary"}, 
   163    {"type": "assert_invalid", "line": 1533, "filename": "br_table.14.wasm", "text": "type mismatch", "module_type": "binary"}, 
   164    {"type": "assert_invalid", "line": 1544, "filename": "br_table.15.wasm", "text": "type mismatch", "module_type": "binary"}, 
   165    {"type": "assert_invalid", "line": 1557, "filename": "br_table.16.wasm", "text": "unknown label", "module_type": "binary"}, 
   166    {"type": "assert_invalid", "line": 1563, "filename": "br_table.17.wasm", "text": "unknown label", "module_type": "binary"}, 
   167    {"type": "assert_invalid", "line": 1569, "filename": "br_table.18.wasm", "text": "unknown label", "module_type": "binary"}, 
   168    {"type": "assert_invalid", "line": 1576, "filename": "br_table.19.wasm", "text": "unknown label", "module_type": "binary"}, 
   169    {"type": "assert_invalid", "line": 1582, "filename": "br_table.20.wasm", "text": "unknown label", "module_type": "binary"}, 
   170    {"type": "assert_invalid", "line": 1588, "filename": "br_table.21.wasm", "text": "unknown label", "module_type": "binary"}]}