split out instructions from openpower/isa/fpstore.mdwn

diff --git a/openpower/isa/fpstore.mdwn b/openpower/isa/fpstore.mdwn
index d9596c2f0b4a4375117b16d49e1ab748f65b3674..7a6544d347fa9c01c7a12ed20eb59f8d87f964c1 100644 (file)
--- a/openpower/isa/fpstore.mdwn
+++ b/openpower/isa/fpstore.mdwn
@@ -2,142 +2,20 @@
 
 <!-- Section 4.6.3 Floating-point store instructions. P 144 - 147 -->
 
-# Store Floating-Point Single
+[[!inline pagenames="openpower/isa/fpstore/stfs" raw="yes"]]
 
-D-Form
+[[!inline pagenames="openpower/isa/fpstore/stfsx" raw="yes"]]
 
-* stfs FRS,D(RA)
+[[!inline pagenames="openpower/isa/fpstore/stfsu" raw="yes"]]
 
-Pseudo-code:
+[[!inline pagenames="openpower/isa/fpstore/stfsux" raw="yes"]]
 
-    EA <- (RA|0) + EXTS(D)
-    MEM(EA, 4)<- SINGLE( (FRS) )
+[[!inline pagenames="openpower/isa/fpstore/stfd" raw="yes"]]
 
-Special Registers Altered:
+[[!inline pagenames="openpower/isa/fpstore/stfdx" raw="yes"]]
 
-    None
+[[!inline pagenames="openpower/isa/fpstore/stfdu" raw="yes"]]
 
-# Store Floating-Point Single Indexed
+[[!inline pagenames="openpower/isa/fpstore/stfdux" raw="yes"]]
 
-X-Form
-
-* stfsx FRS,RA,RB
-
-Pseudo-code:
-
-    EA <- (RA|0) + (RB)
-    MEM(EA, 4)<- SINGLE( (FRS) )
-
-Special Registers Altered:
-
-    None
-
-# Store Floating-Point Single with Update
-
-D-Form
-
-* stfsu FRS,D(RA)
-
-Pseudo-code:
-
-    EA <- (RA) + EXTS(D)
-    MEM(EA, 4)<- SINGLE( (FRS) )
-    RA <- EA
-
-Special Registers Altered:
-
-    None
-
-# Store Floating-Point Single with Update Indexed
-
-X-Form
-
-* stfsux FRS,RA,RB
-
-Pseudo-code:
-
-    EA <- (RA) + (RB)
-    MEM(EA, 4)<- SINGLE( (FRS) )
-    RA <- EA
-
-Special Registers Altered:
-
-    None
-
-# Store Floating-Point Double
-
-D-Form
-
-* stfd FRS,D(RA)
-
-Pseudo-code:
-
-    EA <- (RA|0) + EXTS(D)
-    MEM(EA, 8)<- (FRS) 
-
-Special Registers Altered:
-
-    None
-
-# Store Floating-Point Double Indexed
-
-X-Form
-
-* stfdx FRS,RA,RB
-
-Pseudo-code:
-
-    EA <- (RA|0) + (RB)
-    MEM(EA, 8)<- (FRS) 
-
-Special Registers Altered:
-
-    None
-
-# Store Floating-Point Double with Update
-
-D-Form
-
-* stfdu FRS,D(RA)
-
-Pseudo-code:
-
-    EA <- (RA) + EXTS(D)
-    MEM(EA, 8)<- (FRS) 
-    RA <- EA
-
-Special Registers Altered:
-
-    None
-
-# Store Floating-Point Double with Update Indexed
-
-X-Form
-
-* stfdux FRS,RA,RB
-
-Pseudo-code:
-
-    EA <- (RA) + (RB)
-    MEM(EA, 8)<- (FRS) 
-    RA <- EA
-
-Special Registers Altered:
-
-    None
-
-# Store Floating-Point as Integer Word Indexed 
-
-X-Form
-
-* stfiwx FRS,RA,RB
-
-Pseudo-code:
-
-    b <- (RA|0)
-    EA <- b + (RB)
-    MEM(EA, 8)<- (FRS)[32:63]
-
-Special Registers Altered:
-
-    None
+[[!inline pagenames="openpower/isa/fpstore/stfiwx" raw="yes"]]

diff --git a/openpower/isa/fpstore/stfd.mdwn b/openpower/isa/fpstore/stfd.mdwn
new file mode 100644 (file)
index 0000000..1a4f0f0
--- /dev/null
+++ b/openpower/isa/fpstore/stfd.mdwn
@@ -0,0 +1,13 @@
+# Store Floating-Point Double
+
+D-Form
+
+* stfd FRS,D(RA)
+
+Pseudo-code:
+
+[[!inline pagenames="openpower/isa/fpstore/stfd_code" raw="yes"]]
+
+Special Registers Altered:
+
+    None

diff --git a/openpower/isa/fpstore/stfd_code.mdwn b/openpower/isa/fpstore/stfd_code.mdwn
new file mode 100644 (file)
index 0000000..96820dd
--- /dev/null
+++ b/openpower/isa/fpstore/stfd_code.mdwn
@@ -0,0 +1,2 @@
+    EA <- (RA|0) + EXTS(D)
+    MEM(EA, 8)<- (FRS) 

diff --git a/openpower/isa/fpstore/stfdu.mdwn b/openpower/isa/fpstore/stfdu.mdwn
new file mode 100644 (file)
index 0000000..3227b79
--- /dev/null
+++ b/openpower/isa/fpstore/stfdu.mdwn
@@ -0,0 +1,13 @@
+# Store Floating-Point Double with Update
+
+D-Form
+
+* stfdu FRS,D(RA)
+
+Pseudo-code:
+
+[[!inline pagenames="openpower/isa/fpstore/stfdu_code" raw="yes"]]
+
+Special Registers Altered:
+
+    None

diff --git a/openpower/isa/fpstore/stfdu_code.mdwn b/openpower/isa/fpstore/stfdu_code.mdwn
new file mode 100644 (file)
index 0000000..22b15df
--- /dev/null
+++ b/openpower/isa/fpstore/stfdu_code.mdwn
@@ -0,0 +1,3 @@
+    EA <- (RA) + EXTS(D)
+    MEM(EA, 8)<- (FRS) 
+    RA <- EA

diff --git a/openpower/isa/fpstore/stfdux.mdwn b/openpower/isa/fpstore/stfdux.mdwn
new file mode 100644 (file)
index 0000000..ea46a99
--- /dev/null
+++ b/openpower/isa/fpstore/stfdux.mdwn
@@ -0,0 +1,13 @@
+# Store Floating-Point Double with Update Indexed
+
+X-Form
+
+* stfdux FRS,RA,RB
+
+Pseudo-code:
+
+[[!inline pagenames="openpower/isa/fpstore/stfdux_code" raw="yes"]]
+
+Special Registers Altered:
+
+    None

diff --git a/openpower/isa/fpstore/stfdux_code.mdwn b/openpower/isa/fpstore/stfdux_code.mdwn
new file mode 100644 (file)
index 0000000..8b61579
--- /dev/null
+++ b/openpower/isa/fpstore/stfdux_code.mdwn
@@ -0,0 +1,3 @@
+    EA <- (RA) + (RB)
+    MEM(EA, 8)<- (FRS) 
+    RA <- EA

diff --git a/openpower/isa/fpstore/stfdx.mdwn b/openpower/isa/fpstore/stfdx.mdwn
new file mode 100644 (file)
index 0000000..3c39856
--- /dev/null
+++ b/openpower/isa/fpstore/stfdx.mdwn
@@ -0,0 +1,13 @@
+# Store Floating-Point Double Indexed
+
+X-Form
+
+* stfdx FRS,RA,RB
+
+Pseudo-code:
+
+[[!inline pagenames="openpower/isa/fpstore/stfdx_code" raw="yes"]]
+
+Special Registers Altered:
+
+    None

diff --git a/openpower/isa/fpstore/stfdx_code.mdwn b/openpower/isa/fpstore/stfdx_code.mdwn
new file mode 100644 (file)
index 0000000..03022ba
--- /dev/null
+++ b/openpower/isa/fpstore/stfdx_code.mdwn
@@ -0,0 +1,2 @@
+    EA <- (RA|0) + (RB)
+    MEM(EA, 8)<- (FRS) 

diff --git a/openpower/isa/fpstore/stfiwx.mdwn b/openpower/isa/fpstore/stfiwx.mdwn
new file mode 100644 (file)
index 0000000..78922b7
--- /dev/null
+++ b/openpower/isa/fpstore/stfiwx.mdwn
@@ -0,0 +1,13 @@
+# Store Floating-Point as Integer Word Indexed 
+
+X-Form
+
+* stfiwx FRS,RA,RB
+
+Pseudo-code:
+
+[[!inline pagenames="openpower/isa/fpstore/stfiwx_code" raw="yes"]]
+
+Special Registers Altered:
+
+    None

diff --git a/openpower/isa/fpstore/stfiwx_code.mdwn b/openpower/isa/fpstore/stfiwx_code.mdwn
new file mode 100644 (file)
index 0000000..cac263a
--- /dev/null
+++ b/openpower/isa/fpstore/stfiwx_code.mdwn
@@ -0,0 +1,3 @@
+    b <- (RA|0)
+    EA <- b + (RB)
+    MEM(EA, 8)<- (FRS)[32:63]

diff --git a/openpower/isa/fpstore/stfs.mdwn b/openpower/isa/fpstore/stfs.mdwn
new file mode 100644 (file)
index 0000000..d64593f
--- /dev/null
+++ b/openpower/isa/fpstore/stfs.mdwn
@@ -0,0 +1,13 @@
+# Store Floating-Point Single
+
+D-Form
+
+* stfs FRS,D(RA)
+
+Pseudo-code:
+
+[[!inline pagenames="openpower/isa/fpstore/stfs_code" raw="yes"]]
+
+Special Registers Altered:
+
+    None

diff --git a/openpower/isa/fpstore/stfs_code.mdwn b/openpower/isa/fpstore/stfs_code.mdwn
new file mode 100644 (file)
index 0000000..6e76015
--- /dev/null
+++ b/openpower/isa/fpstore/stfs_code.mdwn
@@ -0,0 +1,2 @@
+    EA <- (RA|0) + EXTS(D)
+    MEM(EA, 4)<- SINGLE( (FRS) )

diff --git a/openpower/isa/fpstore/stfsu.mdwn b/openpower/isa/fpstore/stfsu.mdwn
new file mode 100644 (file)
index 0000000..eefba73
--- /dev/null
+++ b/openpower/isa/fpstore/stfsu.mdwn
@@ -0,0 +1,13 @@
+# Store Floating-Point Single with Update
+
+D-Form
+
+* stfsu FRS,D(RA)
+
+Pseudo-code:
+
+[[!inline pagenames="openpower/isa/fpstore/stfsu_code" raw="yes"]]
+
+Special Registers Altered:
+
+    None

diff --git a/openpower/isa/fpstore/stfsu_code.mdwn b/openpower/isa/fpstore/stfsu_code.mdwn
new file mode 100644 (file)
index 0000000..7f73b82
--- /dev/null
+++ b/openpower/isa/fpstore/stfsu_code.mdwn
@@ -0,0 +1,3 @@
+    EA <- (RA) + EXTS(D)
+    MEM(EA, 4)<- SINGLE( (FRS) )
+    RA <- EA

diff --git a/openpower/isa/fpstore/stfsux.mdwn b/openpower/isa/fpstore/stfsux.mdwn
new file mode 100644 (file)
index 0000000..0e02f66
--- /dev/null
+++ b/openpower/isa/fpstore/stfsux.mdwn
@@ -0,0 +1,13 @@
+# Store Floating-Point Single with Update Indexed
+
+X-Form
+
+* stfsux FRS,RA,RB
+
+Pseudo-code:
+
+[[!inline pagenames="openpower/isa/fpstore/stfsux_code" raw="yes"]]
+
+Special Registers Altered:
+
+    None

diff --git a/openpower/isa/fpstore/stfsux_code.mdwn b/openpower/isa/fpstore/stfsux_code.mdwn
new file mode 100644 (file)
index 0000000..c988cbe
--- /dev/null
+++ b/openpower/isa/fpstore/stfsux_code.mdwn
@@ -0,0 +1,3 @@
+    EA <- (RA) + (RB)
+    MEM(EA, 4)<- SINGLE( (FRS) )
+    RA <- EA

diff --git a/openpower/isa/fpstore/stfsx.mdwn b/openpower/isa/fpstore/stfsx.mdwn
new file mode 100644 (file)
index 0000000..14f4f7e
--- /dev/null
+++ b/openpower/isa/fpstore/stfsx.mdwn
@@ -0,0 +1,13 @@
+# Store Floating-Point Single Indexed
+
+X-Form
+
+* stfsx FRS,RA,RB
+
+Pseudo-code:
+
+[[!inline pagenames="openpower/isa/fpstore/stfsx_code" raw="yes"]]
+
+Special Registers Altered:
+
+    None

diff --git a/openpower/isa/fpstore/stfsx_code.mdwn b/openpower/isa/fpstore/stfsx_code.mdwn
new file mode 100644 (file)
index 0000000..3372e66
--- /dev/null
+++ b/openpower/isa/fpstore/stfsx_code.mdwn
@@ -0,0 +1,2 @@
+    EA <- (RA|0) + (RB)
+    MEM(EA, 4)<- SINGLE( (FRS) )