lib/Target/AMDGPU/AMDGPUInstrInfo.cpp

   1 //===-- AMDGPUInstrInfo.cpp - Base class for AMD GPU InstrInfo ------------===//
   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 Implementation of the TargetInstrInfo class that is common to all
  12 /// AMD GPUs.
  13 //
  14 //===----------------------------------------------------------------------===//
  15
  16 #include "AMDGPUInstrInfo.h"
  17 #include "AMDGPURegisterInfo.h"
  18 #include "AMDGPUTargetMachine.h"
  19 #include "llvm/CodeGen/MachineFrameInfo.h"
  20 #include "llvm/CodeGen/MachineInstrBuilder.h"
  21 #include "llvm/CodeGen/MachineRegisterInfo.h"
  22
  23 using namespace llvm;
  24
  25 #define GET_INSTRINFO_CTOR_DTOR
  26 #define GET_INSTRINFO_NAMED_OPS
  27 #define GET_INSTRMAP_INFO
  28 #include "AMDGPUGenInstrInfo.inc"
  29
  30 // Pin the vtable to this file.
  31 void AMDGPUInstrInfo::anchor() {}
  32
  33 AMDGPUInstrInfo::AMDGPUInstrInfo(const AMDGPUSubtarget &st)
  34     : AMDGPUGenInstrInfo(-1, -1), ST(st) {}
  35
  36 const AMDGPURegisterInfo &AMDGPUInstrInfo::getRegisterInfo() const {
  37   return RI;
  38 }
  39
  40 bool AMDGPUInstrInfo::isCoalescableExtInstr(const MachineInstr &MI,
  41                                            unsigned &SrcReg, unsigned &DstReg,
  42                                            unsigned &SubIdx) const {
  43 // TODO: Implement this function
  44   return false;
  45 }
  46
  47 unsigned AMDGPUInstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
  48                                              int &FrameIndex) const {
  49 // TODO: Implement this function
  50   return 0;
  51 }
  52
  53 unsigned AMDGPUInstrInfo::isLoadFromStackSlotPostFE(const MachineInstr *MI,
  54                                                    int &FrameIndex) const {
  55 // TODO: Implement this function
  56   return 0;
  57 }
  58
  59 bool AMDGPUInstrInfo::hasLoadFromStackSlot(const MachineInstr *MI,
  60                                           const MachineMemOperand *&MMO,
  61                                           int &FrameIndex) const {
  62 // TODO: Implement this function
  63   return false;
  64 }
  65 unsigned AMDGPUInstrInfo::isStoreFromStackSlot(const MachineInstr *MI,
  66                                               int &FrameIndex) const {
  67 // TODO: Implement this function
  68   return 0;
  69 }
  70 unsigned AMDGPUInstrInfo::isStoreFromStackSlotPostFE(const MachineInstr *MI,
  71                                                     int &FrameIndex) const {
  72 // TODO: Implement this function
  73   return 0;
  74 }
  75 bool AMDGPUInstrInfo::hasStoreFromStackSlot(const MachineInstr *MI,
  76                                            const MachineMemOperand *&MMO,
  77                                            int &FrameIndex) const {
  78 // TODO: Implement this function
  79   return false;
  80 }
  81
  82 MachineInstr *
  83 AMDGPUInstrInfo::convertToThreeAddress(MachineFunction::iterator &MFI,
  84                                       MachineBasicBlock::iterator &MBBI,
  85                                       LiveVariables *LV) const {
  86 // TODO: Implement this function
  87   return nullptr;
  88 }
  89
  90 void
  91 AMDGPUInstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB,
  92                                     MachineBasicBlock::iterator MI,
  93                                     unsigned SrcReg, bool isKill,
  94                                     int FrameIndex,
  95                                     const TargetRegisterClass *RC,
  96                                     const TargetRegisterInfo *TRI) const {
  97   llvm_unreachable("Not Implemented");
  98 }
  99
 100 void
 101 AMDGPUInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB,
 102                                      MachineBasicBlock::iterator MI,
 103                                      unsigned DestReg, int FrameIndex,
 104                                      const TargetRegisterClass *RC,
 105                                      const TargetRegisterInfo *TRI) const {
 106   llvm_unreachable("Not Implemented");
 107 }
 108
 109 bool AMDGPUInstrInfo::expandPostRAPseudo (MachineBasicBlock::iterator MI) const {
 110   MachineBasicBlock *MBB = MI->getParent();
 111   int OffsetOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
 112                                                AMDGPU::OpName::addr);
 113    // addr is a custom operand with multiple MI operands, and only the
 114    // first MI operand is given a name.
 115   int RegOpIdx = OffsetOpIdx + 1;
 116   int ChanOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
 117                                              AMDGPU::OpName::chan);
 118   if (isRegisterLoad(*MI)) {
 119     int DstOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
 120                                               AMDGPU::OpName::dst);
 121     unsigned RegIndex = MI->getOperand(RegOpIdx).getImm();
 122     unsigned Channel = MI->getOperand(ChanOpIdx).getImm();
 123     unsigned Address = calculateIndirectAddress(RegIndex, Channel);
 124     unsigned OffsetReg = MI->getOperand(OffsetOpIdx).getReg();
 125     if (OffsetReg == AMDGPU::INDIRECT_BASE_ADDR) {
 126       buildMovInstr(MBB, MI, MI->getOperand(DstOpIdx).getReg(),
 127                     getIndirectAddrRegClass()->getRegister(Address));
 128     } else {
 129       buildIndirectRead(MBB, MI, MI->getOperand(DstOpIdx).getReg(),
 130                         Address, OffsetReg);
 131     }
 132   } else if (isRegisterStore(*MI)) {
 133     int ValOpIdx = AMDGPU::getNamedOperandIdx(MI->getOpcode(),
 134                                               AMDGPU::OpName::val);
 135     unsigned RegIndex = MI->getOperand(RegOpIdx).getImm();
 136     unsigned Channel = MI->getOperand(ChanOpIdx).getImm();
 137     unsigned Address = calculateIndirectAddress(RegIndex, Channel);
 138     unsigned OffsetReg = MI->getOperand(OffsetOpIdx).getReg();
 139     if (OffsetReg == AMDGPU::INDIRECT_BASE_ADDR) {
 140       buildMovInstr(MBB, MI, getIndirectAddrRegClass()->getRegister(Address),
 141                     MI->getOperand(ValOpIdx).getReg());
 142     } else {
 143       buildIndirectWrite(MBB, MI, MI->getOperand(ValOpIdx).getReg(),
 144                          calculateIndirectAddress(RegIndex, Channel),
 145                          OffsetReg);
 146     }
 147   } else {
 148     return false;
 149   }
 150
 151   MBB->erase(MI);
 152   return true;
 153 }
 154
 155 MachineInstr *AMDGPUInstrInfo::foldMemoryOperandImpl(
 156     MachineFunction &MF, MachineInstr *MI, ArrayRef<unsigned> Ops,
 157     MachineBasicBlock::iterator InsertPt, int FrameIndex) const {
 158 // TODO: Implement this function
 159   return nullptr;
 160 }
 161 MachineInstr *AMDGPUInstrInfo::foldMemoryOperandImpl(
 162     MachineFunction &MF, MachineInstr *MI, ArrayRef<unsigned> Ops,
 163     MachineBasicBlock::iterator InsertPt, MachineInstr *LoadMI) const {
 164   // TODO: Implement this function
 165   return nullptr;
 166 }
 167 bool
 168 AMDGPUInstrInfo::unfoldMemoryOperand(MachineFunction &MF, MachineInstr *MI,
 169                                  unsigned Reg, bool UnfoldLoad,
 170                                  bool UnfoldStore,
 171                                  SmallVectorImpl<MachineInstr*> &NewMIs) const {
 172   // TODO: Implement this function
 173   return false;
 174 }
 175
 176 bool
 177 AMDGPUInstrInfo::unfoldMemoryOperand(SelectionDAG &DAG, SDNode *N,
 178                                     SmallVectorImpl<SDNode*> &NewNodes) const {
 179   // TODO: Implement this function
 180   return false;
 181 }
 182
 183 unsigned
 184 AMDGPUInstrInfo::getOpcodeAfterMemoryUnfold(unsigned Opc,
 185                                            bool UnfoldLoad, bool UnfoldStore,
 186                                            unsigned *LoadRegIndex) const {
 187   // TODO: Implement this function
 188   return 0;
 189 }
 190
 191 bool AMDGPUInstrInfo::enableClusterLoads() const {
 192   return true;
 193 }
 194
 195 // FIXME: This behaves strangely. If, for example, you have 32 load + stores,
 196 // the first 16 loads will be interleaved with the stores, and the next 16 will
 197 // be clustered as expected. It should really split into 2 16 store batches.
 198 //
 199 // Loads are clustered until this returns false, rather than trying to schedule
 200 // groups of stores. This also means we have to deal with saying different
 201 // address space loads should be clustered, and ones which might cause bank
 202 // conflicts.
 203 //
 204 // This might be deprecated so it might not be worth that much effort to fix.
 205 bool AMDGPUInstrInfo::shouldScheduleLoadsNear(SDNode *Load0, SDNode *Load1,
 206                                               int64_t Offset0, int64_t Offset1,
 207                                               unsigned NumLoads) const {
 208   assert(Offset1 > Offset0 &&
 209          "Second offset should be larger than first offset!");
 210   // If we have less than 16 loads in a row, and the offsets are within 64
 211   // bytes, then schedule together.
 212
 213   // A cacheline is 64 bytes (for global memory).
 214   return (NumLoads <= 16 && (Offset1 - Offset0) < 64);
 215 }
 216
 217 bool
 218 AMDGPUInstrInfo::ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond)
 219   const {
 220   // TODO: Implement this function
 221   return true;
 222 }
 223 void AMDGPUInstrInfo::insertNoop(MachineBasicBlock &MBB,
 224                                 MachineBasicBlock::iterator MI) const {
 225   // TODO: Implement this function
 226 }
 227
 228 bool AMDGPUInstrInfo::isPredicated(const MachineInstr *MI) const {
 229   // TODO: Implement this function
 230   return false;
 231 }
 232
 233 bool AMDGPUInstrInfo::SubsumesPredicate(ArrayRef<MachineOperand> Pred1,
 234                                         ArrayRef<MachineOperand> Pred2) const {
 235   // TODO: Implement this function
 236   return false;
 237 }
 238
 239 bool AMDGPUInstrInfo::DefinesPredicate(MachineInstr *MI,
 240                                       std::vector<MachineOperand> &Pred) const {
 241   // TODO: Implement this function
 242   return false;
 243 }
 244
 245 bool AMDGPUInstrInfo::isPredicable(MachineInstr *MI) const {
 246   // TODO: Implement this function
 247   return MI->getDesc().isPredicable();
 248 }
 249
 250 bool
 251 AMDGPUInstrInfo::isSafeToMoveRegClassDefs(const TargetRegisterClass *RC) const {
 252   // TODO: Implement this function
 253   return true;
 254 }
 255
 256 bool AMDGPUInstrInfo::isRegisterStore(const MachineInstr &MI) const {
 257   return get(MI.getOpcode()).TSFlags & AMDGPU_FLAG_REGISTER_STORE;
 258 }
 259
 260 bool AMDGPUInstrInfo::isRegisterLoad(const MachineInstr &MI) const {
 261   return get(MI.getOpcode()).TSFlags & AMDGPU_FLAG_REGISTER_LOAD;
 262 }
 263
 264 int AMDGPUInstrInfo::getIndirectIndexBegin(const MachineFunction &MF) const {
 265   const MachineRegisterInfo &MRI = MF.getRegInfo();
 266   const MachineFrameInfo *MFI = MF.getFrameInfo();
 267   int Offset = -1;
 268
 269   if (MFI->getNumObjects() == 0) {
 270     return -1;
 271   }
 272
 273   if (MRI.livein_empty()) {
 274     return 0;
 275   }
 276
 277   const TargetRegisterClass *IndirectRC = getIndirectAddrRegClass();
 278   for (MachineRegisterInfo::livein_iterator LI = MRI.livein_begin(),
 279                                             LE = MRI.livein_end();
 280                                             LI != LE; ++LI) {
 281     unsigned Reg = LI->first;
 282     if (TargetRegisterInfo::isVirtualRegister(Reg) ||
 283         !IndirectRC->contains(Reg))
 284       continue;
 285
 286     unsigned RegIndex;
 287     unsigned RegEnd;
 288     for (RegIndex = 0, RegEnd = IndirectRC->getNumRegs(); RegIndex != RegEnd;
 289                                                           ++RegIndex) {
 290       if (IndirectRC->getRegister(RegIndex) == Reg)
 291         break;
 292     }
 293     Offset = std::max(Offset, (int)RegIndex);
 294   }
 295
 296   return Offset + 1;
 297 }
 298
 299 int AMDGPUInstrInfo::getIndirectIndexEnd(const MachineFunction &MF) const {
 300   int Offset = 0;
 301   const MachineFrameInfo *MFI = MF.getFrameInfo();
 302
 303   // Variable sized objects are not supported
 304   assert(!MFI->hasVarSizedObjects());
 305
 306   if (MFI->getNumObjects() == 0) {
 307     return -1;
 308   }
 309
 310   Offset = MF.getSubtarget().getFrameLowering()->getFrameIndexOffset(MF, -1);
 311
 312   return getIndirectIndexBegin(MF) + Offset;
 313 }
 314
 315 int AMDGPUInstrInfo::getMaskedMIMGOp(uint16_t Opcode, unsigned Channels) const {
 316   switch (Channels) {
 317   default: return Opcode;
 318   case 1: return AMDGPU::getMaskedMIMGOp(Opcode, AMDGPU::Channels_1);
 319   case 2: return AMDGPU::getMaskedMIMGOp(Opcode, AMDGPU::Channels_2);
 320   case 3: return AMDGPU::getMaskedMIMGOp(Opcode, AMDGPU::Channels_3);
 321   }
 322 }
 323
 324 // Wrapper for Tablegen'd function.  enum Subtarget is not defined in any
 325 // header files, so we need to wrap it in a function that takes unsigned
 326 // instead.
 327 namespace llvm {
 328 namespace AMDGPU {
 329 static int getMCOpcode(uint16_t Opcode, unsigned Gen) {
 330   return getMCOpcodeGen(Opcode, (enum Subtarget)Gen);
 331 }
 332 }
 333 }
 334
 335 // This must be kept in sync with the SISubtarget class in SIInstrInfo.td
 336 enum SISubtarget {
 337   SI = 0,
 338   VI = 1
 339 };
 340
 341 static enum SISubtarget AMDGPUSubtargetToSISubtarget(unsigned Gen) {
 342   switch (Gen) {
 343   default:
 344     return SI;
 345   case AMDGPUSubtarget::VOLCANIC_ISLANDS:
 346     return VI;
 347   }
 348 }
 349
 350 int AMDGPUInstrInfo::pseudoToMCOpcode(int Opcode) const {
 351   int MCOp = AMDGPU::getMCOpcode(
 352       Opcode, AMDGPUSubtargetToSISubtarget(ST.getGeneration()));
 353
 354   // -1 means that Opcode is already a native instruction.
 355   if (MCOp == -1)
 356     return Opcode;
 357
 358   // (uint16_t)-1 means that Opcode is a pseudo instruction that has
 359   // no encoding in the given subtarget generation.
 360   if (MCOp == (uint16_t)-1)
 361     return -1;
 362
 363   return MCOp;
 364 }