From: lkcl <lkcl@web>
Date: Fri, 29 Jan 2021 14:07:27 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~249
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ee6a3deb1ef8e75f2036fdd2eb56024da8f0cfd8;p=libreriscv.git

---

diff --git a/openpower/sv/implementation.mdwn b/openpower/sv/implementation.mdwn
index b05048ba6..146bfd457 100644
--- a/openpower/sv/implementation.mdwn
+++ b/openpower/sv/implementation.mdwn
@@ -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