target/i386: Create gen_update_eip_next
Sync EIP before exiting a translation block. Replace all gen_jmp_im that use s->pc. Reviewed-by: Paolo Bonzini <pbonzini@redhat.com> Signed-off-by: Richard Henderson <richard.henderson@linaro.org> Message-Id: <20221001140935.465607-7-richard.henderson@linaro.org> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
This commit is contained in:
parent
65e4af230d
commit
09e99df4d5
|
@ -521,6 +521,11 @@ static void gen_update_eip_cur(DisasContext *s)
|
|||
gen_jmp_im(s, s->base.pc_next - s->cs_base);
|
||||
}
|
||||
|
||||
static void gen_update_eip_next(DisasContext *s)
|
||||
{
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
}
|
||||
|
||||
/* Compute SEG:REG into A0. SEG is selected from the override segment
|
||||
(OVR_SEG) and the default segment (DEF_SEG). OVR_SEG may be -1 to
|
||||
indicate no override. */
|
||||
|
@ -5719,7 +5724,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
gen_pop_update(s, ot);
|
||||
/* Note that reg == R_SS in gen_movl_seg_T0 always sets is_jmp. */
|
||||
if (s->base.is_jmp) {
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
if (reg == R_SS) {
|
||||
s->flags &= ~HF_TF_MASK;
|
||||
gen_eob_inhibit_irq(s, true);
|
||||
|
@ -5734,7 +5739,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
gen_movl_seg_T0(s, (b >> 3) & 7);
|
||||
gen_pop_update(s, ot);
|
||||
if (s->base.is_jmp) {
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
}
|
||||
break;
|
||||
|
@ -5785,7 +5790,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
gen_movl_seg_T0(s, reg);
|
||||
/* Note that reg == R_SS in gen_movl_seg_T0 always sets is_jmp. */
|
||||
if (s->base.is_jmp) {
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
if (reg == R_SS) {
|
||||
s->flags &= ~HF_TF_MASK;
|
||||
gen_eob_inhibit_irq(s, true);
|
||||
|
@ -5983,7 +5988,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
/* then put the data */
|
||||
gen_op_mov_reg_v(s, ot, reg, s->T1);
|
||||
if (s->base.is_jmp) {
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
}
|
||||
break;
|
||||
|
@ -7039,7 +7044,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
gen_pop_update(s, ot);
|
||||
set_cc_op(s, CC_OP_EFLAGS);
|
||||
/* abort translation because TF/AC flag may change */
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
}
|
||||
break;
|
||||
|
@ -7375,7 +7380,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
if (check_iopl(s)) {
|
||||
gen_helper_sti(cpu_env);
|
||||
/* interruptions are enabled only the first insn after sti */
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob_inhibit_irq(s, true);
|
||||
}
|
||||
break;
|
||||
|
@ -7451,7 +7456,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
}
|
||||
|
||||
gen_set_label(l3);
|
||||
gen_jmp_im(s, next_eip);
|
||||
gen_update_eip_next(s);
|
||||
tcg_gen_br(l2);
|
||||
|
||||
gen_set_label(l1);
|
||||
|
@ -7469,7 +7474,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
gen_helper_rdmsr(cpu_env);
|
||||
} else {
|
||||
gen_helper_wrmsr(cpu_env);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
}
|
||||
}
|
||||
|
@ -7669,7 +7674,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
goto illegal_op;
|
||||
}
|
||||
gen_helper_clac(cpu_env);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
break;
|
||||
|
||||
|
@ -7679,7 +7684,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
goto illegal_op;
|
||||
}
|
||||
gen_helper_stac(cpu_env);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
break;
|
||||
|
||||
|
@ -7724,7 +7729,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
tcg_gen_trunc_tl_i32(s->tmp2_i32, cpu_regs[R_ECX]);
|
||||
gen_helper_xsetbv(cpu_env, s->tmp2_i32, s->tmp1_i64);
|
||||
/* End TB because translation flags may change. */
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
break;
|
||||
|
||||
|
@ -7786,7 +7791,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
}
|
||||
gen_update_cc_op(s);
|
||||
gen_helper_stgi(cpu_env);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
break;
|
||||
|
||||
|
@ -7825,7 +7830,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
tcg_gen_ext32u_tl(s->A0, cpu_regs[R_EAX]);
|
||||
}
|
||||
gen_helper_flush_page(cpu_env, s->A0);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
break;
|
||||
|
||||
|
@ -7909,7 +7914,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
tcg_gen_andi_tl(s->T1, s->T1, ~0xe);
|
||||
tcg_gen_or_tl(s->T0, s->T0, s->T1);
|
||||
gen_helper_write_crN(cpu_env, tcg_constant_i32(0), s->T0);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
break;
|
||||
|
||||
|
@ -7920,7 +7925,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
gen_svm_check_intercept(s, SVM_EXIT_INVLPG);
|
||||
gen_lea_modrm(env, s, modrm);
|
||||
gen_helper_flush_page(cpu_env, s->A0);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
break;
|
||||
|
||||
|
@ -8320,7 +8325,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
gen_svm_check_intercept(s, SVM_EXIT_WRITE_CR0 + reg);
|
||||
gen_op_mov_v_reg(s, ot, s->T0, rm);
|
||||
gen_helper_write_crN(cpu_env, tcg_constant_i32(reg), s->T0);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
} else {
|
||||
gen_svm_check_intercept(s, SVM_EXIT_READ_CR0 + reg);
|
||||
|
@ -8355,7 +8360,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
gen_op_mov_v_reg(s, ot, s->T0, rm);
|
||||
tcg_gen_movi_i32(s->tmp2_i32, reg);
|
||||
gen_helper_set_dr(cpu_env, s->tmp2_i32, s->T0);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
} else {
|
||||
gen_svm_check_intercept(s, SVM_EXIT_READ_DR0 + reg);
|
||||
|
@ -8370,7 +8375,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
gen_svm_check_intercept(s, SVM_EXIT_WRITE_CR0);
|
||||
gen_helper_clts(cpu_env);
|
||||
/* abort block because static cpu state changed */
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
}
|
||||
break;
|
||||
|
@ -8468,7 +8473,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
/* XRSTOR is how MPX is enabled, which changes how
|
||||
we translate. Thus we need to end the TB. */
|
||||
gen_update_cc_op(s);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_eob(s);
|
||||
break;
|
||||
|
||||
|
@ -8602,7 +8607,7 @@ static bool disas_insn(DisasContext *s, CPUState *cpu)
|
|||
g_assert_not_reached();
|
||||
#else
|
||||
gen_update_cc_op(s);
|
||||
gen_jmp_im(s, s->pc - s->cs_base);
|
||||
gen_update_eip_next(s);
|
||||
gen_helper_rsm(cpu_env);
|
||||
#endif /* CONFIG_USER_ONLY */
|
||||
gen_eob(s);
|
||||
|
|
Loading…
Reference in New Issue