From: lkcl <lkcl@web>
Date: Wed, 19 Apr 2023 16:50:19 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=95e3e4ed9d0363b7d0e1b8f6221099f813dcca01;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn
index 673e42666..c55b934ab 100644
--- a/openpower/sv/rfc/ls013.mdwn
+++ b/openpower/sv/rfc/ls013.mdwn
@@ -85,7 +85,7 @@ Add the following entries to:
 
 \newpage{}
 
-# Instructions
+# Floating-Point Instructions
 
 ## `FMM` -- Floating Min/Max Mode
 
@@ -176,18 +176,24 @@ Assembly Aliases: see
 
 \newpage{}
 
+# Fixed-Point Instructions
+
+These are signed and unsigned, min or max.  SVP64 Prefixing defines Saturation
+semantics therefore Saturated variants of these instructions need not be proposed.
+
 ## Minimum Unsigned X-Form
 
-```
-    minu RT, RA, RB
-    minu. RT, RA, RB
-```
+X-Form
 
 ```
     |0   |6   |11  |16   |21  |31  |
     | PO | RT | RA | RB  | XO | Rc |
 ```
 
+* minu RT, RA, RB
+* minu. RT, RA, RB
+
+
 ```
     if (RA) <u (RB) then
         RT <- (RA)
@@ -195,15 +201,13 @@ Assembly Aliases: see
         RT <- (RB)
 ```
 
-Compute the unsigned minimum of RA and RB and store the result in RT.
-
 Special Registers altered:
 
 ```
     CR0     (if Rc=1)
 ```
 
-----------
+Compute the unsigned minimum of RA and RB and store the result in RT.
 
 ## Maximum Unsigned X-Form
 
@@ -224,15 +228,13 @@ Special Registers altered:
         RT <- (RB)
 ```
 
-Compute the unsigned maximum of RA and RB and store the result in RT.
-
 Special Registers altered:
 
 ```
     CR0     (if Rc=1)
 ```
 
-----------
+Compute the unsigned maximum of RA and RB and store the result in RT.
 
 \newpage{}
 
@@ -255,15 +257,12 @@ Special Registers altered:
         RT <- (RB)
 ```
 
-Compute the signed minimum of RA and RB and store the result in RT.
-
 Special Registers altered:
 
 ```
     CR0     (if Rc=1)
 ```
-
-----------
+Compute the signed minimum of RA and RB and store the result in RT.
 
 ## Maximum X-Form