...

Text file src/github.com/tetratelabs/wazero/internal/integration_test/spectest/v1/testdata/i64.json

Documentation: github.com/tetratelabs/wazero/internal/integration_test/spectest/v1/testdata

     1{"source_filename": "./i64.wast",
     2 "commands": [
     3  {"type": "module", "line": 3, "filename": "i64.0.wasm"}, 
     4  {"type": "assert_return", "line": 35, "action": {"type": "invoke", "field": "add", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
     5  {"type": "assert_return", "line": 36, "action": {"type": "invoke", "field": "add", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
     6  {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "add", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}]}, 
     7  {"type": "assert_return", "line": 38, "action": {"type": "invoke", "field": "add", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
     8  {"type": "assert_return", "line": 39, "action": {"type": "invoke", "field": "add", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
     9  {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "add", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "9223372036854775807"}]}, 
    10  {"type": "assert_return", "line": 41, "action": {"type": "invoke", "field": "add", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    11  {"type": "assert_return", "line": 42, "action": {"type": "invoke", "field": "add", "args": [{"type": "i64", "value": "1073741823"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1073741824"}]}, 
    12  {"type": "assert_return", "line": 44, "action": {"type": "invoke", "field": "sub", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    13  {"type": "assert_return", "line": 45, "action": {"type": "invoke", "field": "sub", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    14  {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "sub", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    15  {"type": "assert_return", "line": 47, "action": {"type": "invoke", "field": "sub", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
    16  {"type": "assert_return", "line": 48, "action": {"type": "invoke", "field": "sub", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "9223372036854775807"}]}, 
    17  {"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "sub", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    18  {"type": "assert_return", "line": 50, "action": {"type": "invoke", "field": "sub", "args": [{"type": "i64", "value": "1073741823"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "1073741824"}]}, 
    19  {"type": "assert_return", "line": 52, "action": {"type": "invoke", "field": "mul", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    20  {"type": "assert_return", "line": 53, "action": {"type": "invoke", "field": "mul", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    21  {"type": "assert_return", "line": 54, "action": {"type": "invoke", "field": "mul", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    22  {"type": "assert_return", "line": 55, "action": {"type": "invoke", "field": "mul", "args": [{"type": "i64", "value": "1152921504606846976"}, {"type": "i64", "value": "4096"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    23  {"type": "assert_return", "line": 56, "action": {"type": "invoke", "field": "mul", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    24  {"type": "assert_return", "line": 57, "action": {"type": "invoke", "field": "mul", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
    25  {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "mul", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "9223372036854775809"}]}, 
    26  {"type": "assert_return", "line": 59, "action": {"type": "invoke", "field": "mul", "args": [{"type": "i64", "value": "81985529216486895"}, {"type": "i64", "value": "18364758544493064720"}]}, "expected": [{"type": "i64", "value": "2465395958572223728"}]}, 
    27  {"type": "assert_return", "line": 60, "action": {"type": "invoke", "field": "mul", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    28  {"type": "assert_trap", "line": 62, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "text": "integer divide by zero", "expected": [{"type": "i64"}]}, 
    29  {"type": "assert_trap", "line": 63, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "text": "integer divide by zero", "expected": [{"type": "i64"}]}, 
    30  {"type": "assert_trap", "line": 64, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "text": "integer overflow", "expected": [{"type": "i64"}]}, 
    31  {"type": "assert_return", "line": 65, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    32  {"type": "assert_return", "line": 66, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    33  {"type": "assert_return", "line": 67, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    34  {"type": "assert_return", "line": 68, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    35  {"type": "assert_return", "line": 69, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "13835058055282163712"}]}, 
    36  {"type": "assert_return", "line": 70, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "9223372036854775809"}, {"type": "i64", "value": "1000"}]}, "expected": [{"type": "i64", "value": "18437520701672696841"}]}, 
    37  {"type": "assert_return", "line": 71, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "5"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    38  {"type": "assert_return", "line": 72, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "18446744073709551611"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}]}, 
    39  {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "5"}, {"type": "i64", "value": "18446744073709551614"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}]}, 
    40  {"type": "assert_return", "line": 74, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "18446744073709551611"}, {"type": "i64", "value": "18446744073709551614"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    41  {"type": "assert_return", "line": 75, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "7"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    42  {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "18446744073709551609"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}]}, 
    43  {"type": "assert_return", "line": 77, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "7"}, {"type": "i64", "value": "18446744073709551613"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}]}, 
    44  {"type": "assert_return", "line": 78, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "18446744073709551609"}, {"type": "i64", "value": "18446744073709551613"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    45  {"type": "assert_return", "line": 79, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "11"}, {"type": "i64", "value": "5"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    46  {"type": "assert_return", "line": 80, "action": {"type": "invoke", "field": "div_s", "args": [{"type": "i64", "value": "17"}, {"type": "i64", "value": "7"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    47  {"type": "assert_trap", "line": 82, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "text": "integer divide by zero", "expected": [{"type": "i64"}]}, 
    48  {"type": "assert_trap", "line": 83, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "text": "integer divide by zero", "expected": [{"type": "i64"}]}, 
    49  {"type": "assert_return", "line": 84, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    50  {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    51  {"type": "assert_return", "line": 86, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    52  {"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    53  {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "4611686018427387904"}]}, 
    54  {"type": "assert_return", "line": 89, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "10371807465568210928"}, {"type": "i64", "value": "4294967297"}]}, "expected": [{"type": "i64", "value": "2414874607"}]}, 
    55  {"type": "assert_return", "line": 90, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "9223372036854775809"}, {"type": "i64", "value": "1000"}]}, "expected": [{"type": "i64", "value": "9223372036854775"}]}, 
    56  {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "5"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    57  {"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "18446744073709551611"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "9223372036854775805"}]}, 
    58  {"type": "assert_return", "line": 93, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "5"}, {"type": "i64", "value": "18446744073709551614"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    59  {"type": "assert_return", "line": 94, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "18446744073709551611"}, {"type": "i64", "value": "18446744073709551614"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    60  {"type": "assert_return", "line": 95, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "7"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    61  {"type": "assert_return", "line": 96, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "11"}, {"type": "i64", "value": "5"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    62  {"type": "assert_return", "line": 97, "action": {"type": "invoke", "field": "div_u", "args": [{"type": "i64", "value": "17"}, {"type": "i64", "value": "7"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
    63  {"type": "assert_trap", "line": 99, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "text": "integer divide by zero", "expected": [{"type": "i64"}]}, 
    64  {"type": "assert_trap", "line": 100, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "text": "integer divide by zero", "expected": [{"type": "i64"}]}, 
    65  {"type": "assert_return", "line": 101, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    66  {"type": "assert_return", "line": 102, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    67  {"type": "assert_return", "line": 103, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    68  {"type": "assert_return", "line": 104, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    69  {"type": "assert_return", "line": 105, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    70  {"type": "assert_return", "line": 106, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    71  {"type": "assert_return", "line": 107, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    72  {"type": "assert_return", "line": 108, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "9223372036854775809"}, {"type": "i64", "value": "1000"}]}, "expected": [{"type": "i64", "value": "18446744073709550809"}]}, 
    73  {"type": "assert_return", "line": 109, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "5"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    74  {"type": "assert_return", "line": 110, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "18446744073709551611"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
    75  {"type": "assert_return", "line": 111, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "5"}, {"type": "i64", "value": "18446744073709551614"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    76  {"type": "assert_return", "line": 112, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "18446744073709551611"}, {"type": "i64", "value": "18446744073709551614"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
    77  {"type": "assert_return", "line": 113, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "7"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    78  {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "18446744073709551609"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
    79  {"type": "assert_return", "line": 115, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "7"}, {"type": "i64", "value": "18446744073709551613"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    80  {"type": "assert_return", "line": 116, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "18446744073709551609"}, {"type": "i64", "value": "18446744073709551613"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
    81  {"type": "assert_return", "line": 117, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "11"}, {"type": "i64", "value": "5"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    82  {"type": "assert_return", "line": 118, "action": {"type": "invoke", "field": "rem_s", "args": [{"type": "i64", "value": "17"}, {"type": "i64", "value": "7"}]}, "expected": [{"type": "i64", "value": "3"}]}, 
    83  {"type": "assert_trap", "line": 120, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "text": "integer divide by zero", "expected": [{"type": "i64"}]}, 
    84  {"type": "assert_trap", "line": 121, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "text": "integer divide by zero", "expected": [{"type": "i64"}]}, 
    85  {"type": "assert_return", "line": 122, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    86  {"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    87  {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    88  {"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
    89  {"type": "assert_return", "line": 126, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
    90  {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "10371807465568210928"}, {"type": "i64", "value": "4294967297"}]}, "expected": [{"type": "i64", "value": "2147483649"}]}, 
    91  {"type": "assert_return", "line": 128, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "9223372036854775809"}, {"type": "i64", "value": "1000"}]}, "expected": [{"type": "i64", "value": "809"}]}, 
    92  {"type": "assert_return", "line": 129, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "5"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    93  {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "18446744073709551611"}, {"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    94  {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "5"}, {"type": "i64", "value": "18446744073709551614"}]}, "expected": [{"type": "i64", "value": "5"}]}, 
    95  {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "18446744073709551611"}, {"type": "i64", "value": "18446744073709551614"}]}, "expected": [{"type": "i64", "value": "18446744073709551611"}]}, 
    96  {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "7"}, {"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    97  {"type": "assert_return", "line": 134, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "11"}, {"type": "i64", "value": "5"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
    98  {"type": "assert_return", "line": 135, "action": {"type": "invoke", "field": "rem_u", "args": [{"type": "i64", "value": "17"}, {"type": "i64", "value": "7"}]}, "expected": [{"type": "i64", "value": "3"}]}, 
    99  {"type": "assert_return", "line": 137, "action": {"type": "invoke", "field": "and", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   100  {"type": "assert_return", "line": 138, "action": {"type": "invoke", "field": "and", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   101  {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "and", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   102  {"type": "assert_return", "line": 140, "action": {"type": "invoke", "field": "and", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   103  {"type": "assert_return", "line": 141, "action": {"type": "invoke", "field": "and", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   104  {"type": "assert_return", "line": 142, "action": {"type": "invoke", "field": "and", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "9223372036854775807"}]}, 
   105  {"type": "assert_return", "line": 143, "action": {"type": "invoke", "field": "and", "args": [{"type": "i64", "value": "4042326015"}, {"type": "i64", "value": "4294963440"}]}, "expected": [{"type": "i64", "value": "4042322160"}]}, 
   106  {"type": "assert_return", "line": 144, "action": {"type": "invoke", "field": "and", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   107  {"type": "assert_return", "line": 146, "action": {"type": "invoke", "field": "or", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   108  {"type": "assert_return", "line": 147, "action": {"type": "invoke", "field": "or", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   109  {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "or", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   110  {"type": "assert_return", "line": 149, "action": {"type": "invoke", "field": "or", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   111  {"type": "assert_return", "line": 150, "action": {"type": "invoke", "field": "or", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   112  {"type": "assert_return", "line": 151, "action": {"type": "invoke", "field": "or", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
   113  {"type": "assert_return", "line": 152, "action": {"type": "invoke", "field": "or", "args": [{"type": "i64", "value": "4042326015"}, {"type": "i64", "value": "4294963440"}]}, "expected": [{"type": "i64", "value": "4294967295"}]}, 
   114  {"type": "assert_return", "line": 153, "action": {"type": "invoke", "field": "or", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   115  {"type": "assert_return", "line": 155, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   116  {"type": "assert_return", "line": 156, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   117  {"type": "assert_return", "line": 157, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   118  {"type": "assert_return", "line": 158, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   119  {"type": "assert_return", "line": 159, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   120  {"type": "assert_return", "line": 160, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
   121  {"type": "assert_return", "line": 161, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "9223372036854775807"}]}, 
   122  {"type": "assert_return", "line": 162, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
   123  {"type": "assert_return", "line": 163, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "4042326015"}, {"type": "i64", "value": "4294963440"}]}, "expected": [{"type": "i64", "value": "252645135"}]}, 
   124  {"type": "assert_return", "line": 164, "action": {"type": "invoke", "field": "xor", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   125  {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
   126  {"type": "assert_return", "line": 167, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   127  {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}]}, 
   128  {"type": "assert_return", "line": 169, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551614"}]}, 
   129  {"type": "assert_return", "line": 170, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   130  {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "4611686018427387904"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
   131  {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "63"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
   132  {"type": "assert_return", "line": 173, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "64"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   133  {"type": "assert_return", "line": 174, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "65"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
   134  {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
   135  {"type": "assert_return", "line": 176, "action": {"type": "invoke", "field": "shl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
   136  {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   137  {"type": "assert_return", "line": 179, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   138  {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   139  {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "4611686018427387903"}]}, 
   140  {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "13835058055282163712"}]}, 
   141  {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "4611686018427387904"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "2305843009213693952"}]}, 
   142  {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "64"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   143  {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "65"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   144  {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   145  {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   146  {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   147  {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "63"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   148  {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "64"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   149  {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "65"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   150  {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   151  {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   152  {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "shr_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   153  {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   154  {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   155  {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "9223372036854775807"}]}, 
   156  {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "4611686018427387903"}]}, 
   157  {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "4611686018427387904"}]}, 
   158  {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "4611686018427387904"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "2305843009213693952"}]}, 
   159  {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "64"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   160  {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "65"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   161  {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   162  {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   163  {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   164  {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "63"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   165  {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "64"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   166  {"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "65"}]}, "expected": [{"type": "i64", "value": "9223372036854775807"}]}, 
   167  {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   168  {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   169  {"type": "assert_return", "line": 212, "action": {"type": "invoke", "field": "shr_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   170  {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
   171  {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   172  {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   173  {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "64"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   174  {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "12379718583323101902"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "6312693092936652189"}]}, 
   175  {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "18302628889324683264"}, {"type": "i64", "value": "4"}]}, "expected": [{"type": "i64", "value": "16140901123551657999"}]}, 
   176  {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "12379570969274382345"}, {"type": "i64", "value": "53"}]}, "expected": [{"type": "i64", "value": "87109505680009935"}]}, 
   177  {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "12380715672649826460"}, {"type": "i64", "value": "63"}]}, "expected": [{"type": "i64", "value": "6190357836324913230"}]}, 
   178  {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "12379570969274382345"}, {"type": "i64", "value": "245"}]}, "expected": [{"type": "i64", "value": "87109505680009935"}]}, 
   179  {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "12379676934707509257"}, {"type": "i64", "value": "18446744073709551597"}]}, "expected": [{"type": "i64", "value": "14916262237559758314"}]}, 
   180  {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "12380715672649826460"}, {"type": "i64", "value": "9223372036854775871"}]}, "expected": [{"type": "i64", "value": "6190357836324913230"}]}, 
   181  {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "63"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
   182  {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "rotl", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   183  {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "9223372036854775808"}]}, 
   184  {"type": "assert_return", "line": 229, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   185  {"type": "assert_return", "line": 230, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "18446744073709551615"}]}, 
   186  {"type": "assert_return", "line": 231, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "64"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   187  {"type": "assert_return", "line": 232, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "12379718583323101902"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "6189859291661550951"}]}, 
   188  {"type": "assert_return", "line": 233, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "18302628889324683264"}, {"type": "i64", "value": "4"}]}, "expected": [{"type": "i64", "value": "1143914305582792704"}]}, 
   189  {"type": "assert_return", "line": 234, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "12379570969274382345"}, {"type": "i64", "value": "53"}]}, "expected": [{"type": "i64", "value": "7534987797011123550"}]}, 
   190  {"type": "assert_return", "line": 235, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "12380715672649826460"}, {"type": "i64", "value": "63"}]}, "expected": [{"type": "i64", "value": "6314687271590101305"}]}, 
   191  {"type": "assert_return", "line": 236, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "12379570969274382345"}, {"type": "i64", "value": "245"}]}, "expected": [{"type": "i64", "value": "7534987797011123550"}]}, 
   192  {"type": "assert_return", "line": 237, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "12379676934707509257"}, {"type": "i64", "value": "18446744073709551597"}]}, "expected": [{"type": "i64", "value": "10711665151168044651"}]}, 
   193  {"type": "assert_return", "line": 238, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "12380715672649826460"}, {"type": "i64", "value": "9223372036854775871"}]}, "expected": [{"type": "i64", "value": "6314687271590101305"}]}, 
   194  {"type": "assert_return", "line": 239, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "63"}]}, "expected": [{"type": "i64", "value": "2"}]}, 
   195  {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "rotr", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "63"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   196  {"type": "assert_return", "line": 242, "action": {"type": "invoke", "field": "clz", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   197  {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "clz", "args": [{"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "64"}]}, 
   198  {"type": "assert_return", "line": 244, "action": {"type": "invoke", "field": "clz", "args": [{"type": "i64", "value": "32768"}]}, "expected": [{"type": "i64", "value": "48"}]}, 
   199  {"type": "assert_return", "line": 245, "action": {"type": "invoke", "field": "clz", "args": [{"type": "i64", "value": "255"}]}, "expected": [{"type": "i64", "value": "56"}]}, 
   200  {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "clz", "args": [{"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   201  {"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "clz", "args": [{"type": "i64", "value": "1"}]}, "expected": [{"type": "i64", "value": "63"}]}, 
   202  {"type": "assert_return", "line": 248, "action": {"type": "invoke", "field": "clz", "args": [{"type": "i64", "value": "2"}]}, "expected": [{"type": "i64", "value": "62"}]}, 
   203  {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "clz", "args": [{"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   204  {"type": "assert_return", "line": 251, "action": {"type": "invoke", "field": "ctz", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   205  {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "ctz", "args": [{"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "64"}]}, 
   206  {"type": "assert_return", "line": 253, "action": {"type": "invoke", "field": "ctz", "args": [{"type": "i64", "value": "32768"}]}, "expected": [{"type": "i64", "value": "15"}]}, 
   207  {"type": "assert_return", "line": 254, "action": {"type": "invoke", "field": "ctz", "args": [{"type": "i64", "value": "65536"}]}, "expected": [{"type": "i64", "value": "16"}]}, 
   208  {"type": "assert_return", "line": 255, "action": {"type": "invoke", "field": "ctz", "args": [{"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i64", "value": "63"}]}, 
   209  {"type": "assert_return", "line": 256, "action": {"type": "invoke", "field": "ctz", "args": [{"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   210  {"type": "assert_return", "line": 258, "action": {"type": "invoke", "field": "popcnt", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i64", "value": "64"}]}, 
   211  {"type": "assert_return", "line": 259, "action": {"type": "invoke", "field": "popcnt", "args": [{"type": "i64", "value": "0"}]}, "expected": [{"type": "i64", "value": "0"}]}, 
   212  {"type": "assert_return", "line": 260, "action": {"type": "invoke", "field": "popcnt", "args": [{"type": "i64", "value": "32768"}]}, "expected": [{"type": "i64", "value": "1"}]}, 
   213  {"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "popcnt", "args": [{"type": "i64", "value": "9223512776490647552"}]}, "expected": [{"type": "i64", "value": "4"}]}, 
   214  {"type": "assert_return", "line": 262, "action": {"type": "invoke", "field": "popcnt", "args": [{"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i64", "value": "63"}]}, 
   215  {"type": "assert_return", "line": 263, "action": {"type": "invoke", "field": "popcnt", "args": [{"type": "i64", "value": "12297829381041378645"}]}, "expected": [{"type": "i64", "value": "32"}]}, 
   216  {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "popcnt", "args": [{"type": "i64", "value": "11068046444512062122"}]}, "expected": [{"type": "i64", "value": "32"}]}, 
   217  {"type": "assert_return", "line": 265, "action": {"type": "invoke", "field": "popcnt", "args": [{"type": "i64", "value": "16045690984833335023"}]}, "expected": [{"type": "i64", "value": "48"}]}, 
   218  {"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "eqz", "args": [{"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   219  {"type": "assert_return", "line": 268, "action": {"type": "invoke", "field": "eqz", "args": [{"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   220  {"type": "assert_return", "line": 269, "action": {"type": "invoke", "field": "eqz", "args": [{"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   221  {"type": "assert_return", "line": 270, "action": {"type": "invoke", "field": "eqz", "args": [{"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   222  {"type": "assert_return", "line": 271, "action": {"type": "invoke", "field": "eqz", "args": [{"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   223  {"type": "assert_return", "line": 273, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   224  {"type": "assert_return", "line": 274, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   225  {"type": "assert_return", "line": 275, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   226  {"type": "assert_return", "line": 276, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   227  {"type": "assert_return", "line": 277, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   228  {"type": "assert_return", "line": 278, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   229  {"type": "assert_return", "line": 279, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   230  {"type": "assert_return", "line": 280, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   231  {"type": "assert_return", "line": 281, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   232  {"type": "assert_return", "line": 282, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   233  {"type": "assert_return", "line": 283, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   234  {"type": "assert_return", "line": 284, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   235  {"type": "assert_return", "line": 285, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   236  {"type": "assert_return", "line": 286, "action": {"type": "invoke", "field": "eq", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   237  {"type": "assert_return", "line": 288, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   238  {"type": "assert_return", "line": 289, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   239  {"type": "assert_return", "line": 290, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   240  {"type": "assert_return", "line": 291, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   241  {"type": "assert_return", "line": 292, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   242  {"type": "assert_return", "line": 293, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   243  {"type": "assert_return", "line": 294, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   244  {"type": "assert_return", "line": 295, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   245  {"type": "assert_return", "line": 296, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   246  {"type": "assert_return", "line": 297, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   247  {"type": "assert_return", "line": 298, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   248  {"type": "assert_return", "line": 299, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   249  {"type": "assert_return", "line": 300, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   250  {"type": "assert_return", "line": 301, "action": {"type": "invoke", "field": "ne", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   251  {"type": "assert_return", "line": 303, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   252  {"type": "assert_return", "line": 304, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   253  {"type": "assert_return", "line": 305, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   254  {"type": "assert_return", "line": 306, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   255  {"type": "assert_return", "line": 307, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   256  {"type": "assert_return", "line": 308, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   257  {"type": "assert_return", "line": 309, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   258  {"type": "assert_return", "line": 310, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   259  {"type": "assert_return", "line": 311, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   260  {"type": "assert_return", "line": 312, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   261  {"type": "assert_return", "line": 313, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   262  {"type": "assert_return", "line": 314, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   263  {"type": "assert_return", "line": 315, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   264  {"type": "assert_return", "line": 316, "action": {"type": "invoke", "field": "lt_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   265  {"type": "assert_return", "line": 318, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   266  {"type": "assert_return", "line": 319, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   267  {"type": "assert_return", "line": 320, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   268  {"type": "assert_return", "line": 321, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   269  {"type": "assert_return", "line": 322, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   270  {"type": "assert_return", "line": 323, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   271  {"type": "assert_return", "line": 324, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   272  {"type": "assert_return", "line": 325, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   273  {"type": "assert_return", "line": 326, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   274  {"type": "assert_return", "line": 327, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   275  {"type": "assert_return", "line": 328, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   276  {"type": "assert_return", "line": 329, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   277  {"type": "assert_return", "line": 330, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   278  {"type": "assert_return", "line": 331, "action": {"type": "invoke", "field": "lt_u", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   279  {"type": "assert_return", "line": 333, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   280  {"type": "assert_return", "line": 334, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   281  {"type": "assert_return", "line": 335, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   282  {"type": "assert_return", "line": 336, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   283  {"type": "assert_return", "line": 337, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   284  {"type": "assert_return", "line": 338, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   285  {"type": "assert_return", "line": 339, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   286  {"type": "assert_return", "line": 340, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   287  {"type": "assert_return", "line": 341, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   288  {"type": "assert_return", "line": 342, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   289  {"type": "assert_return", "line": 343, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   290  {"type": "assert_return", "line": 344, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   291  {"type": "assert_return", "line": 345, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   292  {"type": "assert_return", "line": 346, "action": {"type": "invoke", "field": "le_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   293  {"type": "assert_return", "line": 348, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   294  {"type": "assert_return", "line": 349, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   295  {"type": "assert_return", "line": 350, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   296  {"type": "assert_return", "line": 351, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   297  {"type": "assert_return", "line": 352, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   298  {"type": "assert_return", "line": 353, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   299  {"type": "assert_return", "line": 354, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   300  {"type": "assert_return", "line": 355, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   301  {"type": "assert_return", "line": 356, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   302  {"type": "assert_return", "line": 357, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   303  {"type": "assert_return", "line": 358, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   304  {"type": "assert_return", "line": 359, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   305  {"type": "assert_return", "line": 360, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   306  {"type": "assert_return", "line": 361, "action": {"type": "invoke", "field": "le_u", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   307  {"type": "assert_return", "line": 363, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   308  {"type": "assert_return", "line": 364, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   309  {"type": "assert_return", "line": 365, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   310  {"type": "assert_return", "line": 366, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   311  {"type": "assert_return", "line": 367, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   312  {"type": "assert_return", "line": 368, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   313  {"type": "assert_return", "line": 369, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   314  {"type": "assert_return", "line": 370, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   315  {"type": "assert_return", "line": 371, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   316  {"type": "assert_return", "line": 372, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   317  {"type": "assert_return", "line": 373, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   318  {"type": "assert_return", "line": 374, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   319  {"type": "assert_return", "line": 375, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   320  {"type": "assert_return", "line": 376, "action": {"type": "invoke", "field": "gt_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   321  {"type": "assert_return", "line": 378, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   322  {"type": "assert_return", "line": 379, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   323  {"type": "assert_return", "line": 380, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   324  {"type": "assert_return", "line": 381, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   325  {"type": "assert_return", "line": 382, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   326  {"type": "assert_return", "line": 383, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   327  {"type": "assert_return", "line": 384, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   328  {"type": "assert_return", "line": 385, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   329  {"type": "assert_return", "line": 386, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   330  {"type": "assert_return", "line": 387, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   331  {"type": "assert_return", "line": 388, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   332  {"type": "assert_return", "line": 389, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   333  {"type": "assert_return", "line": 390, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   334  {"type": "assert_return", "line": 391, "action": {"type": "invoke", "field": "gt_u", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   335  {"type": "assert_return", "line": 393, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   336  {"type": "assert_return", "line": 394, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   337  {"type": "assert_return", "line": 395, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   338  {"type": "assert_return", "line": 396, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   339  {"type": "assert_return", "line": 397, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   340  {"type": "assert_return", "line": 398, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   341  {"type": "assert_return", "line": 399, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   342  {"type": "assert_return", "line": 400, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   343  {"type": "assert_return", "line": 401, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   344  {"type": "assert_return", "line": 402, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   345  {"type": "assert_return", "line": 403, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   346  {"type": "assert_return", "line": 404, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   347  {"type": "assert_return", "line": 405, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   348  {"type": "assert_return", "line": 406, "action": {"type": "invoke", "field": "ge_s", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   349  {"type": "assert_return", "line": 408, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   350  {"type": "assert_return", "line": 409, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   351  {"type": "assert_return", "line": 410, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   352  {"type": "assert_return", "line": 411, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   353  {"type": "assert_return", "line": 412, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   354  {"type": "assert_return", "line": 413, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   355  {"type": "assert_return", "line": 414, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "1"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   356  {"type": "assert_return", "line": 415, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   357  {"type": "assert_return", "line": 416, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "0"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   358  {"type": "assert_return", "line": 417, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "0"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   359  {"type": "assert_return", "line": 418, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "18446744073709551615"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   360  {"type": "assert_return", "line": 419, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "18446744073709551615"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   361  {"type": "assert_return", "line": 420, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "9223372036854775808"}, {"type": "i64", "value": "9223372036854775807"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   362  {"type": "assert_return", "line": 421, "action": {"type": "invoke", "field": "ge_u", "args": [{"type": "i64", "value": "9223372036854775807"}, {"type": "i64", "value": "9223372036854775808"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   363  {"type": "assert_invalid", "line": 426, "filename": "i64.1.wasm", "text": "type mismatch", "module_type": "binary"}, 
   364  {"type": "assert_invalid", "line": 427, "filename": "i64.2.wasm", "text": "type mismatch", "module_type": "binary"}, 
   365  {"type": "assert_invalid", "line": 428, "filename": "i64.3.wasm", "text": "type mismatch", "module_type": "binary"}, 
   366  {"type": "assert_invalid", "line": 429, "filename": "i64.4.wasm", "text": "type mismatch", "module_type": "binary"}, 
   367  {"type": "assert_invalid", "line": 430, "filename": "i64.5.wasm", "text": "type mismatch", "module_type": "binary"}, 
   368  {"type": "assert_invalid", "line": 431, "filename": "i64.6.wasm", "text": "type mismatch", "module_type": "binary"}, 
   369  {"type": "assert_invalid", "line": 432, "filename": "i64.7.wasm", "text": "type mismatch", "module_type": "binary"}, 
   370  {"type": "assert_invalid", "line": 433, "filename": "i64.8.wasm", "text": "type mismatch", "module_type": "binary"}, 
   371  {"type": "assert_invalid", "line": 434, "filename": "i64.9.wasm", "text": "type mismatch", "module_type": "binary"}, 
   372  {"type": "assert_invalid", "line": 435, "filename": "i64.10.wasm", "text": "type mismatch", "module_type": "binary"}, 
   373  {"type": "assert_invalid", "line": 436, "filename": "i64.11.wasm", "text": "type mismatch", "module_type": "binary"}, 
   374  {"type": "assert_invalid", "line": 437, "filename": "i64.12.wasm", "text": "type mismatch", "module_type": "binary"}, 
   375  {"type": "assert_invalid", "line": 438, "filename": "i64.13.wasm", "text": "type mismatch", "module_type": "binary"}, 
   376  {"type": "assert_invalid", "line": 439, "filename": "i64.14.wasm", "text": "type mismatch", "module_type": "binary"}, 
   377  {"type": "assert_invalid", "line": 440, "filename": "i64.15.wasm", "text": "type mismatch", "module_type": "binary"}, 
   378  {"type": "assert_invalid", "line": 441, "filename": "i64.16.wasm", "text": "type mismatch", "module_type": "binary"}, 
   379  {"type": "assert_invalid", "line": 442, "filename": "i64.17.wasm", "text": "type mismatch", "module_type": "binary"}, 
   380  {"type": "assert_invalid", "line": 443, "filename": "i64.18.wasm", "text": "type mismatch", "module_type": "binary"}, 
   381  {"type": "assert_invalid", "line": 444, "filename": "i64.19.wasm", "text": "type mismatch", "module_type": "binary"}, 
   382  {"type": "assert_invalid", "line": 445, "filename": "i64.20.wasm", "text": "type mismatch", "module_type": "binary"}, 
   383  {"type": "assert_invalid", "line": 446, "filename": "i64.21.wasm", "text": "type mismatch", "module_type": "binary"}, 
   384  {"type": "assert_invalid", "line": 447, "filename": "i64.22.wasm", "text": "type mismatch", "module_type": "binary"}, 
   385  {"type": "assert_invalid", "line": 448, "filename": "i64.23.wasm", "text": "type mismatch", "module_type": "binary"}, 
   386  {"type": "assert_invalid", "line": 449, "filename": "i64.24.wasm", "text": "type mismatch", "module_type": "binary"}, 
   387  {"type": "assert_invalid", "line": 450, "filename": "i64.25.wasm", "text": "type mismatch", "module_type": "binary"}, 
   388  {"type": "assert_invalid", "line": 451, "filename": "i64.26.wasm", "text": "type mismatch", "module_type": "binary"}, 
   389  {"type": "assert_invalid", "line": 452, "filename": "i64.27.wasm", "text": "type mismatch", "module_type": "binary"}, 
   390  {"type": "assert_invalid", "line": 453, "filename": "i64.28.wasm", "text": "type mismatch", "module_type": "binary"}, 
   391  {"type": "assert_invalid", "line": 454, "filename": "i64.29.wasm", "text": "type mismatch", "module_type": "binary"}]}

View as plain text