Richard Henderson <r...@twiddle.net> writes: > On 07/07/2017 08:29 AM, Alex Bennée wrote: >>> Naming all of these different exit conditions is certainly >>> non-trivial. >> >> Given the variation of usage this is something that should probably be >> done after Lluís common run loop goes in and we can beef up the >> semantics of the various exit conditions. > > Definitely. > >> One thing I have noticed in the ARM translator is DISAS_UPDATE does a: >> >> gen_a64_set_pc_im(dc->pc); >> >> I think this is to deal with handling exceptions either side of various >> instructions. Am I right in thinking this is superfluous now as we can >> derive the PC from the translated code address? > > Yes and no. > > We have typically distinguished between two kinds of exceptions: those > that are dynamic (fp state, page permissions) and those that are > static (illegal opcodes). > > For the dynamic, we used to pessimistically save state, but now use > the unwinder to restore it. The unwinding is expensive but is used > infrequently (especially compared to the number of load/store insns > executed). > > For the static, we know the exception must be raised, and we know the > state that must be saved. By doing that, we save the expense of the > unwinding. > > So, for the static case you're talking about, we could get the PC (and > other state) back, and remove the explicit stores, but we shouldn't.
I'm thinking of how to bring this into line with the other translators. Pretty much everyone else generates an exit block although m68k does do a update_cc_op(dc); In the ARM translator we have the backend specific DISAS_EXIT which behaves like DISAS_UPDATE everywhere else. For consistency DISAS_UPDATE should work the same across all arches but doing: gen_set_pc_im(dc, dc->pc); if we are going to use DISAS_UPDATE instead of DISAS_EXIT is going to break things like eret as dc->pc will certainly not be the correct PC. Looking at translate.c (32 bit arm), we have: gen_srs gen_mrs_banked gen_msr_banked These all manually set: gen_set_pc_im(s, s->pc - 4); before their respective helpers. I think setting the PC after the helper is superfluous given we are will at that point be exiting the block. The situation is the same for translate-a64.c. So I think the correct changes are: - strengthen commentary in exec-all.h - don't set pc on our way out of a DISAS_UPDATE - convert eret to DISAS_UPDATE - get rid of DISAS_EXIT and use DISAS_UPDATE instead My only worry is inadvertently breaking something because something does need the post-foo set_pc. But I can't think what does. Peter? -- Alex Bennée
