change integer min/max to use (RA|0)

diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn
index 6fe1f4042185b93f4082a538670c7c67f0fb9c0e..6a1c3ba08a71e6f5118d277b262521869fae28bd 100644 (file)
--- a/openpower/sv/rfc/ls013.mdwn
+++ b/openpower/sv/rfc/ls013.mdwn
@@ -231,7 +231,7 @@ semantics therefore Saturated variants of these instructions need not be propose
 ```
 
 ```
-    a <- (RA)
+    a <- (RA|0)
     b <- (RB)
     if MMM[0] then  # word mode
         # shift left by XLEN/2 to make the dword comparison
@@ -250,12 +250,12 @@ semantics therefore Saturated variants of these instructions need not be propose
         a <- b
         b <- t
     # store the entire selected source (even in word mode)
-    if a <u b then RT <- (RA)
+    if a <u b then RT <- (RA|0)
     else           RT <- (RB)
 ```
 
-Compute the integer minimum/maximum according to `MMM` of `RA` and `RB` and
-store the result in `RT`.
+Compute the integer minimum/maximum according to `MMM` of `(RA|0)` and `(RB)`
+and store the result in `RT`.
 
 Special Registers altered: