From 656bc167fc33f761f33e8ec80b09452d93a9bc8b Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 20 Apr 2023 18:06:06 -0700
Subject: [PATCH] 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
---
 openpower/sv/rfc/ls013.mdwn | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn
index 551e4c3ab..e6e77bd71 100644
--- 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)`
-- 
2.30.2