From: Jacob Lifshay <programmerjake@gmail.com>
Date: Wed, 22 Mar 2023 20:45:31 +0000 (-0700)
Subject: misc grammar adjustments
X-Git-Tag: opf_rfc_ls001_v3~112
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=630ad1f4c065e0afae6a78eaaf6f9a4e06854edd;p=libreriscv.git

misc grammar adjustments

I can't read the commitdiff of d827d9e11ce635d52652f8936a454319fa2ebea9,
so I'm reverting and reapplying it as a set of split-up commits.
---

diff --git a/openpower/sv/rfc/ls006.mdwn b/openpower/sv/rfc/ls006.mdwn
index 0d5f41ac0..8310d5592 100644
--- a/openpower/sv/rfc/ls006.mdwn
+++ b/openpower/sv/rfc/ls006.mdwn
@@ -141,7 +141,7 @@ Tables that are used by `fmvtg`/`fmvfg`/`fcvttg`/`fcvtfg`:
         RT <- (FRB)
 ```
 
-move a 32/64-bit float from a FPR to a GPR, just copying bits of the
+Move a 32/64-bit float from a FPR to a GPR, just copying bits of the
 IEEE754 representation directly. This is equivalent to `stfs` followed
 by `lwz` or equivalent to `stfd` followed by `ld`.  As `fmvtg` is just
 copying bits, `FPSCR` is not affected in any way.
@@ -217,8 +217,7 @@ operations.
             src <- bfp_CONVERT_FROM_UI32((RB)[32:63])
         FRT <- bfp64_CONVERT_FROM_BFP(src)
     else
-        # rounding may be necessary
-        # based off xscvuxdsp
+        # rounding may be necessary. based off xscvuxdsp
         reset_xflags()
         switch(IT)
             case(0):  # Signed 32-bit