Relaxed exception semantics for Arm-A (extended version)

Ben Simner, Alasdair Armstrong, Thomas Bauereiss +4

To manage exceptions, software relies on a key architectural guarantee, precision: that exceptions appear to execute between instructions. However, this definition, dating back ove…