github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v1/testdata/left-to-right.json (about)

     1  {"source_filename": "./left-to-right.wast",
     2   "commands": [
     3    {"type": "module", "line": 1, "filename": "left-to-right.0.wasm"}, 
     4    {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "i32_add", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
     5    {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "i64_add", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
     6    {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "i32_sub", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
     7    {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "i64_sub", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
     8    {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "i32_mul", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
     9    {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "i64_mul", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    10    {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "i32_div_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    11    {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "i64_div_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    12    {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "i32_div_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    13    {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "i64_div_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    14    {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i32_rem_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    15    {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i64_rem_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    16    {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "i32_rem_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    17    {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "i64_rem_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    18    {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "i32_and", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    19    {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "i64_and", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    20    {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "i32_or", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    21    {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "i64_or", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    22    {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "i32_xor", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    23    {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "i64_xor", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    24    {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "i32_shl", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    25    {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "i64_shl", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    26    {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "i32_shr_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    27    {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "i64_shr_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    28    {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "i32_shr_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    29    {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "i64_shr_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    30    {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "i32_eq", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    31    {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "i64_eq", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    32    {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "i32_ne", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    33    {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "i64_ne", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    34    {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "i32_lt_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    35    {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "i64_lt_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    36    {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "i32_le_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    37    {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "i64_le_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    38    {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i32_lt_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    39    {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i64_lt_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    40    {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "i32_le_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    41    {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "i64_le_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    42    {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "i32_gt_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    43    {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "i64_gt_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    44    {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "i32_ge_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    45    {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "i64_ge_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    46    {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "i32_gt_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    47    {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "i64_gt_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    48    {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "i32_ge_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    49    {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "i64_ge_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    50    {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i32_store", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    51    {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i64_store", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    52    {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "i32_store8", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    53    {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "i64_store8", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    54    {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "i32_store16", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    55    {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "i64_store16", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    56    {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "i64_store32", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    57    {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "i32_call", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    58    {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "i64_call", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    59    {"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "i32_call_indirect", "args": []}, "expected": [{"type": "i32", "value": "66052"}]}, 
    60    {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "i64_call_indirect", "args": []}, "expected": [{"type": "i32", "value": "66052"}]}, 
    61    {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "i32_select", "args": []}, "expected": [{"type": "i32", "value": "66053"}]}, 
    62    {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "i64_select", "args": []}, "expected": [{"type": "i32", "value": "66053"}]}, 
    63    {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "f32_add", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    64    {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "f64_add", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    65    {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "f32_sub", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    66    {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "f64_sub", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    67    {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "f32_mul", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    68    {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "f64_mul", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    69    {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "f32_div", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    70    {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "f64_div", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    71    {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "f32_copysign", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    72    {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "f64_copysign", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    73    {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "f32_eq", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    74    {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "f64_eq", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    75    {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "f32_ne", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    76    {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "f64_ne", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    77    {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "f32_lt", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    78    {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "f64_lt", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    79    {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "f32_le", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    80    {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "f64_le", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    81    {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "f32_gt", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    82    {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "f64_gt", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    83    {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "f32_ge", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    84    {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "f64_ge", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    85    {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "f32_min", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    86    {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "f64_min", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    87    {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "f32_max", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    88    {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "f64_max", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    89    {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "f32_store", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    90    {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "f64_store", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    91    {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "f32_call", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    92    {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "f64_call", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    93    {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "f32_call_indirect", "args": []}, "expected": [{"type": "i32", "value": "66052"}]}, 
    94    {"type": "assert_return", "line": 229, "action": {"type": "invoke", "field": "f64_call_indirect", "args": []}, "expected": [{"type": "i32", "value": "66052"}]}, 
    95    {"type": "assert_return", "line": 230, "action": {"type": "invoke", "field": "f32_select", "args": []}, "expected": [{"type": "i32", "value": "66053"}]}, 
    96    {"type": "assert_return", "line": 230, "action": {"type": "invoke", "field": "f64_select", "args": []}, "expected": [{"type": "i32", "value": "66053"}]}, 
    97    {"type": "assert_return", "line": 232, "action": {"type": "invoke", "field": "br_if", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
    98    {"type": "assert_return", "line": 233, "action": {"type": "invoke", "field": "br_table", "args": []}, "expected": [{"type": "i32", "value": "258"}]}]}