github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v1/testdata/i64.json (about) 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"}]}