change minmax CR0 to be a compared with b, not the result compared with 0

See: https://bugs.libre-soc.org/show_bug.cgi?id=915

diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn
index 551e4c3ab27a37db8ced4878cda2787c27361ad1..e6e77bd7146459c42996450f18225ab77db41dba 100644 (file)
--- a/openpower/sv/rfc/ls013.mdwn
+++ b/openpower/sv/rfc/ls013.mdwn
@@ -250,8 +250,16 @@ 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|0)
-    else           RT <- (RB)
+    # if Rc = 1 then store the result of comparing a and b to CR0
+    if a <u b then
+        RT <- (RA|0)
+        if Rc = 1 then CR0 <- 0b100 || XER.SO
+    if a = b then
+        RT <- (RB)
+        if Rc = 1 then CR0 <- 0b001 || XER.SO
+    if a >u b then
+        RT <- (RB)
+        if Rc = 1 then CR0 <- 0b010 || XER.SO
 ```
 
 Compute the integer minimum/maximum according to `MMM` of `(RA|0)` and `(RB)`