On 25 August 2017 at 14:50, Andrew <and...@fubar.geek.nz> wrote: > Given the following instruction: > ldp x0, x1, [x0] > > This will load two 64 bit values from memory, however if each location > to load is on a different page and the second page is unmapped this will > raise an exception. When this happens x0 has already been updated
Yes, this is a QEMU bug. disas_ldst_pair() should not let the first load go directly to the target integer register but instead postpone updating the register until after the second load. We can safely do this only for the integer load case because float/vector registers can't be used in address generation so they're OK to become UNKNOWN. (D1.14.5 is about interrupts and exceptions that happen during a multiple-register load or store; for straightforward synchronous data aborts D1.13.4 is what you want, but the requirements are the same in any case.) We got this right for the load/store exclusive pair, so it's only the plain load pair that needs fixing I think. thanks -- PMM
