From 8e385d96fa576825af8111a3057ab39cfd34dd31 Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 20 Apr 2023 17:45:05 -0700
Subject: [PATCH] change integer min/max to use (RA|0)

---
 openpower/sv/rfc/ls013.mdwn | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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:
 
-- 
2.30.2