aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/fixtures/spec_testsuites/core/ref_func.json
diff options
context:
space:
mode:
Diffstat (limited to 'tests/fixtures/spec_testsuites/core/ref_func.json')
-rw-r--r--tests/fixtures/spec_testsuites/core/ref_func.json19
1 files changed, 19 insertions, 0 deletions
diff --git a/tests/fixtures/spec_testsuites/core/ref_func.json b/tests/fixtures/spec_testsuites/core/ref_func.json
new file mode 100644
index 0000000..fa95eff
--- /dev/null
+++ b/tests/fixtures/spec_testsuites/core/ref_func.json
@@ -0,0 +1,19 @@
+{"source_filename": "./ref_func.wast",
+ "commands": [
+ {"type": "module", "line": 1, "filename": "ref_func.0.wasm"},
+ {"type": "register", "line": 4, "as": "M"},
+ {"type": "module", "line": 6, "filename": "ref_func.1.wasm"},
+ {"type": "assert_return", "line": 56, "action": {"type": "invoke", "field": "is_null-f", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
+ {"type": "assert_return", "line": 57, "action": {"type": "invoke", "field": "is_null-g", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
+ {"type": "assert_return", "line": 58, "action": {"type": "invoke", "field": "is_null-v", "args": []}, "expected": [{"type": "i32", "value": "0"}]},
+ {"type": "assert_return", "line": 60, "action": {"type": "invoke", "field": "call-f", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "4"}]},
+ {"type": "assert_return", "line": 61, "action": {"type": "invoke", "field": "call-g", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "5"}]},
+ {"type": "assert_return", "line": 62, "action": {"type": "invoke", "field": "call-v", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "4"}]},
+ {"type": "action", "line": 63, "action": {"type": "invoke", "field": "set-g", "args": []}, "expected": []},
+ {"type": "assert_return", "line": 64, "action": {"type": "invoke", "field": "call-v", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "5"}]},
+ {"type": "action", "line": 65, "action": {"type": "invoke", "field": "set-f", "args": []}, "expected": []},
+ {"type": "assert_return", "line": 66, "action": {"type": "invoke", "field": "call-v", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "4"}]},
+ {"type": "assert_invalid", "line": 69, "filename": "ref_func.2.wasm", "text": "unknown function 7", "module_type": "binary"},
+ {"type": "module", "line": 80, "filename": "ref_func.3.wasm"},
+ {"type": "assert_invalid", "line": 109, "filename": "ref_func.4.wasm", "text": "undeclared function reference", "module_type": "binary"},
+ {"type": "assert_invalid", "line": 113, "filename": "ref_func.5.wasm", "text": "undeclared function reference", "module_type": "binary"}]}