1 <!-- X Instructions here described in PowerISA Version 3.0 B Book 1 -->
3 <!-- Section 4.6.1 Floating-point storage access instructions. P 140 - 143 -->
5 # Load Floating-Point Single
13 EA <- (RA|0) + EXTS(D)
14 FRT <- DOUBLE(MEM(EA, 4))
16 Special Registers Altered:
20 # Load Floating-Point Single Indexed
29 FRT <- DOUBLE(MEM(EA, 4))
31 Special Registers Altered:
35 # Load Floating-Point Single with Update
44 FRT <- DOUBLE(MEM(EA, 4))
47 Special Registers Altered:
51 # Load Floating-Point Single with Update Indexed
60 FRT <- DOUBLE(MEM(EA, 4))
63 Special Registers Altered:
67 # Load Floating-Point Double
75 EA <- (RA|0) + EXTS(D)
78 Special Registers Altered:
82 # Load Floating-Point Double Indexed
93 Special Registers Altered:
97 # Load Floating-Point Double with Update
109 Special Registers Altered:
113 # Load Floating-Point Double with Update Indexed
125 Special Registers Altered:
129 # Load Floating-Point as Integer Word Algebraic Indexed
138 FRT <- EXTS(MEM(EA, 4))
140 Special Registers Altered:
144 # Load Floating-Point as Integer Word Zero Indexed
153 FRT <- [0]*32 || MEM(EA, 4)
155 Special Registers Altered: