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