diff options
Diffstat (limited to 'tests/stack_machine_mul')
-rwxr-xr-x | tests/stack_machine_mul/instructions.s.tcl | 38 | ||||
l--------- | tests/stack_machine_mul/test.v | 1 | ||||
-rw-r--r-- | tests/stack_machine_mul/words_to_verify.mem | 13 |
3 files changed, 52 insertions, 0 deletions
diff --git a/tests/stack_machine_mul/instructions.s.tcl b/tests/stack_machine_mul/instructions.s.tcl new file mode 100755 index 0000000..fae5ec6 --- /dev/null +++ b/tests/stack_machine_mul/instructions.s.tcl @@ -0,0 +1,38 @@ +#!/usr/bin/env tclsh + +source tclasm.tcl + +### store 4 values to memory; load 2 of them back, multiply them and store the +### result; load another 2, multiply them and store the result; +### this is similar to addition and substraction tests + +set_sp 0 + +## store first 2 factors +const 483091365 +store h1EEE0 +const 74683203 +store h1EEE4 + +## store other 2 factors +const 8436 +store h1EEEC +const -14020 +store h1EEF0 + +## perform the first multiplication +load h1EEE0 +load h1EEE4 +# multiplying 483091365 by 74683203 should yield 36078810479842095 +# if we take lowest 32 bits of 36078810479842095 we get 2861683503 +mul +store h1EEE8 + +## perform the second multiplication +load h1EEEC +load h1EEF0 +# multiplying 8436 by -14020 should yield -118272720 (which fits in 32 bits) +mul +store h1EEF4 + +halt diff --git a/tests/stack_machine_mul/test.v b/tests/stack_machine_mul/test.v new file mode 120000 index 0000000..f5b6a59 --- /dev/null +++ b/tests/stack_machine_mul/test.v @@ -0,0 +1 @@ +../stack_machine_store/test.v
\ No newline at end of file diff --git a/tests/stack_machine_mul/words_to_verify.mem b/tests/stack_machine_mul/words_to_verify.mem new file mode 100644 index 0000000..ae4dbbc --- /dev/null +++ b/tests/stack_machine_mul/words_to_verify.mem @@ -0,0 +1,13 @@ +// address value + 1EEE0 1CCB63A5 // 483091365 in hex is 1CCB63A5 + + 1EEE4 4739343 // 74683203 in hex is 4739343 + + 1EEE8 AA91D32F // 2861683503 in hex is AA91D32F + + + 1EEEC 20F4 // 8436 in hex is 20F4 + + 1EEF0 FFFFC93C // -14020 in hex is FFFFC93C + + 1EEF4 F8F34D30 // -118272720 in hex is F8F34D30 |