From: lkcl <lkcl@web>
Date: Sun, 5 Sep 2021 21:09:07 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: DRAFT_SVP64_0_1~209
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1c257c58341aee6d275d659d824911d9cd8eebd2;p=libreriscv.git

---

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index 86fa66908..6aa54155b 100644
--- a/openpower/sv/branches.mdwn
+++ b/openpower/sv/branches.mdwn
@@ -341,7 +341,13 @@ Available options to combine:
 * `sz` and `SNZ` to insert either zeros or ones in place of masked-out
   predicate bits
 * `ALL` or `ANY` behaviour corresponding to `AND` of all tests and
-  `OR` of all tests, respectively. 
+  `OR` of all tests, respectively.
+* Predicate Mask bits, which combine in effect with the CR being
+  tested.
+* Inversion of Predicate Masks (`~r3` instead of `r3`, or using
+  `NE` rather than `EQ`) which results in an additional
+  level of possible ANDing, ORing etc. that would otherwise
+  need explicit instructions.
 
 The most obviously useful combinations here are to set `BO[1]` to zero
 in order to turn `ALL` into Great-Big-NAND and `ANY` into