1 <!-- X Instructions here described in PowerISA Version 3.0 B Book 1 -->
3 <!-- Section 4.6.3 Floating-point store instructions. P 144 - 147 -->
5 # Store Floating-Point Single
13 EA <- (RA|0) + EXTS(D)
14 MEM(EA, 4)<- SINGLE( (FRS) )
18 Let the effective address (EA) be the sum (RA|0)+D.
20 The contents of register FRS are converted to single
21 format (see page 142) and stored into the word in stor-
24 Special Registers Altered:
28 # Store Floating-Point Single Indexed
37 MEM(EA, 4)<- SINGLE( (FRS) )
41 Let the effective address (EA) be the sum (RA|0)+(RB).
43 The contents of register FRS are converted to single
44 format (see page 142) and stored into the word in stor-
47 Special Registers Altered:
51 # Store Floating-Point Single with Update
60 MEM(EA, 4)<- SINGLE( (FRS) )
63 Special Registers Altered:
67 # Store Floating-Point Single with Update Indexed
76 MEM(EA, 4)<- SINGLE( (FRS) )
79 Special Registers Altered:
83 # Store Floating-Point Double
91 EA <- (RA|0) + EXTS(D)
94 Special Registers Altered:
98 # Store Floating-Point Double Indexed
109 Special Registers Altered:
113 # Store Floating-Point Double with Update
125 Special Registers Altered:
129 # Store Floating-Point Double with Update Indexed
141 Special Registers Altered:
145 # Store Floating-Point as Integer Word Indexed
155 MEM(EA, 8)<- (FRS)[32:63]
157 Special Registers Altered: