feat: add spec testsuites

1 files changed, 98 insertions, 0 deletions

diff --git a/tests/fixtures/spec_testsuites/core/left-to-right.json b/tests/fixtures/spec_testsuites/core/left-to-right.json
new file mode 100644
index 0000000..f00d9ec
--- /dev/null
+++ b/tests/fixtures/spec_testsuites/core/left-to-right.json
@@ -0,0 +1,98 @@
+{"source_filename": "./left-to-right.wast",
+ "commands": [
+  {"type": "module", "line": 1, "filename": "left-to-right.0.wasm"}, 
+  {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "i32_add", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "i64_add", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "i32_sub", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "i64_sub", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "i32_mul", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "i64_mul", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "i32_div_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "i64_div_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "i32_div_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "i64_div_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i32_rem_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "i64_rem_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "i32_rem_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "i64_rem_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "i32_and", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "i64_and", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "i32_or", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 189, "action": {"type": "invoke", "field": "i64_or", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "i32_xor", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 190, "action": {"type": "invoke", "field": "i64_xor", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "i32_shl", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 191, "action": {"type": "invoke", "field": "i64_shl", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "i32_shr_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 192, "action": {"type": "invoke", "field": "i64_shr_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "i32_shr_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 193, "action": {"type": "invoke", "field": "i64_shr_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "i32_eq", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 194, "action": {"type": "invoke", "field": "i64_eq", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "i32_ne", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 195, "action": {"type": "invoke", "field": "i64_ne", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "i32_lt_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 196, "action": {"type": "invoke", "field": "i64_lt_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "i32_le_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 197, "action": {"type": "invoke", "field": "i64_le_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i32_lt_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 198, "action": {"type": "invoke", "field": "i64_lt_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "i32_le_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 199, "action": {"type": "invoke", "field": "i64_le_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "i32_gt_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 200, "action": {"type": "invoke", "field": "i64_gt_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "i32_ge_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 201, "action": {"type": "invoke", "field": "i64_ge_s", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "i32_gt_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 202, "action": {"type": "invoke", "field": "i64_gt_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "i32_ge_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 203, "action": {"type": "invoke", "field": "i64_ge_u", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i32_store", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 204, "action": {"type": "invoke", "field": "i64_store", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "i32_store8", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 205, "action": {"type": "invoke", "field": "i64_store8", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "i32_store16", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 206, "action": {"type": "invoke", "field": "i64_store16", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 207, "action": {"type": "invoke", "field": "i64_store32", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "i32_call", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 208, "action": {"type": "invoke", "field": "i64_call", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 209, "action": {"type": "invoke", "field": "i32_call_indirect", "args": []}, "expected": [{"type": "i32", "value": "66052"}]}, 
+  {"type": "assert_return", "line": 210, "action": {"type": "invoke", "field": "i64_call_indirect", "args": []}, "expected": [{"type": "i32", "value": "66052"}]}, 
+  {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "i32_select", "args": []}, "expected": [{"type": "i32", "value": "66053"}]}, 
+  {"type": "assert_return", "line": 211, "action": {"type": "invoke", "field": "i64_select", "args": []}, "expected": [{"type": "i32", "value": "66053"}]}, 
+  {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "f32_add", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 213, "action": {"type": "invoke", "field": "f64_add", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "f32_sub", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 214, "action": {"type": "invoke", "field": "f64_sub", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "f32_mul", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 215, "action": {"type": "invoke", "field": "f64_mul", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "f32_div", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 216, "action": {"type": "invoke", "field": "f64_div", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "f32_copysign", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 217, "action": {"type": "invoke", "field": "f64_copysign", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "f32_eq", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 218, "action": {"type": "invoke", "field": "f64_eq", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "f32_ne", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 219, "action": {"type": "invoke", "field": "f64_ne", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "f32_lt", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 220, "action": {"type": "invoke", "field": "f64_lt", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "f32_le", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 221, "action": {"type": "invoke", "field": "f64_le", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "f32_gt", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 222, "action": {"type": "invoke", "field": "f64_gt", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "f32_ge", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 223, "action": {"type": "invoke", "field": "f64_ge", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "f32_min", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 224, "action": {"type": "invoke", "field": "f64_min", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "f32_max", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 225, "action": {"type": "invoke", "field": "f64_max", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "f32_store", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 226, "action": {"type": "invoke", "field": "f64_store", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "f32_call", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 227, "action": {"type": "invoke", "field": "f64_call", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 228, "action": {"type": "invoke", "field": "f32_call_indirect", "args": []}, "expected": [{"type": "i32", "value": "66052"}]}, 
+  {"type": "assert_return", "line": 229, "action": {"type": "invoke", "field": "f64_call_indirect", "args": []}, "expected": [{"type": "i32", "value": "66052"}]}, 
+  {"type": "assert_return", "line": 230, "action": {"type": "invoke", "field": "f32_select", "args": []}, "expected": [{"type": "i32", "value": "66053"}]}, 
+  {"type": "assert_return", "line": 230, "action": {"type": "invoke", "field": "f64_select", "args": []}, "expected": [{"type": "i32", "value": "66053"}]}, 
+  {"type": "assert_return", "line": 232, "action": {"type": "invoke", "field": "br_if", "args": []}, "expected": [{"type": "i32", "value": "258"}]}, 
+  {"type": "assert_return", "line": 233, "action": {"type": "invoke", "field": "br_table", "args": []}, "expected": [{"type": "i32", "value": "258"}]}]}