diff options
author | Wojciech Kosior <kwojtus@protonmail.com> | 2020-09-02 09:10:53 +0200 |
---|---|---|
committer | Wojciech Kosior <kwojtus@protonmail.com> | 2020-09-02 09:10:53 +0200 |
commit | f7a82b643e867e18bee1e41037634c43d969e74b (patch) | |
tree | e37356614dbf0dcf33c9afccfcf68cfaf58f580e | |
parent | 9ff05a96e5a31df902293c90af2fec2531d8ee36 (diff) | |
download | AGH-engineering-thesis-f7a82b643e867e18bee1e41037634c43d969e74b.tar.gz AGH-engineering-thesis-f7a82b643e867e18bee1e41037634c43d969e74b.zip |
add bench for jump instruction
-rw-r--r-- | Makefile | 3 | ||||
-rwxr-xr-x | tests/stack_machine_jump/instructions.s.tcl | 22 | ||||
l--------- | tests/stack_machine_jump/test.v | 1 | ||||
-rw-r--r-- | tests/stack_machine_jump/words_to_verify.mem | 2 |
4 files changed, 27 insertions, 1 deletions
@@ -17,7 +17,8 @@ STACK_MACHINE_TESTS := \ add \ sub \ div \ - mul + mul \ + jump # Add other tests here if You need TESTS := \ 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 |