(no commit message)

diff --git a/openpower/sv/svp_rewrite/svp64.mdwn b/openpower/sv/svp_rewrite/svp64.mdwn
index fa8ca30246c76072b5d555858bd0c9664cbf7e35..c643846f69c548582f40e0a8a245d5736b4a430d 100644 (file)
--- 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?