From 599b613a22d1339a20007c719230a574a90b0195 Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Fri, 14 May 2021 18:59:20 +0100
Subject: [PATCH] add fpmove.mdwn from v3.0B p150 book I section 4.6.5

---
 openpower/isa/fpmove.mdwn | 82 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 82 insertions(+)
 create mode 100644 openpower/isa/fpmove.mdwn

diff --git a/openpower/isa/fpmove.mdwn b/openpower/isa/fpmove.mdwn
new file mode 100644
index 00000000..a30cdb39
--- /dev/null
+++ b/openpower/isa/fpmove.mdwn
@@ -0,0 +1,82 @@
+<!-- X Instructions here described in PowerISA Version 3.0 B Book 1 -->
+
+<!-- Section 4.6.5 Floating-point Move instructions. P 150 -->
+
+# Floating Move Register
+
+X-Form
+
+* fmr FRT,FRB (Rc=0)
+* fmr. FRT,FRB (Rc=0)
+
+Pseudo-code:
+
+    FRT <- FRB
+
+Special Registers Altered:
+
+    CR1          (if Rc=1)
+
+# Floating Absolute Value Register
+
+X-Form
+
+* fabs FRT,FRB (Rc=0)
+* fabs. FRT,FRB (Rc=0)
+
+Pseudo-code:
+
+    FRT <- FRB
+    FRT[0] <- 0b0
+
+Special Registers Altered:
+
+    CR1          (if Rc=1)
+
+# Floating Negative Absolute Value Register
+
+X-Form
+
+* fnabs FRT,FRB (Rc=0)
+* fnabs. FRT,FRB (Rc=0)
+
+Pseudo-code:
+
+    FRT <- FRB
+    FRT[0] <- 0b1
+
+Special Registers Altered:
+
+    CR1          (if Rc=1)
+
+# Floating Negate Register
+
+X-Form
+
+* fneg FRT,FRB (Rc=0)
+* fneg. FRT,FRB (Rc=0)
+
+Pseudo-code:
+
+    FRT <- FRB
+    FRT[0] <- ¬FRB[0]
+
+Special Registers Altered:
+
+    CR1          (if Rc=1)
+
+# Floating Copy Sign  Register
+
+X-Form
+
+* fcpsgn FRT,FRA,FRB (Rc=0)
+* fcpsgn. FRT,FRA,FRB (Rc=0)
+
+Pseudo-code:
+
+    FRT <- FRB
+    FRT[0] <- FRA[0]
+
+Special Registers Altered:
+
+    CR1          (if Rc=1)
-- 
2.30.2