mirror of https://github.com/xemu-project/xemu.git
target/mips: Convert Loongson [D]DIVU.G opcodes to decodetree
Convert DIVU.G (divide 32-bit unsigned integers) and DDIVU.G (divide 64-bit unsigned integers) opcodes to decodetree. Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org> Message-Id: <20241026175349.84523-7-philmd@linaro.org> Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
This commit is contained in:
parent
297289dca8
commit
c112a5ddaa
|
@ -14,4 +14,6 @@
|
|||
@rs_rt_rd ...... rs:5 rt:5 rd:5 ..... ...... &muldiv
|
||||
|
||||
DIV_G 011111 ..... ..... ..... 00000 011010 @rs_rt_rd
|
||||
DIVU_G 011111 ..... ..... ..... 00000 011011 @rs_rt_rd
|
||||
DDIV_G 011111 ..... ..... ..... 00000 011110 @rs_rt_rd
|
||||
DDIVU_G 011111 ..... ..... ..... 00000 011111 @rs_rt_rd
|
||||
|
|
|
@ -16,3 +16,5 @@
|
|||
|
||||
DIV_G 011100 ..... ..... ..... 00000 010100 @rs_rt_rd
|
||||
DDIV_G 011100 ..... ..... ..... 00000 010101 @rs_rt_rd
|
||||
DIVU_G 011100 ..... ..... ..... 00000 010110 @rs_rt_rd
|
||||
DDIVU_G 011100 ..... ..... ..... 00000 010111 @rs_rt_rd
|
||||
|
|
|
@ -87,6 +87,60 @@ static bool trans_DDIV_G(DisasContext *s, arg_muldiv *a)
|
|||
return gen_lext_DIV_G(s, a->rd, a->rs, a->rt, true);
|
||||
}
|
||||
|
||||
static bool gen_lext_DIVU_G(DisasContext *s, int rd, int rs, int rt,
|
||||
bool is_double)
|
||||
{
|
||||
TCGv t0, t1;
|
||||
TCGLabel *l1, *l2;
|
||||
|
||||
if (is_double) {
|
||||
if (TARGET_LONG_BITS != 64) {
|
||||
return false;
|
||||
}
|
||||
check_mips_64(s);
|
||||
}
|
||||
|
||||
if (rd == 0) {
|
||||
/* Treat as NOP. */
|
||||
return true;
|
||||
}
|
||||
|
||||
t0 = tcg_temp_new();
|
||||
t1 = tcg_temp_new();
|
||||
l1 = gen_new_label();
|
||||
l2 = gen_new_label();
|
||||
|
||||
gen_load_gpr(t0, rs);
|
||||
gen_load_gpr(t1, rt);
|
||||
|
||||
if (!is_double) {
|
||||
tcg_gen_ext32u_tl(t0, t0);
|
||||
tcg_gen_ext32u_tl(t1, t1);
|
||||
}
|
||||
tcg_gen_brcondi_tl(TCG_COND_NE, t1, 0, l1);
|
||||
tcg_gen_movi_tl(cpu_gpr[rd], 0);
|
||||
|
||||
tcg_gen_br(l2);
|
||||
gen_set_label(l1);
|
||||
tcg_gen_divu_tl(cpu_gpr[rd], t0, t1);
|
||||
if (!is_double) {
|
||||
tcg_gen_ext32s_tl(cpu_gpr[rd], cpu_gpr[rd]);
|
||||
}
|
||||
gen_set_label(l2);
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
static bool trans_DIVU_G(DisasContext *s, arg_muldiv *a)
|
||||
{
|
||||
return gen_lext_DIVU_G(s, a->rd, a->rs, a->rt, false);
|
||||
}
|
||||
|
||||
static bool trans_DDIVU_G(DisasContext *s, arg_muldiv *a)
|
||||
{
|
||||
return gen_lext_DIVU_G(s, a->rd, a->rs, a->rt, true);
|
||||
}
|
||||
|
||||
bool decode_ext_loongson(DisasContext *ctx, uint32_t insn)
|
||||
{
|
||||
if (!decode_64bit_enabled(ctx)) {
|
||||
|
|
|
@ -332,8 +332,6 @@ enum {
|
|||
OPC_DMULT_G_2F = 0x11 | OPC_SPECIAL2,
|
||||
OPC_MULTU_G_2F = 0x12 | OPC_SPECIAL2,
|
||||
OPC_DMULTU_G_2F = 0x13 | OPC_SPECIAL2,
|
||||
OPC_DIVU_G_2F = 0x16 | OPC_SPECIAL2,
|
||||
OPC_DDIVU_G_2F = 0x17 | OPC_SPECIAL2,
|
||||
OPC_MOD_G_2F = 0x1c | OPC_SPECIAL2,
|
||||
OPC_DMOD_G_2F = 0x1d | OPC_SPECIAL2,
|
||||
OPC_MODU_G_2F = 0x1e | OPC_SPECIAL2,
|
||||
|
@ -369,10 +367,8 @@ enum {
|
|||
/* Loongson 2E */
|
||||
OPC_MULT_G_2E = 0x18 | OPC_SPECIAL3,
|
||||
OPC_MULTU_G_2E = 0x19 | OPC_SPECIAL3,
|
||||
OPC_DIVU_G_2E = 0x1B | OPC_SPECIAL3,
|
||||
OPC_DMULT_G_2E = 0x1C | OPC_SPECIAL3,
|
||||
OPC_DMULTU_G_2E = 0x1D | OPC_SPECIAL3,
|
||||
OPC_DDIVU_G_2E = 0x1F | OPC_SPECIAL3,
|
||||
OPC_MOD_G_2E = 0x22 | OPC_SPECIAL3,
|
||||
OPC_MODU_G_2E = 0x23 | OPC_SPECIAL3,
|
||||
OPC_DMOD_G_2E = 0x26 | OPC_SPECIAL3,
|
||||
|
@ -3611,22 +3607,6 @@ static void gen_loongson_integer(DisasContext *ctx, uint32_t opc,
|
|||
tcg_gen_mul_tl(cpu_gpr[rd], t0, t1);
|
||||
tcg_gen_ext32s_tl(cpu_gpr[rd], cpu_gpr[rd]);
|
||||
break;
|
||||
case OPC_DIVU_G_2E:
|
||||
case OPC_DIVU_G_2F:
|
||||
{
|
||||
TCGLabel *l1 = gen_new_label();
|
||||
TCGLabel *l2 = gen_new_label();
|
||||
tcg_gen_ext32u_tl(t0, t0);
|
||||
tcg_gen_ext32u_tl(t1, t1);
|
||||
tcg_gen_brcondi_tl(TCG_COND_NE, t1, 0, l1);
|
||||
tcg_gen_movi_tl(cpu_gpr[rd], 0);
|
||||
tcg_gen_br(l2);
|
||||
gen_set_label(l1);
|
||||
tcg_gen_divu_tl(cpu_gpr[rd], t0, t1);
|
||||
tcg_gen_ext32s_tl(cpu_gpr[rd], cpu_gpr[rd]);
|
||||
gen_set_label(l2);
|
||||
}
|
||||
break;
|
||||
case OPC_MOD_G_2E:
|
||||
case OPC_MOD_G_2F:
|
||||
{
|
||||
|
@ -3672,19 +3652,6 @@ static void gen_loongson_integer(DisasContext *ctx, uint32_t opc,
|
|||
case OPC_DMULTU_G_2F:
|
||||
tcg_gen_mul_tl(cpu_gpr[rd], t0, t1);
|
||||
break;
|
||||
case OPC_DDIVU_G_2E:
|
||||
case OPC_DDIVU_G_2F:
|
||||
{
|
||||
TCGLabel *l1 = gen_new_label();
|
||||
TCGLabel *l2 = gen_new_label();
|
||||
tcg_gen_brcondi_tl(TCG_COND_NE, t1, 0, l1);
|
||||
tcg_gen_movi_tl(cpu_gpr[rd], 0);
|
||||
tcg_gen_br(l2);
|
||||
gen_set_label(l1);
|
||||
tcg_gen_divu_tl(cpu_gpr[rd], t0, t1);
|
||||
gen_set_label(l2);
|
||||
}
|
||||
break;
|
||||
case OPC_DMOD_G_2E:
|
||||
case OPC_DMOD_G_2F:
|
||||
{
|
||||
|
@ -13574,7 +13541,6 @@ static void decode_opc_special2_legacy(CPUMIPSState *env, DisasContext *ctx)
|
|||
case OPC_MUL:
|
||||
gen_arith(ctx, op1, rd, rs, rt);
|
||||
break;
|
||||
case OPC_DIVU_G_2F:
|
||||
case OPC_MULT_G_2F:
|
||||
case OPC_MULTU_G_2F:
|
||||
case OPC_MOD_G_2F:
|
||||
|
@ -13608,7 +13574,6 @@ static void decode_opc_special2_legacy(CPUMIPSState *env, DisasContext *ctx)
|
|||
break;
|
||||
case OPC_DMULT_G_2F:
|
||||
case OPC_DMULTU_G_2F:
|
||||
case OPC_DDIVU_G_2F:
|
||||
case OPC_DMOD_G_2F:
|
||||
case OPC_DMODU_G_2F:
|
||||
check_insn(ctx, INSN_LOONGSON2F | ASE_LEXT);
|
||||
|
@ -13746,7 +13711,6 @@ static void decode_opc_special3_legacy(CPUMIPSState *env, DisasContext *ctx)
|
|||
|
||||
op1 = MASK_SPECIAL3(ctx->opcode);
|
||||
switch (op1) {
|
||||
case OPC_DIVU_G_2E:
|
||||
case OPC_MOD_G_2E:
|
||||
case OPC_MODU_G_2E:
|
||||
case OPC_MULT_G_2E:
|
||||
|
@ -14013,7 +13977,6 @@ static void decode_opc_special3_legacy(CPUMIPSState *env, DisasContext *ctx)
|
|||
}
|
||||
break;
|
||||
#if defined(TARGET_MIPS64)
|
||||
case OPC_DDIVU_G_2E:
|
||||
case OPC_DMULT_G_2E:
|
||||
case OPC_DMULTU_G_2E:
|
||||
case OPC_DMOD_G_2E:
|
||||
|
|
Loading…
Reference in New Issue