(no commit message)
authorlkcl <lkcl@web>
Sat, 11 Sep 2021 15:59:51 +0000 (16:59 +0100)
committerIkiWiki <ikiwiki.info>
Sat, 11 Sep 2021 15:59:51 +0000 (16:59 +0100)
openpower/sv/branches.mdwn

index 86d1589eb33d0e1de7fa92b9a47a816fd704dbb3..b725bb73d31ed754a0c84db9b785c7a65a57d7f6 100644 (file)
@@ -257,8 +257,9 @@ element computation and testing, and the continuation (or otherwise)
 of a given loop. The potential combinations of interactions is why CTR
 testing options have been added.
 
-If both CTR-test and VLSET Modes are requested, then because the CTR decrement is on a per element basis, the total amount that CTR is decremented
-by will end up being VL *after* truncation (should that occur). In
+If both CTR-test and VLSET Modes are requested, it's important to
+observe the correct order: testing the Condition and
+decrementing of CTR is done *before* truncation of VL. In
 other words, the order is strictly (as can be seen in pseudocode, below):
 
 1. compute the test