From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 17 Oct 2023 09:03:00 +0000 (+0100)
Subject: remove non-update instructions from pifpload.mdwn
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2b7cb02c3ef575b0a04ae5e6be2b0fb187c08057;p=openpower-isa.git

remove non-update instructions from pifpload.mdwn
---

diff --git a/openpower/isa/pifpload.mdwn b/openpower/isa/pifpload.mdwn
index d2bc4185..9c653292 100644
--- a/openpower/isa/pifpload.mdwn
+++ b/openpower/isa/pifpload.mdwn
@@ -2,53 +2,6 @@
 
 <!-- Section 4.6.1 Floating-point storage access instructions. P 140 - 143 -->
 
-# Load Floating-Point Single
-
-D-Form
-
-* lfs FRT,D(RA)
-
-Pseudo-code:
-
-    EA <- (RA|0) + EXTS(D)
-    FRT <- DOUBLE(MEM(EA, 4))
-
-Description:
-
-    Let the effective address (EA) be the sum (RA|0)+D.
-    The word in storage addressed by EA is interpreted as
-    a floating-point single-precision operand. This word is
-    converted to floating-point double format (see
-    page 138) and placed into register FRT.
-
-Special Registers Altered:
-
-    None
-
-# Load Floating-Point Single Indexed
-
-X-Form
-
-* lfsx FRT,RA,RB
-
-Pseudo-code:
-
-    EA <- (RA|0) + (RB)
-    FRT <- DOUBLE(MEM(EA, 4))
-
-Description:
-
-    Let the effective address (EA) be the sum (RA|0)+(RB).
-
-    The word in storage addressed by EA is interpreted as
-    a floating-point single-precision operand. This word is
-    converted to floating-point double format (see
-    page 138) and placed into register FRT.
-
-Special Registers Altered:
-
-    None
-
 # Load Floating-Point Single with Update
 
 D-Form
@@ -107,50 +60,6 @@ Special Registers Altered:
 
     None
 
-# Load Floating-Point Double
-
-D-Form
-
-* lfd FRT,D(RA)
-
-Pseudo-code:
-
-    EA <- (RA|0) + EXTS(D)
-    FRT <- MEM(EA, 8)
-
-Description:
-
-    Let the effective address (EA) be the sum (RA|0)+D.
-
-    The doubleword in storage addressed by EA is loaded
-    into register FRT.
-
-Special Registers Altered:
-
-    None
-
-# Load Floating-Point Double Indexed
-
-X-Form
-
-* lfdx FRT,RA,RB
-
-Pseudo-code:
-
-    EA <- (RA|0) + (RB)
-    FRT <- MEM(EA, 8)
-
-Description:
-
-    Let the effective address (EA) be the sum (RA|0)+(RB).
-
-    The doubleword in storage addressed by EA is loaded
-    into register FRT.
-
-Special Registers Altered:
-
-    None
-
 # Load Floating-Point Double with Update
 
 D-Form
@@ -228,24 +137,3 @@ Special Registers Altered:
 
     None
 
-# Load Floating-Point as Integer Word Zero Indexed 
-
-X-Form
-
-* lfiwzx FRT,RA,RB
-
-Pseudo-code:
-
-    EA <- (RA|0) + (RB)
-    FRT <- [0]*32 || MEM(EA, 4)
-
-Description:
-
-    Let the effective address (EA) be the sum (RA|0)+(RB).
-
-    The word in storage addressed by EA is loaded into
-    FRT [32:63]. FRT [0:31] are set to 0.
-
-Special Registers Altered:
-
-    None