Replace "op is src unless sat" with "op is max(src, dst)"

diff --git a/openpower/sv/svp_rewrite/svp64/discussion.mdwn b/openpower/sv/svp_rewrite/svp64/discussion.mdwn
index a99af528f2253cabd96151638433f8c04b530086..3b0830295baf62ba2008e52ed45c85535cff1d8c 100644 (file)
--- a/openpower/sv/svp_rewrite/svp64/discussion.mdwn
+++ b/openpower/sv/svp_rewrite/svp64/discussion.mdwn
@@ -77,10 +77,8 @@ For 2 op (dest/src1/src2) the tag may be 3 bits: total 9 bits.  for 3 op (dest/s
 
 Note:
 
-* for saturation the operation is done at the **source** width
-  (this is different from normal elwidth overrides which
-   are done at the **dest** width)
-* exceptions: saturated-mul, the operation is done at the **dest** width
+* the operation should always be done at max(srcwidth, dstwidth), unless it can 
+  be proven using the lower will lead to the same result
 * saturation is done on the result at the **dest** elwidth
 
 # Notes about rounding, clamp and saturate