From: lkcl <lkcl@web>
Date: Mon, 21 Dec 2020 04:12:01 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1103
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f34c893533d13a4168f13e6c06b972f5eb1529b8;p=libreriscv.git

---

diff --git a/openpower/sv/svp_rewrite/svp64.mdwn b/openpower/sv/svp_rewrite/svp64.mdwn
index fa8ca3024..c643846f6 100644
--- a/openpower/sv/svp_rewrite/svp64.mdwn
+++ b/openpower/sv/svp_rewrite/svp64.mdwn
@@ -546,6 +546,10 @@ integer and testing it for nonzero.  see [[sv/cr_int_predication]]
    in order to store sufficient state to resume operation should an
    interrupt occur. this is also why implementations are permitted to use
    the destination vector to store intermediary computations
+7. *Predication may be applied*.  zeroing mode is not an option.  masked-out
+   inputs are ignored; masked-out elements in the destination vector are
+   unaltered (not used for the purposes of intermediary storage); the
+   scalar result is placed in the first available unmasked element.
 
 TODO: Rc=1 on Scalar Logical Operations? is this possible? was space
 reserved in Logical Ops?