(no commit message)

diff --git a/openpower/sv/int_fp_mv.mdwn b/openpower/sv/int_fp_mv.mdwn
index 6bd2a8a868e98f8b737699107e94cc78e483bed5..8dd3e46d64326cb2ca4ccac1e107c475d58eaf83 100644 (file)
--- a/openpower/sv/int_fp_mv.mdwn
+++ b/openpower/sv/int_fp_mv.mdwn
@@ -227,13 +227,23 @@ allowing clearing FPRs.
 
 The above fits reasonably well with Minor 19 and follows the
 pattern shown by `addpcis`, which uses an entire column of Minor 19
-XO.  15 bits of FI fit into bits 11 to 25,
+XO. 15 bits of FI fit into bits 11 to 25,
 the top bit FI0 (MSB0 numbered 0) makes 16.
 
     bf16 = FI0 || FI
     fp32 = bf16 || [0]*16
     FRT = Single_to_Double(fp32)
 
+Also worth noting, `fmvis` fits well with DX-Form:
+
+|  0-5   | 6-10 | 11-15 | 16-25 | 26-30 | 31  |
+|--------|------|-------|-------|-------|-----|
+|  Major | FRT  | d0    | d1    | XO    | d2  |
+
+    bf16 = d2 || d1 || d0
+    fp32 = bf16 || [0]*16
+    FRT = Single_to_Double(fp32)
+
 ## FPR to GPR conversions
 
 <div id="fpr-to-gpr-conversion-mode"></div>