From de318ccfa1c0d8d49b7fda700db1365554487ac1 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Tue, 17 Oct 2023 10:01:17 +0100 Subject: [PATCH] remove non-update instructions from pifpstore.mdwn --- openpower/isa/pifpstore.mdwn | 124 ----------------------------------- 1 file changed, 124 deletions(-) diff --git a/openpower/isa/pifpstore.mdwn b/openpower/isa/pifpstore.mdwn index 3d7bd776..ffbc8f7b 100644 --- a/openpower/isa/pifpstore.mdwn +++ b/openpower/isa/pifpstore.mdwn @@ -2,52 +2,6 @@ -# Store Floating-Point Single - -D-Form - -* stfs FRS,D(RA) - -Pseudo-code: - - EA <- (RA|0) + EXTS(D) - MEM(EA, 4)<- SINGLE( (FRS) ) - -Description: - - Let the effective address (EA) be the sum (RA|0)+D. - - The contents of register FRS are converted to single - format (see page 142) and stored into the word in stor- - age addressed by EA. - -Special Registers Altered: - - None - -# Store Floating-Point Single Indexed - -X-Form - -* stfsx FRS,RA,RB - -Pseudo-code: - - EA <- (RA|0) + (RB) - MEM(EA, 4)<- SINGLE( (FRS) ) - -Description: - - Let the effective address (EA) be the sum (RA|0)+(RB). - - The contents of register FRS are converted to single - format (see page 142) and stored into the word in stor- - age addressed by EA. - -Special Registers Altered: - - None - # Store Floating-Point Single with Update D-Form @@ -104,50 +58,6 @@ 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) - -Description: - - Let the effective address (EA) be the sum (RA|0)+D. - - The contents of register FRS are stored into the dou- - bleword in storage addressed by EA. - -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) - -Description: - - Let the effective address (EA) be the sum (RA|0)+(RB). - - The contents of register FRS are stored into the dou- - bleword in storage addressed by EA. - -Special Registers Altered: - - None - # Store Floating-Point Double with Update D-Form @@ -202,37 +112,3 @@ 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] - -Description: - - Let the effective address (EA) be the sum (RA|0)+(RB). - - (FRS)[32:63] are stored, without conversion, into the word - in storage addressed by EA. - - If the contents of register FRS were produced, either - directly or indirectly, by a Load Floating-Point Single - instruction, a single-precision Arithmetic instruction, or - frsp, then the value stored is undefined. (The contents - of register FRS are produced directly by such an - instruction if FRS is the target register for the instruc- - tion. The contents of register FRS are produced indi- - rectly by such an instruction if FRS is the final target - register of a sequence of one or more Floating-Point - Move instructions, with the input to the sequence hav- - ing been produced directly by such an instruction.) - -Special Registers Altered: - - None -- 2.30.2