feat: add spec testsuites

1 files changed, 38 insertions, 0 deletions

diff --git a/tests/fixtures/spec_testsuites/core/local_get.json b/tests/fixtures/spec_testsuites/core/local_get.json
new file mode 100644
index 0000000..c79b524
--- /dev/null
+++ b/tests/fixtures/spec_testsuites/core/local_get.json
@@ -0,0 +1,38 @@
+{"source_filename": "./local_get.wast",
+ "commands": [
+  {"type": "module", "line": 3, "filename": "local_get.0.wasm"}, 
+  {"type": "assert_return", "line": 109, "action": {"type": "invoke", "field": "type-local-i32", "args": []}, "expected": [{"type": "i32", "value": "0"}]}, 
+  {"type": "assert_return", "line": 110, "action": {"type": "invoke", "field": "type-local-i64", "args": []}, "expected": [{"type": "i64", "value": "0"}]}, 
+  {"type": "assert_return", "line": 111, "action": {"type": "invoke", "field": "type-local-f32", "args": []}, "expected": [{"type": "f32", "value": "0"}]}, 
+  {"type": "assert_return", "line": 112, "action": {"type": "invoke", "field": "type-local-f64", "args": []}, "expected": [{"type": "f64", "value": "0"}]}, 
+  {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "type-param-i32", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
+  {"type": "assert_return", "line": 115, "action": {"type": "invoke", "field": "type-param-i64", "args": [{"type": "i64", "value": "3"}]}, "expected": [{"type": "i64", "value": "3"}]}, 
+  {"type": "assert_return", "line": 116, "action": {"type": "invoke", "field": "type-param-f32", "args": [{"type": "f32", "value": "1082969293"}]}, "expected": [{"type": "f32", "value": "1082969293"}]}, 
+  {"type": "assert_return", "line": 117, "action": {"type": "invoke", "field": "type-param-f64", "args": [{"type": "f64", "value": "4617878467915022336"}]}, "expected": [{"type": "f64", "value": "4617878467915022336"}]}, 
+  {"type": "assert_return", "line": 119, "action": {"type": "invoke", "field": "as-block-value", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "6"}]}, 
+  {"type": "assert_return", "line": 120, "action": {"type": "invoke", "field": "as-loop-value", "args": [{"type": "i32", "value": "7"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
+  {"type": "assert_return", "line": 122, "action": {"type": "invoke", "field": "as-br-value", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
+  {"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "as-br_if-value", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
+  {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "as-br_if-value-cond", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "10"}]}, 
+  {"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "as-br_table-value", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
+  {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "as-return-value", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
+  {"type": "assert_return", "line": 129, "action": {"type": "invoke", "field": "as-if-then", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
+  {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "as-if-else", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
+  {"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": []}, 
+  {"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"}]}, 
+  {"type": "assert_invalid", "line": 149, "filename": "local_get.1.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 153, "filename": "local_get.2.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 157, "filename": "local_get.3.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 165, "filename": "local_get.4.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 169, "filename": "local_get.5.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 173, "filename": "local_get.6.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 181, "filename": "local_get.7.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 185, "filename": "local_get.8.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 189, "filename": "local_get.9.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 193, "filename": "local_get.10.wasm", "text": "type mismatch", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 201, "filename": "local_get.11.wasm", "text": "unknown local", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 205, "filename": "local_get.12.wasm", "text": "unknown local", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 210, "filename": "local_get.13.wasm", "text": "unknown local", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 214, "filename": "local_get.14.wasm", "text": "unknown local", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 219, "filename": "local_get.15.wasm", "text": "unknown local", "module_type": "binary"}, 
+  {"type": "assert_invalid", "line": 223, "filename": "local_get.16.wasm", "text": "unknown local", "module_type": "binary"}]}