Home | History | Annotate | Download | only in CodeGen
      1 //===-- lib/Codegen/MachineRegisterInfo.cpp -------------------------------===//
      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 // Implementation of the MachineRegisterInfo class.
     11 //
     12 //===----------------------------------------------------------------------===//
     13 
     14 #include "llvm/CodeGen/MachineRegisterInfo.h"
     15 #include "llvm/CodeGen/MachineInstrBuilder.h"
     16 #include "llvm/IR/Function.h"
     17 #include "llvm/Support/raw_os_ostream.h"
     18 #include "llvm/Target/TargetInstrInfo.h"
     19 #include "llvm/Target/TargetMachine.h"
     20 #include "llvm/Target/TargetSubtargetInfo.h"
     21 
     22 using namespace llvm;
     23 
     24 // Pin the vtable to this file.
     25 void MachineRegisterInfo::Delegate::anchor() {}
     26 
     27 MachineRegisterInfo::MachineRegisterInfo(const MachineFunction *MF)
     28   : MF(MF), TheDelegate(nullptr), IsSSA(true), TracksLiveness(true),
     29     TracksSubRegLiveness(false) {
     30   unsigned NumRegs = getTargetRegisterInfo()->getNumRegs();
     31   VRegInfo.reserve(256);
     32   RegAllocHints.reserve(256);
     33   UsedPhysRegMask.resize(NumRegs);
     34   PhysRegUseDefLists.reset(new MachineOperand*[NumRegs]());
     35 }
     36 
     37 /// setRegClass - Set the register class of the specified virtual register.
     38 ///
     39 void
     40 MachineRegisterInfo::setRegClass(unsigned Reg, const TargetRegisterClass *RC) {
     41   assert(RC && RC->isAllocatable() && "Invalid RC for virtual register");
     42   VRegInfo[Reg].first = RC;
     43 }
     44 
     45 const TargetRegisterClass *
     46 MachineRegisterInfo::constrainRegClass(unsigned Reg,
     47                                        const TargetRegisterClass *RC,
     48                                        unsigned MinNumRegs) {
     49   const TargetRegisterClass *OldRC = getRegClass(Reg);
     50   if (OldRC == RC)
     51     return RC;
     52   const TargetRegisterClass *NewRC =
     53     getTargetRegisterInfo()->getCommonSubClass(OldRC, RC);
     54   if (!NewRC || NewRC == OldRC)
     55     return NewRC;
     56   if (NewRC->getNumRegs() < MinNumRegs)
     57     return nullptr;
     58   setRegClass(Reg, NewRC);
     59   return NewRC;
     60 }
     61 
     62 bool
     63 MachineRegisterInfo::recomputeRegClass(unsigned Reg) {
     64   const TargetInstrInfo *TII = MF->getSubtarget().getInstrInfo();
     65   const TargetRegisterClass *OldRC = getRegClass(Reg);
     66   const TargetRegisterClass *NewRC =
     67       getTargetRegisterInfo()->getLargestLegalSuperClass(OldRC, *MF);
     68 
     69   // Stop early if there is no room to grow.
     70   if (NewRC == OldRC)
     71     return false;
     72 
     73   // Accumulate constraints from all uses.
     74   for (MachineOperand &MO : reg_nodbg_operands(Reg)) {
     75     // Apply the effect of the given operand to NewRC.
     76     MachineInstr *MI = MO.getParent();
     77     unsigned OpNo = &MO - &MI->getOperand(0);
     78     NewRC = MI->getRegClassConstraintEffect(OpNo, NewRC, TII,
     79                                             getTargetRegisterInfo());
     80     if (!NewRC || NewRC == OldRC)
     81       return false;
     82   }
     83   setRegClass(Reg, NewRC);
     84   return true;
     85 }
     86 
     87 /// createVirtualRegister - Create and return a new virtual register in the
     88 /// function with the specified register class.
     89 ///
     90 unsigned
     91 MachineRegisterInfo::createVirtualRegister(const TargetRegisterClass *RegClass){
     92   assert(RegClass && "Cannot create register without RegClass!");
     93   assert(RegClass->isAllocatable() &&
     94          "Virtual register RegClass must be allocatable.");
     95 
     96   // New virtual register number.
     97   unsigned Reg = TargetRegisterInfo::index2VirtReg(getNumVirtRegs());
     98   VRegInfo.grow(Reg);
     99   VRegInfo[Reg].first = RegClass;
    100   RegAllocHints.grow(Reg);
    101   if (TheDelegate)
    102     TheDelegate->MRI_NoteNewVirtualRegister(Reg);
    103   return Reg;
    104 }
    105 
    106 /// clearVirtRegs - Remove all virtual registers (after physreg assignment).
    107 void MachineRegisterInfo::clearVirtRegs() {
    108 #ifndef NDEBUG
    109   for (unsigned i = 0, e = getNumVirtRegs(); i != e; ++i) {
    110     unsigned Reg = TargetRegisterInfo::index2VirtReg(i);
    111     if (!VRegInfo[Reg].second)
    112       continue;
    113     verifyUseList(Reg);
    114     llvm_unreachable("Remaining virtual register operands");
    115   }
    116 #endif
    117   VRegInfo.clear();
    118   for (auto &I : LiveIns)
    119     I.second = 0;
    120 }
    121 
    122 void MachineRegisterInfo::verifyUseList(unsigned Reg) const {
    123 #ifndef NDEBUG
    124   bool Valid = true;
    125   for (MachineOperand &M : reg_operands(Reg)) {
    126     MachineOperand *MO = &M;
    127     MachineInstr *MI = MO->getParent();
    128     if (!MI) {
    129       errs() << PrintReg(Reg, getTargetRegisterInfo())
    130              << " use list MachineOperand " << MO
    131              << " has no parent instruction.\n";
    132       Valid = false;
    133       continue;
    134     }
    135     MachineOperand *MO0 = &MI->getOperand(0);
    136     unsigned NumOps = MI->getNumOperands();
    137     if (!(MO >= MO0 && MO < MO0+NumOps)) {
    138       errs() << PrintReg(Reg, getTargetRegisterInfo())
    139              << " use list MachineOperand " << MO
    140              << " doesn't belong to parent MI: " << *MI;
    141       Valid = false;
    142     }
    143     if (!MO->isReg()) {
    144       errs() << PrintReg(Reg, getTargetRegisterInfo())
    145              << " MachineOperand " << MO << ": " << *MO
    146              << " is not a register\n";
    147       Valid = false;
    148     }
    149     if (MO->getReg() != Reg) {
    150       errs() << PrintReg(Reg, getTargetRegisterInfo())
    151              << " use-list MachineOperand " << MO << ": "
    152              << *MO << " is the wrong register\n";
    153       Valid = false;
    154     }
    155   }
    156   assert(Valid && "Invalid use list");
    157 #endif
    158 }
    159 
    160 void MachineRegisterInfo::verifyUseLists() const {
    161 #ifndef NDEBUG
    162   for (unsigned i = 0, e = getNumVirtRegs(); i != e; ++i)
    163     verifyUseList(TargetRegisterInfo::index2VirtReg(i));
    164   for (unsigned i = 1, e = getTargetRegisterInfo()->getNumRegs(); i != e; ++i)
    165     verifyUseList(i);
    166 #endif
    167 }
    168 
    169 /// Add MO to the linked list of operands for its register.
    170 void MachineRegisterInfo::addRegOperandToUseList(MachineOperand *MO) {
    171   assert(!MO->isOnRegUseList() && "Already on list");
    172   MachineOperand *&HeadRef = getRegUseDefListHead(MO->getReg());
    173   MachineOperand *const Head = HeadRef;
    174 
    175   // Head points to the first list element.
    176   // Next is NULL on the last list element.
    177   // Prev pointers are circular, so Head->Prev == Last.
    178 
    179   // Head is NULL for an empty list.
    180   if (!Head) {
    181     MO->Contents.Reg.Prev = MO;
    182     MO->Contents.Reg.Next = nullptr;
    183     HeadRef = MO;
    184     return;
    185   }
    186   assert(MO->getReg() == Head->getReg() && "Different regs on the same list!");
    187 
    188   // Insert MO between Last and Head in the circular Prev chain.
    189   MachineOperand *Last = Head->Contents.Reg.Prev;
    190   assert(Last && "Inconsistent use list");
    191   assert(MO->getReg() == Last->getReg() && "Different regs on the same list!");
    192   Head->Contents.Reg.Prev = MO;
    193   MO->Contents.Reg.Prev = Last;
    194 
    195   // Def operands always precede uses. This allows def_iterator to stop early.
    196   // Insert def operands at the front, and use operands at the back.
    197   if (MO->isDef()) {
    198     // Insert def at the front.
    199     MO->Contents.Reg.Next = Head;
    200     HeadRef = MO;
    201   } else {
    202     // Insert use at the end.
    203     MO->Contents.Reg.Next = nullptr;
    204     Last->Contents.Reg.Next = MO;
    205   }
    206 }
    207 
    208 /// Remove MO from its use-def list.
    209 void MachineRegisterInfo::removeRegOperandFromUseList(MachineOperand *MO) {
    210   assert(MO->isOnRegUseList() && "Operand not on use list");
    211   MachineOperand *&HeadRef = getRegUseDefListHead(MO->getReg());
    212   MachineOperand *const Head = HeadRef;
    213   assert(Head && "List already empty");
    214 
    215   // Unlink this from the doubly linked list of operands.
    216   MachineOperand *Next = MO->Contents.Reg.Next;
    217   MachineOperand *Prev = MO->Contents.Reg.Prev;
    218 
    219   // Prev links are circular, next link is NULL instead of looping back to Head.
    220   if (MO == Head)
    221     HeadRef = Next;
    222   else
    223     Prev->Contents.Reg.Next = Next;
    224 
    225   (Next ? Next : Head)->Contents.Reg.Prev = Prev;
    226 
    227   MO->Contents.Reg.Prev = nullptr;
    228   MO->Contents.Reg.Next = nullptr;
    229 }
    230 
    231 /// Move NumOps operands from Src to Dst, updating use-def lists as needed.
    232 ///
    233 /// The Dst range is assumed to be uninitialized memory. (Or it may contain
    234 /// operands that won't be destroyed, which is OK because the MO destructor is
    235 /// trivial anyway).
    236 ///
    237 /// The Src and Dst ranges may overlap.
    238 void MachineRegisterInfo::moveOperands(MachineOperand *Dst,
    239                                        MachineOperand *Src,
    240                                        unsigned NumOps) {
    241   assert(Src != Dst && NumOps && "Noop moveOperands");
    242 
    243   // Copy backwards if Dst is within the Src range.
    244   int Stride = 1;
    245   if (Dst >= Src && Dst < Src + NumOps) {
    246     Stride = -1;
    247     Dst += NumOps - 1;
    248     Src += NumOps - 1;
    249   }
    250 
    251   // Copy one operand at a time.
    252   do {
    253     new (Dst) MachineOperand(*Src);
    254 
    255     // Dst takes Src's place in the use-def chain.
    256     if (Src->isReg()) {
    257       MachineOperand *&Head = getRegUseDefListHead(Src->getReg());
    258       MachineOperand *Prev = Src->Contents.Reg.Prev;
    259       MachineOperand *Next = Src->Contents.Reg.Next;
    260       assert(Head && "List empty, but operand is chained");
    261       assert(Prev && "Operand was not on use-def list");
    262 
    263       // Prev links are circular, next link is NULL instead of looping back to
    264       // Head.
    265       if (Src == Head)
    266         Head = Dst;
    267       else
    268         Prev->Contents.Reg.Next = Dst;
    269 
    270       // Update Prev pointer. This also works when Src was pointing to itself
    271       // in a 1-element list. In that case Head == Dst.
    272       (Next ? Next : Head)->Contents.Reg.Prev = Dst;
    273     }
    274 
    275     Dst += Stride;
    276     Src += Stride;
    277   } while (--NumOps);
    278 }
    279 
    280 /// replaceRegWith - Replace all instances of FromReg with ToReg in the
    281 /// machine function.  This is like llvm-level X->replaceAllUsesWith(Y),
    282 /// except that it also changes any definitions of the register as well.
    283 /// If ToReg is a physical register we apply the sub register to obtain the
    284 /// final/proper physical register.
    285 void MachineRegisterInfo::replaceRegWith(unsigned FromReg, unsigned ToReg) {
    286   assert(FromReg != ToReg && "Cannot replace a reg with itself");
    287 
    288   const TargetRegisterInfo *TRI = getTargetRegisterInfo();
    289 
    290   // TODO: This could be more efficient by bulk changing the operands.
    291   for (reg_iterator I = reg_begin(FromReg), E = reg_end(); I != E; ) {
    292     MachineOperand &O = *I;
    293     ++I;
    294     if (TargetRegisterInfo::isPhysicalRegister(ToReg)) {
    295       O.substPhysReg(ToReg, *TRI);
    296     } else {
    297       O.setReg(ToReg);
    298     }
    299   }
    300 }
    301 
    302 /// getVRegDef - Return the machine instr that defines the specified virtual
    303 /// register or null if none is found.  This assumes that the code is in SSA
    304 /// form, so there should only be one definition.
    305 MachineInstr *MachineRegisterInfo::getVRegDef(unsigned Reg) const {
    306   // Since we are in SSA form, we can use the first definition.
    307   def_instr_iterator I = def_instr_begin(Reg);
    308   assert((I.atEnd() || std::next(I) == def_instr_end()) &&
    309          "getVRegDef assumes a single definition or no definition");
    310   return !I.atEnd() ? &*I : nullptr;
    311 }
    312 
    313 /// getUniqueVRegDef - Return the unique machine instr that defines the
    314 /// specified virtual register or null if none is found.  If there are
    315 /// multiple definitions or no definition, return null.
    316 MachineInstr *MachineRegisterInfo::getUniqueVRegDef(unsigned Reg) const {
    317   if (def_empty(Reg)) return nullptr;
    318   def_instr_iterator I = def_instr_begin(Reg);
    319   if (std::next(I) != def_instr_end())
    320     return nullptr;
    321   return &*I;
    322 }
    323 
    324 bool MachineRegisterInfo::hasOneNonDBGUse(unsigned RegNo) const {
    325   use_nodbg_iterator UI = use_nodbg_begin(RegNo);
    326   if (UI == use_nodbg_end())
    327     return false;
    328   return ++UI == use_nodbg_end();
    329 }
    330 
    331 /// clearKillFlags - Iterate over all the uses of the given register and
    332 /// clear the kill flag from the MachineOperand. This function is used by
    333 /// optimization passes which extend register lifetimes and need only
    334 /// preserve conservative kill flag information.
    335 void MachineRegisterInfo::clearKillFlags(unsigned Reg) const {
    336   for (MachineOperand &MO : use_operands(Reg))
    337     MO.setIsKill(false);
    338 }
    339 
    340 bool MachineRegisterInfo::isLiveIn(unsigned Reg) const {
    341   for (livein_iterator I = livein_begin(), E = livein_end(); I != E; ++I)
    342     if (I->first == Reg || I->second == Reg)
    343       return true;
    344   return false;
    345 }
    346 
    347 /// getLiveInPhysReg - If VReg is a live-in virtual register, return the
    348 /// corresponding live-in physical register.
    349 unsigned MachineRegisterInfo::getLiveInPhysReg(unsigned VReg) const {
    350   for (livein_iterator I = livein_begin(), E = livein_end(); I != E; ++I)
    351     if (I->second == VReg)
    352       return I->first;
    353   return 0;
    354 }
    355 
    356 /// getLiveInVirtReg - If PReg is a live-in physical register, return the
    357 /// corresponding live-in physical register.
    358 unsigned MachineRegisterInfo::getLiveInVirtReg(unsigned PReg) const {
    359   for (livein_iterator I = livein_begin(), E = livein_end(); I != E; ++I)
    360     if (I->first == PReg)
    361       return I->second;
    362   return 0;
    363 }
    364 
    365 /// EmitLiveInCopies - Emit copies to initialize livein virtual registers
    366 /// into the given entry block.
    367 void
    368 MachineRegisterInfo::EmitLiveInCopies(MachineBasicBlock *EntryMBB,
    369                                       const TargetRegisterInfo &TRI,
    370                                       const TargetInstrInfo &TII) {
    371   // Emit the copies into the top of the block.
    372   for (unsigned i = 0, e = LiveIns.size(); i != e; ++i)
    373     if (LiveIns[i].second) {
    374       if (use_empty(LiveIns[i].second)) {
    375         // The livein has no uses. Drop it.
    376         //
    377         // It would be preferable to have isel avoid creating live-in
    378         // records for unused arguments in the first place, but it's
    379         // complicated by the debug info code for arguments.
    380         LiveIns.erase(LiveIns.begin() + i);
    381         --i; --e;
    382       } else {
    383         // Emit a copy.
    384         BuildMI(*EntryMBB, EntryMBB->begin(), DebugLoc(),
    385                 TII.get(TargetOpcode::COPY), LiveIns[i].second)
    386           .addReg(LiveIns[i].first);
    387 
    388         // Add the register to the entry block live-in set.
    389         EntryMBB->addLiveIn(LiveIns[i].first);
    390       }
    391     } else {
    392       // Add the register to the entry block live-in set.
    393       EntryMBB->addLiveIn(LiveIns[i].first);
    394     }
    395 }
    396 
    397 LaneBitmask MachineRegisterInfo::getMaxLaneMaskForVReg(unsigned Reg) const {
    398   // Lane masks are only defined for vregs.
    399   assert(TargetRegisterInfo::isVirtualRegister(Reg));
    400   const TargetRegisterClass &TRC = *getRegClass(Reg);
    401   return TRC.getLaneMask();
    402 }
    403 
    404 #ifndef NDEBUG
    405 void MachineRegisterInfo::dumpUses(unsigned Reg) const {
    406   for (MachineInstr &I : use_instructions(Reg))
    407     I.dump();
    408 }
    409 #endif
    410 
    411 void MachineRegisterInfo::freezeReservedRegs(const MachineFunction &MF) {
    412   ReservedRegs = getTargetRegisterInfo()->getReservedRegs(MF);
    413   assert(ReservedRegs.size() == getTargetRegisterInfo()->getNumRegs() &&
    414          "Invalid ReservedRegs vector from target");
    415 }
    416 
    417 bool MachineRegisterInfo::isConstantPhysReg(unsigned PhysReg,
    418                                             const MachineFunction &MF) const {
    419   assert(TargetRegisterInfo::isPhysicalRegister(PhysReg));
    420 
    421   // Check if any overlapping register is modified, or allocatable so it may be
    422   // used later.
    423   for (MCRegAliasIterator AI(PhysReg, getTargetRegisterInfo(), true);
    424        AI.isValid(); ++AI)
    425     if (!def_empty(*AI) || isAllocatable(*AI))
    426       return false;
    427   return true;
    428 }
    429 
    430 /// markUsesInDebugValueAsUndef - Mark every DBG_VALUE referencing the
    431 /// specified register as undefined which causes the DBG_VALUE to be
    432 /// deleted during LiveDebugVariables analysis.
    433 void MachineRegisterInfo::markUsesInDebugValueAsUndef(unsigned Reg) const {
    434   // Mark any DBG_VALUE that uses Reg as undef (but don't delete it.)
    435   MachineRegisterInfo::use_instr_iterator nextI;
    436   for (use_instr_iterator I = use_instr_begin(Reg), E = use_instr_end();
    437        I != E; I = nextI) {
    438     nextI = std::next(I);  // I is invalidated by the setReg
    439     MachineInstr *UseMI = &*I;
    440     if (UseMI->isDebugValue())
    441       UseMI->getOperand(0).setReg(0U);
    442   }
    443 }
    444 
    445 static const Function *getCalledFunction(const MachineInstr &MI) {
    446   for (const MachineOperand &MO : MI.operands()) {
    447     if (!MO.isGlobal())
    448       continue;
    449     const Function *Func = dyn_cast<Function>(MO.getGlobal());
    450     if (Func != nullptr)
    451       return Func;
    452   }
    453   return nullptr;
    454 }
    455 
    456 static bool isNoReturnDef(const MachineOperand &MO) {
    457   // Anything which is not a noreturn function is a real def.
    458   const MachineInstr &MI = *MO.getParent();
    459   if (!MI.isCall())
    460     return false;
    461   const MachineBasicBlock &MBB = *MI.getParent();
    462   if (!MBB.succ_empty())
    463     return false;
    464   const MachineFunction &MF = *MBB.getParent();
    465   // We need to keep correct unwind information even if the function will
    466   // not return, since the runtime may need it.
    467   if (MF.getFunction()->hasFnAttribute(Attribute::UWTable))
    468     return false;
    469   const Function *Called = getCalledFunction(MI);
    470   return !(Called == nullptr || !Called->hasFnAttribute(Attribute::NoReturn) ||
    471            !Called->hasFnAttribute(Attribute::NoUnwind));
    472 }
    473 
    474 bool MachineRegisterInfo::isPhysRegModified(unsigned PhysReg) const {
    475   if (UsedPhysRegMask.test(PhysReg))
    476     return true;
    477   const TargetRegisterInfo *TRI = getTargetRegisterInfo();
    478   for (MCRegAliasIterator AI(PhysReg, TRI, true); AI.isValid(); ++AI) {
    479     for (const MachineOperand &MO : make_range(def_begin(*AI), def_end())) {
    480       if (isNoReturnDef(MO))
    481         continue;
    482       return true;
    483     }
    484   }
    485   return false;
    486 }
    487 
    488 bool MachineRegisterInfo::isPhysRegUsed(unsigned PhysReg) const {
    489   if (UsedPhysRegMask.test(PhysReg))
    490     return true;
    491   const TargetRegisterInfo *TRI = getTargetRegisterInfo();
    492   for (MCRegAliasIterator AliasReg(PhysReg, TRI, true); AliasReg.isValid();
    493        ++AliasReg) {
    494     if (!reg_nodbg_empty(*AliasReg))
    495       return true;
    496   }
    497   return false;
    498 }
    499