wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v2/testdata/local_get.json (about) 1 {"source_filename": "./local_get.wast", 2 "commands": [ 3 {"type": "module", "line": 3, "filename": "local_get.0.wasm"}, 4 {"type": "assert_return", "line": 109, "action": {"type": "invoke", "field": "type-local-i32", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 5 {"type": "assert_return", "line": 110, "action": {"type": "invoke", "field": "type-local-i64", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 6 {"type": "assert_return", "line": 111, "action": {"type": "invoke", "field": "type-local-f32", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 7 {"type": "assert_return", "line": 112, "action": {"type": "invoke", "field": "type-local-f64", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 8 {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "type-param-i32", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "2"}]}, 9 {"type": "assert_return", "line": 115, "action": {"type": "invoke", "field": "type-param-i64", "args": [{"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "3"}]}, 10 {"type": "assert_return", "line": 116, "action": {"type": "invoke", "field": "type-param-f32", "args": [{"type": "f32", "value": "1082969293"}]}, "expected": [{"type": "f32", "value": "1082969293"}]}, 11 {"type": "assert_return", "line": 117, "action": {"type": "invoke", "field": "type-param-f64", "args": [{"type": "f64", "value": "4617878467915022336"}]}, "expected": [{"type": "f64", "value": "4617878467915022336"}]}, 12 {"type": "assert_return", "line": 119, "action": {"type": "invoke", "field": "as-block-value", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "6"}]}, 13 {"type": "assert_return", "line": 120, "action": {"type": "invoke", "field": "as-loop-value", "args": [{"type": "i32", "value": "7"}]}, "expected": [{"type": "i32", "value": "7"}]}, 14 {"type": "assert_return", "line": 122, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "8"}]}, 15 {"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "as-br_if-value", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "9"}]}, 16 {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "as-br_if-value-cond", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "10"}]}, 17 {"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "as-br_table-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 18 {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 19 {"type": "assert_return", "line": 129, "action": {"type": "invoke", "field": "as-if-then", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 20 {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "as-if-else", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 21 {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "type-mixed", "args": [{"type": "i64", "value": "1"}, {"type": "f32", "value": "1074580685"}, {"type": "f64", "value": "4614613358185178726"}, {"type": "i32", "value": "4"}, {"type": "i32", "value": "5"}]}, "expected": []}, 22 {"type": "assert_return", "line": 139, "action": {"type": "invoke", "field": "read", "args": [{"type": "i64", "value": "1"}, {"type": "f32", "value": "1073741824"}, {"type": "f64", "value": "4614613358185178726"}, {"type": "i32", "value": "4"}, {"type": "i32", "value": "5"}]}, "expected": [{"type": "f64", "value": "4630094481904264806"}]}, 23 {"type": "assert_invalid", "line": 149, "filename": "local_get.1.wasm", "text": "type mismatch", "module_type": "binary"}, 24 {"type": "assert_invalid", "line": 153, "filename": "local_get.2.wasm", "text": "type mismatch", "module_type": "binary"}, 25 {"type": "assert_invalid", "line": 157, "filename": "local_get.3.wasm", "text": "type mismatch", "module_type": "binary"}, 26 {"type": "assert_invalid", "line": 165, "filename": "local_get.4.wasm", "text": "type mismatch", "module_type": "binary"}, 27 {"type": "assert_invalid", "line": 169, "filename": "local_get.5.wasm", "text": "type mismatch", "module_type": "binary"}, 28 {"type": "assert_invalid", "line": 173, "filename": "local_get.6.wasm", "text": "type mismatch", "module_type": "binary"}, 29 {"type": "assert_invalid", "line": 181, "filename": "local_get.7.wasm", "text": "type mismatch", "module_type": "binary"}, 30 {"type": "assert_invalid", "line": 185, "filename": "local_get.8.wasm", "text": "type mismatch", "module_type": "binary"}, 31 {"type": "assert_invalid", "line": 189, "filename": "local_get.9.wasm", "text": "type mismatch", "module_type": "binary"}, 32 {"type": "assert_invalid", "line": 193, "filename": "local_get.10.wasm", "text": "type mismatch", "module_type": "binary"}, 33 {"type": "assert_invalid", "line": 201, "filename": "local_get.11.wasm", "text": "unknown local", "module_type": "binary"}, 34 {"type": "assert_invalid", "line": 205, "filename": "local_get.12.wasm", "text": "unknown local", "module_type": "binary"}, 35 {"type": "assert_invalid", "line": 210, "filename": "local_get.13.wasm", "text": "unknown local", "module_type": "binary"}, 36 {"type": "assert_invalid", "line": 214, "filename": "local_get.14.wasm", "text": "unknown local", "module_type": "binary"}, 37 {"type": "assert_invalid", "line": 219, "filename": "local_get.15.wasm", "text": "unknown local", "module_type": "binary"}, 38 {"type": "assert_invalid", "line": 223, "filename": "local_get.16.wasm", "text": "unknown local", "module_type": "binary"}]}