From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 6 Apr 2023 03:19:19 +0000 (-0700)
Subject: sync int_fp_move and ls006 fully in prep for section being split out into separate... 
X-Git-Tag: opf_rfc_ls012_v1~111
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=597e46ec6c9f852d10e53892d4b42e747935ecc2;p=libreriscv.git

sync int_fp_move and ls006 fully in prep for section being split out into separate file
---

diff --git a/openpower/sv/int_fp_mv.mdwn b/openpower/sv/int_fp_mv.mdwn
index 221682d0e..d5df881a6 100644
--- a/openpower/sv/int_fp_mv.mdwn
+++ b/openpower/sv/int_fp_mv.mdwn
@@ -275,6 +275,8 @@ Tables that are used by
 [Java/Saturating semantics]: #fp-to-int-java-saturating-conversion-semantics
 [JavaScript semantics]: #fp-to-int-javascript-conversion-semantics
 
+----------
+
 # Moves
 
 These instructions perform a straight unaltered bit-level copy from one Register
@@ -400,6 +402,10 @@ Special Registers altered:
     CR1     (if Rc=1)
 ```
 
+----------
+
+\newpage{}
+
 # Conversions
 
 Unlike the move instructions
@@ -484,6 +490,10 @@ Special Registers altered:
 | `fcvtfgud FRT, RB`   | `fcvtfg FRT, RB, 3`  |
 | `fcvtfgud. FRT, RB`  | `fcvtfg. FRT, RB, 3` |
 
+----------
+
+\newpage{}
+
 ## Floating Convert From Integer In GPR Single
 
 ```
@@ -549,6 +559,10 @@ Special Registers altered:
 | `fcvtfguds FRT, RB`  | `fcvtfg FRT, RB, 3`  |
 | `fcvtfguds. FRT, RB` | `fcvtfg. FRT, RB, 3` |
 
+----------
+
+\newpage{}
+
 ## Floating-point to Integer Conversion Overview
 
 <div id="fpr-to-gpr-conversion-mode"></div>
@@ -619,6 +633,8 @@ and including when the FP number was NaN) then this is considered
 to be an integer Overflow condition, and CR0.SO, XER.SO and XER.OV
 are all set as normal for any GPR instructions that overflow.
 
+\newpage{}
+
 ### FP to Integer Conversion Simplified Pseudo-code
 
 Key for pseudo-code:
@@ -682,6 +698,10 @@ Section 7.1 of the ECMAScript / JavaScript
         return (int)bits
 ```
 
+----------
+
+\newpage{}
+
 ## Double-Precision Floating Convert To Integer In GPR
 
 ```
@@ -837,6 +857,10 @@ Special Registers altered:
 | `fcvttgudo RT, FRB, CVM`  | `fcvttgo RT, FRB, CVM, 3`  |
 | `fcvttgudo. RT, FRB, CVM` | `fcvttgo. RT, FRB, CVM, 3` |
 
+----------
+
+\newpage{}
+
 ## Floating Convert Single To Integer In GPR
 
 ```
diff --git a/openpower/sv/rfc/ls006.mdwn b/openpower/sv/rfc/ls006.mdwn
index 05fe8343b..9dce58e0a 100644
--- a/openpower/sv/rfc/ls006.mdwn
+++ b/openpower/sv/rfc/ls006.mdwn
@@ -130,6 +130,11 @@ Tables that are used by
 
 ----------
 
+# Moves
+
+These instructions perform a straight unaltered bit-level copy from one Register
+File to another.
+
 ## Floating Move To GPR
 
 ```
@@ -254,6 +259,13 @@ Special Registers altered:
 
 \newpage{}
 
+# Conversions
+
+Unlike the move instructions
+these instructions perform conversions between Integer and
+Floating Point. Truncation can therefore occur, as well
+as exceptions.
+
 ## Double-Precision Floating Convert From Integer In GPR
 
 ```
@@ -539,12 +551,10 @@ Section 7.1 of the ECMAScript / JavaScript
         return (int)bits
 ```
 
-
 ----------
 
 \newpage{}
 
-
 ## Double-Precision Floating Convert To Integer In GPR
 
 ```