aboutsummaryrefslogtreecommitdiff
path: root/tests/stack_machine_sub
diff options
context:
space:
mode:
authorWojciech Kosior <kwojtus@protonmail.com>2020-09-01 10:54:59 +0200
committerWojciech Kosior <kwojtus@protonmail.com>2020-09-01 11:04:22 +0200
commitee1f6c47e1eff920068f4bceaf604f9535a2e8a9 (patch)
tree580eb001a72601d254bb29cc348a529490f84808 /tests/stack_machine_sub
parentcd02ddff8886aa1db29f80d3cc5cf99a349d8258 (diff)
downloadAGH-engineering-thesis-ee1f6c47e1eff920068f4bceaf604f9535a2e8a9.tar.gz
AGH-engineering-thesis-ee1f6c47e1eff920068f4bceaf604f9535a2e8a9.zip
start anew
Diffstat (limited to 'tests/stack_machine_sub')
-rwxr-xr-xtests/stack_machine_sub/instructions.s.tcl21
l---------tests/stack_machine_sub/test.v1
-rw-r--r--tests/stack_machine_sub/words_to_verify.mem9
3 files changed, 31 insertions, 0 deletions
diff --git a/tests/stack_machine_sub/instructions.s.tcl b/tests/stack_machine_sub/instructions.s.tcl
new file mode 100755
index 0000000..3f8fb48
--- /dev/null
+++ b/tests/stack_machine_sub/instructions.s.tcl
@@ -0,0 +1,21 @@
+#!/usr/bin/env tclsh
+
+source tclasm.tcl
+
+### store 2 values to memory, load them back, substract them and store the
+### result; this is analogous to addition test
+
+set_sp h7FFFC
+const 68996288
+store@ h1EEE0
+const 540904416
+store@ h1EEE4
+
+load@ h1EEE0
+stack down
+load@ h1EEE4
+# substracting 540904416 from 68996288 should yield -471908128
+sub
+stack up
+store@ h1EEE8
+halt
diff --git a/tests/stack_machine_sub/test.v b/tests/stack_machine_sub/test.v
new file mode 120000
index 0000000..f5b6a59
--- /dev/null
+++ b/tests/stack_machine_sub/test.v
@@ -0,0 +1 @@
+../stack_machine_store/test.v \ No newline at end of file
diff --git a/tests/stack_machine_sub/words_to_verify.mem b/tests/stack_machine_sub/words_to_verify.mem
new file mode 100644
index 0000000..cc666fa
--- /dev/null
+++ b/tests/stack_machine_sub/words_to_verify.mem
@@ -0,0 +1,9 @@
+// address value
+ 1EEE0 CCC0 // 68996288 in hex is 41CCCC0
+ 1EEE2 41C
+
+ 1EEE4 8BE0 // 540904416 in hex is 203D8BE0
+ 1EEE6 203D
+
+ 1EEE8 40E0 // -471908128 in hex is E3DF40E0
+ 1EEEA E3DF