target/riscv: rvv-1.0: integer add-with-carry/subtract-with-borrow
* Only do carry-in or borrow-in if is masked (vm=0). * Remove clear function from helper functions as the tail elements are unchanged in RVV 1.0. Signed-off-by: Frank Chang <frank.chang@sifive.com> Reviewed-by: Alistair Francis <alistair.francis@wdc.com> Message-Id: <20211210075704.23951-44-frank.chang@sifive.com> Signed-off-by: Alistair Francis <alistair.francis@wdc.com>
This commit is contained in:
parent
a75ae09f2a
commit
bb45485ad1
|
@ -378,16 +378,16 @@ vwsubu_wv 110110 . ..... ..... 010 ..... 1010111 @r_vm
|
||||||
vwsubu_wx 110110 . ..... ..... 110 ..... 1010111 @r_vm
|
vwsubu_wx 110110 . ..... ..... 110 ..... 1010111 @r_vm
|
||||||
vwsub_wv 110111 . ..... ..... 010 ..... 1010111 @r_vm
|
vwsub_wv 110111 . ..... ..... 010 ..... 1010111 @r_vm
|
||||||
vwsub_wx 110111 . ..... ..... 110 ..... 1010111 @r_vm
|
vwsub_wx 110111 . ..... ..... 110 ..... 1010111 @r_vm
|
||||||
vadc_vvm 010000 1 ..... ..... 000 ..... 1010111 @r_vm_1
|
vadc_vvm 010000 0 ..... ..... 000 ..... 1010111 @r_vm_1
|
||||||
vadc_vxm 010000 1 ..... ..... 100 ..... 1010111 @r_vm_1
|
vadc_vxm 010000 0 ..... ..... 100 ..... 1010111 @r_vm_1
|
||||||
vadc_vim 010000 1 ..... ..... 011 ..... 1010111 @r_vm_1
|
vadc_vim 010000 0 ..... ..... 011 ..... 1010111 @r_vm_1
|
||||||
vmadc_vvm 010001 1 ..... ..... 000 ..... 1010111 @r_vm_1
|
vmadc_vvm 010001 . ..... ..... 000 ..... 1010111 @r_vm
|
||||||
vmadc_vxm 010001 1 ..... ..... 100 ..... 1010111 @r_vm_1
|
vmadc_vxm 010001 . ..... ..... 100 ..... 1010111 @r_vm
|
||||||
vmadc_vim 010001 1 ..... ..... 011 ..... 1010111 @r_vm_1
|
vmadc_vim 010001 . ..... ..... 011 ..... 1010111 @r_vm
|
||||||
vsbc_vvm 010010 1 ..... ..... 000 ..... 1010111 @r_vm_1
|
vsbc_vvm 010010 0 ..... ..... 000 ..... 1010111 @r_vm_1
|
||||||
vsbc_vxm 010010 1 ..... ..... 100 ..... 1010111 @r_vm_1
|
vsbc_vxm 010010 0 ..... ..... 100 ..... 1010111 @r_vm_1
|
||||||
vmsbc_vvm 010011 1 ..... ..... 000 ..... 1010111 @r_vm_1
|
vmsbc_vvm 010011 . ..... ..... 000 ..... 1010111 @r_vm
|
||||||
vmsbc_vxm 010011 1 ..... ..... 100 ..... 1010111 @r_vm_1
|
vmsbc_vxm 010011 . ..... ..... 100 ..... 1010111 @r_vm
|
||||||
vand_vv 001001 . ..... ..... 000 ..... 1010111 @r_vm
|
vand_vv 001001 . ..... ..... 000 ..... 1010111 @r_vm
|
||||||
vand_vx 001001 . ..... ..... 100 ..... 1010111 @r_vm
|
vand_vx 001001 . ..... ..... 100 ..... 1010111 @r_vm
|
||||||
vand_vi 001001 . ..... ..... 011 ..... 1010111 @r_vm
|
vand_vi 001001 . ..... ..... 011 ..... 1010111 @r_vm
|
||||||
|
|
|
@ -1547,7 +1547,7 @@ static bool trans_##NAME(DisasContext *s, arg_rmrr *a) \
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* For vadc and vsbc, an illegal instruction exception is raised if the
|
* For vadc and vsbc, an illegal instruction exception is raised if the
|
||||||
* destination vector register is v0 and LMUL > 1. (Section 12.3)
|
* destination vector register is v0 and LMUL > 1. (Section 12.4)
|
||||||
*/
|
*/
|
||||||
static bool opivv_vadc_check(DisasContext *s, arg_rmrr *a)
|
static bool opivv_vadc_check(DisasContext *s, arg_rmrr *a)
|
||||||
{
|
{
|
||||||
|
|
|
@ -944,7 +944,7 @@ void HELPER(NAME)(void *vd, void *v0, void *vs1, void *vs2, \
|
||||||
for (i = 0; i < vl; i++) { \
|
for (i = 0; i < vl; i++) { \
|
||||||
ETYPE s1 = *((ETYPE *)vs1 + H(i)); \
|
ETYPE s1 = *((ETYPE *)vs1 + H(i)); \
|
||||||
ETYPE s2 = *((ETYPE *)vs2 + H(i)); \
|
ETYPE s2 = *((ETYPE *)vs2 + H(i)); \
|
||||||
uint8_t carry = vext_elem_mask(v0, i); \
|
ETYPE carry = vext_elem_mask(v0, i); \
|
||||||
\
|
\
|
||||||
*((ETYPE *)vd + H(i)) = DO_OP(s2, s1, carry); \
|
*((ETYPE *)vd + H(i)) = DO_OP(s2, s1, carry); \
|
||||||
} \
|
} \
|
||||||
|
@ -969,7 +969,7 @@ void HELPER(NAME)(void *vd, void *v0, target_ulong s1, void *vs2, \
|
||||||
\
|
\
|
||||||
for (i = 0; i < vl; i++) { \
|
for (i = 0; i < vl; i++) { \
|
||||||
ETYPE s2 = *((ETYPE *)vs2 + H(i)); \
|
ETYPE s2 = *((ETYPE *)vs2 + H(i)); \
|
||||||
uint8_t carry = vext_elem_mask(v0, i); \
|
ETYPE carry = vext_elem_mask(v0, i); \
|
||||||
\
|
\
|
||||||
*((ETYPE *)vd + H(i)) = DO_OP(s2, (ETYPE)(target_long)s1, carry);\
|
*((ETYPE *)vd + H(i)) = DO_OP(s2, (ETYPE)(target_long)s1, carry);\
|
||||||
} \
|
} \
|
||||||
|
@ -994,20 +994,15 @@ void HELPER(NAME)(void *vd, void *v0, void *vs1, void *vs2, \
|
||||||
CPURISCVState *env, uint32_t desc) \
|
CPURISCVState *env, uint32_t desc) \
|
||||||
{ \
|
{ \
|
||||||
uint32_t vl = env->vl; \
|
uint32_t vl = env->vl; \
|
||||||
uint32_t vlmax = vext_max_elems(desc, \
|
uint32_t vm = vext_vm(desc); \
|
||||||
ctzl(sizeof(ETYPE))); \
|
|
||||||
uint32_t i; \
|
uint32_t i; \
|
||||||
\
|
\
|
||||||
for (i = 0; i < vl; i++) { \
|
for (i = 0; i < vl; i++) { \
|
||||||
ETYPE s1 = *((ETYPE *)vs1 + H(i)); \
|
ETYPE s1 = *((ETYPE *)vs1 + H(i)); \
|
||||||
ETYPE s2 = *((ETYPE *)vs2 + H(i)); \
|
ETYPE s2 = *((ETYPE *)vs2 + H(i)); \
|
||||||
uint8_t carry = vext_elem_mask(v0, i); \
|
ETYPE carry = !vm && vext_elem_mask(v0, i); \
|
||||||
\
|
|
||||||
vext_set_elem_mask(vd, i, DO_OP(s2, s1, carry)); \
|
vext_set_elem_mask(vd, i, DO_OP(s2, s1, carry)); \
|
||||||
} \
|
} \
|
||||||
for (; i < vlmax; i++) { \
|
|
||||||
vext_set_elem_mask(vd, i, 0); \
|
|
||||||
} \
|
|
||||||
}
|
}
|
||||||
|
|
||||||
GEN_VEXT_VMADC_VVM(vmadc_vvm_b, uint8_t, H1, DO_MADC)
|
GEN_VEXT_VMADC_VVM(vmadc_vvm_b, uint8_t, H1, DO_MADC)
|
||||||
|
@ -1025,19 +1020,15 @@ void HELPER(NAME)(void *vd, void *v0, target_ulong s1, \
|
||||||
void *vs2, CPURISCVState *env, uint32_t desc) \
|
void *vs2, CPURISCVState *env, uint32_t desc) \
|
||||||
{ \
|
{ \
|
||||||
uint32_t vl = env->vl; \
|
uint32_t vl = env->vl; \
|
||||||
uint32_t vlmax = vext_max_elems(desc, ctzl(sizeof(ETYPE))); \
|
uint32_t vm = vext_vm(desc); \
|
||||||
uint32_t i; \
|
uint32_t i; \
|
||||||
\
|
\
|
||||||
for (i = 0; i < vl; i++) { \
|
for (i = 0; i < vl; i++) { \
|
||||||
ETYPE s2 = *((ETYPE *)vs2 + H(i)); \
|
ETYPE s2 = *((ETYPE *)vs2 + H(i)); \
|
||||||
uint8_t carry = vext_elem_mask(v0, i); \
|
ETYPE carry = !vm && vext_elem_mask(v0, i); \
|
||||||
\
|
|
||||||
vext_set_elem_mask(vd, i, \
|
vext_set_elem_mask(vd, i, \
|
||||||
DO_OP(s2, (ETYPE)(target_long)s1, carry)); \
|
DO_OP(s2, (ETYPE)(target_long)s1, carry)); \
|
||||||
} \
|
} \
|
||||||
for (; i < vlmax; i++) { \
|
|
||||||
vext_set_elem_mask(vd, i, 0); \
|
|
||||||
} \
|
|
||||||
}
|
}
|
||||||
|
|
||||||
GEN_VEXT_VMADC_VXM(vmadc_vxm_b, uint8_t, H1, DO_MADC)
|
GEN_VEXT_VMADC_VXM(vmadc_vxm_b, uint8_t, H1, DO_MADC)
|
||||||
|
|
Loading…
Reference in New Issue