From: Jacob Lifshay <programmerjake@gmail.com>
Date: Wed, 19 Jul 2023 03:02:58 +0000 (-0700)
Subject: sync fminmax pseudocode fixes from openpower-isa.git
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6a352d8538954c57a5af7d6bdf703747abbbb776;p=libreriscv.git

sync fminmax pseudocode fixes from openpower-isa.git
---

diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn
index 1ca41cad9..6c3b0eb44 100644
--- a/openpower/sv/rfc/ls013.mdwn
+++ b/openpower/sv/rfc/ls013.mdwn
@@ -170,9 +170,9 @@ Note (4) or Win32's min macro
     b_is_snan <- b_is_nan & (b[12] = 0)
     any_snan <- a_is_snan | b_is_snan
     a_quieted <- a
-    a_quieted[12] = 1
+    a_quieted[12] <- 1
     b_quieted <- b
-    b_quieted[12] = 1
+    b_quieted[12] <- 1
     if a_is_nan | b_is_nan then
         if FMM[2:3] = 0b00 then  # min/maxnum08
             if a_is_snan then result <- a_quieted
@@ -213,7 +213,7 @@ Note (4) or Win32's min macro
         else if cmp_l <u cmp_r then result <- a
         else result <- b
     if any_snan then SetFX(FPSCR.VXSNAN)
-    if (FPSCR.VE = 0) & ¬any_snan then (FRT) <- result
+    if (FPSCR.VE = 0) | ¬any_snan then (FRT) <- result
 ```
 
 Compute the minimum/maximum of FRA and FRB, according to FMM, and store the