On Wed, 3 May 2023, Michael Schmitz wrote:
I haven't yet tried to write code to demonstrate the theoretical
address error issue but I can attempt that if need be. However, such
code would be moot if this patch is going to be required anyway, just
to fix the bus error case...
No, seeing the coprocessor conditional branch case we want this patch
even if we decide to handle data faults differently.
That is, unless Andreas can come up with a reason why calculated branch
target adresses cannot be used with these coprocessor branch
instructions?
Moreover, can Andreas or Geert come up with a better way to fix the actual
bus error bug (nevermind the theoretical address error bug) than this same
patch (which just happens to work for both)?
