From: Luke Kenneth Casson Leighton Date: Wed, 12 Apr 2023 19:38:30 +0000 (+0100) Subject: clarify fault-first LD/ST X-Git-Tag: opf_rfc_ls010_v1~44 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f84d0f6026bccb0e7614b8d57ebc0c74ab4a25c2;p=libreriscv.git clarify fault-first LD/ST --- diff --git a/openpower/sv/svp64/appendix.mdwn b/openpower/sv/svp64/appendix.mdwn index 8595dc83f..d6afe39a3 100644 --- a/openpower/sv/svp64/appendix.mdwn +++ b/openpower/sv/svp64/appendix.mdwn @@ -470,8 +470,9 @@ in sequential Program Order, element 0 being the first. * LD/ST ffirst (not to be confused with *Data-Dependent* LD/ST ffirst) treats the first LD/ST in a vector (element 0) as an ordinary one. - Exceptions occur "as normal". However for elements 1 and above, if an - exception would occur, then VL is **truncated** to the previous element. + Exceptions occur "as normal" on the first element. However for elements + 1 and above, if an exception would occur, then VL is **truncated** + to the previous element. * Data-driven (CR-driven) fail-on-first activates when Rc=1 or other CR-creating operation produces a result (including cmp). Similar to branch, an analysis of the CR is performed and if the test fails,