target-mips: Copy restrictions from ext/ins to dext/dins

The checks in dins is required to avoid triggering an assertion
in tcg_gen_deposit_tl. The check in dext is just for completeness.
Fold the other D cases in via fallthru.

Backports commit b7f26e523914b982a1c1bfa8295f77ff9787c33c from qemu
This commit is contained in:
Richard Henderson 2018-02-10 21:06:59 -05:00 committed by Lioncash
parent f5e38ea71e
commit 6f66fb4bd5
No known key found for this signature in database
GPG key ID: 4E3C3CC1031BA9C7

View file

@ -4731,48 +4731,53 @@ static void gen_bitops (DisasContext *ctx, uint32_t opc, int rt,
gen_load_gpr(ctx, t1, rs); gen_load_gpr(ctx, t1, rs);
switch (opc) { switch (opc) {
case OPC_EXT: case OPC_EXT:
if (lsb + msb > 31) if (lsb + msb > 31) {
goto fail; goto fail;
}
tcg_gen_shri_tl(tcg_ctx, t0, t1, lsb); tcg_gen_shri_tl(tcg_ctx, t0, t1, lsb);
if (msb != 31) { if (msb != 31) {
tcg_gen_andi_tl(tcg_ctx, t0, t0, (1 << (msb + 1)) - 1); tcg_gen_andi_tl(tcg_ctx, t0, t0, (1U << (msb + 1)) - 1);
} else { } else {
tcg_gen_ext32s_tl(tcg_ctx, t0, t0); tcg_gen_ext32s_tl(tcg_ctx, t0, t0);
} }
break; break;
#if defined(TARGET_MIPS64) #if defined(TARGET_MIPS64)
case OPC_DEXTM:
tcg_gen_shri_tl(tcg_ctx, t0, t1, lsb);
if (msb != 31) {
tcg_gen_andi_tl(tcg_ctx, t0, t0, (1ULL << (msb + 1 + 32)) - 1);
}
break;
case OPC_DEXTU: case OPC_DEXTU:
tcg_gen_shri_tl(tcg_ctx, t0, t1, lsb + 32); lsb += 32;
tcg_gen_andi_tl(tcg_ctx, t0, t0, (1ULL << (msb + 1)) - 1); goto do_dext;
break; case OPC_DEXTM:
msb += 32;
goto do_dext;
case OPC_DEXT: case OPC_DEXT:
do_dext:
if (lsb + msb > 63) {
goto fail;
}
tcg_gen_shri_tl(tcg_ctx, t0, t1, lsb); tcg_gen_shri_tl(tcg_ctx, t0, t1, lsb);
if (msb != 63) {
tcg_gen_andi_tl(tcg_ctx, t0, t0, (1ULL << (msb + 1)) - 1); tcg_gen_andi_tl(tcg_ctx, t0, t0, (1ULL << (msb + 1)) - 1);
}
break; break;
#endif #endif
case OPC_INS: case OPC_INS:
if (lsb > msb) if (lsb > msb) {
goto fail; goto fail;
}
gen_load_gpr(ctx, t0, rt); gen_load_gpr(ctx, t0, rt);
tcg_gen_deposit_tl(tcg_ctx, t0, t0, t1, lsb, msb - lsb + 1); tcg_gen_deposit_tl(tcg_ctx, t0, t0, t1, lsb, msb - lsb + 1);
tcg_gen_ext32s_tl(tcg_ctx, t0, t0); tcg_gen_ext32s_tl(tcg_ctx, t0, t0);
break; break;
#if defined(TARGET_MIPS64) #if defined(TARGET_MIPS64)
case OPC_DINSM:
gen_load_gpr(ctx, t0, rt);
tcg_gen_deposit_tl(tcg_ctx, t0, t0, t1, lsb, msb + 32 - lsb + 1);
break;
case OPC_DINSU: case OPC_DINSU:
gen_load_gpr(ctx, t0, rt); lsb += 32;
tcg_gen_deposit_tl(tcg_ctx, t0, t0, t1, lsb + 32, msb - lsb + 1); /* FALLTHRU */
break; case OPC_DINSM:
msb += 32;
/* FALLTHRU */
case OPC_DINS: case OPC_DINS:
if (lsb > msb) {
goto fail;
}
gen_load_gpr(ctx, t0, rt); gen_load_gpr(ctx, t0, rt);
tcg_gen_deposit_tl(tcg_ctx, t0, t0, t1, lsb, msb - lsb + 1); tcg_gen_deposit_tl(tcg_ctx, t0, t0, t1, lsb, msb - lsb + 1);
break; break;