(no commit message)
authorlkcl <lkcl@web>
Fri, 29 Jan 2021 14:07:27 +0000 (14:07 +0000)
committerIkiWiki <ikiwiki.info>
Fri, 29 Jan 2021 14:07:27 +0000 (14:07 +0000)
openpower/sv/implementation.mdwn

index b05048ba6501b18f11481dcafd508e626bf34b4f..146bfd457ae0b7c6c23c96ed4469eeeaf967594b 100644 (file)
@@ -116,6 +116,8 @@ main SV for-loop, as a FSM, updating `SVSTATE.srcstep`, using it as the index in
 
 This **includes** any exceptions, hence why SVSTATE exists and why SVSRR0 must be used to store SVSTATE alongside when SRR0 and SRR1 store PC and MSR.
 
+Due to the need for exceptions to occur in the middle, the loop should *not* be implemented as an actual for-loop, whilst recognising that optimised implementations may do multi-issue element execution as long as Program Order is preserved.
+
 * ISACaller: TODO
 * power-gem5: TODO
 * TestIssuer: TODO