tb/test_source_code/tb_risc_v_cpu/syracuse.S

@@ -0,0 +1,116 @@
+/*
+ *  0:zero, 1:ra, 2:sp, 3:gp, 4:tp, 5:t0-2, 8:s0/fp
+ *  9:s1, 10:a0-7, 18:s2-11, 28:t3-6
+ */
+
+li sp, 0
+j test
+
+mult:
+sw ra, 4(sp)
+sw a1, 8(sp)
+sw a2, 12(sp)
+sw s0, 16(sp)
+sw s1, 20(sp)
+sw s2, 24(sp)
+sw s3, 28(sp)
+addi sp, sp, 28
+add s1, a1, zero
+add s2, a2, zero
+li s0, 0
+li s3, 1
+mult_loop_start:
+blt s1, s3, mult_loop_end
+and t0, s1, 1
+beq t0, zero, mult_even_compute
+add s0, s0, s2
+mult_even_compute:
+add s2, s2, s2
+srl s1, s1, 1
+j mult_loop_start
+mult_loop_end:
+add a0, s0, zero
+lw s3, 0(sp)
+lw s2, -4(sp)
+lw s1, -8(sp)
+lw s0, -12(sp)
+lw a2, -16(sp)
+lw a1, -20(sp)
+lw ra, -24(sp)
+addi sp, sp, -28
+jalr ra, ra, 0
+
+syracuse:
+sw ra, 4(sp)
+sw a1, 8(sp)
+sw s0, 12(sp)
+sw s1, 16(sp)
+sw s2, 20(sp)
+sw s2, 24(sp)
+addi sp, sp, 24
+add s1, a1, zero
+li s0, 0
+li s2, 1
+li s3, 3
+syracuse_loop_start:
+beq s1, s2, syracuse_loop_end
+addi s0, s0, 1
+andi t0, s1, 1
+beq t0, zero, syracuse_even_compute
+add a1, s1, zero
+add a2, s3, zero
+jal ra, mult
+add s1, a0, zero
+addi s1, s1, 1
+j syracuse_loop_start
+syracuse_even_compute:
+srl s1, s1, 1
+j syracuse_loop_start
+syracuse_loop_end:
+add a0, s0, zero
+lw s3, -0(sp)
+lw s2, -4(sp)
+lw s1, -8(sp)
+lw s0, -12(sp)
+lw a1, -16(sp)
+lw ra, -20(sp)
+addi sp, sp, -24
+jalr ra, ra, 0
+
+test:
+li a1, 1
+jal ra, syracuse
+nop # R[10]=0
+li a1, 2
+jal ra, syracuse
+nop # R[10]=1
+li a1, 3
+jal ra, syracuse
+nop # R[10]=7
+li a1, 4
+jal ra, syracuse
+nop # R[10]=2
+li a1, 5
+jal ra, syracuse
+nop # R[10]=5
+li a1, 6
+jal ra, syracuse
+nop # R[10]=8
+li a1, 7
+jal ra, syracuse
+nop # R[10]=16
+li a1, 8
+jal ra, syracuse
+nop # R[10]=3
+li a1, 9
+jal ra, syracuse
+nop # R[10]=19
+li a1, 10
+jal ra, syracuse
+nop # R[10]=6
+li a1, 15
+jal ra, syracuse
+nop # R[10]=17
+li a1, 27
+jal ra, syracuse
+nop # R[10]=111