Correct EPC behaviour - Issue-210

header.adoc

@@ -64,7 +64,8 @@ endif::[]
 - Clarified when to issue sync-support packet when trace is enabled (see <<sec:format33>>); +
 - Updated reference encoding algorithm to generalize resync behaviour and add missing trap conditions (see <<Algorithm>>); +
 - Clarified that implicit returns are not stored in the jump target cache (see <<sec:jump-cache>>); +
-- Updated decoder to remove ECALL, EBREAK and C.EBREAK from is_uninferrable_jump function.  Including them is harmless but unnecessary, as these instrucitons don't retire (see <<Decoder>>).
+- Updated decoder to remove ECALL, EBREAK and C.EBREAK from is_uninferrable_jump function.  Including them is harmless but unnecessary, as these instrucitons don't retire (see <<Decoder>>); +
+- Corrected description of why the EPC is not always reported (see <<sec:thaddr>>).
 
 |===
 

payload.adoc

@@ -173,10 +173,8 @@ even though the 1st instruction of the handler hasn't retired. In this
 situation, *thaddr* is 0, and *address* is undefined (unless it contains
 the EPC as outlined in the previous paragraph).
 
-(The reason for not reporting the EPC for all exceptions when *thaddr*
-is 0 is that it may be at either the address of the next instruction or
-current instruction depending on the exception cause, which can be
-inferred by the decoder without adding complexity to the encoder.)
+Note: The reason for not reporting the EPC for all exceptions when *thaddr*
+is 0 is that it can be inferred by the decoder using the exception cause.
 
 Where an interrupt or exception causes a privilege change, this change comes into force from the start of the trap handler.  As such, the privilege value reported when *thaddr* is 0 will be the privilege level prior to any change.