From: lkcl Date: Sat, 2 Apr 2022 11:15:53 +0000 (+0100) Subject: (no commit message) X-Git-Tag: opf_rfc_ls005_v1~2935 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f0b6671f62fc7e26051d9d475b6bc2d2207ba08c;p=libreriscv.git --- diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn index 0f07a85c7..3682e75d4 100644 --- a/openpower/sv/branches.mdwn +++ b/openpower/sv/branches.mdwn @@ -370,13 +370,13 @@ useful, because it can be used to truncate VL to the first predicated The truncation point for VL, when VLi is clear, must not include skipped elements that preceded the current element being tested. Example: `sz=0, VLi=0, predicate mask = 0b110010` and the Condition -failure point is at element 4. +Register failure point is at CR Field element 4. * Testing at element 0 is skipped because its predicate bit is zero * Testing at element 1 passed * Testing elements 2 and 3 are skipped because their respective predicate mask bits are zero -* Testing element 4 fails therefore VL is truncated to **2** +* Testing element 4 fails therefore VL is truncated to **2** not 4 due to elements 2 and 3 being skipped. If `sz=1` in the above example *then* VL would have been set to 4 because