On 22 March 2017 at 15:14, Pranith Kumar <bobby.prani+q...@gmail.com> wrote: > On Wed, Mar 22, 2017 at 11:04 AM, Peter Maydell > <peter.mayd...@linaro.org> wrote: >> This doesn't look right because it means we'll check >> only after we've emitted all the code to do the >> instruction operation, so the effect will be >> "execute instruction, then take illegal-opcode >> exception".
> The pc is restored to original address (s->pc = pc_start), so the > exception will overwrite the generated illegal instruction and will be > executed first. s->pc is the guest PC -- moving that backwards will not do anything about the generated TCG IR that's already been written. You'd need to rewind the write pointer in the IR stream, which there is no support for doing AFAIK. thanks -- PMM