add vector-vector sv add
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 1 Oct 2018 13:58:03 +0000 (14:58 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Mon, 1 Oct 2018 13:58:03 +0000 (14:58 +0100)
isa/macros/simplev/sv_test_macros.h
isa/rv64ui/Makefrag.sv
isa/rv64ui/sv_addi_vector_vector.S [new file with mode: 0644]

index 22eb2b17db9d5e893856165c12c91f68176f15cd..97bb950816249fde85fd3eff7892f3479196a271 100644 (file)
         li     x1, SV_PRED_CSR( type, regkey, zero, inv, regidx, active ); \
         csrrw  x0, 0x4c8, x1
 
+#define SET_SV_2CSRS( c1, c2 ) \
+        li     x1, c1 | ((c2)<<16); \
+        csrrw  x0, 0x4c0, x1
+
 #define CLR_SV_CSRS( ) csrrw   x0, 0x4c0, 0
 #define CLR_SV_PRED_CSRS( ) csrrw   x0, 0x4c8, 0
 
index 9e79ca5c98f1baf73212b639f537e1bb591b4892..da91e06f75c05d7e301844efd617006c147c0ee9 100644 (file)
@@ -6,6 +6,7 @@ rv64ui_sv_tests = \
        sv_addi \
        sv_addi_redirect \
        sv_addi_scalar_src \
+       sv_addi_vector_vector \
        sv_addi_predicated \
 
 rv64ui_p_tests = $(addprefix rv64ui-p-, $(rv64ui_sv_tests))
diff --git a/isa/rv64ui/sv_addi_vector_vector.S b/isa/rv64ui/sv_addi_vector_vector.S
new file mode 100644 (file)
index 0000000..ea1f3c6
--- /dev/null
@@ -0,0 +1,62 @@
+#include "riscv_test.h"
+#include "sv_test_macros.h"
+
+RVTEST_RV64U        # Define TVM used by program.
+
+
+# SV test: vector-vector add different rd and rs1
+#
+# sets up x6 and x7 with data, sets VL to 2, and carries out
+# an "x3 = 1 + x6".  which actually means "x3 = 1 + x6 *AND* x4 = 1 + x7"
+
+# Test code region.
+RVTEST_CODE_BEGIN   # Start of test code.
+
+        SV_LD_DATA( x2, testdata   , 0)
+        SV_LD_DATA( x6, testdata+8 , 0)
+        SV_LD_DATA( x7, testdata+16, 0)
+        SV_LD_DATA( x5, testdata+24, 0)
+
+        li          x3, 0 # deliberately set x3 to 0 (target of add)
+        li          x4, 0 # deliberately set x4 to 0
+
+        SET_SV_MVL(2)
+        SET_SV_2CSRS( SV_REG_CSR(1, 3, 0, 3, 1, 0),
+                      SV_REG_CSR(1, 6, 0, 6, 1, 0) )
+        SET_SV_VL(2)
+
+        addi    x3, x6, 1
+
+        CLR_SV_CSRS()
+        SET_SV_VL(0)
+        SET_SV_MVL(0)
+
+        TEST_SV_IMM(x2, 1001) # should not be modified
+        TEST_SV_IMM(x3, 42)
+        TEST_SV_IMM(x4, 43)
+        TEST_SV_IMM(x5, 1002) # should not be modified
+
+        RVTEST_PASS           # Signal success.
+fail:
+        RVTEST_FAIL
+RVTEST_CODE_END     # End of test code.
+
+# Input data section.
+# This section is optional, and this data is NOT saved in the output.
+.data
+        .align 3
+testdata:
+        .dword 1001
+        .dword 41
+        .dword 42
+        .dword 1002
+
+# Output data section.
+RVTEST_DATA_BEGIN   # Start of test output data region.
+        .align 3
+result:
+        .dword -1
+        .dword -1
+        .dword -1
+RVTEST_DATA_END     # End of test output data region.
+