| Message ID | 20240904142739.854-5-zhiwei_liu@linux.alibaba.com (mailing list archive) |
|---|---|
| State | New |
| Headers | show |
| Series | Add support for vector | expand |
On 9/4/24 07:27, LIU Zhiwei wrote: > From: TANG Tiancheng <tangtiancheng.ttc@alibaba-inc.com> > > In RISC-V, vector operations require initial configuration using > the vset{i}vl{i} instruction. > > This instruction: > 1. Sets the vector length (vl) in bytes > 2. Configures the vtype register, which includes: > SEW (Single Element Width) > LMUL (vector register group multiplier) > Other vector operation parameters > > This configuration is crucial for defining subsequent vector > operation behavior. To optimize performance, the configuration > process is managed dynamically: > 1. Reconfiguration using vset{i}vl{i} is necessary when SEW > or vector register group width changes. > 2. The vset instruction can be omitted when configuration > remains unchanged. > > This optimization is only effective within a single TB. > Each TB requires reconfiguration at its start, as the current > state cannot be obtained from hardware. > > Signed-off-by: TANG Tiancheng <tangtiancheng.ttc@alibaba-inc.com> > Signed-off-by: Weiwei Li <liwei1518@gmail.com> > Reviewed-by: Liu Zhiwei <zhiwei_liu@linux.alibaba.com> > --- > include/tcg/tcg.h | 3 + > tcg/riscv/tcg-target.c.inc | 128 +++++++++++++++++++++++++++++++++++++ > 2 files changed, 131 insertions(+) > > diff --git a/include/tcg/tcg.h b/include/tcg/tcg.h > index 21d5884741..267e6ff95c 100644 > --- a/include/tcg/tcg.h > +++ b/include/tcg/tcg.h > @@ -566,6 +566,9 @@ struct TCGContext { > > /* Exit to translator on overflow. */ > sigjmp_buf jmp_trans; > + > + /* For host-specific values. */ > + int riscv_host_vtype; > }; (1) At minimum this needs #ifdef __riscv. I planned to think of a cleaner way to do this, but haven't gotten there yet. I had also planned to place it higher in the structure, before the large temp arrays, so that the structure offset would be smaller. (2) I have determined through experimentation that vtype alone is insufficient. While vtype + avl would be sufficient, it is inefficient. Best to store the original inputs: TCGType and SEW, since that way there's no effort required when querying the current SEW for use in load/store/logicals. The bug here appears as TCG swaps between TCGTypes for different operations. E.g. if the vtype computed for (V64, E8) is the same as the vtype computed for (V128, E8), with AVL differing, then we will incorrectly omit the vsetvl instruction. My test case was tcg/tests/aarch64-linux-user/sha1-vector The naming of these functions is varied and inconsistent. I suggest the following: static void set_vtype(TCGContext *s, TCGType type, MemOp vsew) { unsigned vtype, insn, avl; int lmul; RISCVVlmul vlmul; bool lmul_eq_avl; s->riscv_cur_type = type; s->riscv_cur_vsew = vsew; /* Match riscv_lg2_vlenb to TCG_TYPE_V64. */ QEMU_BUILD_BUG_ON(TCG_TYPE_V64 != 3); lmul = type - riscv_lg2_vlenb; if (lmul < -3) { /* Host VLEN >= 1024 bits. */ vlmul = VLMUL_M1; lmul_eq_avl = false; } else if (lmul < 3) { /* 1/8 ... 1 ... 8 */ vlmul = lmul & 7; lmul_eq_avl = true; } else { /* Guaranteed by Zve64x. */ g_assert_not_reached(); } avl = tcg_type_size(type) >> vsew; vtype = encode_vtype(true, true, vsew, vlmul); if (avl < 32) { insn = encode_i(OPC_VSETIVLI, TCG_REG_ZERO, avl, vtype); } else if (lmul_eq_avl) { /* rd != 0 and rs1 == 0 uses vlmax */ insn = encode_i(OPC_VSETVLI, TCG_REG_TMP0, TCG_REG_ZERO, vtype); } else { tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP0, TCG_REG_ZERO, avl); insn = encode_i(OPC_VSETVLI, TCG_REG_ZERO, TCG_REG_TMP0, vtype); } tcg_out32(s, insn); } static MemOp set_vtype_len(TCGContext *s, TCGType type) { if (type != s->riscv_cur_type) { set_type(s, type, MO_64); } return s->riscv_cur_vsew; } static void set_vtype_len_sew(TCGContext *s, TCGType type, MemOp vsew) { if (type != s->riscv_cur_type || vsew != s->riscv_cur_vsew) { set_type(s, type, vsew); } } (1) The storing of lg2(vlenb) means we can convert all of the division into subtraction. (2) get_vec_type_bytes() already exists as tcg_type_size(). (3) Make use of the signed 3-bit encoding of vlmul. (4) Make use of rd != 0, rs1 = 0 for the relatively common case of AVL = 32. r~
On 2024/9/5 14:03, Richard Henderson wrote: > On 9/4/24 07:27, LIU Zhiwei wrote: >> From: TANG Tiancheng <tangtiancheng.ttc@alibaba-inc.com> >> >> In RISC-V, vector operations require initial configuration using >> the vset{i}vl{i} instruction. >> >> This instruction: >> 1. Sets the vector length (vl) in bytes >> 2. Configures the vtype register, which includes: >> SEW (Single Element Width) >> LMUL (vector register group multiplier) >> Other vector operation parameters >> >> This configuration is crucial for defining subsequent vector >> operation behavior. To optimize performance, the configuration >> process is managed dynamically: >> 1. Reconfiguration using vset{i}vl{i} is necessary when SEW >> or vector register group width changes. >> 2. The vset instruction can be omitted when configuration >> remains unchanged. >> >> This optimization is only effective within a single TB. >> Each TB requires reconfiguration at its start, as the current >> state cannot be obtained from hardware. >> >> Signed-off-by: TANG Tiancheng <tangtiancheng.ttc@alibaba-inc.com> >> Signed-off-by: Weiwei Li <liwei1518@gmail.com> >> Reviewed-by: Liu Zhiwei <zhiwei_liu@linux.alibaba.com> >> --- >> include/tcg/tcg.h | 3 + >> tcg/riscv/tcg-target.c.inc | 128 +++++++++++++++++++++++++++++++++++++ >> 2 files changed, 131 insertions(+) >> >> diff --git a/include/tcg/tcg.h b/include/tcg/tcg.h >> index 21d5884741..267e6ff95c 100644 >> --- a/include/tcg/tcg.h >> +++ b/include/tcg/tcg.h >> @@ -566,6 +566,9 @@ struct TCGContext { >> /* Exit to translator on overflow. */ >> sigjmp_buf jmp_trans; >> + >> + /* For host-specific values. */ >> + int riscv_host_vtype; >> }; > > (1) At minimum this needs #ifdef __riscv. > I planned to think of a cleaner way to do this, > but haven't gotten there yet. > I had also planned to place it higher in the structure, before > the large temp arrays, so that the structure offset would be smaller. > > (2) I have determined through experimentation that vtype alone is > insufficient. > While vtype + avl would be sufficient, it is inefficient. > Best to store the original inputs: TCGType and SEW, since that way > there's no effort required when querying the current SEW for use in > load/store/logicals. > > The bug here appears as TCG swaps between TCGTypes for different > operations. E.g. if the vtype computed for (V64, E8) is the same > as the vtype computed for (V128, E8), with AVL differing, then we > will incorrectly omit the vsetvl instruction. > > My test case was tcg/tests/aarch64-linux-user/sha1-vector > Agree. > > The naming of these functions is varied and inconsistent. > I suggest the following: > > > static void set_vtype(TCGContext *s, TCGType type, MemOp vsew) > { > unsigned vtype, insn, avl; > int lmul; > RISCVVlmul vlmul; > bool lmul_eq_avl; > > s->riscv_cur_type = type; > s->riscv_cur_vsew = vsew; > > /* Match riscv_lg2_vlenb to TCG_TYPE_V64. */ > QEMU_BUILD_BUG_ON(TCG_TYPE_V64 != 3); > > lmul = type - riscv_lg2_vlenb; > if (lmul < -3) { > /* Host VLEN >= 1024 bits. */ > vlmul = VLMUL_M1; I am not sure if we should use VLMUL_MF8, > lmul_eq_avl = false; > } else if (lmul < 3) { > /* 1/8 ... 1 ... 8 */ > vlmul = lmul & 7; > lmul_eq_avl = true; > } else { > /* Guaranteed by Zve64x. */ > g_assert_not_reached(); > } > > avl = tcg_type_size(type) >> vsew; > vtype = encode_vtype(true, true, vsew, vlmul); > > if (avl < 32) { > insn = encode_i(OPC_VSETIVLI, TCG_REG_ZERO, avl, vtype); Which may benifit here? we usually use lmul as smallest as we can for macro ops split. > } else if (lmul_eq_avl) { > /* rd != 0 and rs1 == 0 uses vlmax */ > insn = encode_i(OPC_VSETVLI, TCG_REG_TMP0, TCG_REG_ZERO, vtype); > } else { > tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP0, TCG_REG_ZERO, avl); > insn = encode_i(OPC_VSETVLI, TCG_REG_ZERO, TCG_REG_TMP0, vtype); And perhaps here. > } > tcg_out32(s, insn); > } > > static MemOp set_vtype_len(TCGContext *s, TCGType type) > { > if (type != s->riscv_cur_type) { > set_type(s, type, MO_64); I think you mean set_vtype here. > } > return s->riscv_cur_vsew; > } > > static void set_vtype_len_sew(TCGContext *s, TCGType type, MemOp vsew) > { > if (type != s->riscv_cur_type || vsew != s->riscv_cur_vsew) { > set_type(s, type, vsew); and set_vtype here. Thanks, Zhiwei > } > } > > > (1) The storing of lg2(vlenb) means we can convert all of the division > into subtraction. > (2) get_vec_type_bytes() already exists as tcg_type_size(). > (3) Make use of the signed 3-bit encoding of vlmul. > (4) Make use of rd != 0, rs1 = 0 for the relatively common case of AVL > = 32. > > > r~
On 9/9/24 19:46, LIU Zhiwei wrote: >> lmul = type - riscv_lg2_vlenb; >> if (lmul < -3) { >> /* Host VLEN >= 1024 bits. */ >> vlmul = VLMUL_M1; > I am not sure if we should use VLMUL_MF8, Perhaps. See below. >> } else if (lmul < 3) { >> /* 1/8 ... 1 ... 8 */ >> vlmul = lmul & 7; >> lmul_eq_avl = true; >> } else { >> /* Guaranteed by Zve64x. */ >> g_assert_not_reached(); >> } >> >> avl = tcg_type_size(type) >> vsew; >> vtype = encode_vtype(true, true, vsew, vlmul); >> >> if (avl < 32) { >> insn = encode_i(OPC_VSETIVLI, TCG_REG_ZERO, avl, vtype); > Which may benifit here? we usually use lmul as smallest as we can for macro ops split. lmul is unchanged, just explicitly setting AVL as well. The "benefit" is that AVL is visible in the disassembly, and that we are able to discard the result. There doesn't appear to be a down side. Is there one? >> } else if (lmul_eq_avl) { >> /* rd != 0 and rs1 == 0 uses vlmax */ >> insn = encode_i(OPC_VSETVLI, TCG_REG_TMP0, TCG_REG_ZERO, vtype); As opposed to here, where we must clobber a register. It is a scratch reg, sure, and probably affects nothing in any microarch which does register renaming. >> } else { >> tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP0, TCG_REG_ZERO, avl); >> insn = encode_i(OPC_VSETVLI, TCG_REG_ZERO, TCG_REG_TMP0, vtype); > And perhaps here. Here, lmul does *not* equal avl, and so we must set it, and because of non-use of VSETIVLI we also know that it does not fit in uimm5. But here's a follow-up question regarding current micro-architectures: How much benefit is there from adjusting LMUL < 1, or AVL < VLMAX? For instance, on other hosts with 128-bit vectors, we also promise support for 64-bit registers, just so we can support guests which have 64-bit vector operations. In existing hosts (x86, ppc, s390x, loongarch) we accept that the host instruction will operate on all 128-bits; we simply ignore half of any result. Thus the question becomes: can we minimize the number of vset* instructions by bounding minimal lmul to 1 (or whatever) and always leaving avl as the full register? If so, the only vset* changes are for SEW changes, or for load/store that are smaller than V*1REG64. r~
On 2024/9/10 12:34, Richard Henderson wrote: > On 9/9/24 19:46, LIU Zhiwei wrote: >>> lmul = type - riscv_lg2_vlenb; >>> if (lmul < -3) { >>> /* Host VLEN >= 1024 bits. */ >>> vlmul = VLMUL_M1; >> I am not sure if we should use VLMUL_MF8, > > Perhaps. See below. > >>> } else if (lmul < 3) { >>> /* 1/8 ... 1 ... 8 */ >>> vlmul = lmul & 7; >>> lmul_eq_avl = true; >>> } else { >>> /* Guaranteed by Zve64x. */ >>> g_assert_not_reached(); >>> } >>> >>> avl = tcg_type_size(type) >> vsew; >>> vtype = encode_vtype(true, true, vsew, vlmul); >>> >>> if (avl < 32) { >>> insn = encode_i(OPC_VSETIVLI, TCG_REG_ZERO, avl, vtype); >> Which may benifit here? we usually use lmul as smallest as we can >> for macro ops split. > > lmul is unchanged, just explicitly setting AVL as well. > The "benefit" is that AVL is visible in the disassembly, > and that we are able to discard the result. > > There doesn't appear to be a down side. Is there one? > >>> } else if (lmul_eq_avl) { >>> /* rd != 0 and rs1 == 0 uses vlmax */ >>> insn = encode_i(OPC_VSETVLI, TCG_REG_TMP0, TCG_REG_ZERO, >>> vtype); > > As opposed to here, where we must clobber a register. > It is a scratch reg, sure, and probably affects nothing > in any microarch which does register renaming. > >>> } else { >>> tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP0, TCG_REG_ZERO, avl); >>> insn = encode_i(OPC_VSETVLI, TCG_REG_ZERO, TCG_REG_TMP0, >>> vtype); >> And perhaps here. > > Here, lmul does *not* equal avl, and so we must set it, and because of > non-use of VSETIVLI we also know that it does not fit in uimm5. > > But here's a follow-up question regarding current micro-architectures: > > How much benefit is there from adjusting LMUL < 1, or AVL < VLMAX? It may reduce some macro ops for LMUL < 1 than LMUL = 1. For example, on host with 128-bit vector, 1) LMUL = 1/2, only one macro ops. vsetivli x0, 8, e32, mf2 vadd.v.v x2, x4, x5 2) LMUL = 1, two macro ops. vsetivli x0, 8, e32, m1 vadd.v.v x2, x4, x5 > > For instance, on other hosts with 128-bit vectors, we also promise > support for 64-bit registers, just so we can support guests which have > 64-bit vector operations. In existing hosts (x86, ppc, s390x, > loongarch) we accept that the host instruction will operate on all > 128-bits; we simply ignore half of any result. > > Thus the question becomes: can we minimize the number of vset* > instructions by bounding minimal lmul to 1 (or whatever) and always > leaving avl as the full register? I think the question we are talking about is when TCG_TYPE_V* is smaller than vlen, should we use fraction lmul? 1) Fraction lmul leads to less macro ops. (Depend on micro-architectures). 2) LMUL = 1 leads to less vset*. I like to use the 1), because vset*vli we are using can be fusion-ed probably. Thanks, Zhiwei > If so, the only vset* changes are for SEW changes, or for load/store > that are smaller than V*1REG64. > > > r~
diff --git a/include/tcg/tcg.h b/include/tcg/tcg.h index 21d5884741..267e6ff95c 100644 --- a/include/tcg/tcg.h +++ b/include/tcg/tcg.h @@ -566,6 +566,9 @@ struct TCGContext { /* Exit to translator on overflow. */ sigjmp_buf jmp_trans; + + /* For host-specific values. */ + int riscv_host_vtype; }; static inline bool temp_readonly(TCGTemp *ts) diff --git a/tcg/riscv/tcg-target.c.inc b/tcg/riscv/tcg-target.c.inc index c3f018ff0c..df96d350a3 100644 --- a/tcg/riscv/tcg-target.c.inc +++ b/tcg/riscv/tcg-target.c.inc @@ -165,6 +165,26 @@ static bool tcg_target_const_match(int64_t val, int ct, * RISC-V Base ISA opcodes (IM) */ +#define V_OPIVV (0x0 << 12) +#define V_OPFVV (0x1 << 12) +#define V_OPMVV (0x2 << 12) +#define V_OPIVI (0x3 << 12) +#define V_OPIVX (0x4 << 12) +#define V_OPFVF (0x5 << 12) +#define V_OPMVX (0x6 << 12) +#define V_OPCFG (0x7 << 12) + +typedef enum { + VLMUL_M1 = 0, /* LMUL=1 */ + VLMUL_M2, /* LMUL=2 */ + VLMUL_M4, /* LMUL=4 */ + VLMUL_M8, /* LMUL=8 */ + VLMUL_RESERVED, + VLMUL_MF8, /* LMUL=1/8 */ + VLMUL_MF4, /* LMUL=1/4 */ + VLMUL_MF2, /* LMUL=1/2 */ +} RISCVVlmul; + typedef enum { OPC_ADD = 0x33, OPC_ADDI = 0x13, @@ -260,6 +280,11 @@ typedef enum { /* Zicond: integer conditional operations */ OPC_CZERO_EQZ = 0x0e005033, OPC_CZERO_NEZ = 0x0e007033, + + /* V: Vector extension 1.0 */ + OPC_VSETVLI = 0x57 | V_OPCFG, + OPC_VSETIVLI = 0xc0000057 | V_OPCFG, + OPC_VSETVL = 0x80000057 | V_OPCFG, } RISCVInsn; /* @@ -370,6 +395,26 @@ static int32_t encode_v(RISCVInsn opc, TCGReg d, TCGReg s1, (s2 & 0x1f) << 20 | (vm << 25); } +/* Vector Configuration */ + +static uint32_t encode_vtype(bool vta, bool vma, + MemOp vsew, RISCVVlmul vlmul) +{ + return vma << 7 | vta << 6 | vsew << 3 | vlmul; +} + +static int32_t encode_vcfg(RISCVInsn opc, TCGReg rd, + TCGArg rs1, uint32_t vtype) +{ + return opc | (rd & 0x1f) << 7 | (rs1 & 0x1f) << 15 | (vtype & 0x7ff) << 20; +} + +static int32_t encode_vcfgi(RISCVInsn opc, TCGReg rd, + uint32_t uimm, uint32_t vtype) +{ + return opc | (rd & 0x1f) << 7 | (uimm & 0x1f) << 15 | (vtype & 0x3ff) << 20; +} + /* * RISC-V instruction emitters */ @@ -519,6 +564,88 @@ static void tcg_out_opc_ldst_vec(TCGContext *s, RISCVInsn opc, TCGReg data, tcg_out32(s, encode_v(opc, data, rs1, 0, vm)); } +static void tcg_out_opc_vec_config(TCGContext *s, RISCVInsn opc, + TCGReg rd, TCGReg rs1, int32_t vtype) +{ + tcg_out32(s, encode_vcfg(opc, rd, rs1, vtype)); +} + +static void tcg_out_opc_vec_configi(TCGContext *s, RISCVInsn opc, + TCGReg rd, uint32_t avl, int32_t vtype) +{ + tcg_out32(s, encode_vcfgi(opc, rd, avl, vtype)); +} + +static void tcg_out_vset(TCGContext *s, uint32_t avl, int vtype) +{ + if (avl < 32) { + vtype = sextreg(vtype, 0, 10); + tcg_out_opc_vec_configi(s, OPC_VSETIVLI, TCG_REG_ZERO, avl, vtype); + } else { + vtype = sextreg(vtype, 0, 11); + tcg_out_opc_imm(s, OPC_ADDI, TCG_REG_TMP0, TCG_REG_ZERO, avl); + tcg_out_opc_vec_config(s, OPC_VSETVLI, TCG_REG_ZERO, + TCG_REG_TMP0, vtype); + } +} + +/* LMUL_MAX = 8, vlmax = vlen / sew * LMUL_MAX. */ +static unsigned get_vlmax(MemOp vsew) +{ + return riscv_vlen / (8 << vsew) * 8; +} + +static unsigned get_vec_type_bytes(TCGType type) +{ + tcg_debug_assert(type >= TCG_TYPE_V64); + return 8 << (type - TCG_TYPE_V64); +} + +static RISCVVlmul calc_vlmul(MemOp vsew, unsigned oprsz) +{ + if (oprsz > riscv_vlenb) { + return ctzl(oprsz / riscv_vlenb); + } else { + if (vsew < MO_64) { + switch (riscv_vlenb / oprsz) { + case 2: + return VLMUL_MF2; + case 4: + return VLMUL_MF4; + case 8: + return VLMUL_MF8; + default: + break; + } + } + } + return VLMUL_M1; +} + +static void tcg_target_set_vec_config(TCGContext *s, TCGType type, + MemOp vsew) +{ + unsigned oprsz, avl; + int vtype; + RISCVVlmul vlmul; + + tcg_debug_assert(vsew <= MO_64); + + oprsz = get_vec_type_bytes(type); + avl = oprsz / (1 << vsew); + vlmul = calc_vlmul(vsew, oprsz); + + tcg_debug_assert(avl <= get_vlmax(vsew)); + tcg_debug_assert(vlmul <= VLMUL_MF2); + + vtype = encode_vtype(false, false, vsew, vlmul); + + if (vtype != s->riscv_host_vtype) { + s->riscv_host_vtype = vtype; + tcg_out_vset(s, avl, vtype); + } +} + /* * TCG intrinsics */ @@ -2167,6 +2294,7 @@ static void tcg_target_qemu_prologue(TCGContext *s) static void tcg_out_tb_start(TCGContext *s) { + s->riscv_host_vtype = -1; /* nothing to do */ }