aboutsummaryrefslogtreecommitdiff
path: root/tests/stack_machine_jump
diff options
context:
space:
mode:
authorWojciech Kosior <kwojtus@protonmail.com>2020-09-02 09:10:53 +0200
committerWojciech Kosior <kwojtus@protonmail.com>2020-09-02 09:10:53 +0200
commitf7a82b643e867e18bee1e41037634c43d969e74b (patch)
treee37356614dbf0dcf33c9afccfcf68cfaf58f580e /tests/stack_machine_jump
parent9ff05a96e5a31df902293c90af2fec2531d8ee36 (diff)
downloadAGH-engineering-thesis-f7a82b643e867e18bee1e41037634c43d969e74b.tar.gz
AGH-engineering-thesis-f7a82b643e867e18bee1e41037634c43d969e74b.zip
add bench for jump instruction
Diffstat (limited to 'tests/stack_machine_jump')
-rwxr-xr-xtests/stack_machine_jump/instructions.s.tcl22
l---------tests/stack_machine_jump/test.v1
-rw-r--r--tests/stack_machine_jump/words_to_verify.mem2
3 files changed, 25 insertions, 0 deletions
diff --git a/tests/stack_machine_jump/instructions.s.tcl b/tests/stack_machine_jump/instructions.s.tcl
new file mode 100755
index 0000000..f681fc9
--- /dev/null
+++ b/tests/stack_machine_jump/instructions.s.tcl
@@ -0,0 +1,22 @@
+#!/usr/bin/env tclsh
+
+source tclasm.tcl
+
+## Let there be 2 pieces of code - each one storing a different value in memory
+## and halting afterwards. Jump instruction should cause the second piece of
+## code to execute instead of the first. We'll verify that by checking, which
+## value got written.
+
+## Ufortunately, our assembly currently doesn't compute label addresses for us.
+
+# Each of those 4 instructions should get encoded into 1 16-bit word, so they
+# will take 8 bytes total. Hence jump to address 8 is needed to skip them.
+jump 8
+const h12
+store@ h00100
+halt
+
+# address 8 here
+const h34
+store@ h00100
+halt
diff --git a/tests/stack_machine_jump/test.v b/tests/stack_machine_jump/test.v
new file mode 120000
index 0000000..f5b6a59
--- /dev/null
+++ b/tests/stack_machine_jump/test.v
@@ -0,0 +1 @@
+../stack_machine_store/test.v \ No newline at end of file
diff --git a/tests/stack_machine_jump/words_to_verify.mem b/tests/stack_machine_jump/words_to_verify.mem
new file mode 100644
index 0000000..4fded2b
--- /dev/null
+++ b/tests/stack_machine_jump/words_to_verify.mem
@@ -0,0 +1,2 @@
+// address value
+ 00100 34