(no commit message)
authorlkcl <lkcl@web>
Fri, 6 Aug 2021 20:05:48 +0000 (21:05 +0100)
committerIkiWiki <ikiwiki.info>
Fri, 6 Aug 2021 20:05:48 +0000 (21:05 +0100)
openpower/sv/branches.mdwn

index e281a3149c45e682fb885224b333e208b4bd52a7..96aa10cdeba1b0c1b66f93cb0fbea73255f1afd0 100644 (file)
@@ -141,14 +141,6 @@ and `svstep` mode it is actually useful to use Branch Conditional even
 to perform no actual branch operation, i.e to point to the instruction
 after the branch.
 
-`VLSET` mode with Vertical-First is particularly unusual. Vertical-First
-is used for explicit looping, where the looping is to terminate if
-the end of the Vector, VL, is reached. If however that loop is terminated
-early because VL is truncated, VLSET with Vertical-First becomes
-meaningless.  Therefore, the option to decide whether truncation should
-occur if the branch succeeds *or* if the branch condition fails allows
-for flexibility required.
-
 In particular, svstep mode is still useful for Horizontal-First Mode
 particularly in combination with REMAP. All "loop end" conditions
 will be tested on a per-element basis and placed into a Vector of CRs
@@ -164,6 +156,18 @@ to be tested. Even when svstep mode or VLSET mode are not used, CTR
 may still be decremented by the total number of nonmasked elements.
 In short, Vectorised Branch becomes an extremely powerful tool.
 
+`VLSET` mode with Vertical-First is particularly unusual. Vertical-First
+is used for explicit looping, where the looping is to terminate if
+the end of the Vector, VL, is reached. If however that loop is terminated
+early because VL is truncated, VLSET with Vertical-First becomes
+meaningless.  Therefore, the option to decide whether truncation should
+occur if the branch succeeds *or* if the branch condition fails allows
+for flexibility required.
+
+`VLSET` mode with Horizontal-First when `VSb` is clear is still useful,
+because it can be used to truncate VL to the first predicated (non-masked-out)
+element.
+
 Available options to combine:
 
 * `BO[0]` to make an unconditional branch would seem irrelevant if