aboutsummaryrefslogtreecommitdiffhomepage
path: root/tests/fixtures/spec_testsuites/core/ref_func.json
diff options
context:
space:
mode:
authornsfisis <nsfisis@gmail.com>2024-03-16 20:41:50 +0900
committernsfisis <nsfisis@gmail.com>2024-03-16 20:41:50 +0900
commit3d2d891d7e1492d179cd8da7a618fbdd5efcca2c (patch)
tree45367f35d98af1125a2197b3bc3dbc35700128d7 /tests/fixtures/spec_testsuites/core/ref_func.json
parent9b45796547c8022b98a9254320323d72aecd81cb (diff)
downloadphp-waddiwasi-3d2d891d7e1492d179cd8da7a618fbdd5efcca2c.tar.gz
php-waddiwasi-3d2d891d7e1492d179cd8da7a618fbdd5efcca2c.tar.zst
php-waddiwasi-3d2d891d7e1492d179cd8da7a618fbdd5efcca2c.zip
feat: add spec testsuites
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"}]}