From 656bc167fc33f761f33e8ec80b09452d93a9bc8b Mon Sep 17 00:00:00 2001 From: Jacob Lifshay 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 <- (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