aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWojciech Kosior <kwojtus@protonmail.com>2020-09-02 11:08:46 +0200
committerWojciech Kosior <kwojtus@protonmail.com>2020-09-02 11:08:46 +0200
commited6090899a095bab4e422fc0776ee6ccb97ffd44 (patch)
tree7bf68887a45a5c878e2f57d943c12cc345f86ff1
parentd01e425a482913f782cb74cd4625823b340d8112 (diff)
downloadAGH-engineering-thesis-ed6090899a095bab4e422fc0776ee6ccb97ffd44.tar.gz
AGH-engineering-thesis-ed6090899a095bab4e422fc0776ee6ccb97ffd44.zip
add bench for swap instruction
-rw-r--r--Makefile3
-rwxr-xr-xtests/stack_machine_swap/instructions.s.tcl15
l---------tests/stack_machine_swap/test.v1
-rw-r--r--tests/stack_machine_swap/words_to_verify.mem5
4 files changed, 23 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 54e8462..d2f954d 100644
--- a/Makefile
+++ b/Makefile
@@ -19,7 +19,8 @@ STACK_MACHINE_TESTS := \
div \
mul \
jump \
- tee
+ tee \
+ swap
# Add other tests here if You need
TESTS := \
diff --git a/tests/stack_machine_swap/instructions.s.tcl b/tests/stack_machine_swap/instructions.s.tcl
new file mode 100755
index 0000000..c17314e
--- /dev/null
+++ b/tests/stack_machine_swap/instructions.s.tcl
@@ -0,0 +1,15 @@
+#!/usr/bin/env tclsh
+
+source tclasm.tcl
+
+set_sp h7FFFC
+const h00AD00DE
+stack down
+const h00EF00BE
+swap
+## Because values were swapped, h00AD00DE should get written, first, at lower
+## address (h100) and h00EF00BE should be written next (at h104)
+store@ h00100
+stack down
+store@ h00104
+halt
diff --git a/tests/stack_machine_swap/test.v b/tests/stack_machine_swap/test.v
new file mode 120000
index 0000000..f5b6a59
--- /dev/null
+++ b/tests/stack_machine_swap/test.v
@@ -0,0 +1 @@
+../stack_machine_store/test.v \ No newline at end of file
diff --git a/tests/stack_machine_swap/words_to_verify.mem b/tests/stack_machine_swap/words_to_verify.mem
new file mode 100644
index 0000000..669219d
--- /dev/null
+++ b/tests/stack_machine_swap/words_to_verify.mem
@@ -0,0 +1,5 @@
+// address value
+ 00100 DE
+ 00102 AD
+ 00104 BE
+ 00106 EF