openpower/isa/fixedloadshift.mdwn

   1 <!-- This defines instructions described in PowerISA Version 3.0 B Book 1 -->
   2
   3 <!-- This defines instructions that load from RAM to a register -->
   4
   5 <!-- Note that these pages also define equivalent store instructions, -->
   6 <!-- these are described in fixedstore.mdwn -->
   7
   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 -->
  15
  16
  17
  18 <!-- Section 3.3.2 This defines the Fixed-Point Load Instructions pages 47 - 53 -->
  19
  20 <!-- The byte, halfword, word, or doubleword in storage addressed by EA is loaded -->
  21 <!-- into register RT. -->
  22
  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. -->
  27
  28
  29 # Load Byte and Zero Shifted Indexed
  30
  31 X-Form
  32
  33 * lbzsx RT,RA,RB,SH
  34
  35 Pseudo-code:
  36
  37     b <- (RA|0)
  38     EA <- b + (RB) << (SH+1)
  39     RT <- ([0] * (XLEN-8)) || MEM(EA, 1)
  40
  41 Description:
  42
  43     Let the effective address (EA) be the sum of the contents of
  44     register RB shifted by (SH+1), and (RA|0).
  45
  46     The byte in storage addressed by EA is loaded into RT[56:63].
  47     RT[0:55] are set to 0.
  48
  49 Special Registers Altered:
  50
  51     None
  52
  53 # Load Byte and Zero Shifted with Update Indexed
  54
  55 X-Form
  56
  57 * lbzsux RT,RA,RB,SH
  58
  59 Pseudo-code:
  60
  61     EA <- (RA) + (RB) << (SH+1)
  62     RT <- ([0] * (XLEN-8)) || MEM(EA, 1)
  63     RA <- EA
  64
  65 Description:
  66
  67     Let the effective address (EA) be the sum of the contents of
  68     register RB shifted by (SH+1), and the contents of register RA.
  69
  70     The byte in storage addressed by EA is loaded into RT[56:63].
  71     RT[0:55] are set to 0.
  72
  73     EA is placed into register RA.
  74
  75     If RA=0, the instruction form is invalid.
  76
  77 Special Registers Altered:
  78
  79     None
  80
  81 # Load Halfword and Zero Shifted Indexed
  82
  83 X-Form
  84
  85 * lhzsx RT,RA,RB,SH
  86
  87 Pseudo-code:
  88
  89     b <- (RA|0)
  90     EA <- b + (RB) << (SH+1)
  91     RT <- ([0] * (XLEN-16)) || MEM(EA, 2)
  92
  93 Description:
  94
  95     Let the effective address (EA) be the sum of the contents of
  96     register RB shifted by (SH+1), and (RA|0).
  97
  98     The halfword in storage addressed by EA is loaded into RT[48:63].
  99     RT[0:47] are set to 0.
 100
 101 Special Registers Altered:
 102
 103     None
 104
 105 # Load Halfword and Zero Shifted with Update Indexed
 106
 107 X-Form
 108
 109 * lhzsux RT,RA,RB,SH
 110
 111 Pseudo-code:
 112
 113     EA <- (RA) + (RB) << (SH+1)
 114     RT <- ([0] * (XLEN-16)) || MEM(EA, 2)
 115     RA <- EA
 116
 117 Description:
 118
 119     Let the effective address (EA) be the sum of the contents of
 120     register RB shifted by (SH+1), and the contents of register RA.
 121
 122     The halfword in storage addressed by EA is loaded into RT[48:63].
 123     RT[0:47] are set to 0.
 124
 125     EA is placed into register RA.
 126
 127     If RA=0, the instruction form is invalid.
 128
 129 Special Registers Altered:
 130
 131     None
 132
 133 # Load Halfword Algebraic Shifted Indexed
 134
 135 X-Form
 136
 137 * lhasx RT,RA,RB,SH
 138
 139 Pseudo-code:
 140
 141     b <- (RA|0)
 142     EA <- b + (RB) << (SH+1)
 143     RT <- EXTS(MEM(EA, 2))
 144
 145 Description:
 146
 147     Let the effective address (EA) be the sum of the contents of
 148     register RB shifted by (SH+1), and (RA|0).
 149
 150     The halfword in storage addressed by EA is loaded into RT[48:63].
 151     RT[0:47] are filled with a copy of bit 0 of the loaded halfword.
 152
 153 Special Registers Altered:
 154
 155     None
 156
 157 # Load Halfword Algebraic Shifted with Update Indexed
 158
 159 X-Form
 160
 161 * lhasux RT,RA,RB,SH
 162
 163 Pseudo-code:
 164
 165     EA <- (RA) + (RB) << (SH+1)
 166     RT <- EXTS(MEM(EA, 2))
 167     RA <- EA
 168
 169 Description:
 170
 171     Let the effective address (EA) be the sum of the contents of
 172     register RB shifted by (SH+1), and the contents of register RA.
 173
 174     The halfword in storage addressed by EA is loaded into RT[48:63].
 175     RT[0:47] are filled with a copy of bit 0 of the loaded halfword.
 176
 177     EA is placed into register RA.
 178
 179     If RA=0 or RA=RT, the instruction form is invalid.
 180
 181 Special Registers Altered:
 182
 183     None
 184
 185 # Load Word and Zero Shifted Indexed
 186
 187 X-Form
 188
 189 * lwzsx RT,RA,RB,SH
 190
 191 Pseudo-code:
 192
 193     b <- (RA|0)
 194     EA <- b + (RB) << (SH+1)
 195     RT <- [0] * 32 || MEM(EA, 4)
 196
 197 Description:
 198
 199     Let the effective address (EA) be the sum of the contents of
 200     register RB shifted by (SH+1), and (RA|0).
 201
 202     The word in storage addressed by EA is loaded into RT[32:63].
 203     RT[0:31] are set to 0.
 204
 205 Special Registers Altered:
 206
 207     None
 208
 209 # Load Word and Zero Shifted with Update Indexed
 210
 211 X-Form
 212
 213 * lwzsux RT,RA,RB,SH
 214
 215 Pseudo-code:
 216
 217     EA <- (RA) + (RB) << (SH+1)
 218     RT <- [0] * 32 || MEM(EA, 4)
 219     RA <- EA
 220
 221 Description:
 222
 223     Let the effective address (EA) be the sum of the contents of
 224     register RB shifted by (SH+1), and the contents of register RA.
 225
 226     The word in storage addressed by EA is loaded into RT[32:63].
 227     RT[0:31] are set to 0.
 228
 229     EA is placed into register RA.
 230
 231     If RA=0 or RA=RT, the instruction form is invalid.
 232
 233 Special Registers Altered:
 234
 235     None
 236
 237 # Load Word Algebraic Shifted Indexed
 238
 239 X-Form
 240
 241 * lwasx RT,RA,RB,SH
 242
 243 Pseudo-code:
 244
 245     b <- (RA|0)
 246     EA <- b + (RB) << (SH+1)
 247     RT <- EXTS(MEM(EA, 4))
 248
 249 Description:
 250
 251     Let the effective address (EA) be the sum of the contents of
 252     register RB shifted by (SH+1), and (RA|0).
 253
 254     The word in storage addressed by EA is loaded into RT[32:63].
 255     RT[0:31] are filled with a copy of bit 0 of the loaded word.
 256
 257 Special Registers Altered:
 258
 259     None
 260
 261 # Load Word Algebraic Shifted with Update Indexed
 262
 263 X-Form
 264
 265 * lwasux RT,RA,RB,SH
 266
 267 Pseudo-code:
 268
 269     EA <- (RA) + (RB) << (SH+1)
 270     RT <- EXTS(MEM(EA, 4))
 271     RA <- EA
 272
 273 Description:
 274
 275     Let the effective address (EA) be the sum of the contents of
 276     register RB shifted by (SH+1), and the contents of register RA.
 277
 278     The word in storage addressed by EA is loaded into RT[32:63].
 279     RT[0:31] are filled with a copy of bit 0 of the loaded word.
 280
 281     EA is placed into register RA.
 282
 283     If RA=0 or RA=RT, the instruction form is invalid.
 284
 285 Special Registers Altered:
 286
 287     None
 288
 289 # Load Doubleword Shifted Indexed
 290
 291 X-Form
 292
 293 * ldsx RT,RA,RB,SH
 294
 295 Pseudo-code:
 296
 297     b <- (RA|0)
 298     EA <- b + (RB) << (SH+1)
 299     RT <- MEM(EA, 8)
 300
 301 Description:
 302
 303     Let the effective address (EA) be the sum of the contents of
 304     register RB shifted by (SH+1), and (RA|0).
 305
 306     The doubleword in storage addressed by EA is loaded into RT.
 307
 308 Special Registers Altered:
 309
 310     None
 311
 312 # Load Doubleword Shifted with Update Indexed
 313
 314 X-Form
 315
 316 * ldsux RT,RA,RB,SH
 317
 318 Pseudo-code:
 319
 320     EA <- (RA) + (RB) << (SH+1)
 321     RT <- MEM(EA, 8)
 322     RA <- EA
 323
 324 Description:
 325
 326     Let the effective address (EA) be the sum of the contents of
 327     register RB shifted by (SH+1), and (RA).
 328
 329     The doubleword in storage addressed by EA is loaded into RT.
 330
 331     EA is placed into register RA.
 332
 333     If RA=0 or RA=RT, the instruction form is invalid.
 334
 335 Special Registers Altered:
 336
 337     None
 338
 339 <!-- byte-reverse shifted -->
 340
 341 # Load Halfword Byte-Reverse Shifted Indexed
 342
 343 X-Form
 344
 345 * lhbrsx RT,RA,RB,SH
 346
 347 Pseudo-code:
 348
 349     b <- (RA|0)
 350     EA <- b + (RB) << (SH+1)
 351     load_data <- MEM(EA, 2)
 352     RT <- [0]*48 || load_data[8:15] || load_data[0:7]
 353
 354 Description:
 355
 356     Let the effective address (EA) be the sum of the contents of
 357     register RB shifted by (SH+1), and (RA|0).
 358
 359     Bits 0:7 of the halfword in storage addressed by EA are
 360     loaded into RT[56:63]. Bits 8:15 of the halfword in storage
 361     addressed by EA are loaded into RT[48:55].
 362     RT[0:47] are set to 0.
 363
 364
 365 Special Registers Altered:
 366
 367     None
 368
 369 # Load Word Byte-Reverse Shifted Indexed
 370
 371 X-Form
 372
 373 * lwbrsx RT,RA,RB,SH
 374
 375 Pseudo-code:
 376
 377     b <- (RA|0)
 378     EA <- b + (RB) << (SH+1)
 379     load_data <- MEM(EA, 4)
 380     RT <- ([0] * 32 || load_data[24:31] || load_data[16:23]
 381                     || load_data[8:15]  || load_data[0:7])
 382
 383 Description:
 384
 385     Let the effective address (EA) be the sum of the contents of
 386     register RB shifted by (SH+1), and (RA|0).
 387
 388     Bits 0:7 of the word in storage addressed
 389     by EA are loaded into RT[56:63]. Bits 8:15 of the word in
 390     storage addressed by EA are loaded into RT[48:55]. Bits
 391     16:23 of the word in storage addressed by EA are
 392     loaded into RT[40:47]. Bits 24:31 of the word in storage
 393     addressed by EA are loaded into RT 32:39.
 394     RT[0:31] are set to 0.
 395
 396 Special Registers Altered:
 397
 398     None
 399
 400
 401 <!-- Section 3.3.5.1 64-Bit Load and Store with Byte Reversal Instructions page 61 -->
 402
 403 # Load Doubleword Byte-Reverse Shifted Indexed
 404
 405 X-Form
 406
 407 * ldbrsx RT,RA,RB,SH
 408
 409 Pseudo-code:
 410
 411     b <- (RA|0)
 412     EA <- b + (RB) << (SH+1)
 413     load_data <- MEM(EA, 8)
 414     RT <- (load_data[56:63] || load_data[48:55]
 415         || load_data[40:47] || load_data[32:39]
 416         || load_data[24:31] || load_data[16:23]
 417         || load_data[8:15]  || load_data[0:7])
 418
 419 Description:
 420
 421     Let the effective address (EA) be the sum of the contents of
 422     register RB shifted by (SH+1), and (RA|0).
 423
 424     Bits 0:7 of the doubleword in storage addressed by EA
 425     are loaded into RT[56:63]. Bits 8:15 of the doubleword in
 426     storage addressed by EA are loaded into RT[48:55]. Bits
 427     16:23 of the doubleword in storage addressed by EA
 428     are loaded into RT[40:47]. Bits 24:31 of the doubleword in
 429     storage addressed by EA are loaded into RT 32:39. Bits
 430     32:39 of the doubleword in storage addressed by EA
 431     are loaded into RT[24:31]. Bits 40:47 of the doubleword in
 432     storage addressed by EA are loaded into RT[16:23]. Bits
 433     48:55 of the doubleword in storage addressed by EA
 434     are loaded into RT[8:15]. Bits 56:63 of the doubleword in
 435     storage addressed by EA are loaded into RT[0:7].
 436
 437
 438 Special Registers Altered:
 439
 440     None
 441