use widths.get(dw/sw) and test empty/non-empty after.

[openpower-isa.git] / openpower / isa / fpmove.mdwn

diff --git a/openpower/isa/fpmove.mdwn b/openpower/isa/fpmove.mdwn
index 5247e834d6737dd24d9bb40e33db2cb83723039c..e1d95348106f512d6787b2e13fec4535db95868c 100644 (file)
--- a/openpower/isa/fpmove.mdwn
+++ b/openpower/isa/fpmove.mdwn
@@ -7,7 +7,7 @@
 X-Form
 
 * fmr FRT,FRB (Rc=0)
-* fmr. FRT,FRB (Rc=0)
+* fmr. FRT,FRB (Rc=1)
 
 Pseudo-code:
 
@@ -22,7 +22,7 @@ Special Registers Altered:
 X-Form
 
 * fabs FRT,FRB (Rc=0)
-* fabs. FRT,FRB (Rc=0)
+* fabs. FRT,FRB (Rc=1)
 
 Pseudo-code:
 
@@ -37,11 +37,11 @@ Special Registers Altered:
 X-Form
 
 * fnabs FRT,FRB (Rc=0)
-* fnabs. FRT,FRB (Rc=0)
+* fnabs. FRT,FRB (Rc=1)
 
 Pseudo-code:
 
-    FRT[0] <- 0b1 || FRB[1:63]
+    FRT <- 0b1 || FRB[1:63]
 
 Special Registers Altered:
 
@@ -52,7 +52,7 @@ Special Registers Altered:
 X-Form
 
 * fneg FRT,FRB (Rc=0)
-* fneg. FRT,FRB (Rc=0)
+* fneg. FRT,FRB (Rc=1)
 
 Pseudo-code:
 
@@ -67,7 +67,7 @@ Special Registers Altered:
 X-Form
 
 * fcpsgn FRT,FRA,FRB (Rc=0)
-* fcpsgn. FRT,FRA,FRB (Rc=0)
+* fcpsgn. FRT,FRA,FRB (Rc=1)
 
 Pseudo-code: