From: lkcl Date: Sat, 9 Apr 2022 21:43:21 +0000 (+0100) Subject: (no commit message) X-Git-Tag: opf_rfc_ls005_v1~2811 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=95b6e6255690190e3370cf728b2c1039d611db9a;p=libreriscv.git --- diff --git a/openpower/sv/svp64/appendix.mdwn b/openpower/sv/svp64/appendix.mdwn index 2b55a509b..2c8ffbaf9 100644 --- a/openpower/sv/svp64/appendix.mdwn +++ b/openpower/sv/svp64/appendix.mdwn @@ -427,8 +427,9 @@ executed in sequential Program Order, element 0 being the first. * 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, the - vector operation terminates and discards all element operations at and - above the current one, and VL is truncated to either + vector operation terminates and discards all element operations + above the current one (and the current one if VLi is not set), + and VL is truncated to either the *previous* element or the current one, depending on whether VLi (VL "inclusive") is set.