From 274a9e70de095240c8013c9dd9980213d54198d0 Mon Sep 17 00:00:00 2001 From: aurel32 Date: Fri, 22 Aug 2008 08:57:35 +0000 Subject: [sh4] delay slot bug fix Two bugs about delay slot handlings are fixed. - After an exception occurred in delay slot, the branch instruction before delay slot should be executed again. To judge such re-execution is necessery or not, delay slot status is kept in SH4 CPU data structure. - When a branch instruction is placed at the end of memory segment, the delay slot is placed at the start of next memory segment. It means delay slot comes to the start of a translation block. In such occasion, DELAY_SLOT_CLAREME flag is used to transmit status between translation blocks. When an exception occurs on this kind of delay slot, DELAY_SLOT_CLEARME flag cause a status confusion in exception handling. DELAY_SLOT_CLEARME flag should be cleared on exceptions. And some items are added to CPU status dump. (Shin-ichiro KAWASAKI) git-svn-id: svn://svn.savannah.nongnu.org/qemu/trunk@5066 c046a42c-6fe2-441c-8c8c-71466251a162 --- target-sh4/helper.c | 9 +++++++++ target-sh4/translate.c | 13 +++++++++++++ 2 files changed, 22 insertions(+) (limited to 'target-sh4') diff --git a/target-sh4/helper.c b/target-sh4/helper.c index bdbf70ebab..6be544cf85 100644 --- a/target-sh4/helper.c +++ b/target-sh4/helper.c @@ -157,6 +157,15 @@ void do_interrupt(CPUState * env) env->sgr = env->gregs[15]; env->sr |= SR_BL | SR_MD | SR_RB; + if (env->flags & (DELAY_SLOT | DELAY_SLOT_CONDITIONAL)) { + /* Branch instruction should be executed again before delay slot. */ + env->spc -= 2; + /* Clear flags for exception/interrupt routine. */ + env->flags &= ~(DELAY_SLOT | DELAY_SLOT_CONDITIONAL | DELAY_SLOT_TRUE); + } + if (env->flags & DELAY_SLOT_CLEARME) + env->flags = 0; + if (do_exp) { env->expevt = env->exception_index; switch (env->exception_index) { diff --git a/target-sh4/translate.c b/target-sh4/translate.c index 6f9fe33d3e..baeff6edcd 100644 --- a/target-sh4/translate.c +++ b/target-sh4/translate.c @@ -115,6 +115,10 @@ void cpu_dump_state(CPUState * env, FILE * f, int i; cpu_fprintf(f, "pc=0x%08x sr=0x%08x pr=0x%08x fpscr=0x%08x\n", env->pc, env->sr, env->pr, env->fpscr); + cpu_fprintf(f, "spc=0x%08x ssr=0x%08x gbr=0x%08x vbr=0x%08x\n", + env->spc, env->ssr, env->gbr, env->vbr); + cpu_fprintf(f, "sgr=0x%08x dbr=0x%08x delayed_pc=0x%08x fpul=0x%08x\n", + env->sgr, env->dbr, env->delayed_pc, env->fpul); for (i = 0; i < 24; i += 4) { cpu_fprintf(f, "r%d=0x%08x r%d=0x%08x r%d=0x%08x r%d=0x%08x\n", i, env->gregs[i], i + 1, env->gregs[i + 1], @@ -1188,6 +1192,11 @@ void decode_opc(DisasContext * ctx) if (old_flags & (DELAY_SLOT | DELAY_SLOT_CONDITIONAL)) { if (ctx->flags & DELAY_SLOT_CLEARME) { gen_op_store_flags(0); + } else { + /* go out of the delay slot */ + uint32_t new_flags = ctx->flags; + new_flags &= ~(DELAY_SLOT | DELAY_SLOT_CONDITIONAL); + gen_op_store_flags(new_flags); } ctx->flags = 0; ctx->bstate = BS_BRANCH; @@ -1198,6 +1207,10 @@ void decode_opc(DisasContext * ctx) } } + + /* go into a delay slot */ + if (ctx->flags & (DELAY_SLOT | DELAY_SLOT_CONDITIONAL)) + gen_op_store_flags(ctx->flags); } static inline void -- cgit v1.2.3