diff options
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/stack_machine_tee/instructions.s.tcl | 14 | ||||
| l--------- | tests/stack_machine_tee/test.v | 1 | ||||
| -rw-r--r-- | tests/stack_machine_tee/words_to_verify.mem | 4 |
3 files changed, 19 insertions, 0 deletions
diff --git a/tests/stack_machine_tee/instructions.s.tcl b/tests/stack_machine_tee/instructions.s.tcl new file mode 100755 index 0000000..98117c7 --- /dev/null +++ b/tests/stack_machine_tee/instructions.s.tcl @@ -0,0 +1,14 @@ +#!/usr/bin/env tclsh + +source tclasm.tcl + +### All three stores should write the hABCDEF + +set_sp 0 +const hABCDEF +tee +store h000100 +tee +store h000200 +store h000300 +halt diff --git a/tests/stack_machine_tee/test.v b/tests/stack_machine_tee/test.v new file mode 120000 index 0000000..f5b6a59 --- /dev/null +++ b/tests/stack_machine_tee/test.v @@ -0,0 +1 @@ +../stack_machine_store/test.v
\ No newline at end of file diff --git a/tests/stack_machine_tee/words_to_verify.mem b/tests/stack_machine_tee/words_to_verify.mem new file mode 100644 index 0000000..6be240d --- /dev/null +++ b/tests/stack_machine_tee/words_to_verify.mem @@ -0,0 +1,4 @@ +// address value + 00100 ABCDEF + 00200 ABCDEF + 00300 ABCDEF |