remove non-update instructions from pifpload.mdwn
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Tue, 17 Oct 2023 09:03:00 +0000 (10:03 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 22 Dec 2023 19:26:21 +0000 (19:26 +0000)
openpower/isa/pifpload.mdwn

index d2bc4185d3577998bf4f90ce8d59926ac9bed96f..9c65329242ec5382f2fe9ae7331ed060c1a22fe9 100644 (file)
@@ -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