github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/spectest/v2/testdata/float_memory.json (about)

     1  {"source_filename": "./float_memory.wast",
     2   "commands": [
     3    {"type": "module", "line": 5, "filename": "float_memory.0.wasm"}, 
     4    {"type": "assert_return", "line": 15, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "2141192192"}]}, 
     5    {"type": "assert_return", "line": 16, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "2141192192"}]}, 
     6    {"type": "action", "line": 17, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
     7    {"type": "assert_return", "line": 18, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
     8    {"type": "assert_return", "line": 19, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 
     9    {"type": "action", "line": 20, "action": {"type": "invoke", "field": "f32.store", "args": []}, "expected": []}, 
    10    {"type": "assert_return", "line": 21, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "2141192192"}]}, 
    11    {"type": "assert_return", "line": 22, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "2141192192"}]}, 
    12    {"type": "action", "line": 23, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    13    {"type": "assert_return", "line": 24, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
    14    {"type": "assert_return", "line": 25, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 
    15    {"type": "action", "line": 26, "action": {"type": "invoke", "field": "i32.store", "args": []}, "expected": []}, 
    16    {"type": "assert_return", "line": 27, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "2141192192"}]}, 
    17    {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "2141192192"}]}, 
    18    {"type": "module", "line": 30, "filename": "float_memory.1.wasm"}, 
    19    {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "9219994337134247936"}]}, 
    20    {"type": "assert_return", "line": 41, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "9219994337134247936"}]}, 
    21    {"type": "action", "line": 42, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    22    {"type": "assert_return", "line": 43, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 
    23    {"type": "assert_return", "line": 44, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 
    24    {"type": "action", "line": 45, "action": {"type": "invoke", "field": "f64.store", "args": []}, "expected": []}, 
    25    {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "9219994337134247936"}]}, 
    26    {"type": "assert_return", "line": 47, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "9219994337134247936"}]}, 
    27    {"type": "action", "line": 48, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    28    {"type": "assert_return", "line": 49, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 
    29    {"type": "assert_return", "line": 50, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 
    30    {"type": "action", "line": 51, "action": {"type": "invoke", "field": "i64.store", "args": []}, "expected": []}, 
    31    {"type": "assert_return", "line": 52, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "9219994337134247936"}]}, 
    32    {"type": "assert_return", "line": 53, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "9219994337134247936"}]}, 
    33    {"type": "module", "line": 57, "filename": "float_memory.2.wasm"}, 
    34    {"type": "assert_return", "line": 67, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "2141192192"}]}, 
    35    {"type": "assert_return", "line": 68, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "2141192192"}]}, 
    36    {"type": "action", "line": 69, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    37    {"type": "assert_return", "line": 70, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
    38    {"type": "assert_return", "line": 71, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 
    39    {"type": "action", "line": 72, "action": {"type": "invoke", "field": "f32.store", "args": []}, "expected": []}, 
    40    {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "2141192192"}]}, 
    41    {"type": "assert_return", "line": 74, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "2141192192"}]}, 
    42    {"type": "action", "line": 75, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    43    {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
    44    {"type": "assert_return", "line": 77, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 
    45    {"type": "action", "line": 78, "action": {"type": "invoke", "field": "i32.store", "args": []}, "expected": []}, 
    46    {"type": "assert_return", "line": 79, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "2141192192"}]}, 
    47    {"type": "assert_return", "line": 80, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "2141192192"}]}, 
    48    {"type": "module", "line": 82, "filename": "float_memory.3.wasm"}, 
    49    {"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "9219994337134247936"}]}, 
    50    {"type": "assert_return", "line": 93, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "9219994337134247936"}]}, 
    51    {"type": "action", "line": 94, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    52    {"type": "assert_return", "line": 95, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 
    53    {"type": "assert_return", "line": 96, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 
    54    {"type": "action", "line": 97, "action": {"type": "invoke", "field": "f64.store", "args": []}, "expected": []}, 
    55    {"type": "assert_return", "line": 98, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "9219994337134247936"}]}, 
    56    {"type": "assert_return", "line": 99, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "9219994337134247936"}]}, 
    57    {"type": "action", "line": 100, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    58    {"type": "assert_return", "line": 101, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 
    59    {"type": "assert_return", "line": 102, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 
    60    {"type": "action", "line": 103, "action": {"type": "invoke", "field": "i64.store", "args": []}, "expected": []}, 
    61    {"type": "assert_return", "line": 104, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "9219994337134247936"}]}, 
    62    {"type": "assert_return", "line": 105, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "9219994337134247936"}]}, 
    63    {"type": "module", "line": 109, "filename": "float_memory.4.wasm"}, 
    64    {"type": "assert_return", "line": 119, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "2144337921"}]}, 
    65    {"type": "assert_return", "line": 120, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "2144337921"}]}, 
    66    {"type": "action", "line": 121, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    67    {"type": "assert_return", "line": 122, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
    68    {"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 
    69    {"type": "action", "line": 124, "action": {"type": "invoke", "field": "f32.store", "args": []}, "expected": []}, 
    70    {"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "2144337921"}]}, 
    71    {"type": "assert_return", "line": 126, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "2144337921"}]}, 
    72    {"type": "action", "line": 127, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    73    {"type": "assert_return", "line": 128, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
    74    {"type": "assert_return", "line": 129, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 
    75    {"type": "action", "line": 130, "action": {"type": "invoke", "field": "i32.store", "args": []}, "expected": []}, 
    76    {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "i32.load", "args": []}, "expected": [{"type": "i32", "value": "2144337921"}]}, 
    77    {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "f32.load", "args": []}, "expected": [{"type": "f32", "value": "2144337921"}]}, 
    78    {"type": "module", "line": 134, "filename": "float_memory.5.wasm"}, 
    79    {"type": "assert_return", "line": 144, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "9222246136947933185"}]}, 
    80    {"type": "assert_return", "line": 145, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "9222246136947933185"}]}, 
    81    {"type": "action", "line": 146, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    82    {"type": "assert_return", "line": 147, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 
    83    {"type": "assert_return", "line": 148, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 
    84    {"type": "action", "line": 149, "action": {"type": "invoke", "field": "f64.store", "args": []}, "expected": []}, 
    85    {"type": "assert_return", "line": 150, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "9222246136947933185"}]}, 
    86    {"type": "assert_return", "line": 151, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "9222246136947933185"}]}, 
    87    {"type": "action", "line": 152, "action": {"type": "invoke", "field": "reset", "args": []}, "expected": []}, 
    88    {"type": "assert_return", "line": 153, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 
    89    {"type": "assert_return", "line": 154, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 
    90    {"type": "action", "line": 155, "action": {"type": "invoke", "field": "i64.store", "args": []}, "expected": []}, 
    91    {"type": "assert_return", "line": 156, "action": {"type": "invoke", "field": "i64.load", "args": []}, "expected": [{"type": "i64", "value": "9222246136947933185"}]}, 
    92    {"type": "assert_return", "line": 157, "action": {"type": "invoke", "field": "f64.load", "args": []}, "expected": [{"type": "f64", "value": "9222246136947933185"}]}]}