(no commit message)

diff --git a/openpower/sv/implementation.mdwn b/openpower/sv/implementation.mdwn
index aff1ad04f7481f0febf7cd5fccb2420066d07704..0f54ff3bdba7a561f46c054f56ef269754291876 100644 (file)
--- a/openpower/sv/implementation.mdwn
+++ b/openpower/sv/implementation.mdwn
@@ -188,14 +188,23 @@ At the same time the `Rc=1` CR offsets normslly CR0 and CR1 for fixed and FP sca
 
 ## Single and Twin Predication
 
-both CR and INT predication is needed, as well as zeroing in both
-
-* INT-based single: TODO
-* CR-based single:  TODO
-* INT-based twin:   TODO
-* CR-based twin:    TODO
-* Zeroing single:   TODO
-* Zeroing twin:     TODO
+both CR and INT predication is needed, as well as zeroing in both.
+the order is best done as follows:
+
+* INT-based single
+* CR-based single
+* srcstep+dststep
+* INT-based twin
+* CR-based twin
+* Zeroing single
+* Zeroing twin
+
+Best done as a FSM that "advances" srcstep and dststep over the
+zeros in their respective predicate masks, *including* when the
+src and dest predicate mask is "All 1s".
+
+Bear in mind that srcstep+deststep are a form of back-to-back
+VGATHER+VSCATTER
 
 Progress: