.option norvc
- SV_LD_DATA( x5, testdata+0 , 0)
- SV_LD_DATA( x6, testdata+8, 0)
- SV_LD_DATA( x7, testdata+16, 0)
+ SV_LD_DATA( x6, testdata+0 , 0)
+ SV_LD_DATA( x7, testdata+8, 0)
+ SV_LD_DATA( x8, testdata+16, 0)
- li x2, 0 # deliberately set x3 to 0 (target of add)
- li x3, 0 # deliberately set x4 to 0
+ li x3, 0 # deliberately set x3 to 0 (target of add)
li x4, 0 # deliberately set x4 to 0
+ li x5, 0 # deliberately set x4 to 0
SET_SV_MVL(3)
- SET_SV_2CSRS( SV_REG_CSR(1, 2, 0, 2, 1, 0),
- SV_REG_CSR(1, 5, 0, 5, 1, 0) )
+ SET_SV_2CSRS( SV_REG_CSR(1, 3, 0, 3, 1, 0),
+ SV_REG_CSR(1, 6, 0, 6, 1, 0) )
SET_SV_VL(3)
.option rvc
- c.mv x2, x5
+ c.mv x3, x6
.option norvc
SET_SV_VL(0)
CLR_SV_CSRS()
SET_SV_MVL(0)
- TEST_SV_IMM(x2, 1001) # should not be modified
- TEST_SV_IMM(x3, 41)
- TEST_SV_IMM(x4, 42)
+ TEST_SV_IMM(x3, 1001) # should not be modified
+ TEST_SV_IMM(x4, 41)
+ TEST_SV_IMM(x5, 42)
RVTEST_PASS # Signal success.
fail:
#define SV_PRED_C_MV_TEST( pred1, pred2, expect1, expect2, expect3 ) \
\
- SV_LD_DATA( x5, testdata+0 , 0); \
- SV_LD_DATA( x6, testdata+8, 0); \
- SV_LD_DATA( x7, testdata+16, 0); \
+ SV_LD_DATA( x6, testdata+0 , 0); \
+ SV_LD_DATA( x7, testdata+8, 0); \
+ SV_LD_DATA( x8, testdata+16, 0); \
\
- li x2, 2; \
- li x3, 3; \
- li x4, 4; \
+ li x3, 2; \
+ li x4, 3; \
+ li x5, 4; \
li a3, pred1; \
li a4, pred2; \
\
SET_SV_MVL(3); \
- SET_SV_2CSRS( SV_REG_CSR(1, 2, 0, 2, 1, 0), \
- SV_REG_CSR(1, 5, 0, 5, 1, 0) ); \
+ SET_SV_2CSRS( SV_REG_CSR(1, 3, 0, 3, 1, 0), \
+ SV_REG_CSR(1, 6, 0, 6, 1, 0) ); \
SET_SV_2PREDCSRS( \
- SV_PRED_CSR(1, 2, 0, 0, 13, 1), \
- SV_PRED_CSR(1, 5, 0, 0, 14, 1) );\
+ SV_PRED_CSR(1, 3, 0, 0, 13, 1), \
+ SV_PRED_CSR(1, 6, 0, 0, 14, 1) );\
SET_SV_VL(3); \
\
.option rvc; \
- c.mv x2, x5; \
+ c.mv x3, x6; \
.option norvc; \
\
SET_SV_VL(0); \
CLR_SV_CSRS(); \
SET_SV_MVL(0); \
\
- TEST_SV_IMM(x2, expect1); \
- TEST_SV_IMM(x3, expect2); \
- TEST_SV_IMM(x4, expect3);
+ TEST_SV_IMM(x3, expect1); \
+ TEST_SV_IMM(x4, expect2); \
+ TEST_SV_IMM(x5, expect3);
# SV test: vector-vector add different rd and rs1
#