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

---

diff --git a/openpower/sv/rfc/ls013.mdwn b/openpower/sv/rfc/ls013.mdwn
index aa00487fe..4937284dc 100644
--- a/openpower/sv/rfc/ls013.mdwn
+++ b/openpower/sv/rfc/ls013.mdwn
@@ -168,7 +168,9 @@ Assembly Aliases: see
 
 ----------
 
-## Floating Minimum/Maximum Single X-Form
+## Floating Minimum/Maximum Single
+
+A-Form
 
 * fminmaxs FRT, FRA, FRB, FMM
 * fminmaxs. FRT, FRA, FRB, FMM
@@ -200,7 +202,7 @@ Assembly Aliases: see
 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
+## Minimum Unsigned
 
 X-Form
 
@@ -228,7 +230,9 @@ Special Registers altered:
 
 Compute the unsigned minimum of RA and RB and store the result in RT.
 
-## Maximum Unsigned X-Form
+## Maximum Unsigned
+
+X-Form
 
 ```
     maxu RT, RA, RB
@@ -257,7 +261,9 @@ Compute the unsigned maximum of RA and RB and store the result in RT.
 
 \newpage{}
 
-## Minimum X-Form
+## Minimum
+
+X-Form
 
 ```
     min RT, RA, RB
@@ -283,7 +289,9 @@ Special Registers altered:
 ```
 Compute the signed minimum of RA and RB and store the result in RT.
 
-## Maximum X-Form
+## Maximum
+
+X-Form
 
 ```
     max RT, RA, RB
@@ -319,17 +327,17 @@ Special Registers altered:
 Add the following entries to Book I 1.6.1.15 X-FORM:
 
 ```
-    |0    |6    |11   |16   |21        |24  |31      |
-    | PO  | FRT | FRA | FRB | FMM[0:2] | XO | FMM[3] |
+    |0    |6    |11   |16   |21          |26  |31  |
+    | PO  | FRT | FRA | FRB | FMM[0:3] / | XO | Rc |
 ```
 
 Add a new field to Book I 1.6.2 Word Instruction Fields:
 
 ```
-    FMM (21:23,31)
+    FMM (21:24)
         Field used to specify minimum/maximum mode for fminmax[s].
 
-        Formats: X
+        Formats: A
 ```
 
 ----------