mirror of https://github.com/xemu-project/xemu.git
target/xtensa: extract test for division by zero
- mark quos/quou/rems/remu instructions; - drop parameter 0 from the translate_quou and split translate_remu from it; - put test for division by zero exception right after the coprocessor exception test; Signed-off-by: Max Filippov <jcmvbkbc@gmail.com>
This commit is contained in:
parent
582fef0f47
commit
4a038955da
|
@ -933,6 +933,15 @@ static TCGv_i32 gen_mac16_m(TCGv_i32 v, bool hi, bool is_unsigned)
|
||||||
return m;
|
return m;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
static void gen_zero_check(DisasContext *dc, const uint32_t arg[])
|
||||||
|
{
|
||||||
|
TCGLabel *label = gen_new_label();
|
||||||
|
|
||||||
|
tcg_gen_brcondi_i32(TCG_COND_NE, cpu_R[arg[2]], 0, label);
|
||||||
|
gen_exception_cause(dc, INTEGER_DIVIDE_BY_ZERO_CAUSE);
|
||||||
|
gen_set_label(label);
|
||||||
|
}
|
||||||
|
|
||||||
static inline unsigned xtensa_op0_insn_len(DisasContext *dc, uint8_t op0)
|
static inline unsigned xtensa_op0_insn_len(DisasContext *dc, uint8_t op0)
|
||||||
{
|
{
|
||||||
return xtensa_isa_length_from_chars(dc->config->isa, &op0);
|
return xtensa_isa_length_from_chars(dc->config->isa, &op0);
|
||||||
|
@ -1092,6 +1101,14 @@ static void disas_xtensa_insn(CPUXtensaState *env, DisasContext *dc)
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
if (op_flags & XTENSA_OP_DIVIDE_BY_ZERO) {
|
||||||
|
for (slot = 0; slot < slots; ++slot) {
|
||||||
|
if (slot_prop[slot].ops->op_flags & XTENSA_OP_DIVIDE_BY_ZERO) {
|
||||||
|
gen_zero_check(dc, slot_prop[slot].arg);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
for (slot = 0; slot < slots; ++slot) {
|
for (slot = 0; slot < slots; ++slot) {
|
||||||
XtensaOpcodeOps *ops = slot_prop[slot].ops;
|
XtensaOpcodeOps *ops = slot_prop[slot].ops;
|
||||||
|
|
||||||
|
@ -2013,23 +2030,12 @@ static void translate_ptlb(DisasContext *dc, const uint32_t arg[],
|
||||||
#endif
|
#endif
|
||||||
}
|
}
|
||||||
|
|
||||||
static void gen_zero_check(DisasContext *dc, const uint32_t arg[])
|
|
||||||
{
|
|
||||||
TCGLabel *label = gen_new_label();
|
|
||||||
|
|
||||||
tcg_gen_brcondi_i32(TCG_COND_NE, cpu_R[arg[2]], 0, label);
|
|
||||||
gen_exception_cause(dc, INTEGER_DIVIDE_BY_ZERO_CAUSE);
|
|
||||||
gen_set_label(label);
|
|
||||||
}
|
|
||||||
|
|
||||||
static void translate_quos(DisasContext *dc, const uint32_t arg[],
|
static void translate_quos(DisasContext *dc, const uint32_t arg[],
|
||||||
const uint32_t par[])
|
const uint32_t par[])
|
||||||
{
|
{
|
||||||
TCGLabel *label1 = gen_new_label();
|
TCGLabel *label1 = gen_new_label();
|
||||||
TCGLabel *label2 = gen_new_label();
|
TCGLabel *label2 = gen_new_label();
|
||||||
|
|
||||||
gen_zero_check(dc, arg);
|
|
||||||
|
|
||||||
tcg_gen_brcondi_i32(TCG_COND_NE, cpu_R[arg[1]], 0x80000000,
|
tcg_gen_brcondi_i32(TCG_COND_NE, cpu_R[arg[1]], 0x80000000,
|
||||||
label1);
|
label1);
|
||||||
tcg_gen_brcondi_i32(TCG_COND_NE, cpu_R[arg[2]], 0xffffffff,
|
tcg_gen_brcondi_i32(TCG_COND_NE, cpu_R[arg[2]], 0xffffffff,
|
||||||
|
@ -2051,14 +2057,8 @@ static void translate_quos(DisasContext *dc, const uint32_t arg[],
|
||||||
static void translate_quou(DisasContext *dc, const uint32_t arg[],
|
static void translate_quou(DisasContext *dc, const uint32_t arg[],
|
||||||
const uint32_t par[])
|
const uint32_t par[])
|
||||||
{
|
{
|
||||||
gen_zero_check(dc, arg);
|
tcg_gen_divu_i32(cpu_R[arg[0]],
|
||||||
if (par[0]) {
|
cpu_R[arg[1]], cpu_R[arg[2]]);
|
||||||
tcg_gen_divu_i32(cpu_R[arg[0]],
|
|
||||||
cpu_R[arg[1]], cpu_R[arg[2]]);
|
|
||||||
} else {
|
|
||||||
tcg_gen_remu_i32(cpu_R[arg[0]],
|
|
||||||
cpu_R[arg[1]], cpu_R[arg[2]]);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
static void translate_read_impwire(DisasContext *dc, const uint32_t arg[],
|
static void translate_read_impwire(DisasContext *dc, const uint32_t arg[],
|
||||||
|
@ -2068,6 +2068,13 @@ static void translate_read_impwire(DisasContext *dc, const uint32_t arg[],
|
||||||
tcg_gen_movi_i32(cpu_R[arg[0]], 0);
|
tcg_gen_movi_i32(cpu_R[arg[0]], 0);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
static void translate_remu(DisasContext *dc, const uint32_t arg[],
|
||||||
|
const uint32_t par[])
|
||||||
|
{
|
||||||
|
tcg_gen_remu_i32(cpu_R[arg[0]],
|
||||||
|
cpu_R[arg[1]], cpu_R[arg[2]]);
|
||||||
|
}
|
||||||
|
|
||||||
static void translate_rer(DisasContext *dc, const uint32_t arg[],
|
static void translate_rer(DisasContext *dc, const uint32_t arg[],
|
||||||
const uint32_t par[])
|
const uint32_t par[])
|
||||||
{
|
{
|
||||||
|
@ -3457,11 +3464,12 @@ static const XtensaOpcodeOps core_ops[] = {
|
||||||
.name = "quos",
|
.name = "quos",
|
||||||
.translate = translate_quos,
|
.translate = translate_quos,
|
||||||
.par = (const uint32_t[]){true},
|
.par = (const uint32_t[]){true},
|
||||||
|
.op_flags = XTENSA_OP_DIVIDE_BY_ZERO,
|
||||||
.windowed_register_op = 0x7,
|
.windowed_register_op = 0x7,
|
||||||
}, {
|
}, {
|
||||||
.name = "quou",
|
.name = "quou",
|
||||||
.translate = translate_quou,
|
.translate = translate_quou,
|
||||||
.par = (const uint32_t[]){true},
|
.op_flags = XTENSA_OP_DIVIDE_BY_ZERO,
|
||||||
.windowed_register_op = 0x7,
|
.windowed_register_op = 0x7,
|
||||||
}, {
|
}, {
|
||||||
.name = "rdtlb0",
|
.name = "rdtlb0",
|
||||||
|
@ -3483,11 +3491,12 @@ static const XtensaOpcodeOps core_ops[] = {
|
||||||
.name = "rems",
|
.name = "rems",
|
||||||
.translate = translate_quos,
|
.translate = translate_quos,
|
||||||
.par = (const uint32_t[]){false},
|
.par = (const uint32_t[]){false},
|
||||||
|
.op_flags = XTENSA_OP_DIVIDE_BY_ZERO,
|
||||||
.windowed_register_op = 0x7,
|
.windowed_register_op = 0x7,
|
||||||
}, {
|
}, {
|
||||||
.name = "remu",
|
.name = "remu",
|
||||||
.translate = translate_quou,
|
.translate = translate_remu,
|
||||||
.par = (const uint32_t[]){false},
|
.op_flags = XTENSA_OP_DIVIDE_BY_ZERO,
|
||||||
.windowed_register_op = 0x7,
|
.windowed_register_op = 0x7,
|
||||||
}, {
|
}, {
|
||||||
.name = "rer",
|
.name = "rer",
|
||||||
|
|
Loading…
Reference in New Issue