1 <!-- This defines instructions described in PowerISA Version 3.0 B Book 1 -->
3 <!-- This defines instructions that load from RAM to a register -->
5 <!-- Note that these pages also define equivalent store instructions, -->
6 <!-- these are described in fixedstore.mdwn -->
8 <!-- Section 3.3.2 This defines the Fixed-Point Load Instructions pages 47 - 53 -->
9 <!-- Section 3.3.3 Fixed-Point Store Instructions pages 54 - 56 -->
10 <!-- Section 3.3.3.1 64-bit Fixed-Point Store Instructions pages 57 -->
11 <!-- Section 3.3.4 Fixed Point Load and Store Quadword Instructions pages 58 - 59 -->
12 <!-- Section 3.3.5 Fixed-Point Load and Store with Byte Reversal Instructions page 60 -->
13 <!-- Section 3.3.5.1 64-Bit Load and Store with Byte Reversal Instructions page 61 -->
14 <!-- Section 3.3.6 Fixed-Point Load and Store Multiple Instructions page 62 -->
18 <!-- Section 3.3.2 This defines the Fixed-Point Load Instructions pages 47 - 53 -->
20 <!-- The byte, halfword, word, or doubleword in storage addressed by EA is loaded -->
21 <!-- into register RT. -->
23 <!-- Many of the Load instructions have an “update” form, in which register RA is -->
24 <!-- updated with the effective address. For these forms, if RA!=0 and RA!=RT, the -->
25 <!-- effective address is placed into register RA and the storage element (byte, -->
26 <!-- halfword, word, or doubleword) addressed by EA is loaded into RT. -->
39 RT <- ([0] * (XLEN-8)) || MEM(EA, 1)
43 Let the effective address (EA) be the sum (RA|0)+ D.
44 The byte in storage addressed by EA is loaded into
45 RT[56:63]. RT[0:55] are set to 0.
47 Special Registers Altered:
51 # Load Byte and Zero Indexed
61 RT <- ([0] * (XLEN-8)) || MEM(EA, 1)
63 Special Registers Altered:
67 # Load Byte and Zero with Update
76 RT <- ([0] * (XLEN-8)) || MEM(EA, 1)
81 Let the effective address (EA) be the sum (RA)+ D. The
82 byte in storage addressed by EA is loaded into RT[56:63].
83 RT[0:55] are set to 0.
85 EA is placed into register RA.
87 If RA=0 or RA=RT, the instruction form is invalid.
89 Special Registers Altered:
93 # Load Byte and Zero with Update Indexed
102 RT <- ([0] * (XLEN-8)) || MEM(EA, 1)
107 Let the effective address (EA) be the sum (RA)+ (RB).
108 The byte in storage addressed by EA is loaded into
109 RT[56:63]. RT[0:55] are set to 0.
111 EA is placed into register RA.
113 If RA=0 or RA=RT, the instruction form is invalid.
115 Special Registers Altered:
119 # Load Halfword and Zero
129 RT <- ([0] * (XLEN-16)) || MEM(EA, 2)
131 Special Registers Altered:
135 # Load Halfword and Zero Indexed
145 RT <- ([0] * (XLEN-16)) || MEM(EA, 2)
147 Special Registers Altered:
151 # Load Halfword and Zero with Update
160 RT <- ([0] * (XLEN-16)) || MEM(EA, 2)
165 Let the effective address (EA) be the sum (RA)+ D. The
166 halfword in storage addressed by EA is loaded into
167 RT[48:63]. RT[0:47] are set to 0.
169 EA is placed into register RA.
171 If RA=0 or RA=RT, the instruction form is invalid.
173 Special Registers Altered:
177 # Load Halfword and Zero with Update Indexed
186 RT <- ([0] * (XLEN-16)) || MEM(EA, 2)
191 Let the effective address (EA) be the sum (RA)+ (RB).
192 The halfword in storage addressed by EA is loaded into
193 RT[48:63]. RT[0:47] are set to 0.
195 EA is placed into register RA.
197 If RA=0 or RA=RT, the instruction form is invalid.
199 Special Registers Altered:
203 # Load Halfword Algebraic
213 RT <- EXTS(MEM(EA, 2))
215 Special Registers Altered:
219 # Load Halfword Algebraic Indexed
229 RT <- EXTS(MEM(EA, 2))
231 Special Registers Altered:
235 # Load Halfword Algebraic with Update
244 RT <- EXTS(MEM(EA, 2))
249 Let the effective address (EA) be the sum (RA)+ D. The
250 halfword in storage addressed by EA is loaded into
251 RT[48:63]. RT[0:47] are filled with a copy of bit 0 of the
254 EA is placed into register RA.
256 If RA=0 or RA=RT, the instruction form is invalid.
258 Special Registers Altered:
262 # Load Halfword Algebraic with Update Indexed
271 RT <- EXTS(MEM(EA, 2))
276 Let the effective address (EA) be the sum (RA)+ (RB).
277 The halfword in storage addressed by EA is loaded into
278 RT48:63. RT 0:47 are filled with a copy of bit 0 of the
281 EA is placed into register RA.
283 If RA=0 or RA=RT, the instruction form is invalid.
285 Special Registers Altered:
299 RT <- [0] * 32 || MEM(EA, 4)
301 Special Registers Altered:
305 # Load Word and Zero Indexed
315 RT <- [0] * 32 || MEM(EA, 4)
317 Special Registers Altered:
321 # Load Word and Zero with Update
330 RT <- [0]*32 || MEM(EA, 4)
333 Special Registers Altered:
337 # Load Word and Zero with Update Indexed
346 RT <- [0] * 32 || MEM(EA, 4)
349 Special Registers Altered:
353 # Load Word Algebraic
362 EA <- b + EXTS(DS || 0b00)
363 RT <- EXTS(MEM(EA, 4))
365 Special Registers Altered:
369 # Load Word Algebraic Indexed
379 RT <- EXTS(MEM(EA, 4))
381 Special Registers Altered:
385 # Load Word Algebraic with Update Indexed
394 RT <- EXTS(MEM(EA, 4))
397 Special Registers Altered:
410 EA <- b + EXTS(DS || 0b00)
413 Special Registers Altered:
417 # Load Doubleword Indexed
429 Special Registers Altered:
433 # Load Doubleword with Update Indexed
441 EA <- (RA) + EXTS(DS || 0b00)
445 Special Registers Altered:
449 # Load Doubleword with Update Indexed
461 Special Registers Altered:
465 <!-- Section 3.3.3 Fixed-Point Store Instructions pages 54 - 56 -->
467 <!-- The contents of register RS are stored into the byte, halfword, word, or -->
468 <!-- doubleword in storage addressed by EA. -->
470 <!-- Many of the Store instructions have an “update” form, in which register RA is -->
471 <!-- updated with the effective address. For these forms, the following rules apply. -->
473 <!-- If RA!=0, the effective address is placed into register RA. -->
475 <!-- If RS=RA, the contents of register RS are copied to the target storage element -->
476 <!-- and then EA is placed into RA (RS). -->
478 <!-- Section 3.3.3.1 64-bit Fixed-Point Store Instructions pages 57 -->
480 <!-- Section 3.3.4 Fixed Point Load and Store Quadword Instructions pages 58 - 59 -->
482 <!-- For lq, the quadword in storage addressed by EA is loaded into an even-odd pair -->
483 <!-- of GPRs as follows. In Big-Endian mode, the even-numbered GPR is loaded with -->
484 <!-- the doubleword from storage addressed by EA and the odd-numbered GPR is loaded -->
485 <!-- with the doubleword addressed by EA+8. In Little-Endian mode, the even-numbered -->
486 <!-- GPR is loaded with the byte-reversed doubleword from storage addressed by EA+8 -->
487 <!-- and the odd-numbered GPR is loaded with the byte-reversed doubleword addressed -->
499 EA <- b + EXTS(DQ || 0b0000)
502 Special Registers Altered:
506 <!-- Section 3.3.5 Fixed-Point Load and Store with Byte Reversal Instructions page 60 -->
508 # Load Halfword Byte-Reverse Indexed
518 load_data <- MEM(EA, 2)
519 RT <- [0]*48 || load_data[8:15] || load_data[0:7]
521 Special Registers Altered:
525 # Load Word Byte-Reverse Indexed
535 load_data <- MEM(EA, 4)
536 RT <- ([0] * 32 || load_data[24:31] || load_data[16:23]
537 || load_data[8:15] || load_data[0:7])
539 Special Registers Altered:
544 <!-- Section 3.3.5.1 64-Bit Load and Store with Byte Reversal Instructions page 61 -->
546 # Load Doubleword Byte-Reverse Indexed
556 load_data <- MEM(EA, 8)
557 RT <- (load_data[56:63] || load_data[48:55]
558 || load_data[40:47] || load_data[32:39]
559 || load_data[24:31] || load_data[16:23]
560 || load_data[8:15] || load_data[0:7])
562 Special Registers Altered:
566 <!-- Section 3.3.6 Fixed-Point Load and Store Multiple Instructions page 62 -->
580 GPR(r) <- [0]*32 || MEM(EA, 4)
584 Special Registers Altered: