aboutsummaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-rwxr-xr-xtests/stack_machine_mul/instructions.s.tcl38
l---------tests/stack_machine_mul/test.v1
-rw-r--r--tests/stack_machine_mul/words_to_verify.mem13
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