lib/Target/R600/SIInstrInfo.cpp

   1 //===-- SIInstrInfo.cpp - SI Instruction Information  ---------------------===//
   2 //
   3 //                     The LLVM Compiler Infrastructure
   4 //
   5 // This file is distributed under the University of Illinois Open Source
   6 // License. See LICENSE.TXT for details.
   7 //
   8 //===----------------------------------------------------------------------===//
   9 //
  10 /// \file
  11 /// \brief SI Implementation of TargetInstrInfo.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15
  16 #include "SIInstrInfo.h"
  17 #include "AMDGPUTargetMachine.h"
  18 #include "SIDefines.h"
  19 #include "SIMachineFunctionInfo.h"
  20 #include "llvm/CodeGen/MachineInstrBuilder.h"
  21 #include "llvm/CodeGen/MachineRegisterInfo.h"
  22 #include "llvm/IR/Function.h"
  23 #include "llvm/MC/MCInstrDesc.h"
  24
  25 using namespace llvm;
  26
  27 SIInstrInfo::SIInstrInfo(const AMDGPUSubtarget &st)
  28   : AMDGPUInstrInfo(st),
  29     RI(st) { }
  30
  31 //===----------------------------------------------------------------------===//
  32 // TargetInstrInfo callbacks
  33 //===----------------------------------------------------------------------===//
  34
  35 void
  36 SIInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
  37                          MachineBasicBlock::iterator MI, DebugLoc DL,
  38                          unsigned DestReg, unsigned SrcReg,
  39                          bool KillSrc) const {
  40
  41   // If we are trying to copy to or from SCC, there is a bug somewhere else in
  42   // the backend.  While it may be theoretically possible to do this, it should
  43   // never be necessary.
  44   assert(DestReg != AMDGPU::SCC && SrcReg != AMDGPU::SCC);
  45
  46   static const int16_t Sub0_15[] = {
  47     AMDGPU::sub0, AMDGPU::sub1, AMDGPU::sub2, AMDGPU::sub3,
  48     AMDGPU::sub4, AMDGPU::sub5, AMDGPU::sub6, AMDGPU::sub7,
  49     AMDGPU::sub8, AMDGPU::sub9, AMDGPU::sub10, AMDGPU::sub11,
  50     AMDGPU::sub12, AMDGPU::sub13, AMDGPU::sub14, AMDGPU::sub15, 0
  51   };
  52
  53   static const int16_t Sub0_7[] = {
  54     AMDGPU::sub0, AMDGPU::sub1, AMDGPU::sub2, AMDGPU::sub3,
  55     AMDGPU::sub4, AMDGPU::sub5, AMDGPU::sub6, AMDGPU::sub7, 0
  56   };
  57
  58   static const int16_t Sub0_3[] = {
  59     AMDGPU::sub0, AMDGPU::sub1, AMDGPU::sub2, AMDGPU::sub3, 0
  60   };
  61
  62   static const int16_t Sub0_2[] = {
  63     AMDGPU::sub0, AMDGPU::sub1, AMDGPU::sub2, 0
  64   };
  65
  66   static const int16_t Sub0_1[] = {
  67     AMDGPU::sub0, AMDGPU::sub1, 0
  68   };
  69
  70   unsigned Opcode;
  71   const int16_t *SubIndices;
  72
  73   if (AMDGPU::M0 == DestReg) {
  74     // Check if M0 isn't already set to this value
  75     for (MachineBasicBlock::reverse_iterator E = MBB.rend(),
  76       I = MachineBasicBlock::reverse_iterator(MI); I != E; ++I) {
  77
  78       if (!I->definesRegister(AMDGPU::M0))
  79         continue;
  80
  81       unsigned Opc = I->getOpcode();
  82       if (Opc != TargetOpcode::COPY && Opc != AMDGPU::S_MOV_B32)
  83         break;
  84
  85       if (!I->readsRegister(SrcReg))
  86         break;
  87
  88       // The copy isn't necessary
  89       return;
  90     }
  91   }
  92
  93   if (AMDGPU::SReg_32RegClass.contains(DestReg)) {
  94     assert(AMDGPU::SReg_32RegClass.contains(SrcReg));
  95     BuildMI(MBB, MI, DL, get(AMDGPU::S_MOV_B32), DestReg)
  96             .addReg(SrcReg, getKillRegState(KillSrc));
  97     return;
  98
  99   } else if (AMDGPU::SReg_64RegClass.contains(DestReg)) {
 100     assert(AMDGPU::SReg_64RegClass.contains(SrcReg));
 101     BuildMI(MBB, MI, DL, get(AMDGPU::S_MOV_B64), DestReg)
 102             .addReg(SrcReg, getKillRegState(KillSrc));
 103     return;
 104
 105   } else if (AMDGPU::SReg_128RegClass.contains(DestReg)) {
 106     assert(AMDGPU::SReg_128RegClass.contains(SrcReg));
 107     Opcode = AMDGPU::S_MOV_B32;
 108     SubIndices = Sub0_3;
 109
 110   } else if (AMDGPU::SReg_256RegClass.contains(DestReg)) {
 111     assert(AMDGPU::SReg_256RegClass.contains(SrcReg));
 112     Opcode = AMDGPU::S_MOV_B32;
 113     SubIndices = Sub0_7;
 114
 115   } else if (AMDGPU::SReg_512RegClass.contains(DestReg)) {
 116     assert(AMDGPU::SReg_512RegClass.contains(SrcReg));
 117     Opcode = AMDGPU::S_MOV_B32;
 118     SubIndices = Sub0_15;
 119
 120   } else if (AMDGPU::VReg_32RegClass.contains(DestReg)) {
 121     assert(AMDGPU::VReg_32RegClass.contains(SrcReg) ||
 122            AMDGPU::SReg_32RegClass.contains(SrcReg));
 123     BuildMI(MBB, MI, DL, get(AMDGPU::V_MOV_B32_e32), DestReg)
 124             .addReg(SrcReg, getKillRegState(KillSrc));
 125     return;
 126
 127   } else if (AMDGPU::VReg_64RegClass.contains(DestReg)) {
 128     assert(AMDGPU::VReg_64RegClass.contains(SrcReg) ||
 129            AMDGPU::SReg_64RegClass.contains(SrcReg));
 130     Opcode = AMDGPU::V_MOV_B32_e32;
 131     SubIndices = Sub0_1;
 132
 133   } else if (AMDGPU::VReg_96RegClass.contains(DestReg)) {
 134     assert(AMDGPU::VReg_96RegClass.contains(SrcReg));
 135     Opcode = AMDGPU::V_MOV_B32_e32;
 136     SubIndices = Sub0_2;
 137
 138   } else if (AMDGPU::VReg_128RegClass.contains(DestReg)) {
 139     assert(AMDGPU::VReg_128RegClass.contains(SrcReg) ||
 140            AMDGPU::SReg_128RegClass.contains(SrcReg));
 141     Opcode = AMDGPU::V_MOV_B32_e32;
 142     SubIndices = Sub0_3;
 143
 144   } else if (AMDGPU::VReg_256RegClass.contains(DestReg)) {
 145     assert(AMDGPU::VReg_256RegClass.contains(SrcReg) ||
 146            AMDGPU::SReg_256RegClass.contains(SrcReg));
 147     Opcode = AMDGPU::V_MOV_B32_e32;
 148     SubIndices = Sub0_7;
 149
 150   } else if (AMDGPU::VReg_512RegClass.contains(DestReg)) {
 151     assert(AMDGPU::VReg_512RegClass.contains(SrcReg) ||
 152            AMDGPU::SReg_512RegClass.contains(SrcReg));
 153     Opcode = AMDGPU::V_MOV_B32_e32;
 154     SubIndices = Sub0_15;
 155
 156   } else {
 157     llvm_unreachable("Can't copy register!");
 158   }
 159
 160   while (unsigned SubIdx = *SubIndices++) {
 161     MachineInstrBuilder Builder = BuildMI(MBB, MI, DL,
 162       get(Opcode), RI.getSubReg(DestReg, SubIdx));
 163
 164     Builder.addReg(RI.getSubReg(SrcReg, SubIdx), getKillRegState(KillSrc));
 165
 166     if (*SubIndices)
 167       Builder.addReg(DestReg, RegState::Define | RegState::Implicit);
 168   }
 169 }
 170
 171 unsigned SIInstrInfo::commuteOpcode(unsigned Opcode) const {
 172   int NewOpc;
 173
 174   // Try to map original to commuted opcode
 175   if ((NewOpc = AMDGPU::getCommuteRev(Opcode)) != -1)
 176     return NewOpc;
 177
 178   // Try to map commuted to original opcode
 179   if ((NewOpc = AMDGPU::getCommuteOrig(Opcode)) != -1)
 180     return NewOpc;
 181
 182   return Opcode;
 183 }
 184
 185 void SIInstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
 186                                       MachineBasicBlock::iterator MI,
 187                                       unsigned SrcReg, bool isKill,
 188                                       int FrameIndex,
 189                                       const TargetRegisterClass *RC,
 190                                       const TargetRegisterInfo *TRI) const {
 191   MachineFunction *MF = MBB.getParent();
 192   SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>();
 193   MachineRegisterInfo &MRI = MF->getRegInfo();
 194   DebugLoc DL = MBB.findDebugLoc(MI);
 195   unsigned KillFlag = isKill ? RegState::Kill : 0;
 196
 197   if (RI.hasVGPRs(RC)) {
 198     LLVMContext &Ctx = MF->getFunction()->getContext();
 199     Ctx.emitError("SIInstrInfo::storeRegToStackSlot - Can't spill VGPR!");
 200     BuildMI(MBB, MI, DL, get(AMDGPU::V_MOV_B32_e32), AMDGPU::VGPR0)
 201             .addReg(SrcReg);
 202   } else if (TRI->getCommonSubClass(RC, &AMDGPU::SGPR_32RegClass)) {
 203     unsigned Lane = MFI->SpillTracker.reserveLanes(MRI, MF);
 204     unsigned TgtReg = MFI->SpillTracker.LaneVGPR;
 205
 206     BuildMI(MBB, MI, DL, get(AMDGPU::V_WRITELANE_B32), TgtReg)
 207             .addReg(SrcReg, KillFlag)
 208             .addImm(Lane);
 209     MFI->SpillTracker.addSpilledReg(FrameIndex, TgtReg, Lane);
 210   } else if (RI.isSGPRClass(RC)) {
 211     // We are only allowed to create one new instruction when spilling
 212     // registers, so we need to use pseudo instruction for vector
 213     // registers.
 214     //
 215     // Reserve a spot in the spill tracker for each sub-register of
 216     // the vector register.
 217     unsigned NumSubRegs = RC->getSize() / 4;
 218     unsigned FirstLane = MFI->SpillTracker.reserveLanes(MRI, MF, NumSubRegs);
 219     MFI->SpillTracker.addSpilledReg(FrameIndex, MFI->SpillTracker.LaneVGPR,
 220                                     FirstLane);
 221
 222     unsigned Opcode;
 223     switch (RC->getSize() * 8) {
 224     case 64:  Opcode = AMDGPU::SI_SPILL_S64_SAVE;  break;
 225     case 128: Opcode = AMDGPU::SI_SPILL_S128_SAVE; break;
 226     case 256: Opcode = AMDGPU::SI_SPILL_S256_SAVE; break;
 227     case 512: Opcode = AMDGPU::SI_SPILL_S512_SAVE; break;
 228     default: llvm_unreachable("Cannot spill register class");
 229     }
 230
 231     BuildMI(MBB, MI, DL, get(Opcode), MFI->SpillTracker.LaneVGPR)
 232             .addReg(SrcReg)
 233             .addImm(FrameIndex);
 234   } else {
 235     llvm_unreachable("VGPR spilling not supported");
 236   }
 237 }
 238
 239 void SIInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
 240                                        MachineBasicBlock::iterator MI,
 241                                        unsigned DestReg, int FrameIndex,
 242                                        const TargetRegisterClass *RC,
 243                                        const TargetRegisterInfo *TRI) const {
 244   MachineFunction *MF = MBB.getParent();
 245   SIMachineFunctionInfo *MFI = MF->getInfo<SIMachineFunctionInfo>();
 246   DebugLoc DL = MBB.findDebugLoc(MI);
 247
 248   if (RI.hasVGPRs(RC)) {
 249     LLVMContext &Ctx = MF->getFunction()->getContext();
 250     Ctx.emitError("SIInstrInfo::loadRegToStackSlot - Can't retrieve spilled VGPR!");
 251     BuildMI(MBB, MI, DL, get(AMDGPU::V_MOV_B32_e32), DestReg)
 252             .addImm(0);
 253   } else if (RI.isSGPRClass(RC)){
 254     unsigned Opcode;
 255     switch(RC->getSize() * 8) {
 256     case 32:  Opcode = AMDGPU::SI_SPILL_S32_RESTORE; break;
 257     case 64:  Opcode = AMDGPU::SI_SPILL_S64_RESTORE;  break;
 258     case 128: Opcode = AMDGPU::SI_SPILL_S128_RESTORE; break;
 259     case 256: Opcode = AMDGPU::SI_SPILL_S256_RESTORE; break;
 260     case 512: Opcode = AMDGPU::SI_SPILL_S512_RESTORE; break;
 261     default: llvm_unreachable("Cannot spill register class");
 262     }
 263
 264     SIMachineFunctionInfo::SpilledReg Spill =
 265         MFI->SpillTracker.getSpilledReg(FrameIndex);
 266
 267     BuildMI(MBB, MI, DL, get(Opcode), DestReg)
 268             .addReg(Spill.VGPR)
 269             .addImm(FrameIndex);
 270   } else {
 271     llvm_unreachable("VGPR spilling not supported");
 272   }
 273 }
 274
 275 static unsigned getNumSubRegsForSpillOp(unsigned Op) {
 276
 277   switch (Op) {
 278   case AMDGPU::SI_SPILL_S512_SAVE:
 279   case AMDGPU::SI_SPILL_S512_RESTORE:
 280     return 16;
 281   case AMDGPU::SI_SPILL_S256_SAVE:
 282   case AMDGPU::SI_SPILL_S256_RESTORE:
 283     return 8;
 284   case AMDGPU::SI_SPILL_S128_SAVE:
 285   case AMDGPU::SI_SPILL_S128_RESTORE:
 286     return 4;
 287   case AMDGPU::SI_SPILL_S64_SAVE:
 288   case AMDGPU::SI_SPILL_S64_RESTORE:
 289     return 2;
 290   case AMDGPU::SI_SPILL_S32_RESTORE:
 291     return 1;
 292   default: llvm_unreachable("Invalid spill opcode");
 293   }
 294 }
 295
 296 void SIInstrInfo::insertNOPs(MachineBasicBlock::iterator MI,
 297                              int Count) const {
 298   while (Count > 0) {
 299     int Arg;
 300     if (Count >= 8)
 301       Arg = 7;
 302     else
 303       Arg = Count - 1;
 304     Count -= 8;
 305     BuildMI(*MI->getParent(), MI, MI->getDebugLoc(), get(AMDGPU::S_NOP))
 306             .addImm(Arg);
 307   }
 308 }
 309
 310 bool SIInstrInfo::expandPostRAPseudo(MachineBasicBlock::iterator MI) const {
 311   SIMachineFunctionInfo *MFI =
 312       MI->getParent()->getParent()->getInfo<SIMachineFunctionInfo>();
 313   MachineBasicBlock &MBB = *MI->getParent();
 314   DebugLoc DL = MBB.findDebugLoc(MI);
 315   switch (MI->getOpcode()) {
 316   default: return AMDGPUInstrInfo::expandPostRAPseudo(MI);
 317
 318   // SGPR register spill
 319   case AMDGPU::SI_SPILL_S512_SAVE:
 320   case AMDGPU::SI_SPILL_S256_SAVE:
 321   case AMDGPU::SI_SPILL_S128_SAVE:
 322   case AMDGPU::SI_SPILL_S64_SAVE: {
 323     unsigned NumSubRegs = getNumSubRegsForSpillOp(MI->getOpcode());
 324     unsigned FrameIndex = MI->getOperand(2).getImm();
 325
 326     for (unsigned i = 0, e = NumSubRegs; i < e; ++i) {
 327       SIMachineFunctionInfo::SpilledReg Spill;
 328       unsigned SubReg = RI.getPhysRegSubReg(MI->getOperand(1).getReg(),
 329                                             &AMDGPU::SGPR_32RegClass, i);
 330       Spill = MFI->SpillTracker.getSpilledReg(FrameIndex);
 331
 332       BuildMI(MBB, MI, DL, get(AMDGPU::V_WRITELANE_B32),
 333               MI->getOperand(0).getReg())
 334               .addReg(SubReg)
 335               .addImm(Spill.Lane + i);
 336     }
 337     MI->eraseFromParent();
 338     break;
 339   }
 340
 341   // SGPR register restore
 342   case AMDGPU::SI_SPILL_S512_RESTORE:
 343   case AMDGPU::SI_SPILL_S256_RESTORE:
 344   case AMDGPU::SI_SPILL_S128_RESTORE:
 345   case AMDGPU::SI_SPILL_S64_RESTORE:
 346   case AMDGPU::SI_SPILL_S32_RESTORE: {
 347     unsigned NumSubRegs = getNumSubRegsForSpillOp(MI->getOpcode());
 348
 349     for (unsigned i = 0, e = NumSubRegs; i < e; ++i) {
 350       SIMachineFunctionInfo::SpilledReg Spill;
 351       unsigned FrameIndex = MI->getOperand(2).getImm();
 352       unsigned SubReg = RI.getPhysRegSubReg(MI->getOperand(0).getReg(),
 353                                    &AMDGPU::SGPR_32RegClass, i);
 354       Spill = MFI->SpillTracker.getSpilledReg(FrameIndex);
 355
 356       BuildMI(MBB, MI, DL, get(AMDGPU::V_READLANE_B32), SubReg)
 357               .addReg(MI->getOperand(1).getReg())
 358               .addImm(Spill.Lane + i);
 359     }
 360     insertNOPs(MI, 3);
 361     MI->eraseFromParent();
 362     break;
 363   }
 364   }
 365   return true;
 366 }
 367
 368 MachineInstr *SIInstrInfo::commuteInstruction(MachineInstr *MI,
 369                                               bool NewMI) const {
 370
 371   MachineRegisterInfo &MRI = MI->getParent()->getParent()->getRegInfo();
 372   if (MI->getNumOperands() < 3 || !MI->getOperand(1).isReg())
 373     return nullptr;
 374
 375   // Cannot commute VOP2 if src0 is SGPR.
 376   if (isVOP2(MI->getOpcode()) && MI->getOperand(1).isReg() &&
 377       RI.isSGPRClass(MRI.getRegClass(MI->getOperand(1).getReg())))
 378    return nullptr;
 379
 380   if (!MI->getOperand(2).isReg()) {
 381     // XXX: Commute instructions with FPImm operands
 382     if (NewMI || MI->getOperand(2).isFPImm() ||
 383        (!isVOP2(MI->getOpcode()) && !isVOP3(MI->getOpcode()))) {
 384       return nullptr;
 385     }
 386
 387     // XXX: Commute VOP3 instructions with abs and neg set.
 388     if (isVOP3(MI->getOpcode()) &&
 389         (MI->getOperand(AMDGPU::getNamedOperandIdx(MI->getOpcode(),
 390                         AMDGPU::OpName::abs)).getImm() ||
 391          MI->getOperand(AMDGPU::getNamedOperandIdx(MI->getOpcode(),
 392                         AMDGPU::OpName::neg)).getImm()))
 393       return nullptr;
 394
 395     unsigned Reg = MI->getOperand(1).getReg();
 396     unsigned SubReg = MI->getOperand(1).getSubReg();
 397     MI->getOperand(1).ChangeToImmediate(MI->getOperand(2).getImm());
 398     MI->getOperand(2).ChangeToRegister(Reg, false);
 399     MI->getOperand(2).setSubReg(SubReg);
 400   } else {
 401     MI = TargetInstrInfo::commuteInstruction(MI, NewMI);
 402   }
 403
 404   if (MI)
 405     MI->setDesc(get(commuteOpcode(MI->getOpcode())));
 406
 407   return MI;
 408 }
 409
 410 MachineInstr *SIInstrInfo::buildMovInstr(MachineBasicBlock *MBB,
 411                                          MachineBasicBlock::iterator I,
 412                                          unsigned DstReg,
 413                                          unsigned SrcReg) const {
 414   return BuildMI(*MBB, I, MBB->findDebugLoc(I), get(AMDGPU::V_MOV_B32_e32),
 415                  DstReg) .addReg(SrcReg);
 416 }
 417
 418 bool SIInstrInfo::isMov(unsigned Opcode) const {
 419   switch(Opcode) {
 420   default: return false;
 421   case AMDGPU::S_MOV_B32:
 422   case AMDGPU::S_MOV_B64:
 423   case AMDGPU::V_MOV_B32_e32:
 424   case AMDGPU::V_MOV_B32_e64:
 425     return true;
 426   }
 427 }
 428
 429 bool
 430 SIInstrInfo::isSafeToMoveRegClassDefs(const TargetRegisterClass *RC) const {
 431   return RC != &AMDGPU::EXECRegRegClass;
 432 }
 433
 434 bool
 435 SIInstrInfo::isTriviallyReMaterializable(const MachineInstr *MI,
 436                                          AliasAnalysis *AA) const {
 437   switch(MI->getOpcode()) {
 438   default: return AMDGPUInstrInfo::isTriviallyReMaterializable(MI, AA);
 439   case AMDGPU::S_MOV_B32:
 440   case AMDGPU::S_MOV_B64:
 441   case AMDGPU::V_MOV_B32_e32:
 442     return MI->getOperand(1).isImm();
 443   }
 444 }
 445
 446 namespace llvm {
 447 namespace AMDGPU {
 448 // Helper function generated by tablegen.  We are wrapping this with
 449 // an SIInstrInfo function that reutrns bool rather than int.
 450 int isDS(uint16_t Opcode);
 451 }
 452 }
 453
 454 bool SIInstrInfo::isDS(uint16_t Opcode) const {
 455   return ::AMDGPU::isDS(Opcode) != -1;
 456 }
 457
 458 int SIInstrInfo::isMIMG(uint16_t Opcode) const {
 459   return get(Opcode).TSFlags & SIInstrFlags::MIMG;
 460 }
 461
 462 int SIInstrInfo::isSMRD(uint16_t Opcode) const {
 463   return get(Opcode).TSFlags & SIInstrFlags::SMRD;
 464 }
 465
 466 bool SIInstrInfo::isVOP1(uint16_t Opcode) const {
 467   return get(Opcode).TSFlags & SIInstrFlags::VOP1;
 468 }
 469
 470 bool SIInstrInfo::isVOP2(uint16_t Opcode) const {
 471   return get(Opcode).TSFlags & SIInstrFlags::VOP2;
 472 }
 473
 474 bool SIInstrInfo::isVOP3(uint16_t Opcode) const {
 475   return get(Opcode).TSFlags & SIInstrFlags::VOP3;
 476 }
 477
 478 bool SIInstrInfo::isVOPC(uint16_t Opcode) const {
 479   return get(Opcode).TSFlags & SIInstrFlags::VOPC;
 480 }
 481
 482 bool SIInstrInfo::isSALUInstr(const MachineInstr &MI) const {
 483   return get(MI.getOpcode()).TSFlags & SIInstrFlags::SALU;
 484 }
 485
 486 bool SIInstrInfo::isInlineConstant(const APInt &Imm) const {
 487   int32_t Val = Imm.getSExtValue();
 488   if (Val >= -16 && Val <= 64)
 489     return true;
 490
 491   // The actual type of the operand does not seem to matter as long
 492   // as the bits match one of the inline immediate values.  For example:
 493   //
 494   // -nan has the hexadecimal encoding of 0xfffffffe which is -2 in decimal,
 495   // so it is a legal inline immediate.
 496   //
 497   // 1065353216 has the hexadecimal encoding 0x3f800000 which is 1.0f in
 498   // floating-point, so it is a legal inline immediate.
 499
 500   return (APInt::floatToBits(0.0f) == Imm) ||
 501          (APInt::floatToBits(1.0f) == Imm) ||
 502          (APInt::floatToBits(-1.0f) == Imm) ||
 503          (APInt::floatToBits(0.5f) == Imm) ||
 504          (APInt::floatToBits(-0.5f) == Imm) ||
 505          (APInt::floatToBits(2.0f) == Imm) ||
 506          (APInt::floatToBits(-2.0f) == Imm) ||
 507          (APInt::floatToBits(4.0f) == Imm) ||
 508          (APInt::floatToBits(-4.0f) == Imm);
 509 }
 510
 511 bool SIInstrInfo::isInlineConstant(const MachineOperand &MO) const {
 512   if (MO.isImm())
 513     return isInlineConstant(APInt(32, MO.getImm(), true));
 514
 515   if (MO.isFPImm()) {
 516     APFloat FpImm = MO.getFPImm()->getValueAPF();
 517     return isInlineConstant(FpImm.bitcastToAPInt());
 518   }
 519
 520   return false;
 521 }
 522
 523 bool SIInstrInfo::isLiteralConstant(const MachineOperand &MO) const {
 524   return (MO.isImm() || MO.isFPImm()) && !isInlineConstant(MO);
 525 }
 526
 527 static bool compareMachineOp(const MachineOperand &Op0,
 528                              const MachineOperand &Op1) {
 529   if (Op0.getType() != Op1.getType())
 530     return false;
 531
 532   switch (Op0.getType()) {
 533   case MachineOperand::MO_Register:
 534     return Op0.getReg() == Op1.getReg();
 535   case MachineOperand::MO_Immediate:
 536     return Op0.getImm() == Op1.getImm();
 537   case MachineOperand::MO_FPImmediate:
 538     return Op0.getFPImm() == Op1.getFPImm();
 539   default:
 540     llvm_unreachable("Didn't expect to be comparing these operand types");
 541   }
 542 }
 543
 544 bool SIInstrInfo::verifyInstruction(const MachineInstr *MI,
 545                                     StringRef &ErrInfo) const {
 546   uint16_t Opcode = MI->getOpcode();
 547   int Src0Idx = AMDGPU::getNamedOperandIdx(Opcode, AMDGPU::OpName::src0);
 548   int Src1Idx = AMDGPU::getNamedOperandIdx(Opcode, AMDGPU::OpName::src1);
 549   int Src2Idx = AMDGPU::getNamedOperandIdx(Opcode, AMDGPU::OpName::src2);
 550
 551   // Make sure the number of operands is correct.
 552   const MCInstrDesc &Desc = get(Opcode);
 553   if (!Desc.isVariadic() &&
 554       Desc.getNumOperands() != MI->getNumExplicitOperands()) {
 555      ErrInfo = "Instruction has wrong number of operands.";
 556      return false;
 557   }
 558
 559   // Make sure the register classes are correct
 560   for (unsigned i = 0, e = Desc.getNumOperands(); i != e; ++i) {
 561     switch (Desc.OpInfo[i].OperandType) {
 562     case MCOI::OPERAND_REGISTER:
 563       break;
 564     case MCOI::OPERAND_IMMEDIATE:
 565       if (!MI->getOperand(i).isImm() && !MI->getOperand(i).isFPImm()) {
 566         ErrInfo = "Expected immediate, but got non-immediate";
 567         return false;
 568       }
 569       // Fall-through
 570     default:
 571       continue;
 572     }
 573
 574     if (!MI->getOperand(i).isReg())
 575       continue;
 576
 577     int RegClass = Desc.OpInfo[i].RegClass;
 578     if (RegClass != -1) {
 579       unsigned Reg = MI->getOperand(i).getReg();
 580       if (TargetRegisterInfo::isVirtualRegister(Reg))
 581         continue;
 582
 583       const TargetRegisterClass *RC = RI.getRegClass(RegClass);
 584       if (!RC->contains(Reg)) {
 585         ErrInfo = "Operand has incorrect register class.";
 586         return false;
 587       }
 588     }
 589   }
 590
 591
 592   // Verify VOP*
 593   if (isVOP1(Opcode) || isVOP2(Opcode) || isVOP3(Opcode) || isVOPC(Opcode)) {
 594     unsigned ConstantBusCount = 0;
 595     unsigned SGPRUsed = AMDGPU::NoRegister;
 596     for (int i = 0, e = MI->getNumOperands(); i != e; ++i) {
 597       const MachineOperand &MO = MI->getOperand(i);
 598       if (MO.isReg() && MO.isUse() &&
 599           !TargetRegisterInfo::isVirtualRegister(MO.getReg())) {
 600
 601         // EXEC register uses the constant bus.
 602         if (!MO.isImplicit() && MO.getReg() == AMDGPU::EXEC)
 603           ++ConstantBusCount;
 604
 605         // SGPRs use the constant bus
 606         if (MO.getReg() == AMDGPU::M0 || MO.getReg() == AMDGPU::VCC ||
 607             (!MO.isImplicit() &&
 608             (AMDGPU::SGPR_32RegClass.contains(MO.getReg()) ||
 609             AMDGPU::SGPR_64RegClass.contains(MO.getReg())))) {
 610           if (SGPRUsed != MO.getReg()) {
 611             ++ConstantBusCount;
 612             SGPRUsed = MO.getReg();
 613           }
 614         }
 615       }
 616       // Literal constants use the constant bus.
 617       if (isLiteralConstant(MO))
 618         ++ConstantBusCount;
 619     }
 620     if (ConstantBusCount > 1) {
 621       ErrInfo = "VOP* instruction uses the constant bus more than once";
 622       return false;
 623     }
 624   }
 625
 626   // Verify SRC1 for VOP2 and VOPC
 627   if (Src1Idx != -1 && (isVOP2(Opcode) || isVOPC(Opcode))) {
 628     const MachineOperand &Src1 = MI->getOperand(Src1Idx);
 629     if (Src1.isImm() || Src1.isFPImm()) {
 630       ErrInfo = "VOP[2C] src1 cannot be an immediate.";
 631       return false;
 632     }
 633   }
 634
 635   // Verify VOP3
 636   if (isVOP3(Opcode)) {
 637     if (Src0Idx != -1 && isLiteralConstant(MI->getOperand(Src0Idx))) {
 638       ErrInfo = "VOP3 src0 cannot be a literal constant.";
 639       return false;
 640     }
 641     if (Src1Idx != -1 && isLiteralConstant(MI->getOperand(Src1Idx))) {
 642       ErrInfo = "VOP3 src1 cannot be a literal constant.";
 643       return false;
 644     }
 645     if (Src2Idx != -1 && isLiteralConstant(MI->getOperand(Src2Idx))) {
 646       ErrInfo = "VOP3 src2 cannot be a literal constant.";
 647       return false;
 648     }
 649   }
 650
 651   // Verify misc. restrictions on specific instructions.
 652   if (Desc.getOpcode() == AMDGPU::V_DIV_SCALE_F32 ||
 653       Desc.getOpcode() == AMDGPU::V_DIV_SCALE_F64) {
 654     MI->dump();
 655
 656     const MachineOperand &Src0 = MI->getOperand(2);
 657     const MachineOperand &Src1 = MI->getOperand(3);
 658     const MachineOperand &Src2 = MI->getOperand(4);
 659     if (Src0.isReg() && Src1.isReg() && Src2.isReg()) {
 660       if (!compareMachineOp(Src0, Src1) &&
 661           !compareMachineOp(Src0, Src2)) {
 662         ErrInfo = "v_div_scale_{f32|f64} require src0 = src1 or src2";
 663         return false;
 664       }
 665     }
 666   }
 667
 668   return true;
 669 }
 670
 671 unsigned SIInstrInfo::getVALUOp(const MachineInstr &MI) {
 672   switch (MI.getOpcode()) {
 673   default: return AMDGPU::INSTRUCTION_LIST_END;
 674   case AMDGPU::REG_SEQUENCE: return AMDGPU::REG_SEQUENCE;
 675   case AMDGPU::COPY: return AMDGPU::COPY;
 676   case AMDGPU::PHI: return AMDGPU::PHI;
 677   case AMDGPU::INSERT_SUBREG: return AMDGPU::INSERT_SUBREG;
 678   case AMDGPU::S_MOV_B32:
 679     return MI.getOperand(1).isReg() ?
 680            AMDGPU::COPY : AMDGPU::V_MOV_B32_e32;
 681   case AMDGPU::S_ADD_I32: return AMDGPU::V_ADD_I32_e32;
 682   case AMDGPU::S_ADDC_U32: return AMDGPU::V_ADDC_U32_e32;
 683   case AMDGPU::S_SUB_I32: return AMDGPU::V_SUB_I32_e32;
 684   case AMDGPU::S_SUBB_U32: return AMDGPU::V_SUBB_U32_e32;
 685   case AMDGPU::S_AND_B32: return AMDGPU::V_AND_B32_e32;
 686   case AMDGPU::S_OR_B32: return AMDGPU::V_OR_B32_e32;
 687   case AMDGPU::S_XOR_B32: return AMDGPU::V_XOR_B32_e32;
 688   case AMDGPU::S_MIN_I32: return AMDGPU::V_MIN_I32_e32;
 689   case AMDGPU::S_MIN_U32: return AMDGPU::V_MIN_U32_e32;
 690   case AMDGPU::S_MAX_I32: return AMDGPU::V_MAX_I32_e32;
 691   case AMDGPU::S_MAX_U32: return AMDGPU::V_MAX_U32_e32;
 692   case AMDGPU::S_ASHR_I32: return AMDGPU::V_ASHR_I32_e32;
 693   case AMDGPU::S_ASHR_I64: return AMDGPU::V_ASHR_I64;
 694   case AMDGPU::S_LSHL_B32: return AMDGPU::V_LSHL_B32_e32;
 695   case AMDGPU::S_LSHL_B64: return AMDGPU::V_LSHL_B64;
 696   case AMDGPU::S_LSHR_B32: return AMDGPU::V_LSHR_B32_e32;
 697   case AMDGPU::S_LSHR_B64: return AMDGPU::V_LSHR_B64;
 698   case AMDGPU::S_SEXT_I32_I8: return AMDGPU::V_BFE_I32;
 699   case AMDGPU::S_SEXT_I32_I16: return AMDGPU::V_BFE_I32;
 700   case AMDGPU::S_BFE_U32: return AMDGPU::V_BFE_U32;
 701   case AMDGPU::S_BFE_I32: return AMDGPU::V_BFE_I32;
 702   case AMDGPU::S_BREV_B32: return AMDGPU::V_BFREV_B32_e32;
 703   case AMDGPU::S_NOT_B32: return AMDGPU::V_NOT_B32_e32;
 704   case AMDGPU::S_NOT_B64: return AMDGPU::V_NOT_B32_e32;
 705   case AMDGPU::S_CMP_EQ_I32: return AMDGPU::V_CMP_EQ_I32_e32;
 706   case AMDGPU::S_CMP_LG_I32: return AMDGPU::V_CMP_NE_I32_e32;
 707   case AMDGPU::S_CMP_GT_I32: return AMDGPU::V_CMP_GT_I32_e32;
 708   case AMDGPU::S_CMP_GE_I32: return AMDGPU::V_CMP_GE_I32_e32;
 709   case AMDGPU::S_CMP_LT_I32: return AMDGPU::V_CMP_LT_I32_e32;
 710   case AMDGPU::S_CMP_LE_I32: return AMDGPU::V_CMP_LE_I32_e32;
 711   case AMDGPU::S_LOAD_DWORD_IMM:
 712   case AMDGPU::S_LOAD_DWORD_SGPR: return AMDGPU::BUFFER_LOAD_DWORD_ADDR64;
 713   case AMDGPU::S_LOAD_DWORDX2_IMM:
 714   case AMDGPU::S_LOAD_DWORDX2_SGPR: return AMDGPU::BUFFER_LOAD_DWORDX2_ADDR64;
 715   case AMDGPU::S_LOAD_DWORDX4_IMM:
 716   case AMDGPU::S_LOAD_DWORDX4_SGPR: return AMDGPU::BUFFER_LOAD_DWORDX4_ADDR64;
 717   case AMDGPU::S_BCNT1_I32_B32: return AMDGPU::V_BCNT_U32_B32_e32;
 718   case AMDGPU::S_FF1_I32_B32: return AMDGPU::V_FFBL_B32_e32;
 719   case AMDGPU::S_FLBIT_I32_B32: return AMDGPU::V_FFBH_U32_e32;
 720   }
 721 }
 722
 723 bool SIInstrInfo::isSALUOpSupportedOnVALU(const MachineInstr &MI) const {
 724   return getVALUOp(MI) != AMDGPU::INSTRUCTION_LIST_END;
 725 }
 726
 727 const TargetRegisterClass *SIInstrInfo::getOpRegClass(const MachineInstr &MI,
 728                                                       unsigned OpNo) const {
 729   const MachineRegisterInfo &MRI = MI.getParent()->getParent()->getRegInfo();
 730   const MCInstrDesc &Desc = get(MI.getOpcode());
 731   if (MI.isVariadic() || OpNo >= Desc.getNumOperands() ||
 732       Desc.OpInfo[OpNo].RegClass == -1)
 733     return MRI.getRegClass(MI.getOperand(OpNo).getReg());
 734
 735   unsigned RCID = Desc.OpInfo[OpNo].RegClass;
 736   return RI.getRegClass(RCID);
 737 }
 738
 739 bool SIInstrInfo::canReadVGPR(const MachineInstr &MI, unsigned OpNo) const {
 740   switch (MI.getOpcode()) {
 741   case AMDGPU::COPY:
 742   case AMDGPU::REG_SEQUENCE:
 743   case AMDGPU::PHI:
 744   case AMDGPU::INSERT_SUBREG:
 745     return RI.hasVGPRs(getOpRegClass(MI, 0));
 746   default:
 747     return RI.hasVGPRs(getOpRegClass(MI, OpNo));
 748   }
 749 }
 750
 751 void SIInstrInfo::legalizeOpWithMove(MachineInstr *MI, unsigned OpIdx) const {
 752   MachineBasicBlock::iterator I = MI;
 753   MachineOperand &MO = MI->getOperand(OpIdx);
 754   MachineRegisterInfo &MRI = MI->getParent()->getParent()->getRegInfo();
 755   unsigned RCID = get(MI->getOpcode()).OpInfo[OpIdx].RegClass;
 756   const TargetRegisterClass *RC = RI.getRegClass(RCID);
 757   unsigned Opcode = AMDGPU::V_MOV_B32_e32;
 758   if (MO.isReg()) {
 759     Opcode = AMDGPU::COPY;
 760   } else if (RI.isSGPRClass(RC)) {
 761     Opcode = AMDGPU::S_MOV_B32;
 762   }
 763
 764   const TargetRegisterClass *VRC = RI.getEquivalentVGPRClass(RC);
 765   unsigned Reg = MRI.createVirtualRegister(VRC);
 766   BuildMI(*MI->getParent(), I, MI->getParent()->findDebugLoc(I), get(Opcode),
 767           Reg).addOperand(MO);
 768   MO.ChangeToRegister(Reg, false);
 769 }
 770
 771 unsigned SIInstrInfo::buildExtractSubReg(MachineBasicBlock::iterator MI,
 772                                          MachineRegisterInfo &MRI,
 773                                          MachineOperand &SuperReg,
 774                                          const TargetRegisterClass *SuperRC,
 775                                          unsigned SubIdx,
 776                                          const TargetRegisterClass *SubRC)
 777                                          const {
 778   assert(SuperReg.isReg());
 779
 780   unsigned NewSuperReg = MRI.createVirtualRegister(SuperRC);
 781   unsigned SubReg = MRI.createVirtualRegister(SubRC);
 782
 783   // Just in case the super register is itself a sub-register, copy it to a new
 784   // value so we don't need to worry about merging its subreg index with the
 785   // SubIdx passed to this function. The register coalescer should be able to
 786   // eliminate this extra copy.
 787   BuildMI(*MI->getParent(), MI, MI->getDebugLoc(), get(TargetOpcode::COPY),
 788           NewSuperReg)
 789           .addOperand(SuperReg);
 790
 791   BuildMI(*MI->getParent(), MI, MI->getDebugLoc(), get(TargetOpcode::COPY),
 792           SubReg)
 793           .addReg(NewSuperReg, 0, SubIdx);
 794   return SubReg;
 795 }
 796
 797 MachineOperand SIInstrInfo::buildExtractSubRegOrImm(
 798   MachineBasicBlock::iterator MII,
 799   MachineRegisterInfo &MRI,
 800   MachineOperand &Op,
 801   const TargetRegisterClass *SuperRC,
 802   unsigned SubIdx,
 803   const TargetRegisterClass *SubRC) const {
 804   if (Op.isImm()) {
 805     // XXX - Is there a better way to do this?
 806     if (SubIdx == AMDGPU::sub0)
 807       return MachineOperand::CreateImm(Op.getImm() & 0xFFFFFFFF);
 808     if (SubIdx == AMDGPU::sub1)
 809       return MachineOperand::CreateImm(Op.getImm() >> 32);
 810
 811     llvm_unreachable("Unhandled register index for immediate");
 812   }
 813
 814   unsigned SubReg = buildExtractSubReg(MII, MRI, Op, SuperRC,
 815                                        SubIdx, SubRC);
 816   return MachineOperand::CreateReg(SubReg, false);
 817 }
 818
 819 unsigned SIInstrInfo::split64BitImm(SmallVectorImpl<MachineInstr *> &Worklist,
 820                                     MachineBasicBlock::iterator MI,
 821                                     MachineRegisterInfo &MRI,
 822                                     const TargetRegisterClass *RC,
 823                                     const MachineOperand &Op) const {
 824   MachineBasicBlock *MBB = MI->getParent();
 825   DebugLoc DL = MI->getDebugLoc();
 826   unsigned LoDst = MRI.createVirtualRegister(&AMDGPU::SGPR_32RegClass);
 827   unsigned HiDst = MRI.createVirtualRegister(&AMDGPU::SGPR_32RegClass);
 828   unsigned Dst = MRI.createVirtualRegister(RC);
 829
 830   MachineInstr *Lo = BuildMI(*MBB, MI, DL, get(AMDGPU::S_MOV_B32),
 831                              LoDst)
 832     .addImm(Op.getImm() & 0xFFFFFFFF);
 833   MachineInstr *Hi = BuildMI(*MBB, MI, DL, get(AMDGPU::S_MOV_B32),
 834                              HiDst)
 835     .addImm(Op.getImm() >> 32);
 836
 837   BuildMI(*MBB, MI, DL, get(TargetOpcode::REG_SEQUENCE), Dst)
 838     .addReg(LoDst)
 839     .addImm(AMDGPU::sub0)
 840     .addReg(HiDst)
 841     .addImm(AMDGPU::sub1);
 842
 843   Worklist.push_back(Lo);
 844   Worklist.push_back(Hi);
 845
 846   return Dst;
 847 }
 848
 849 void SIInstrInfo::legalizeOperands(MachineInstr *MI) const {
 850   MachineRegisterInfo &MRI = MI->getParent()->getParent()->getRegInfo();
 851   int Src0Idx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
 852                                            AMDGPU::OpName::src0);
 853   int Src1Idx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
 854                                            AMDGPU::OpName::src1);
 855   int Src2Idx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
 856                                            AMDGPU::OpName::src2);
 857
 858   // Legalize VOP2
 859   if (isVOP2(MI->getOpcode()) && Src1Idx != -1) {
 860     MachineOperand &Src0 = MI->getOperand(Src0Idx);
 861     MachineOperand &Src1 = MI->getOperand(Src1Idx);
 862
 863     // If the instruction implicitly reads VCC, we can't have any SGPR operands,
 864     // so move any.
 865     bool ReadsVCC = MI->readsRegister(AMDGPU::VCC, &RI);
 866     if (ReadsVCC && Src0.isReg() &&
 867         RI.isSGPRClass(MRI.getRegClass(Src0.getReg()))) {
 868       legalizeOpWithMove(MI, Src0Idx);
 869       return;
 870     }
 871
 872     if (ReadsVCC && Src1.isReg() &&
 873         RI.isSGPRClass(MRI.getRegClass(Src1.getReg()))) {
 874       legalizeOpWithMove(MI, Src1Idx);
 875       return;
 876     }
 877
 878     // Legalize VOP2 instructions where src1 is not a VGPR. An SGPR input must
 879     // be the first operand, and there can only be one.
 880     if (Src1.isImm() || Src1.isFPImm() ||
 881         (Src1.isReg() && RI.isSGPRClass(MRI.getRegClass(Src1.getReg())))) {
 882       if (MI->isCommutable()) {
 883         if (commuteInstruction(MI))
 884           return;
 885       }
 886       legalizeOpWithMove(MI, Src1Idx);
 887     }
 888   }
 889
 890   // XXX - Do any VOP3 instructions read VCC?
 891   // Legalize VOP3
 892   if (isVOP3(MI->getOpcode())) {
 893     int VOP3Idx[3] = {Src0Idx, Src1Idx, Src2Idx};
 894     unsigned SGPRReg = AMDGPU::NoRegister;
 895     for (unsigned i = 0; i < 3; ++i) {
 896       int Idx = VOP3Idx[i];
 897       if (Idx == -1)
 898         continue;
 899       MachineOperand &MO = MI->getOperand(Idx);
 900
 901       if (MO.isReg()) {
 902         if (!RI.isSGPRClass(MRI.getRegClass(MO.getReg())))
 903           continue; // VGPRs are legal
 904
 905         assert(MO.getReg() != AMDGPU::SCC && "SCC operand to VOP3 instruction");
 906
 907         if (SGPRReg == AMDGPU::NoRegister || SGPRReg == MO.getReg()) {
 908           SGPRReg = MO.getReg();
 909           // We can use one SGPR in each VOP3 instruction.
 910           continue;
 911         }
 912       } else if (!isLiteralConstant(MO)) {
 913         // If it is not a register and not a literal constant, then it must be
 914         // an inline constant which is always legal.
 915         continue;
 916       }
 917       // If we make it this far, then the operand is not legal and we must
 918       // legalize it.
 919       legalizeOpWithMove(MI, Idx);
 920     }
 921   }
 922
 923   // Legalize REG_SEQUENCE and PHI
 924   // The register class of the operands much be the same type as the register
 925   // class of the output.
 926   if (MI->getOpcode() == AMDGPU::REG_SEQUENCE ||
 927       MI->getOpcode() == AMDGPU::PHI) {
 928     const TargetRegisterClass *RC = nullptr, *SRC = nullptr, *VRC = nullptr;
 929     for (unsigned i = 1, e = MI->getNumOperands(); i != e; i+=2) {
 930       if (!MI->getOperand(i).isReg() ||
 931           !TargetRegisterInfo::isVirtualRegister(MI->getOperand(i).getReg()))
 932         continue;
 933       const TargetRegisterClass *OpRC =
 934               MRI.getRegClass(MI->getOperand(i).getReg());
 935       if (RI.hasVGPRs(OpRC)) {
 936         VRC = OpRC;
 937       } else {
 938         SRC = OpRC;
 939       }
 940     }
 941
 942     // If any of the operands are VGPR registers, then they all most be
 943     // otherwise we will create illegal VGPR->SGPR copies when legalizing
 944     // them.
 945     if (VRC || !RI.isSGPRClass(getOpRegClass(*MI, 0))) {
 946       if (!VRC) {
 947         assert(SRC);
 948         VRC = RI.getEquivalentVGPRClass(SRC);
 949       }
 950       RC = VRC;
 951     } else {
 952       RC = SRC;
 953     }
 954
 955     // Update all the operands so they have the same type.
 956     for (unsigned i = 1, e = MI->getNumOperands(); i != e; i+=2) {
 957       if (!MI->getOperand(i).isReg() ||
 958           !TargetRegisterInfo::isVirtualRegister(MI->getOperand(i).getReg()))
 959         continue;
 960       unsigned DstReg = MRI.createVirtualRegister(RC);
 961       MachineBasicBlock *InsertBB;
 962       MachineBasicBlock::iterator Insert;
 963       if (MI->getOpcode() == AMDGPU::REG_SEQUENCE) {
 964         InsertBB = MI->getParent();
 965         Insert = MI;
 966       } else {
 967         // MI is a PHI instruction.
 968         InsertBB = MI->getOperand(i + 1).getMBB();
 969         Insert = InsertBB->getFirstTerminator();
 970       }
 971       BuildMI(*InsertBB, Insert, MI->getDebugLoc(),
 972               get(AMDGPU::COPY), DstReg)
 973               .addOperand(MI->getOperand(i));
 974       MI->getOperand(i).setReg(DstReg);
 975     }
 976   }
 977
 978   // Legalize INSERT_SUBREG
 979   // src0 must have the same register class as dst
 980   if (MI->getOpcode() == AMDGPU::INSERT_SUBREG) {
 981     unsigned Dst = MI->getOperand(0).getReg();
 982     unsigned Src0 = MI->getOperand(1).getReg();
 983     const TargetRegisterClass *DstRC = MRI.getRegClass(Dst);
 984     const TargetRegisterClass *Src0RC = MRI.getRegClass(Src0);
 985     if (DstRC != Src0RC) {
 986       MachineBasicBlock &MBB = *MI->getParent();
 987       unsigned NewSrc0 = MRI.createVirtualRegister(DstRC);
 988       BuildMI(MBB, MI, MI->getDebugLoc(), get(AMDGPU::COPY), NewSrc0)
 989               .addReg(Src0);
 990       MI->getOperand(1).setReg(NewSrc0);
 991     }
 992     return;
 993   }
 994
 995   // Legalize MUBUF* instructions
 996   // FIXME: If we start using the non-addr64 instructions for compute, we
 997   // may need to legalize them here.
 998
 999   int SRsrcIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
1000                                             AMDGPU::OpName::srsrc);
1001   int VAddrIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
1002                                              AMDGPU::OpName::vaddr);
1003   if (SRsrcIdx != -1 && VAddrIdx != -1) {
1004     const TargetRegisterClass *VAddrRC =
1005         RI.getRegClass(get(MI->getOpcode()).OpInfo[VAddrIdx].RegClass);
1006
1007     if(VAddrRC->getSize() == 8 &&
1008        MRI.getRegClass(MI->getOperand(SRsrcIdx).getReg()) != VAddrRC) {
1009       // We have a MUBUF instruction that uses a 64-bit vaddr register and
1010       // srsrc has the incorrect register class.  In order to fix this, we
1011       // need to extract the pointer from the resource descriptor (srsrc),
1012       // add it to the value of vadd,  then store the result in the vaddr
1013       // operand.  Then, we need to set the pointer field of the resource
1014       // descriptor to zero.
1015
1016       MachineBasicBlock &MBB = *MI->getParent();
1017       MachineOperand &SRsrcOp = MI->getOperand(SRsrcIdx);
1018       MachineOperand &VAddrOp = MI->getOperand(VAddrIdx);
1019       unsigned SRsrcPtrLo, SRsrcPtrHi, VAddrLo, VAddrHi;
1020       unsigned NewVAddrLo = MRI.createVirtualRegister(&AMDGPU::VReg_32RegClass);
1021       unsigned NewVAddrHi = MRI.createVirtualRegister(&AMDGPU::VReg_32RegClass);
1022       unsigned NewVAddr = MRI.createVirtualRegister(&AMDGPU::VReg_64RegClass);
1023       unsigned Zero64 = MRI.createVirtualRegister(&AMDGPU::SReg_64RegClass);
1024       unsigned SRsrcFormatLo = MRI.createVirtualRegister(&AMDGPU::SGPR_32RegClass);
1025       unsigned SRsrcFormatHi = MRI.createVirtualRegister(&AMDGPU::SGPR_32RegClass);
1026       unsigned NewSRsrc = MRI.createVirtualRegister(&AMDGPU::SReg_128RegClass);
1027
1028       // SRsrcPtrLo = srsrc:sub0
1029       SRsrcPtrLo = buildExtractSubReg(MI, MRI, SRsrcOp,
1030           &AMDGPU::VReg_128RegClass, AMDGPU::sub0, &AMDGPU::VReg_32RegClass);
1031
1032       // SRsrcPtrHi = srsrc:sub1
1033       SRsrcPtrHi = buildExtractSubReg(MI, MRI, SRsrcOp,
1034           &AMDGPU::VReg_128RegClass, AMDGPU::sub1, &AMDGPU::VReg_32RegClass);
1035
1036       // VAddrLo = vaddr:sub0
1037       VAddrLo = buildExtractSubReg(MI, MRI, VAddrOp,
1038           &AMDGPU::VReg_64RegClass, AMDGPU::sub0, &AMDGPU::VReg_32RegClass);
1039
1040       // VAddrHi = vaddr:sub1
1041       VAddrHi = buildExtractSubReg(MI, MRI, VAddrOp,
1042           &AMDGPU::VReg_64RegClass, AMDGPU::sub1, &AMDGPU::VReg_32RegClass);
1043
1044       // NewVaddrLo = SRsrcPtrLo + VAddrLo
1045       BuildMI(MBB, MI, MI->getDebugLoc(), get(AMDGPU::V_ADD_I32_e32),
1046               NewVAddrLo)
1047               .addReg(SRsrcPtrLo)
1048               .addReg(VAddrLo)
1049               .addReg(AMDGPU::VCC, RegState::Define | RegState::Implicit);
1050
1051       // NewVaddrHi = SRsrcPtrHi + VAddrHi
1052       BuildMI(MBB, MI, MI->getDebugLoc(), get(AMDGPU::V_ADDC_U32_e32),
1053               NewVAddrHi)
1054               .addReg(SRsrcPtrHi)
1055               .addReg(VAddrHi)
1056               .addReg(AMDGPU::VCC, RegState::ImplicitDefine)
1057               .addReg(AMDGPU::VCC, RegState::Implicit);
1058
1059       // NewVaddr = {NewVaddrHi, NewVaddrLo}
1060       BuildMI(MBB, MI, MI->getDebugLoc(), get(AMDGPU::REG_SEQUENCE),
1061               NewVAddr)
1062               .addReg(NewVAddrLo)
1063               .addImm(AMDGPU::sub0)
1064               .addReg(NewVAddrHi)
1065               .addImm(AMDGPU::sub1);
1066
1067       // Zero64 = 0
1068       BuildMI(MBB, MI, MI->getDebugLoc(), get(AMDGPU::S_MOV_B64),
1069               Zero64)
1070               .addImm(0);
1071
1072       // SRsrcFormatLo = RSRC_DATA_FORMAT{31-0}
1073       BuildMI(MBB, MI, MI->getDebugLoc(), get(AMDGPU::S_MOV_B32),
1074               SRsrcFormatLo)
1075               .addImm(AMDGPU::RSRC_DATA_FORMAT & 0xFFFFFFFF);
1076
1077       // SRsrcFormatHi = RSRC_DATA_FORMAT{63-32}
1078       BuildMI(MBB, MI, MI->getDebugLoc(), get(AMDGPU::S_MOV_B32),
1079               SRsrcFormatHi)
1080               .addImm(AMDGPU::RSRC_DATA_FORMAT >> 32);
1081
1082       // NewSRsrc = {Zero64, SRsrcFormat}
1083       BuildMI(MBB, MI, MI->getDebugLoc(), get(AMDGPU::REG_SEQUENCE),
1084               NewSRsrc)
1085               .addReg(Zero64)
1086               .addImm(AMDGPU::sub0_sub1)
1087               .addReg(SRsrcFormatLo)
1088               .addImm(AMDGPU::sub2)
1089               .addReg(SRsrcFormatHi)
1090               .addImm(AMDGPU::sub3);
1091
1092       // Update the instruction to use NewVaddr
1093       MI->getOperand(VAddrIdx).setReg(NewVAddr);
1094       // Update the instruction to use NewSRsrc
1095       MI->getOperand(SRsrcIdx).setReg(NewSRsrc);
1096     }
1097   }
1098 }
1099
1100 void SIInstrInfo::moveSMRDToVALU(MachineInstr *MI, MachineRegisterInfo &MRI) const {
1101   MachineBasicBlock *MBB = MI->getParent();
1102   switch (MI->getOpcode()) {
1103     case AMDGPU::S_LOAD_DWORD_IMM:
1104     case AMDGPU::S_LOAD_DWORD_SGPR:
1105     case AMDGPU::S_LOAD_DWORDX2_IMM:
1106     case AMDGPU::S_LOAD_DWORDX2_SGPR:
1107     case AMDGPU::S_LOAD_DWORDX4_IMM:
1108     case AMDGPU::S_LOAD_DWORDX4_SGPR:
1109       unsigned NewOpcode = getVALUOp(*MI);
1110       unsigned RegOffset;
1111       unsigned ImmOffset;
1112
1113       if (MI->getOperand(2).isReg()) {
1114         RegOffset = MI->getOperand(2).getReg();
1115         ImmOffset = 0;
1116       } else {
1117         assert(MI->getOperand(2).isImm());
1118         // SMRD instructions take a dword offsets and MUBUF instructions
1119         // take a byte offset.
1120         ImmOffset = MI->getOperand(2).getImm() << 2;
1121         RegOffset = MRI.createVirtualRegister(&AMDGPU::SGPR_32RegClass);
1122         if (isUInt<12>(ImmOffset)) {
1123           BuildMI(*MBB, MI, MI->getDebugLoc(), get(AMDGPU::S_MOV_B32),
1124                   RegOffset)
1125                   .addImm(0);
1126         } else {
1127           BuildMI(*MBB, MI, MI->getDebugLoc(), get(AMDGPU::S_MOV_B32),
1128                   RegOffset)
1129                   .addImm(ImmOffset);
1130           ImmOffset = 0;
1131         }
1132       }
1133
1134       unsigned SRsrc = MRI.createVirtualRegister(&AMDGPU::SReg_128RegClass);
1135       unsigned DWord0 = RegOffset;
1136       unsigned DWord1 = MRI.createVirtualRegister(&AMDGPU::SGPR_32RegClass);
1137       unsigned DWord2 = MRI.createVirtualRegister(&AMDGPU::SGPR_32RegClass);
1138       unsigned DWord3 = MRI.createVirtualRegister(&AMDGPU::SGPR_32RegClass);
1139
1140       BuildMI(*MBB, MI, MI->getDebugLoc(), get(AMDGPU::S_MOV_B32), DWord1)
1141               .addImm(0);
1142       BuildMI(*MBB, MI, MI->getDebugLoc(), get(AMDGPU::S_MOV_B32), DWord2)
1143               .addImm(AMDGPU::RSRC_DATA_FORMAT & 0xFFFFFFFF);
1144       BuildMI(*MBB, MI, MI->getDebugLoc(), get(AMDGPU::S_MOV_B32), DWord3)
1145               .addImm(AMDGPU::RSRC_DATA_FORMAT >> 32);
1146       BuildMI(*MBB, MI, MI->getDebugLoc(), get(AMDGPU::REG_SEQUENCE), SRsrc)
1147               .addReg(DWord0)
1148               .addImm(AMDGPU::sub0)
1149               .addReg(DWord1)
1150               .addImm(AMDGPU::sub1)
1151               .addReg(DWord2)
1152               .addImm(AMDGPU::sub2)
1153               .addReg(DWord3)
1154               .addImm(AMDGPU::sub3);
1155      MI->setDesc(get(NewOpcode));
1156      if (MI->getOperand(2).isReg()) {
1157        MI->getOperand(2).setReg(MI->getOperand(1).getReg());
1158      } else {
1159        MI->getOperand(2).ChangeToRegister(MI->getOperand(1).getReg(), false);
1160      }
1161      MI->getOperand(1).setReg(SRsrc);
1162      MI->addOperand(*MBB->getParent(), MachineOperand::CreateImm(ImmOffset));
1163   }
1164 }
1165
1166 void SIInstrInfo::moveToVALU(MachineInstr &TopInst) const {
1167   SmallVector<MachineInstr *, 128> Worklist;
1168   Worklist.push_back(&TopInst);
1169
1170   while (!Worklist.empty()) {
1171     MachineInstr *Inst = Worklist.pop_back_val();
1172     MachineBasicBlock *MBB = Inst->getParent();
1173     MachineRegisterInfo &MRI = MBB->getParent()->getRegInfo();
1174
1175     unsigned Opcode = Inst->getOpcode();
1176     unsigned NewOpcode = getVALUOp(*Inst);
1177
1178     // Handle some special cases
1179     switch (Opcode) {
1180     default:
1181       if (isSMRD(Inst->getOpcode())) {
1182         moveSMRDToVALU(Inst, MRI);
1183       }
1184       break;
1185     case AMDGPU::S_MOV_B64: {
1186       DebugLoc DL = Inst->getDebugLoc();
1187
1188       // If the source operand is a register we can replace this with a
1189       // copy.
1190       if (Inst->getOperand(1).isReg()) {
1191         MachineInstr *Copy = BuildMI(*MBB, Inst, DL, get(TargetOpcode::COPY))
1192           .addOperand(Inst->getOperand(0))
1193           .addOperand(Inst->getOperand(1));
1194         Worklist.push_back(Copy);
1195       } else {
1196         // Otherwise, we need to split this into two movs, because there is
1197         // no 64-bit VALU move instruction.
1198         unsigned Reg = Inst->getOperand(0).getReg();
1199         unsigned Dst = split64BitImm(Worklist,
1200                                      Inst,
1201                                      MRI,
1202                                      MRI.getRegClass(Reg),
1203                                      Inst->getOperand(1));
1204         MRI.replaceRegWith(Reg, Dst);
1205       }
1206       Inst->eraseFromParent();
1207       continue;
1208     }
1209     case AMDGPU::S_AND_B64:
1210       splitScalar64BitBinaryOp(Worklist, Inst, AMDGPU::S_AND_B32);
1211       Inst->eraseFromParent();
1212       continue;
1213
1214     case AMDGPU::S_OR_B64:
1215       splitScalar64BitBinaryOp(Worklist, Inst, AMDGPU::S_OR_B32);
1216       Inst->eraseFromParent();
1217       continue;
1218
1219     case AMDGPU::S_XOR_B64:
1220       splitScalar64BitBinaryOp(Worklist, Inst, AMDGPU::S_XOR_B32);
1221       Inst->eraseFromParent();
1222       continue;
1223
1224     case AMDGPU::S_NOT_B64:
1225       splitScalar64BitUnaryOp(Worklist, Inst, AMDGPU::S_NOT_B32);
1226       Inst->eraseFromParent();
1227       continue;
1228
1229     case AMDGPU::S_BCNT1_I32_B64:
1230       splitScalar64BitBCNT(Worklist, Inst);
1231       Inst->eraseFromParent();
1232       continue;
1233
1234     case AMDGPU::S_BFE_U64:
1235     case AMDGPU::S_BFE_I64:
1236     case AMDGPU::S_BFM_B64:
1237       llvm_unreachable("Moving this op to VALU not implemented");
1238     }
1239
1240     if (NewOpcode == AMDGPU::INSTRUCTION_LIST_END) {
1241       // We cannot move this instruction to the VALU, so we should try to
1242       // legalize its operands instead.
1243       legalizeOperands(Inst);
1244       continue;
1245     }
1246
1247     // Use the new VALU Opcode.
1248     const MCInstrDesc &NewDesc = get(NewOpcode);
1249     Inst->setDesc(NewDesc);
1250
1251     // Remove any references to SCC. Vector instructions can't read from it, and
1252     // We're just about to add the implicit use / defs of VCC, and we don't want
1253     // both.
1254     for (unsigned i = Inst->getNumOperands() - 1; i > 0; --i) {
1255       MachineOperand &Op = Inst->getOperand(i);
1256       if (Op.isReg() && Op.getReg() == AMDGPU::SCC)
1257         Inst->RemoveOperand(i);
1258     }
1259
1260     if (Opcode == AMDGPU::S_SEXT_I32_I8 || Opcode == AMDGPU::S_SEXT_I32_I16) {
1261       // We are converting these to a BFE, so we need to add the missing
1262       // operands for the size and offset.
1263       unsigned Size = (Opcode == AMDGPU::S_SEXT_I32_I8) ? 8 : 16;
1264       Inst->addOperand(Inst->getOperand(1));
1265       Inst->getOperand(1).ChangeToImmediate(0);
1266       Inst->addOperand(MachineOperand::CreateImm(0));
1267       Inst->addOperand(MachineOperand::CreateImm(0));
1268       Inst->addOperand(MachineOperand::CreateImm(0));
1269       Inst->addOperand(MachineOperand::CreateImm(Size));
1270
1271       // XXX - Other pointless operands. There are 4, but it seems you only need
1272       // 3 to not hit an assertion later in MCInstLower.
1273       Inst->addOperand(MachineOperand::CreateImm(0));
1274       Inst->addOperand(MachineOperand::CreateImm(0));
1275     } else if (Opcode == AMDGPU::S_BCNT1_I32_B32) {
1276       // The VALU version adds the second operand to the result, so insert an
1277       // extra 0 operand.
1278       Inst->addOperand(MachineOperand::CreateImm(0));
1279     }
1280
1281     addDescImplicitUseDef(NewDesc, Inst);
1282
1283     if (Opcode == AMDGPU::S_BFE_I32 || Opcode == AMDGPU::S_BFE_U32) {
1284       const MachineOperand &OffsetWidthOp = Inst->getOperand(2);
1285       // If we need to move this to VGPRs, we need to unpack the second operand
1286       // back into the 2 separate ones for bit offset and width.
1287       assert(OffsetWidthOp.isImm() &&
1288              "Scalar BFE is only implemented for constant width and offset");
1289       uint32_t Imm = OffsetWidthOp.getImm();
1290
1291       uint32_t Offset = Imm & 0x3f; // Extract bits [5:0].
1292       uint32_t BitWidth = (Imm & 0x7f0000) >> 16; // Extract bits [22:16].
1293
1294       Inst->RemoveOperand(2); // Remove old immediate.
1295       Inst->addOperand(Inst->getOperand(1));
1296       Inst->getOperand(1).ChangeToImmediate(0);
1297       Inst->addOperand(MachineOperand::CreateImm(0));
1298       Inst->addOperand(MachineOperand::CreateImm(Offset));
1299       Inst->addOperand(MachineOperand::CreateImm(0));
1300       Inst->addOperand(MachineOperand::CreateImm(BitWidth));
1301       Inst->addOperand(MachineOperand::CreateImm(0));
1302       Inst->addOperand(MachineOperand::CreateImm(0));
1303     }
1304
1305     // Update the destination register class.
1306
1307     const TargetRegisterClass *NewDstRC = getOpRegClass(*Inst, 0);
1308
1309     switch (Opcode) {
1310       // For target instructions, getOpRegClass just returns the virtual
1311       // register class associated with the operand, so we need to find an
1312       // equivalent VGPR register class in order to move the instruction to the
1313       // VALU.
1314     case AMDGPU::COPY:
1315     case AMDGPU::PHI:
1316     case AMDGPU::REG_SEQUENCE:
1317     case AMDGPU::INSERT_SUBREG:
1318       if (RI.hasVGPRs(NewDstRC))
1319         continue;
1320       NewDstRC = RI.getEquivalentVGPRClass(NewDstRC);
1321       if (!NewDstRC)
1322         continue;
1323       break;
1324     default:
1325       break;
1326     }
1327
1328     unsigned DstReg = Inst->getOperand(0).getReg();
1329     unsigned NewDstReg = MRI.createVirtualRegister(NewDstRC);
1330     MRI.replaceRegWith(DstReg, NewDstReg);
1331
1332     // Legalize the operands
1333     legalizeOperands(Inst);
1334
1335     for (MachineRegisterInfo::use_iterator I = MRI.use_begin(NewDstReg),
1336            E = MRI.use_end(); I != E; ++I) {
1337       MachineInstr &UseMI = *I->getParent();
1338       if (!canReadVGPR(UseMI, I.getOperandNo())) {
1339         Worklist.push_back(&UseMI);
1340       }
1341     }
1342   }
1343 }
1344
1345 //===----------------------------------------------------------------------===//
1346 // Indirect addressing callbacks
1347 //===----------------------------------------------------------------------===//
1348
1349 unsigned SIInstrInfo::calculateIndirectAddress(unsigned RegIndex,
1350                                                  unsigned Channel) const {
1351   assert(Channel == 0);
1352   return RegIndex;
1353 }
1354
1355 const TargetRegisterClass *SIInstrInfo::getIndirectAddrRegClass() const {
1356   return &AMDGPU::VReg_32RegClass;
1357 }
1358
1359 void SIInstrInfo::splitScalar64BitUnaryOp(
1360   SmallVectorImpl<MachineInstr *> &Worklist,
1361   MachineInstr *Inst,
1362   unsigned Opcode) const {
1363   MachineBasicBlock &MBB = *Inst->getParent();
1364   MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
1365
1366   MachineOperand &Dest = Inst->getOperand(0);
1367   MachineOperand &Src0 = Inst->getOperand(1);
1368   DebugLoc DL = Inst->getDebugLoc();
1369
1370   MachineBasicBlock::iterator MII = Inst;
1371
1372   const MCInstrDesc &InstDesc = get(Opcode);
1373   const TargetRegisterClass *Src0RC = Src0.isReg() ?
1374     MRI.getRegClass(Src0.getReg()) :
1375     &AMDGPU::SGPR_32RegClass;
1376
1377   const TargetRegisterClass *Src0SubRC = RI.getSubRegClass(Src0RC, AMDGPU::sub0);
1378
1379   MachineOperand SrcReg0Sub0 = buildExtractSubRegOrImm(MII, MRI, Src0, Src0RC,
1380                                                        AMDGPU::sub0, Src0SubRC);
1381
1382   const TargetRegisterClass *DestRC = MRI.getRegClass(Dest.getReg());
1383   const TargetRegisterClass *DestSubRC = RI.getSubRegClass(DestRC, AMDGPU::sub0);
1384
1385   unsigned DestSub0 = MRI.createVirtualRegister(DestRC);
1386   MachineInstr *LoHalf = BuildMI(MBB, MII, DL, InstDesc, DestSub0)
1387     .addOperand(SrcReg0Sub0);
1388
1389   MachineOperand SrcReg0Sub1 = buildExtractSubRegOrImm(MII, MRI, Src0, Src0RC,
1390                                                        AMDGPU::sub1, Src0SubRC);
1391
1392   unsigned DestSub1 = MRI.createVirtualRegister(DestSubRC);
1393   MachineInstr *HiHalf = BuildMI(MBB, MII, DL, InstDesc, DestSub1)
1394     .addOperand(SrcReg0Sub1);
1395
1396   unsigned FullDestReg = MRI.createVirtualRegister(DestRC);
1397   BuildMI(MBB, MII, DL, get(TargetOpcode::REG_SEQUENCE), FullDestReg)
1398     .addReg(DestSub0)
1399     .addImm(AMDGPU::sub0)
1400     .addReg(DestSub1)
1401     .addImm(AMDGPU::sub1);
1402
1403   MRI.replaceRegWith(Dest.getReg(), FullDestReg);
1404
1405   // Try to legalize the operands in case we need to swap the order to keep it
1406   // valid.
1407   Worklist.push_back(LoHalf);
1408   Worklist.push_back(HiHalf);
1409 }
1410
1411 void SIInstrInfo::splitScalar64BitBinaryOp(
1412   SmallVectorImpl<MachineInstr *> &Worklist,
1413   MachineInstr *Inst,
1414   unsigned Opcode) const {
1415   MachineBasicBlock &MBB = *Inst->getParent();
1416   MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
1417
1418   MachineOperand &Dest = Inst->getOperand(0);
1419   MachineOperand &Src0 = Inst->getOperand(1);
1420   MachineOperand &Src1 = Inst->getOperand(2);
1421   DebugLoc DL = Inst->getDebugLoc();
1422
1423   MachineBasicBlock::iterator MII = Inst;
1424
1425   const MCInstrDesc &InstDesc = get(Opcode);
1426   const TargetRegisterClass *Src0RC = Src0.isReg() ?
1427     MRI.getRegClass(Src0.getReg()) :
1428     &AMDGPU::SGPR_32RegClass;
1429
1430   const TargetRegisterClass *Src0SubRC = RI.getSubRegClass(Src0RC, AMDGPU::sub0);
1431   const TargetRegisterClass *Src1RC = Src1.isReg() ?
1432     MRI.getRegClass(Src1.getReg()) :
1433     &AMDGPU::SGPR_32RegClass;
1434
1435   const TargetRegisterClass *Src1SubRC = RI.getSubRegClass(Src1RC, AMDGPU::sub0);
1436
1437   MachineOperand SrcReg0Sub0 = buildExtractSubRegOrImm(MII, MRI, Src0, Src0RC,
1438                                                        AMDGPU::sub0, Src0SubRC);
1439   MachineOperand SrcReg1Sub0 = buildExtractSubRegOrImm(MII, MRI, Src1, Src1RC,
1440                                                        AMDGPU::sub0, Src1SubRC);
1441
1442   const TargetRegisterClass *DestRC = MRI.getRegClass(Dest.getReg());
1443   const TargetRegisterClass *DestSubRC = RI.getSubRegClass(DestRC, AMDGPU::sub0);
1444
1445   unsigned DestSub0 = MRI.createVirtualRegister(DestRC);
1446   MachineInstr *LoHalf = BuildMI(MBB, MII, DL, InstDesc, DestSub0)
1447     .addOperand(SrcReg0Sub0)
1448     .addOperand(SrcReg1Sub0);
1449
1450   MachineOperand SrcReg0Sub1 = buildExtractSubRegOrImm(MII, MRI, Src0, Src0RC,
1451                                                        AMDGPU::sub1, Src0SubRC);
1452   MachineOperand SrcReg1Sub1 = buildExtractSubRegOrImm(MII, MRI, Src1, Src1RC,
1453                                                        AMDGPU::sub1, Src1SubRC);
1454
1455   unsigned DestSub1 = MRI.createVirtualRegister(DestSubRC);
1456   MachineInstr *HiHalf = BuildMI(MBB, MII, DL, InstDesc, DestSub1)
1457     .addOperand(SrcReg0Sub1)
1458     .addOperand(SrcReg1Sub1);
1459
1460   unsigned FullDestReg = MRI.createVirtualRegister(DestRC);
1461   BuildMI(MBB, MII, DL, get(TargetOpcode::REG_SEQUENCE), FullDestReg)
1462     .addReg(DestSub0)
1463     .addImm(AMDGPU::sub0)
1464     .addReg(DestSub1)
1465     .addImm(AMDGPU::sub1);
1466
1467   MRI.replaceRegWith(Dest.getReg(), FullDestReg);
1468
1469   // Try to legalize the operands in case we need to swap the order to keep it
1470   // valid.
1471   Worklist.push_back(LoHalf);
1472   Worklist.push_back(HiHalf);
1473 }
1474
1475 void SIInstrInfo::splitScalar64BitBCNT(SmallVectorImpl<MachineInstr *> &Worklist,
1476                                        MachineInstr *Inst) const {
1477   MachineBasicBlock &MBB = *Inst->getParent();
1478   MachineRegisterInfo &MRI = MBB.getParent()->getRegInfo();
1479
1480   MachineBasicBlock::iterator MII = Inst;
1481   DebugLoc DL = Inst->getDebugLoc();
1482
1483   MachineOperand &Dest = Inst->getOperand(0);
1484   MachineOperand &Src = Inst->getOperand(1);
1485
1486   const MCInstrDesc &InstDesc = get(AMDGPU::V_BCNT_U32_B32_e32);
1487   const TargetRegisterClass *SrcRC = Src.isReg() ?
1488     MRI.getRegClass(Src.getReg()) :
1489     &AMDGPU::SGPR_32RegClass;
1490
1491   unsigned MidReg = MRI.createVirtualRegister(&AMDGPU::VGPR_32RegClass);
1492   unsigned ResultReg = MRI.createVirtualRegister(&AMDGPU::VGPR_32RegClass);
1493
1494   const TargetRegisterClass *SrcSubRC = RI.getSubRegClass(SrcRC, AMDGPU::sub0);
1495
1496   MachineOperand SrcRegSub0 = buildExtractSubRegOrImm(MII, MRI, Src, SrcRC,
1497                                                       AMDGPU::sub0, SrcSubRC);
1498   MachineOperand SrcRegSub1 = buildExtractSubRegOrImm(MII, MRI, Src, SrcRC,
1499                                                       AMDGPU::sub1, SrcSubRC);
1500
1501   MachineInstr *First = BuildMI(MBB, MII, DL, InstDesc, MidReg)
1502     .addOperand(SrcRegSub0)
1503     .addImm(0);
1504
1505   MachineInstr *Second = BuildMI(MBB, MII, DL, InstDesc, ResultReg)
1506     .addOperand(SrcRegSub1)
1507     .addReg(MidReg);
1508
1509   MRI.replaceRegWith(Dest.getReg(), ResultReg);
1510
1511   Worklist.push_back(First);
1512   Worklist.push_back(Second);
1513 }
1514
1515 void SIInstrInfo::addDescImplicitUseDef(const MCInstrDesc &NewDesc,
1516                                         MachineInstr *Inst) const {
1517   // Add the implict and explicit register definitions.
1518   if (NewDesc.ImplicitUses) {
1519     for (unsigned i = 0; NewDesc.ImplicitUses[i]; ++i) {
1520       unsigned Reg = NewDesc.ImplicitUses[i];
1521       Inst->addOperand(MachineOperand::CreateReg(Reg, false, true));
1522     }
1523   }
1524
1525   if (NewDesc.ImplicitDefs) {
1526     for (unsigned i = 0; NewDesc.ImplicitDefs[i]; ++i) {
1527       unsigned Reg = NewDesc.ImplicitDefs[i];
1528       Inst->addOperand(MachineOperand::CreateReg(Reg, true, true));
1529     }
1530   }
1531 }
1532
1533 MachineInstrBuilder SIInstrInfo::buildIndirectWrite(
1534                                    MachineBasicBlock *MBB,
1535                                    MachineBasicBlock::iterator I,
1536                                    unsigned ValueReg,
1537                                    unsigned Address, unsigned OffsetReg) const {
1538   const DebugLoc &DL = MBB->findDebugLoc(I);
1539   unsigned IndirectBaseReg = AMDGPU::VReg_32RegClass.getRegister(
1540                                       getIndirectIndexBegin(*MBB->getParent()));
1541
1542   return BuildMI(*MBB, I, DL, get(AMDGPU::SI_INDIRECT_DST_V1))
1543           .addReg(IndirectBaseReg, RegState::Define)
1544           .addOperand(I->getOperand(0))
1545           .addReg(IndirectBaseReg)
1546           .addReg(OffsetReg)
1547           .addImm(0)
1548           .addReg(ValueReg);
1549 }
1550
1551 MachineInstrBuilder SIInstrInfo::buildIndirectRead(
1552                                    MachineBasicBlock *MBB,
1553                                    MachineBasicBlock::iterator I,
1554                                    unsigned ValueReg,
1555                                    unsigned Address, unsigned OffsetReg) const {
1556   const DebugLoc &DL = MBB->findDebugLoc(I);
1557   unsigned IndirectBaseReg = AMDGPU::VReg_32RegClass.getRegister(
1558                                       getIndirectIndexBegin(*MBB->getParent()));
1559
1560   return BuildMI(*MBB, I, DL, get(AMDGPU::SI_INDIRECT_SRC))
1561           .addOperand(I->getOperand(0))
1562           .addOperand(I->getOperand(1))
1563           .addReg(IndirectBaseReg)
1564           .addReg(OffsetReg)
1565           .addImm(0);
1566
1567 }
1568
1569 void SIInstrInfo::reserveIndirectRegisters(BitVector &Reserved,
1570                                             const MachineFunction &MF) const {
1571   int End = getIndirectIndexEnd(MF);
1572   int Begin = getIndirectIndexBegin(MF);
1573
1574   if (End == -1)
1575     return;
1576
1577
1578   for (int Index = Begin; Index <= End; ++Index)
1579     Reserved.set(AMDGPU::VReg_32RegClass.getRegister(Index));
1580
1581   for (int Index = std::max(0, Begin - 1); Index <= End; ++Index)
1582     Reserved.set(AMDGPU::VReg_64RegClass.getRegister(Index));
1583
1584   for (int Index = std::max(0, Begin - 2); Index <= End; ++Index)
1585     Reserved.set(AMDGPU::VReg_96RegClass.getRegister(Index));
1586
1587   for (int Index = std::max(0, Begin - 3); Index <= End; ++Index)
1588     Reserved.set(AMDGPU::VReg_128RegClass.getRegister(Index));
1589
1590   for (int Index = std::max(0, Begin - 7); Index <= End; ++Index)
1591     Reserved.set(AMDGPU::VReg_256RegClass.getRegister(Index));
1592
1593   for (int Index = std::max(0, Begin - 15); Index <= End; ++Index)
1594     Reserved.set(AMDGPU::VReg_512RegClass.getRegister(Index));
1595 }