(no commit message)
authorlkcl <lkcl@web>
Tue, 14 Sep 2021 13:06:03 +0000 (14:06 +0100)
committerIkiWiki <ikiwiki.info>
Tue, 14 Sep 2021 13:06:03 +0000 (14:06 +0100)
openpower/sv/branches.mdwn

index 439392b2d5b7ebfa1e0f20a49cfd57b0e16b0ea5..ccdbec5e8ee7afd26c469edbbb5ee289d0f890fb 100644 (file)
@@ -157,13 +157,10 @@ Brief description of fields:
   This is identical behaviour to how programming languages perform
   early-exit on Boolean Logic chains.
 * **VLI** VLSET is identical to Data-dependent Fail-First mode.
-  In VLSET mode, VL is set equal (truncated) to the first point
-  where, assuming Conditions are tested sequentially, the branch
-  proceeds
-  *or does not take place* depending if VSb is set.
+  In VLSET mode, VL *may* (depending on `VSb`) be truncated.
   If VLI (Vector Length Inclusive) is clear,
   VL is truncated to *exclude* the current element, otherwise it is
-  included. SVSTATE.MVL is not changed: only VL.
+  included. SVSTATE.MVL is not altered: only VL.
 * **LRu**: Link Register Update. When set, Link Register will
   only be updated if the Branch Condition succeeds. This avoids
   destruction of LR during loops (particularly Vertical-First