From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 3 Jun 2021 01:26:24 +0000 (-0700)
Subject: fix bad formatting on ikiwiki
X-Git-Tag: DRAFT_SVP64_0_1~853
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=94a7d1ae2021ef2b49359392a1661c0ace805838;p=libreriscv.git

fix bad formatting on ikiwiki
---

diff --git a/openpower/sv/int_fp_mv.mdwn b/openpower/sv/int_fp_mv.mdwn
index b132f268b..e6517cd04 100644
--- a/openpower/sv/int_fp_mv.mdwn
+++ b/openpower/sv/int_fp_mv.mdwn
@@ -72,6 +72,7 @@ Reinterprets `UI << 16` as a 32-bit float, which is then converted to a 64-bit f
 This is equivalent to reinterpreting `UI` as a bf16 and converting to 64-bit float, writing to `FRT`.
 
 Example:
+
 ```
 # clearing a FPR
 fmvis f4, 0 # writes +0.0 to f4
@@ -93,6 +94,7 @@ Important: If the float load immediate instruction(s) are left out, change all [
 <div id="fpr-to-gpr-conversion-mode" />
 
 Mode values:
+
 | Mode | `rounding_mode` | Semantics                        |
 |------|-----------------|----------------------------------|
 | 000  | from `FPSCR`    | [OpenPower semantics]            |
@@ -180,6 +182,7 @@ Convert from 64-bit unsigned integer in the GPR `RA` to 32-bit float in `FRT`.
 # FP to Integer Conversion Pseudo-code
 
 Key for pseudo-code:
+
 | term                      | result type | definition                                                                                         |
 |---------------------------|-------------|----------------------------------------------------------------------------------------------------|
 | `fp`                      | --          | `f32` or `f64` (or other types from SimpleV)                                                       |