aboutsummaryrefslogtreecommitdiff
path: root/tests/stack_machine_wasm_sub
diff options
context:
space:
mode:
Diffstat (limited to 'tests/stack_machine_wasm_sub')
l---------tests/stack_machine_wasm_sub/Makefile1
-rw-r--r--tests/stack_machine_wasm_sub/instructions.wat9
l---------tests/stack_machine_wasm_sub/test.v1
-rw-r--r--tests/stack_machine_wasm_sub/words_to_verify.mem3
4 files changed, 14 insertions, 0 deletions
diff --git a/tests/stack_machine_wasm_sub/Makefile b/tests/stack_machine_wasm_sub/Makefile
new file mode 120000
index 0000000..4673ba3
--- /dev/null
+++ b/tests/stack_machine_wasm_sub/Makefile
@@ -0,0 +1 @@
+../stack_machine_function_call/Makefile \ No newline at end of file
diff --git a/tests/stack_machine_wasm_sub/instructions.wat b/tests/stack_machine_wasm_sub/instructions.wat
new file mode 100644
index 0000000..7579a46
--- /dev/null
+++ b/tests/stack_machine_wasm_sub/instructions.wat
@@ -0,0 +1,9 @@
+(module
+ (memory 0 2)
+ (func $sub (param $lhs i32) (param $rhs i32);; (result i32)
+ i32.const 0x17
+ local.get $lhs
+ local.get $rhs
+ i32.sub
+ i32.store offset=0x25 align=2)
+ (export "main" (func $sub)))
diff --git a/tests/stack_machine_wasm_sub/test.v b/tests/stack_machine_wasm_sub/test.v
new file mode 120000
index 0000000..f5b6a59
--- /dev/null
+++ b/tests/stack_machine_wasm_sub/test.v
@@ -0,0 +1 @@
+../stack_machine_store/test.v \ No newline at end of file
diff --git a/tests/stack_machine_wasm_sub/words_to_verify.mem b/tests/stack_machine_wasm_sub/words_to_verify.mem
new file mode 100644
index 0000000..bd24e95
--- /dev/null
+++ b/tests/stack_machine_wasm_sub/words_to_verify.mem
@@ -0,0 +1,3 @@
+// address value
+ 0FFFFC 23
+ 23C 1E // Address is 0x200 + 0x25 + 0x17