On 06/14/2017 09:08 AM, Paolo Bonzini wrote:
I think this is a band-aid, and would rather fix the front-ends as in
Emilio's patch. For Alpha my guess would be:
diff --git a/target/alpha/translate.c b/target/alpha/translate.c
index 7c45ae360c..6e2ee3f958 100644
--- a/target/alpha/translate.c
+++ b/target/alpha/translate.c
@@ -1198,7 +1198,9 @@ static ExitStatus gen_call_pal(DisasContext *ctx, int
palcode)
tcg_gen_andi_i64(tmp, ctx->ir[IR_A0], PS_INT_MASK);
tcg_gen_st8_i64(tmp, cpu_env, offsetof(CPUAlphaState, ps));
tcg_temp_free(tmp);
- break;
+
+ /* Reevaluate interrupts */
+ return EXIT_PC_STALE;
case 0x36:
/* RDPS */
Thanks!
You're right that adjusting SWPIPL along these lines does fix the problem for
Alpha. Given that Alpha would typically hang in arch_idle, I'd been focusing
primarily on WTINT.
r~