(no commit message)
authorlkcl <lkcl@web>
Sat, 2 Apr 2022 10:48:55 +0000 (11:48 +0100)
committerIkiWiki <ikiwiki.info>
Sat, 2 Apr 2022 10:48:55 +0000 (11:48 +0100)
openpower/sv/branches.mdwn

index 3bf996d0b0fb20b125f9eefe4ff69090b153970a..0f07a85c7aed793f10e95326437b8be636bac5df 100644 (file)
@@ -190,11 +190,11 @@ Scalar v3.0B Branches. `bclr` for example will always update LR, whereas
 It is important to keep in mind that just like all SVP64 instructions,
 the `BI` field of the base v3.0B Branch Conditional instruction
 may be extended by SVP64 EXTRA augmentation, as well as be marked
-as either Scalar or Vector. It is also crucially important to be reminded
-that SVP64 sequentially increments the CR *Field* numbers.
-CR *Fields* are treated as elrments, not bit-numbers of the CR *register*.
+as either Scalar or Vector. It is also crucially important to keep in mind
+that for CRs, SVP64 sequentially increments the CR *Field* numbers.
+CR *Fields* are treated as elements, not bit-numbers of the CR *register*.
 
-The `BI` field of Branch Conditional operations is five bits, in scalar
+The `BI` operand of Branch Conditional operations is five bits, in scalar
 v3.0B this would select one bit of the 32 bit CR,
 comprising eight CR Fields of 4 bits each.  In SVP64 there are
 16 32 bit CRs, containing 128 4-bit CR Fields.  Therefore, the 2 LSBs of
@@ -204,7 +204,8 @@ as specified in SVP64 [[sv/svp64/appendix]].
 
 When the CR Fields selected by SVP64-Augmented `BI` is marked as scalar,
 then as the usual SVP64 rules apply:
-the Vector loop ends at the first element tested, after taking
+the Vector loop ends at the first element tested
+(the first CR *Field*), after taking
 predication into consideration. Thus, also as usual, when a predicate mask is
 given, and `BI` marked as scalar, and `sz` is zero, srcstep
 skips forward to the first non-zero predicated element, and only that