From: Jacob Lifshay <programmerjake@gmail.com>
Date: Fri, 21 Apr 2023 00:45:05 +0000 (-0700)
Subject: change integer min/max to use (RA|0)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8e385d96fa576825af8111a3057ab39cfd34dd31;p=libreriscv.git

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

diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn
index 6fe1f4042..6a1c3ba08 100644
--- 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: