feat: add spec testsuites

1 files changed, 52 insertions, 0 deletions

diff --git a/tests/fixtures/spec_testsuites/core/unwind.json b/tests/fixtures/spec_testsuites/core/unwind.json
new file mode 100644
index 0000000..50e39ed
--- /dev/null
+++ b/tests/fixtures/spec_testsuites/core/unwind.json
@@ -0,0 +1,52 @@
+{"source_filename": "./unwind.wast",
+ "commands": [
+  {"type": "module", "line": 3, "filename": "unwind.0.wasm"}, 
+  {"type": "assert_trap", "line": 212, "action": {"type": "invoke", "field": "func-unwind-by-unreachable", "args": []}, "text": "unreachable", "expected": []}, 
+  {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "func-unwind-by-br", "args": []}, "expected": []}, 
+  {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "func-unwind-by-br-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "func-unwind-by-br_if", "args": []}, "expected": []}, 
+  {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "func-unwind-by-br_if-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "func-unwind-by-br_table", "args": []}, "expected": []}, 
+  {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "func-unwind-by-br_table-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "func-unwind-by-return", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_trap", "line": 221, "action": {"type": "invoke", "field": "block-unwind-by-unreachable", "args": []}, "text": "unreachable", "expected": []}, 
+  {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "block-unwind-by-br", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "block-unwind-by-br-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "block-unwind-by-br_if", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "block-unwind-by-br_if-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "block-unwind-by-br_table", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "block-unwind-by-br_table-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "block-unwind-by-return", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_trap", "line": 230, "action": {"type": "invoke", "field": "block-nested-unwind-by-unreachable", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
+  {"type": "assert_return", "line": 231, "action": {"type": "invoke", "field": "block-nested-unwind-by-br", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 232, "action": {"type": "invoke", "field": "block-nested-unwind-by-br-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 233, "action": {"type": "invoke", "field": "block-nested-unwind-by-br_if", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 234, "action": {"type": "invoke", "field": "block-nested-unwind-by-br_if-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 235, "action": {"type": "invoke", "field": "block-nested-unwind-by-br_table", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 236, "action": {"type": "invoke", "field": "block-nested-unwind-by-br_table-value", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 237, "action": {"type": "invoke", "field": "block-nested-unwind-by-return", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_trap", "line": 239, "action": {"type": "invoke", "field": "unary-after-unreachable", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
+  {"type": "assert_return", "line": 240, "action": {"type": "invoke", "field": "unary-after-br", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 241, "action": {"type": "invoke", "field": "unary-after-br_if", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 242, "action": {"type": "invoke", "field": "unary-after-br_table", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 243, "action": {"type": "invoke", "field": "unary-after-return", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_trap", "line": 245, "action": {"type": "invoke", "field": "binary-after-unreachable", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
+  {"type": "assert_return", "line": 246, "action": {"type": "invoke", "field": "binary-after-br", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 247, "action": {"type": "invoke", "field": "binary-after-br_if", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 248, "action": {"type": "invoke", "field": "binary-after-br_table", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 249, "action": {"type": "invoke", "field": "binary-after-return", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_trap", "line": 251, "action": {"type": "invoke", "field": "select-after-unreachable", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
+  {"type": "assert_return", "line": 252, "action": {"type": "invoke", "field": "select-after-br", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 253, "action": {"type": "invoke", "field": "select-after-br_if", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 254, "action": {"type": "invoke", "field": "select-after-br_table", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 255, "action": {"type": "invoke", "field": "select-after-return", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_trap", "line": 257, "action": {"type": "invoke", "field": "block-value-after-unreachable", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
+  {"type": "assert_return", "line": 258, "action": {"type": "invoke", "field": "block-value-after-br", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 259, "action": {"type": "invoke", "field": "block-value-after-br_if", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 260, "action": {"type": "invoke", "field": "block-value-after-br_table", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 261, "action": {"type": "invoke", "field": "block-value-after-return", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_trap", "line": 263, "action": {"type": "invoke", "field": "loop-value-after-unreachable", "args": []}, "text": "unreachable", "expected": [{"type": "i32"}]}, 
+  {"type": "assert_return", "line": 264, "action": {"type": "invoke", "field": "loop-value-after-br", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 265, "action": {"type": "invoke", "field": "loop-value-after-br_if", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 266, "action": {"type": "invoke", "field": "loop-value-after-br_table", "args": []}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 267, "action": {"type": "invoke", "field": "loop-value-after-return", "args": []}, "expected": [{"type": "i32", "value": "9"}]}]}