test/MC/PowerPC/ppc64-encoding.s

   1
   2 # RUN: llvm-mc -triple powerpc64-unknown-unknown --show-encoding %s | FileCheck %s
   3
   4 # Branch facility
   5
   6 # Branch instructions
   7
   8 # CHECK: b target                        # encoding: [0b010010AA,A,A,0bAAAAAA00]
   9 # CHECK-NEXT:                            #   fixup A - offset: 0, value: target, kind: fixup_ppc_br24
  10          b target
  11 # FIXME: ba target
  12 # CHECK: bl target                       # encoding: [0b010010AA,A,A,0bAAAAAA01]
  13 # CHECK-NEXT:                            #   fixup A - offset: 0, value: target, kind: fixup_ppc_br24
  14          bl target
  15 # FIXME: bla target
  16
  17 # FIXME: bc 4, 10, target
  18 # FIXME: bca 4, 10, target
  19 # FIXME: bcl 4, 10, target
  20 # FIXME: bcla 4, 10, target
  21
  22 # FIXME: bclr 4, 10, 3
  23 # FIXME: bclrl 4, 10, 3
  24 # FIXME: bcctr 4, 10, 3
  25 # FIXME: bcctrl 4, 10, 3
  26
  27 # Condition register instructions
  28
  29 # FIXME: crand 2, 3, 4
  30 # FIXME: crnand 2, 3, 4
  31 # CHECK: cror 2, 3, 4                    # encoding: [0x4c,0x43,0x23,0x82]
  32          cror 2, 3, 4
  33 # FIXME: crxor 2, 3, 4
  34 # FIXME: crnor 2, 3, 4
  35 # CHECK: creqv 2, 3, 4                   # encoding: [0x4c,0x43,0x22,0x42]
  36          creqv 2, 3, 4
  37 # FIXME: crandc 2, 3, 4
  38 # FIXME: crorc 2, 3, 4
  39 # CHECK: mcrf 2, 3                       # encoding: [0x4d,0x0c,0x00,0x00]
  40          mcrf 2, 3
  41
  42 # System call instruction
  43
  44 # CHECK: sc 1                            # encoding: [0x44,0x00,0x00,0x22]
  45          sc 1
  46 # CHECK: sc 0                            # encoding: [0x44,0x00,0x00,0x02]
  47          sc
  48
  49 # Fixed-point facility
  50
  51 # Fixed-point load instructions
  52
  53 # CHECK: lbz 2, 128(4)                   # encoding: [0x88,0x44,0x00,0x80]
  54          lbz 2, 128(4)
  55 # CHECK: lbzx 2, 3, 4                    # encoding: [0x7c,0x43,0x20,0xae]
  56          lbzx 2, 3, 4
  57 # CHECK: lbzu 2, 128(4)                  # encoding: [0x8c,0x44,0x00,0x80]
  58          lbzu 2, 128(4)
  59 # CHECK: lbzux 2, 3, 4                   # encoding: [0x7c,0x43,0x20,0xee]
  60          lbzux 2, 3, 4
  61 # CHECK: lhz 2, 128(4)                   # encoding: [0xa0,0x44,0x00,0x80]
  62          lhz 2, 128(4)
  63 # CHECK: lhzx 2, 3, 4                    # encoding: [0x7c,0x43,0x22,0x2e]
  64          lhzx 2, 3, 4
  65 # CHECK: lhzu 2, 128(4)                  # encoding: [0xa4,0x44,0x00,0x80]
  66          lhzu 2, 128(4)
  67 # CHECK: lhzux 2, 3, 4                   # encoding: [0x7c,0x43,0x22,0x6e]
  68          lhzux 2, 3, 4
  69 # CHECK: lha 2, 128(4)                   # encoding: [0xa8,0x44,0x00,0x80]
  70          lha 2, 128(4)
  71 # CHECK: lhax 2, 3, 4                    # encoding: [0x7c,0x43,0x22,0xae]
  72          lhax 2, 3, 4
  73 # CHECK: lhau 2, 128(4)                  # encoding: [0xac,0x44,0x00,0x80]
  74          lhau 2, 128(4)
  75 # CHECK: lhaux 2, 3, 4                   # encoding: [0x7c,0x43,0x22,0xee]
  76          lhaux 2, 3, 4
  77 # CHECK: lwz 2, 128(4)                   # encoding: [0x80,0x44,0x00,0x80]
  78          lwz 2, 128(4)
  79 # CHECK: lwzx 2, 3, 4                    # encoding: [0x7c,0x43,0x20,0x2e]
  80          lwzx 2, 3, 4
  81 # CHECK: lwzu 2, 128(4)                  # encoding: [0x84,0x44,0x00,0x80]
  82          lwzu 2, 128(4)
  83 # CHECK: lwzux 2, 3, 4                   # encoding: [0x7c,0x43,0x20,0x6e]
  84          lwzux 2, 3, 4
  85 # CHECK: lwa 2, 128(4)                   # encoding: [0xe8,0x44,0x00,0x82]
  86          lwa 2, 128(4)
  87 # CHECK: lwax 2, 3, 4                    # encoding: [0x7c,0x43,0x22,0xaa]
  88          lwax 2, 3, 4
  89 # CHECK: lwaux 2, 3, 4                   # encoding: [0x7c,0x43,0x22,0xea]
  90          lwaux 2, 3, 4
  91 # CHECK: ld 2, 128(4)                    # encoding: [0xe8,0x44,0x00,0x80]
  92          ld 2, 128(4)
  93 # CHECK: ldx 2, 3, 4                     # encoding: [0x7c,0x43,0x20,0x2a]
  94          ldx 2, 3, 4
  95 # CHECK: ldu 2, 128(4)                   # encoding: [0xe8,0x44,0x00,0x81]
  96          ldu 2, 128(4)
  97 # CHECK: ldux 2, 3, 4                    # encoding: [0x7c,0x43,0x20,0x6a]
  98          ldux 2, 3, 4
  99
 100 # Fixed-point store instructions
 101
 102 # CHECK: stb 2, 128(4)                   # encoding: [0x98,0x44,0x00,0x80]
 103          stb 2, 128(4)
 104 # CHECK: stbx 2, 3, 4                    # encoding: [0x7c,0x43,0x21,0xae]
 105          stbx 2, 3, 4
 106 # CHECK: stbu 2, 128(4)                  # encoding: [0x9c,0x44,0x00,0x80]
 107          stbu 2, 128(4)
 108 # CHECK: stbux 2, 3, 4                   # encoding: [0x7c,0x43,0x21,0xee]
 109          stbux 2, 3, 4
 110 # CHECK: sth 2, 128(4)                   # encoding: [0xb0,0x44,0x00,0x80]
 111          sth 2, 128(4)
 112 # CHECK: sthx 2, 3, 4                    # encoding: [0x7c,0x43,0x23,0x2e]
 113          sthx 2, 3, 4
 114 # CHECK: sthu 2, 128(4)                  # encoding: [0xb4,0x44,0x00,0x80]
 115          sthu 2, 128(4)
 116 # CHECK: sthux 2, 3, 4                   # encoding: [0x7c,0x43,0x23,0x6e]
 117          sthux 2, 3, 4
 118 # CHECK: stw 2, 128(4)                   # encoding: [0x90,0x44,0x00,0x80]
 119          stw 2, 128(4)
 120 # CHECK: stwx 2, 3, 4                    # encoding: [0x7c,0x43,0x21,0x2e]
 121          stwx 2, 3, 4
 122 # CHECK: stwu 2, 128(4)                  # encoding: [0x94,0x44,0x00,0x80]
 123          stwu 2, 128(4)
 124 # CHECK: stwux 2, 3, 4                   # encoding: [0x7c,0x43,0x21,0x6e]
 125          stwux 2, 3, 4
 126 # CHECK: std 2, 128(4)                   # encoding: [0xf8,0x44,0x00,0x80]
 127          std 2, 128(4)
 128 # CHECK: stdx 2, 3, 4                    # encoding: [0x7c,0x43,0x21,0x2a]
 129          stdx 2, 3, 4
 130 # CHECK: stdu 2, 128(4)                  # encoding: [0xf8,0x44,0x00,0x81]
 131          stdu 2, 128(4)
 132 # CHECK: stdux 2, 3, 4                   # encoding: [0x7c,0x43,0x21,0x6a]
 133          stdux 2, 3, 4
 134
 135 # Fixed-point load and store with byte reversal instructions
 136
 137 # CHECK: lhbrx 2, 3, 4                   # encoding: [0x7c,0x43,0x26,0x2c]
 138          lhbrx 2, 3, 4
 139 # CHECK: sthbrx 2, 3, 4                  # encoding: [0x7c,0x43,0x27,0x2c]
 140          sthbrx 2, 3, 4
 141 # CHECK: lwbrx 2, 3, 4                   # encoding: [0x7c,0x43,0x24,0x2c]
 142          lwbrx 2, 3, 4
 143 # CHECK: stwbrx 2, 3, 4                  # encoding: [0x7c,0x43,0x25,0x2c]
 144          stwbrx 2, 3, 4
 145 # CHECK: ldbrx 2, 3, 4                   # encoding: [0x7c,0x43,0x24,0x28]
 146          ldbrx 2, 3, 4
 147 # CHECK: stdbrx 2, 3, 4                  # encoding: [0x7c,0x43,0x25,0x28]
 148          stdbrx 2, 3, 4
 149
 150 # FIXME: Fixed-point load and store multiple instructions
 151
 152 # FIXME: Fixed-point move assist instructions
 153
 154 # Fixed-point arithmetic instructions
 155
 156 # CHECK: addi 2, 3, 128                  # encoding: [0x38,0x43,0x00,0x80]
 157          addi 2, 3, 128
 158 # CHECK: addis 2, 3, 128                 # encoding: [0x3c,0x43,0x00,0x80]
 159          addis 2, 3, 128
 160 # CHECK: add 2, 3, 4                     # encoding: [0x7c,0x43,0x22,0x14]
 161          add 2, 3, 4
 162 # CHECK: add. 2, 3, 4                    # encoding: [0x7c,0x43,0x22,0x15]
 163          add. 2, 3, 4
 164 # FIXME: addo 2, 3, 4
 165 # FIXME: addo. 2, 3, 4
 166 # CHECK: subf 2, 3, 4                    # encoding: [0x7c,0x43,0x20,0x50]
 167          subf 2, 3, 4
 168 # CHECK: subf. 2, 3, 4                   # encoding: [0x7c,0x43,0x20,0x51]
 169          subf. 2, 3, 4
 170 # FIXME: subfo 2, 3, 4
 171 # FIXME: subfo. 2, 3, 4
 172 # CHECK: addic 2, 3, 128                 # encoding: [0x30,0x43,0x00,0x80]
 173          addic 2, 3, 128
 174 # CHECK: addic. 2, 3, 128                # encoding: [0x34,0x43,0x00,0x80]
 175          addic. 2, 3, 128
 176 # CHECK: subfic 2, 3, 4                  # encoding: [0x20,0x43,0x00,0x04]
 177          subfic 2, 3, 4
 178
 179 # CHECK: addc 2, 3, 4                    # encoding: [0x7c,0x43,0x20,0x14]
 180          addc 2, 3, 4
 181 # CHECK: addc. 2, 3, 4                   # encoding: [0x7c,0x43,0x20,0x15]
 182          addc. 2, 3, 4
 183 # FIXME: addco 2, 3, 4
 184 # FIXME: addco. 2, 3, 4
 185 # CHECK: subfc 2, 3, 4                   # encoding: [0x7c,0x43,0x20,0x10]
 186          subfc 2, 3, 4
 187 # CHECK: subfc 2, 3, 4                   # encoding: [0x7c,0x43,0x20,0x10]
 188          subfc 2, 3, 4
 189 # FIXME: subfco 2, 3, 4
 190 # FIXME: subfco. 2, 3, 4
 191
 192 # CHECK: adde 2, 3, 4                    # encoding: [0x7c,0x43,0x21,0x14]
 193          adde 2, 3, 4
 194 # CHECK: adde. 2, 3, 4                   # encoding: [0x7c,0x43,0x21,0x15]
 195          adde. 2, 3, 4
 196 # FIXME: addeo 2, 3, 4
 197 # FIXME: addeo. 2, 3, 4
 198 # CHECK: subfe 2, 3, 4                   # encoding: [0x7c,0x43,0x21,0x10]
 199          subfe 2, 3, 4
 200 # CHECK: subfe. 2, 3, 4                  # encoding: [0x7c,0x43,0x21,0x11]
 201          subfe. 2, 3, 4
 202 # FIXME: subfeo 2, 3, 4
 203 # FIXME: subfeo. 2, 3, 4
 204
 205 # CHECK: addme 2, 3                      # encoding: [0x7c,0x43,0x01,0xd4]
 206          addme 2, 3
 207 # CHECK: addme. 2, 3                     # encoding: [0x7c,0x43,0x01,0xd5]
 208          addme. 2, 3
 209 # FIXME: addmeo 2, 3
 210 # FIXME: addmeo. 2, 3
 211 # CHECK: subfme 2, 3                     # encoding: [0x7c,0x43,0x01,0xd0]
 212          subfme 2, 3
 213 # CHECK: subfme. 2, 3                    # encoding: [0x7c,0x43,0x01,0xd1]
 214          subfme. 2, 3
 215 # FIXME: subfmeo 2, 3
 216 # FIXME: subfmeo. 2, 3
 217
 218 # CHECK: addze 2, 3                      # encoding: [0x7c,0x43,0x01,0x94]
 219          addze 2, 3
 220 # CHECK: addze. 2, 3                     # encoding: [0x7c,0x43,0x01,0x95]
 221          addze. 2, 3
 222 # FIXME: addzeo 2, 3
 223 # FIXME: addzeo. 2, 3
 224 # CHECK: subfze 2, 3                     # encoding: [0x7c,0x43,0x01,0x90]
 225          subfze 2, 3
 226 # CHECK: subfze. 2, 3                    # encoding: [0x7c,0x43,0x01,0x91]
 227          subfze. 2, 3
 228 # FIXME: subfzeo 2, 3
 229 # FIXME: subfzeo. 2, 3
 230
 231 # CHECK: neg 2, 3                        # encoding: [0x7c,0x43,0x00,0xd0]
 232          neg 2, 3
 233 # CHECK: neg. 2, 3                       # encoding: [0x7c,0x43,0x00,0xd1]
 234          neg. 2, 3
 235 # FIXME: nego 2, 3
 236 # FIXME: nego. 2, 3
 237
 238 # CHECK: mulli 2, 3, 128                 # encoding: [0x1c,0x43,0x00,0x80]
 239          mulli 2, 3, 128
 240 # CHECK: mulhw 2, 3, 4                   # encoding: [0x7c,0x43,0x20,0x96]
 241          mulhw 2, 3, 4
 242 # CHECK: mulhw. 2, 3, 4                  # encoding: [0x7c,0x43,0x20,0x97]
 243          mulhw. 2, 3, 4
 244 # CHECK: mullw 2, 3, 4                   # encoding: [0x7c,0x43,0x21,0xd6]
 245          mullw 2, 3, 4
 246 # CHECK: mullw. 2, 3, 4                  # encoding: [0x7c,0x43,0x21,0xd7]
 247          mullw. 2, 3, 4
 248 # FIXME: mullwo 2, 3, 4
 249 # FIXME: mullwo. 2, 3, 4
 250 # CHECK: mulhwu 2, 3, 4                  # encoding: [0x7c,0x43,0x20,0x16]
 251          mulhwu 2, 3, 4
 252 # CHECK: mulhwu. 2, 3, 4                 # encoding: [0x7c,0x43,0x20,0x17]
 253          mulhwu. 2, 3, 4
 254
 255 # CHECK: divw 2, 3, 4                    # encoding: [0x7c,0x43,0x23,0xd6]
 256          divw 2, 3, 4
 257 # CHECK: divw. 2, 3, 4                   # encoding: [0x7c,0x43,0x23,0xd7]
 258          divw. 2, 3, 4
 259 # FIXME: divwo 2, 3, 4
 260 # FIXME: divwo. 2, 3, 4
 261 # CHECK: divwu 2, 3, 4                   # encoding: [0x7c,0x43,0x23,0x96]
 262          divwu 2, 3, 4
 263 # CHECK: divwu. 2, 3, 4                  # encoding: [0x7c,0x43,0x23,0x97]
 264          divwu. 2, 3, 4
 265 # FIXME: divwuo 2, 3, 4
 266 # FIXME: divwuo. 2, 3, 4
 267 # FIXME: divwe 2, 3, 4
 268 # FIXME: divwe. 2, 3, 4
 269 # FIXME: divweo 2, 3, 4
 270 # FIXME: divweo. 2, 3, 4
 271 # FIXME: divweu 2, 3, 4
 272 # FIXME: divweu. 2, 3, 4
 273 # FIXME: divweuo 2, 3, 4
 274 # FIXME: divweuo. 2, 3, 4
 275
 276 # CHECK: mulld 2, 3, 4                   # encoding: [0x7c,0x43,0x21,0xd2]
 277          mulld 2, 3, 4
 278 # CHECK: mulld. 2, 3, 4                  # encoding: [0x7c,0x43,0x21,0xd3]
 279          mulld. 2, 3, 4
 280 # FIXME: mulldo 2, 3, 4
 281 # FIXME: mulldo. 2, 3, 4
 282 # CHECK: mulhd 2, 3, 4                   # encoding: [0x7c,0x43,0x20,0x92]
 283          mulhd 2, 3, 4
 284 # CHECK: mulhd. 2, 3, 4                  # encoding: [0x7c,0x43,0x20,0x93]
 285          mulhd. 2, 3, 4
 286 # CHECK: mulhdu 2, 3, 4                  # encoding: [0x7c,0x43,0x20,0x12]
 287          mulhdu 2, 3, 4
 288 # CHECK: mulhdu. 2, 3, 4                 # encoding: [0x7c,0x43,0x20,0x13]
 289          mulhdu. 2, 3, 4
 290
 291 # CHECK: divd 2, 3, 4                    # encoding: [0x7c,0x43,0x23,0xd2]
 292          divd 2, 3, 4
 293 # CHECK: divd. 2, 3, 4                   # encoding: [0x7c,0x43,0x23,0xd3]
 294          divd. 2, 3, 4
 295 # FIXME: divdo 2, 3, 4
 296 # FIXME: divdo. 2, 3, 4
 297 # CHECK: divdu 2, 3, 4                   # encoding: [0x7c,0x43,0x23,0x92]
 298          divdu 2, 3, 4
 299 # CHECK: divdu. 2, 3, 4                  # encoding: [0x7c,0x43,0x23,0x93]
 300          divdu. 2, 3, 4
 301 # FIXME: divduo 2, 3, 4
 302 # FIXME: divduo. 2, 3, 4
 303 # FIXME: divde 2, 3, 4
 304 # FIXME: divde. 2, 3, 4
 305 # FIXME: divdeo 2, 3, 4
 306 # FIXME: divdeo. 2, 3, 4
 307 # FIXME: divdeu 2, 3, 4
 308 # FIXME: divdeu. 2, 3, 4
 309 # FIXME: divdeuo 2, 3, 4
 310 # FIXME: divdeuo. 2, 3, 4
 311
 312 # FIXME: Fixed-point compare instructions
 313
 314 # FIXME: Fixed-point trap instructions
 315
 316 # Fixed-point select
 317
 318 # CHECK: isel 2, 3, 4, 5                 # encoding: [0x7c,0x43,0x21,0x5e]
 319          isel 2, 3, 4, 5
 320
 321 # Fixed-point logical instructions
 322
 323 # CHECK: andi. 2, 3, 128                 # encoding: [0x70,0x62,0x00,0x80]
 324          andi. 2, 3, 128
 325 # CHECK: andis. 2, 3, 128                # encoding: [0x74,0x62,0x00,0x80]
 326          andis. 2, 3, 128
 327 # CHECK: ori 2, 3, 128                   # encoding: [0x60,0x62,0x00,0x80]
 328          ori 2, 3, 128
 329 # CHECK: oris 2, 3, 128                  # encoding: [0x64,0x62,0x00,0x80]
 330          oris 2, 3, 128
 331 # CHECK: xori 2, 3, 128                  # encoding: [0x68,0x62,0x00,0x80]
 332          xori 2, 3, 128
 333 # CHECK: xoris 2, 3, 128                 # encoding: [0x6c,0x62,0x00,0x80]
 334          xoris 2, 3, 128
 335 # CHECK: and 2, 3, 4                     # encoding: [0x7c,0x62,0x20,0x38]
 336          and 2, 3, 4
 337 # CHECK: and. 2, 3, 4                    # encoding: [0x7c,0x62,0x20,0x39]
 338          and. 2, 3, 4
 339 # CHECK: xor 2, 3, 4                     # encoding: [0x7c,0x62,0x22,0x78]
 340          xor 2, 3, 4
 341 # CHECK: xor. 2, 3, 4                    # encoding: [0x7c,0x62,0x22,0x79]
 342          xor. 2, 3, 4
 343 # CHECK: nand 2, 3, 4                    # encoding: [0x7c,0x62,0x23,0xb8]
 344          nand 2, 3, 4
 345 # CHECK: nand. 2, 3, 4                   # encoding: [0x7c,0x62,0x23,0xb9]
 346          nand. 2, 3, 4
 347 # CHECK: or 2, 3, 4                      # encoding: [0x7c,0x62,0x23,0x78]
 348          or 2, 3, 4
 349 # CHECK: or. 2, 3, 4                     # encoding: [0x7c,0x62,0x23,0x79]
 350          or. 2, 3, 4
 351 # CHECK: nor 2, 3, 4                     # encoding: [0x7c,0x62,0x20,0xf8]
 352          nor 2, 3, 4
 353 # CHECK: nor. 2, 3, 4                    # encoding: [0x7c,0x62,0x20,0xf9]
 354          nor. 2, 3, 4
 355 # CHECK: eqv 2, 3, 4                     # encoding: [0x7c,0x62,0x22,0x38]
 356          eqv 2, 3, 4
 357 # CHECK: eqv. 2, 3, 4                    # encoding: [0x7c,0x62,0x22,0x39]
 358          eqv. 2, 3, 4
 359 # CHECK: andc 2, 3, 4                    # encoding: [0x7c,0x62,0x20,0x78]
 360          andc 2, 3, 4
 361 # CHECK: andc. 2, 3, 4                   # encoding: [0x7c,0x62,0x20,0x79]
 362          andc. 2, 3, 4
 363 # CHECK: orc 2, 3, 4                     # encoding: [0x7c,0x62,0x23,0x38]
 364          orc 2, 3, 4
 365 # CHECK: orc. 2, 3, 4                    # encoding: [0x7c,0x62,0x23,0x39]
 366          orc. 2, 3, 4
 367
 368 # CHECK: extsb 2, 3                      # encoding: [0x7c,0x62,0x07,0x74]
 369          extsb 2, 3
 370 # CHECK: extsb. 2, 3                     # encoding: [0x7c,0x62,0x07,0x75]
 371          extsb. 2, 3
 372 # CHECK: extsh 2, 3                      # encoding: [0x7c,0x62,0x07,0x34]
 373          extsh 2, 3
 374 # CHECK: extsh. 2, 3                     # encoding: [0x7c,0x62,0x07,0x35]
 375          extsh. 2, 3
 376
 377 # CHECK: cntlzw 2, 3                     # encoding: [0x7c,0x62,0x00,0x34]
 378          cntlzw 2, 3
 379 # CHECK: cntlzw. 2, 3                    # encoding: [0x7c,0x62,0x00,0x35]
 380          cntlzw. 2, 3
 381 # FIXME: cmpb 2, 3, 4
 382 # FIXME: popcntb 2, 3
 383 # CHECK: popcntw 2, 3                    # encoding: [0x7c,0x62,0x02,0xf4]
 384          popcntw 2, 3
 385 # FIXME: prtyd 2, 3
 386 # FIXME: prtyw 2, 3
 387
 388 # CHECK: extsw 2, 3                      # encoding: [0x7c,0x62,0x07,0xb4]
 389          extsw 2, 3
 390 # CHECK: extsw. 2, 3                     # encoding: [0x7c,0x62,0x07,0xb5]
 391          extsw. 2, 3
 392
 393 # CHECK: cntlzd 2, 3                     # encoding: [0x7c,0x62,0x00,0x74]
 394          cntlzd 2, 3
 395 # CHECK: cntlzd. 2, 3                    # encoding: [0x7c,0x62,0x00,0x75]
 396          cntlzd. 2, 3
 397 # CHECK: popcntd 2, 3                    # encoding: [0x7c,0x62,0x03,0xf4]
 398          popcntd 2, 3
 399 # FIXME: bpermd 2, 3, 4
 400
 401 # Fixed-point rotate and shift instructions
 402
 403 # CHECK: rlwinm 2, 3, 4, 5, 6            # encoding: [0x54,0x62,0x21,0x4c]
 404          rlwinm 2, 3, 4, 5, 6
 405 # CHECK: rlwinm. 2, 3, 4, 5, 6           # encoding: [0x54,0x62,0x21,0x4d]
 406          rlwinm. 2, 3, 4, 5, 6
 407 # CHECK: rlwnm 2, 3, 4, 5, 6             # encoding: [0x5c,0x62,0x21,0x4c]
 408          rlwnm 2, 3, 4, 5, 6
 409 # CHECK: rlwnm. 2, 3, 4, 5, 6            # encoding: [0x5c,0x62,0x21,0x4d]
 410          rlwnm. 2, 3, 4, 5, 6
 411 # CHECK: rlwimi 2, 3, 4, 5, 6            # encoding: [0x50,0x62,0x21,0x4c]
 412          rlwimi 2, 3, 4, 5, 6
 413 # CHECK: rlwimi. 2, 3, 4, 5, 6           # encoding: [0x50,0x62,0x21,0x4d]
 414          rlwimi. 2, 3, 4, 5, 6
 415 # CHECK: rldicl 2, 3, 4, 5               # encoding: [0x78,0x62,0x21,0x40]
 416          rldicl 2, 3, 4, 5
 417 # CHECK: rldicl. 2, 3, 4, 5              # encoding: [0x78,0x62,0x21,0x41]
 418          rldicl. 2, 3, 4, 5
 419 # CHECK: rldicr 2, 3, 4, 5               # encoding: [0x78,0x62,0x21,0x44]
 420          rldicr 2, 3, 4, 5
 421 # CHECK: rldicr. 2, 3, 4, 5              # encoding: [0x78,0x62,0x21,0x45]
 422          rldicr. 2, 3, 4, 5
 423 # FIXME: rldic 2, 3, 4, 5
 424 # FIXME: rldic. 2, 3, 4, 5
 425 # CHECK: rldcl 2, 3, 4, 5                # encoding: [0x78,0x62,0x21,0x50]
 426          rldcl 2, 3, 4, 5
 427 # CHECK: rldcl. 2, 3, 4, 5               # encoding: [0x78,0x62,0x21,0x51]
 428          rldcl. 2, 3, 4, 5
 429 # FIXME: rldcr 2, 3, 4, 5
 430 # FIXME: rldcr. 2, 3, 4, 5
 431 # CHECK: rldimi 2, 3, 4, 5               # encoding: [0x78,0x62,0x21,0x4c]
 432          rldimi 2, 3, 4, 5
 433 # CHECK: rldimi. 2, 3, 4, 5              # encoding: [0x78,0x62,0x21,0x4d]
 434          rldimi. 2, 3, 4, 5
 435
 436 # CHECK: slw 2, 3, 4                     # encoding: [0x7c,0x62,0x20,0x30]
 437          slw 2, 3, 4
 438 # CHECK: slw. 2, 3, 4                    # encoding: [0x7c,0x62,0x20,0x31]
 439          slw. 2, 3, 4
 440 # CHECK: srw 2, 3, 4                     # encoding: [0x7c,0x62,0x24,0x30]
 441          srw 2, 3, 4
 442 # CHECK: srw. 2, 3, 4                    # encoding: [0x7c,0x62,0x24,0x31]
 443          srw. 2, 3, 4
 444 # CHECK: srawi 2, 3, 4                   # encoding: [0x7c,0x62,0x26,0x70]
 445          srawi 2, 3, 4
 446 # CHECK: srawi. 2, 3, 4                  # encoding: [0x7c,0x62,0x26,0x71]
 447          srawi. 2, 3, 4
 448 # CHECK: sraw 2, 3, 4                    # encoding: [0x7c,0x62,0x26,0x30]
 449          sraw 2, 3, 4
 450 # CHECK: sraw. 2, 3, 4                   # encoding: [0x7c,0x62,0x26,0x31]
 451          sraw. 2, 3, 4
 452 # CHECK: sld 2, 3, 4                     # encoding: [0x7c,0x62,0x20,0x36]
 453          sld 2, 3, 4
 454 # CHECK: sld. 2, 3, 4                    # encoding: [0x7c,0x62,0x20,0x37]
 455          sld. 2, 3, 4
 456 # CHECK: srd 2, 3, 4                     # encoding: [0x7c,0x62,0x24,0x36]
 457          srd 2, 3, 4
 458 # CHECK: srd. 2, 3, 4                    # encoding: [0x7c,0x62,0x24,0x37]
 459          srd. 2, 3, 4
 460 # CHECK: sradi 2, 3, 4                   # encoding: [0x7c,0x62,0x26,0x74]
 461          sradi 2, 3, 4
 462 # CHECK: sradi. 2, 3, 4                  # encoding: [0x7c,0x62,0x26,0x75]
 463          sradi. 2, 3, 4
 464 # CHECK: srad 2, 3, 4                    # encoding: [0x7c,0x62,0x26,0x34]
 465          srad 2, 3, 4
 466 # CHECK: srad. 2, 3, 4                   # encoding: [0x7c,0x62,0x26,0x35]
 467          srad. 2, 3, 4
 468
 469 # FIXME: BCD assist instructions
 470
 471 # Move to/from system register instructions
 472
 473 # FIXME: mtspr 256, 2
 474 # FIXME: mfspr 2, 256
 475 # CHECK: mtcrf 16, 2                     # encoding: [0x7c,0x41,0x01,0x20]
 476          mtcrf 16, 2
 477 # CHECK: mfcr 2                          # encoding: [0x7c,0x40,0x00,0x26]
 478          mfcr 2
 479 # FIXME: mtocrf 16, 2
 480 # CHECK: mfocrf 16, 8                    # encoding: [0x7e,0x10,0x80,0x26]
 481          mfocrf 16, 8
 482 # FIXME: mcrxr 2
 483