10b57cec5SDimitry Andric //==- TargetRegisterInfo.cpp - Target Register Information Implementation --==//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This file implements the TargetRegisterInfo interface.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric
130b57cec5SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h"
140b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
150b57cec5SDimitry Andric #include "llvm/ADT/BitVector.h"
160b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
175ffd83dbSDimitry Andric #include "llvm/ADT/SmallSet.h"
180b57cec5SDimitry Andric #include "llvm/ADT/StringExtras.h"
1981ad6265SDimitry Andric #include "llvm/BinaryFormat/Dwarf.h"
2081ad6265SDimitry Andric #include "llvm/CodeGen/LiveInterval.h"
210b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h"
220b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
230b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
24fe013be4SDimitry Andric #include "llvm/CodeGen/MachineValueType.h"
250b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h"
265ffd83dbSDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h"
270b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
280b57cec5SDimitry Andric #include "llvm/CodeGen/VirtRegMap.h"
290b57cec5SDimitry Andric #include "llvm/Config/llvm-config.h"
300b57cec5SDimitry Andric #include "llvm/IR/Attributes.h"
31e8d8bef9SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h"
320b57cec5SDimitry Andric #include "llvm/IR/Function.h"
330b57cec5SDimitry Andric #include "llvm/MC/MCRegisterInfo.h"
345ffd83dbSDimitry Andric #include "llvm/Support/CommandLine.h"
350b57cec5SDimitry Andric #include "llvm/Support/Compiler.h"
360b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
370b57cec5SDimitry Andric #include "llvm/Support/MathExtras.h"
380b57cec5SDimitry Andric #include "llvm/Support/Printable.h"
390b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
400b57cec5SDimitry Andric #include <cassert>
410b57cec5SDimitry Andric #include <utility>
420b57cec5SDimitry Andric
430b57cec5SDimitry Andric #define DEBUG_TYPE "target-reg-info"
440b57cec5SDimitry Andric
450b57cec5SDimitry Andric using namespace llvm;
460b57cec5SDimitry Andric
475ffd83dbSDimitry Andric static cl::opt<unsigned>
485ffd83dbSDimitry Andric HugeSizeForSplit("huge-size-for-split", cl::Hidden,
495ffd83dbSDimitry Andric cl::desc("A threshold of live range size which may cause "
505ffd83dbSDimitry Andric "high compile time cost in global splitting."),
515ffd83dbSDimitry Andric cl::init(5000));
525ffd83dbSDimitry Andric
TargetRegisterInfo(const TargetRegisterInfoDesc * ID,regclass_iterator RCB,regclass_iterator RCE,const char * const * SRINames,const LaneBitmask * SRILaneMasks,LaneBitmask SRICoveringLanes,const RegClassInfo * const RCIs,const MVT::SimpleValueType * const RCVTLists,unsigned Mode)530b57cec5SDimitry Andric TargetRegisterInfo::TargetRegisterInfo(const TargetRegisterInfoDesc *ID,
540b57cec5SDimitry Andric regclass_iterator RCB, regclass_iterator RCE,
550b57cec5SDimitry Andric const char *const *SRINames,
560b57cec5SDimitry Andric const LaneBitmask *SRILaneMasks,
570b57cec5SDimitry Andric LaneBitmask SRICoveringLanes,
580b57cec5SDimitry Andric const RegClassInfo *const RCIs,
59*c9157d92SDimitry Andric const MVT::SimpleValueType *const RCVTLists,
600b57cec5SDimitry Andric unsigned Mode)
610b57cec5SDimitry Andric : InfoDesc(ID), SubRegIndexNames(SRINames),
620b57cec5SDimitry Andric SubRegIndexLaneMasks(SRILaneMasks),
630b57cec5SDimitry Andric RegClassBegin(RCB), RegClassEnd(RCE),
640b57cec5SDimitry Andric CoveringLanes(SRICoveringLanes),
65*c9157d92SDimitry Andric RCInfos(RCIs), RCVTLists(RCVTLists), HwMode(Mode) {
660b57cec5SDimitry Andric }
670b57cec5SDimitry Andric
680b57cec5SDimitry Andric TargetRegisterInfo::~TargetRegisterInfo() = default;
690b57cec5SDimitry Andric
shouldRegionSplitForVirtReg(const MachineFunction & MF,const LiveInterval & VirtReg) const705ffd83dbSDimitry Andric bool TargetRegisterInfo::shouldRegionSplitForVirtReg(
715ffd83dbSDimitry Andric const MachineFunction &MF, const LiveInterval &VirtReg) const {
725ffd83dbSDimitry Andric const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo();
735ffd83dbSDimitry Andric const MachineRegisterInfo &MRI = MF.getRegInfo();
74e8d8bef9SDimitry Andric MachineInstr *MI = MRI.getUniqueVRegDef(VirtReg.reg());
755ffd83dbSDimitry Andric if (MI && TII->isTriviallyReMaterializable(*MI) &&
765ffd83dbSDimitry Andric VirtReg.size() > HugeSizeForSplit)
775ffd83dbSDimitry Andric return false;
785ffd83dbSDimitry Andric return true;
795ffd83dbSDimitry Andric }
805ffd83dbSDimitry Andric
markSuperRegs(BitVector & RegisterSet,MCRegister Reg) const815ffd83dbSDimitry Andric void TargetRegisterInfo::markSuperRegs(BitVector &RegisterSet,
825ffd83dbSDimitry Andric MCRegister Reg) const {
83fe013be4SDimitry Andric for (MCPhysReg SR : superregs_inclusive(Reg))
84fe013be4SDimitry Andric RegisterSet.set(SR);
850b57cec5SDimitry Andric }
860b57cec5SDimitry Andric
checkAllSuperRegsMarked(const BitVector & RegisterSet,ArrayRef<MCPhysReg> Exceptions) const870b57cec5SDimitry Andric bool TargetRegisterInfo::checkAllSuperRegsMarked(const BitVector &RegisterSet,
880b57cec5SDimitry Andric ArrayRef<MCPhysReg> Exceptions) const {
890b57cec5SDimitry Andric // Check that all super registers of reserved regs are reserved as well.
900b57cec5SDimitry Andric BitVector Checked(getNumRegs());
910b57cec5SDimitry Andric for (unsigned Reg : RegisterSet.set_bits()) {
920b57cec5SDimitry Andric if (Checked[Reg])
930b57cec5SDimitry Andric continue;
94fe013be4SDimitry Andric for (MCPhysReg SR : superregs(Reg)) {
95fe013be4SDimitry Andric if (!RegisterSet[SR] && !is_contained(Exceptions, Reg)) {
96fe013be4SDimitry Andric dbgs() << "Error: Super register " << printReg(SR, this)
970b57cec5SDimitry Andric << " of reserved register " << printReg(Reg, this)
980b57cec5SDimitry Andric << " is not reserved.\n";
990b57cec5SDimitry Andric return false;
1000b57cec5SDimitry Andric }
1010b57cec5SDimitry Andric
1020b57cec5SDimitry Andric // We transitively check superregs. So we can remember this for later
1030b57cec5SDimitry Andric // to avoid compiletime explosion in deep register hierarchies.
104fe013be4SDimitry Andric Checked.set(SR);
1050b57cec5SDimitry Andric }
1060b57cec5SDimitry Andric }
1070b57cec5SDimitry Andric return true;
1080b57cec5SDimitry Andric }
1090b57cec5SDimitry Andric
1100b57cec5SDimitry Andric namespace llvm {
1110b57cec5SDimitry Andric
printReg(Register Reg,const TargetRegisterInfo * TRI,unsigned SubIdx,const MachineRegisterInfo * MRI)1128bcb0991SDimitry Andric Printable printReg(Register Reg, const TargetRegisterInfo *TRI,
1130b57cec5SDimitry Andric unsigned SubIdx, const MachineRegisterInfo *MRI) {
1140b57cec5SDimitry Andric return Printable([Reg, TRI, SubIdx, MRI](raw_ostream &OS) {
1150b57cec5SDimitry Andric if (!Reg)
1160b57cec5SDimitry Andric OS << "$noreg";
1178bcb0991SDimitry Andric else if (Register::isStackSlot(Reg))
1188bcb0991SDimitry Andric OS << "SS#" << Register::stackSlot2Index(Reg);
119bdd1243dSDimitry Andric else if (Reg.isVirtual()) {
1200b57cec5SDimitry Andric StringRef Name = MRI ? MRI->getVRegName(Reg) : "";
1210b57cec5SDimitry Andric if (Name != "") {
1220b57cec5SDimitry Andric OS << '%' << Name;
1230b57cec5SDimitry Andric } else {
1248bcb0991SDimitry Andric OS << '%' << Register::virtReg2Index(Reg);
1250b57cec5SDimitry Andric }
1268bcb0991SDimitry Andric } else if (!TRI)
1270b57cec5SDimitry Andric OS << '$' << "physreg" << Reg;
1280b57cec5SDimitry Andric else if (Reg < TRI->getNumRegs()) {
1290b57cec5SDimitry Andric OS << '$';
1300b57cec5SDimitry Andric printLowerCase(TRI->getName(Reg), OS);
1310b57cec5SDimitry Andric } else
1320b57cec5SDimitry Andric llvm_unreachable("Register kind is unsupported.");
1330b57cec5SDimitry Andric
1340b57cec5SDimitry Andric if (SubIdx) {
1350b57cec5SDimitry Andric if (TRI)
1360b57cec5SDimitry Andric OS << ':' << TRI->getSubRegIndexName(SubIdx);
1370b57cec5SDimitry Andric else
1380b57cec5SDimitry Andric OS << ":sub(" << SubIdx << ')';
1390b57cec5SDimitry Andric }
1400b57cec5SDimitry Andric });
1410b57cec5SDimitry Andric }
1420b57cec5SDimitry Andric
printRegUnit(unsigned Unit,const TargetRegisterInfo * TRI)1430b57cec5SDimitry Andric Printable printRegUnit(unsigned Unit, const TargetRegisterInfo *TRI) {
1440b57cec5SDimitry Andric return Printable([Unit, TRI](raw_ostream &OS) {
1450b57cec5SDimitry Andric // Generic printout when TRI is missing.
1460b57cec5SDimitry Andric if (!TRI) {
1470b57cec5SDimitry Andric OS << "Unit~" << Unit;
1480b57cec5SDimitry Andric return;
1490b57cec5SDimitry Andric }
1500b57cec5SDimitry Andric
1510b57cec5SDimitry Andric // Check for invalid register units.
1520b57cec5SDimitry Andric if (Unit >= TRI->getNumRegUnits()) {
1530b57cec5SDimitry Andric OS << "BadUnit~" << Unit;
1540b57cec5SDimitry Andric return;
1550b57cec5SDimitry Andric }
1560b57cec5SDimitry Andric
1570b57cec5SDimitry Andric // Normal units have at least one root.
1580b57cec5SDimitry Andric MCRegUnitRootIterator Roots(Unit, TRI);
1590b57cec5SDimitry Andric assert(Roots.isValid() && "Unit has no roots.");
1600b57cec5SDimitry Andric OS << TRI->getName(*Roots);
1610b57cec5SDimitry Andric for (++Roots; Roots.isValid(); ++Roots)
1620b57cec5SDimitry Andric OS << '~' << TRI->getName(*Roots);
1630b57cec5SDimitry Andric });
1640b57cec5SDimitry Andric }
1650b57cec5SDimitry Andric
printVRegOrUnit(unsigned Unit,const TargetRegisterInfo * TRI)1660b57cec5SDimitry Andric Printable printVRegOrUnit(unsigned Unit, const TargetRegisterInfo *TRI) {
1670b57cec5SDimitry Andric return Printable([Unit, TRI](raw_ostream &OS) {
1688bcb0991SDimitry Andric if (Register::isVirtualRegister(Unit)) {
1698bcb0991SDimitry Andric OS << '%' << Register::virtReg2Index(Unit);
1700b57cec5SDimitry Andric } else {
1710b57cec5SDimitry Andric OS << printRegUnit(Unit, TRI);
1720b57cec5SDimitry Andric }
1730b57cec5SDimitry Andric });
1740b57cec5SDimitry Andric }
1750b57cec5SDimitry Andric
printRegClassOrBank(Register Reg,const MachineRegisterInfo & RegInfo,const TargetRegisterInfo * TRI)1765ffd83dbSDimitry Andric Printable printRegClassOrBank(Register Reg, const MachineRegisterInfo &RegInfo,
1770b57cec5SDimitry Andric const TargetRegisterInfo *TRI) {
1780b57cec5SDimitry Andric return Printable([Reg, &RegInfo, TRI](raw_ostream &OS) {
1790b57cec5SDimitry Andric if (RegInfo.getRegClassOrNull(Reg))
1800b57cec5SDimitry Andric OS << StringRef(TRI->getRegClassName(RegInfo.getRegClass(Reg))).lower();
1810b57cec5SDimitry Andric else if (RegInfo.getRegBankOrNull(Reg))
1820b57cec5SDimitry Andric OS << StringRef(RegInfo.getRegBankOrNull(Reg)->getName()).lower();
1830b57cec5SDimitry Andric else {
1840b57cec5SDimitry Andric OS << "_";
1850b57cec5SDimitry Andric assert((RegInfo.def_empty(Reg) || RegInfo.getType(Reg).isValid()) &&
1860b57cec5SDimitry Andric "Generic registers must have a valid type");
1870b57cec5SDimitry Andric }
1880b57cec5SDimitry Andric });
1890b57cec5SDimitry Andric }
1900b57cec5SDimitry Andric
1910b57cec5SDimitry Andric } // end namespace llvm
1920b57cec5SDimitry Andric
1930b57cec5SDimitry Andric /// getAllocatableClass - Return the maximal subclass of the given register
1940b57cec5SDimitry Andric /// class that is alloctable, or NULL.
1950b57cec5SDimitry Andric const TargetRegisterClass *
getAllocatableClass(const TargetRegisterClass * RC) const1960b57cec5SDimitry Andric TargetRegisterInfo::getAllocatableClass(const TargetRegisterClass *RC) const {
1970b57cec5SDimitry Andric if (!RC || RC->isAllocatable())
1980b57cec5SDimitry Andric return RC;
1990b57cec5SDimitry Andric
2000b57cec5SDimitry Andric for (BitMaskClassIterator It(RC->getSubClassMask(), *this); It.isValid();
2010b57cec5SDimitry Andric ++It) {
2020b57cec5SDimitry Andric const TargetRegisterClass *SubRC = getRegClass(It.getID());
2030b57cec5SDimitry Andric if (SubRC->isAllocatable())
2040b57cec5SDimitry Andric return SubRC;
2050b57cec5SDimitry Andric }
2060b57cec5SDimitry Andric return nullptr;
2070b57cec5SDimitry Andric }
2080b57cec5SDimitry Andric
2090b57cec5SDimitry Andric /// getMinimalPhysRegClass - Returns the Register Class of a physical
2100b57cec5SDimitry Andric /// register of the given type, picking the most sub register class of
2110b57cec5SDimitry Andric /// the right type that contains this physreg.
2120b57cec5SDimitry Andric const TargetRegisterClass *
getMinimalPhysRegClass(MCRegister reg,MVT VT) const2135ffd83dbSDimitry Andric TargetRegisterInfo::getMinimalPhysRegClass(MCRegister reg, MVT VT) const {
2148bcb0991SDimitry Andric assert(Register::isPhysicalRegister(reg) &&
2158bcb0991SDimitry Andric "reg must be a physical register");
2160b57cec5SDimitry Andric
2170b57cec5SDimitry Andric // Pick the most sub register class of the right type that contains
2180b57cec5SDimitry Andric // this physreg.
2190b57cec5SDimitry Andric const TargetRegisterClass* BestRC = nullptr;
2200b57cec5SDimitry Andric for (const TargetRegisterClass* RC : regclasses()) {
2210b57cec5SDimitry Andric if ((VT == MVT::Other || isTypeLegalForClass(*RC, VT)) &&
2220b57cec5SDimitry Andric RC->contains(reg) && (!BestRC || BestRC->hasSubClass(RC)))
2230b57cec5SDimitry Andric BestRC = RC;
2240b57cec5SDimitry Andric }
2250b57cec5SDimitry Andric
2260b57cec5SDimitry Andric assert(BestRC && "Couldn't find the register class");
2270b57cec5SDimitry Andric return BestRC;
2280b57cec5SDimitry Andric }
2290b57cec5SDimitry Andric
230fe6060f1SDimitry Andric const TargetRegisterClass *
getMinimalPhysRegClassLLT(MCRegister reg,LLT Ty) const231fe6060f1SDimitry Andric TargetRegisterInfo::getMinimalPhysRegClassLLT(MCRegister reg, LLT Ty) const {
232fe6060f1SDimitry Andric assert(Register::isPhysicalRegister(reg) &&
233fe6060f1SDimitry Andric "reg must be a physical register");
234fe6060f1SDimitry Andric
235fe6060f1SDimitry Andric // Pick the most sub register class of the right type that contains
236fe6060f1SDimitry Andric // this physreg.
237fe6060f1SDimitry Andric const TargetRegisterClass *BestRC = nullptr;
238fe6060f1SDimitry Andric for (const TargetRegisterClass *RC : regclasses()) {
239fe6060f1SDimitry Andric if ((!Ty.isValid() || isTypeLegalForClass(*RC, Ty)) && RC->contains(reg) &&
240fe6060f1SDimitry Andric (!BestRC || BestRC->hasSubClass(RC)))
241fe6060f1SDimitry Andric BestRC = RC;
242fe6060f1SDimitry Andric }
243fe6060f1SDimitry Andric
244fe6060f1SDimitry Andric return BestRC;
245fe6060f1SDimitry Andric }
246fe6060f1SDimitry Andric
2470b57cec5SDimitry Andric /// getAllocatableSetForRC - Toggle the bits that represent allocatable
2480b57cec5SDimitry Andric /// registers for the specific register class.
getAllocatableSetForRC(const MachineFunction & MF,const TargetRegisterClass * RC,BitVector & R)2490b57cec5SDimitry Andric static void getAllocatableSetForRC(const MachineFunction &MF,
2500b57cec5SDimitry Andric const TargetRegisterClass *RC, BitVector &R){
2510b57cec5SDimitry Andric assert(RC->isAllocatable() && "invalid for nonallocatable sets");
2520b57cec5SDimitry Andric ArrayRef<MCPhysReg> Order = RC->getRawAllocationOrder(MF);
2530eae32dcSDimitry Andric for (MCPhysReg PR : Order)
2540eae32dcSDimitry Andric R.set(PR);
2550b57cec5SDimitry Andric }
2560b57cec5SDimitry Andric
getAllocatableSet(const MachineFunction & MF,const TargetRegisterClass * RC) const2570b57cec5SDimitry Andric BitVector TargetRegisterInfo::getAllocatableSet(const MachineFunction &MF,
2580b57cec5SDimitry Andric const TargetRegisterClass *RC) const {
2590b57cec5SDimitry Andric BitVector Allocatable(getNumRegs());
2600b57cec5SDimitry Andric if (RC) {
2610b57cec5SDimitry Andric // A register class with no allocatable subclass returns an empty set.
2620b57cec5SDimitry Andric const TargetRegisterClass *SubClass = getAllocatableClass(RC);
2630b57cec5SDimitry Andric if (SubClass)
2640b57cec5SDimitry Andric getAllocatableSetForRC(MF, SubClass, Allocatable);
2650b57cec5SDimitry Andric } else {
2660b57cec5SDimitry Andric for (const TargetRegisterClass *C : regclasses())
2670b57cec5SDimitry Andric if (C->isAllocatable())
2680b57cec5SDimitry Andric getAllocatableSetForRC(MF, C, Allocatable);
2690b57cec5SDimitry Andric }
2700b57cec5SDimitry Andric
2710b57cec5SDimitry Andric // Mask out the reserved registers
272fe6060f1SDimitry Andric const MachineRegisterInfo &MRI = MF.getRegInfo();
273fe6060f1SDimitry Andric const BitVector &Reserved = MRI.getReservedRegs();
274fe6060f1SDimitry Andric Allocatable.reset(Reserved);
2750b57cec5SDimitry Andric
2760b57cec5SDimitry Andric return Allocatable;
2770b57cec5SDimitry Andric }
2780b57cec5SDimitry Andric
2790b57cec5SDimitry Andric static inline
firstCommonClass(const uint32_t * A,const uint32_t * B,const TargetRegisterInfo * TRI)2800b57cec5SDimitry Andric const TargetRegisterClass *firstCommonClass(const uint32_t *A,
2810b57cec5SDimitry Andric const uint32_t *B,
2828bcb0991SDimitry Andric const TargetRegisterInfo *TRI) {
2830b57cec5SDimitry Andric for (unsigned I = 0, E = TRI->getNumRegClasses(); I < E; I += 32)
2848bcb0991SDimitry Andric if (unsigned Common = *A++ & *B++)
285fe013be4SDimitry Andric return TRI->getRegClass(I + llvm::countr_zero(Common));
2860b57cec5SDimitry Andric return nullptr;
2870b57cec5SDimitry Andric }
2880b57cec5SDimitry Andric
2890b57cec5SDimitry Andric const TargetRegisterClass *
getCommonSubClass(const TargetRegisterClass * A,const TargetRegisterClass * B) const2900b57cec5SDimitry Andric TargetRegisterInfo::getCommonSubClass(const TargetRegisterClass *A,
2918bcb0991SDimitry Andric const TargetRegisterClass *B) const {
2920b57cec5SDimitry Andric // First take care of the trivial cases.
2930b57cec5SDimitry Andric if (A == B)
2940b57cec5SDimitry Andric return A;
2950b57cec5SDimitry Andric if (!A || !B)
2960b57cec5SDimitry Andric return nullptr;
2970b57cec5SDimitry Andric
2980b57cec5SDimitry Andric // Register classes are ordered topologically, so the largest common
2990b57cec5SDimitry Andric // sub-class it the common sub-class with the smallest ID.
3008bcb0991SDimitry Andric return firstCommonClass(A->getSubClassMask(), B->getSubClassMask(), this);
3010b57cec5SDimitry Andric }
3020b57cec5SDimitry Andric
3030b57cec5SDimitry Andric const TargetRegisterClass *
getMatchingSuperRegClass(const TargetRegisterClass * A,const TargetRegisterClass * B,unsigned Idx) const3040b57cec5SDimitry Andric TargetRegisterInfo::getMatchingSuperRegClass(const TargetRegisterClass *A,
3050b57cec5SDimitry Andric const TargetRegisterClass *B,
3060b57cec5SDimitry Andric unsigned Idx) const {
3070b57cec5SDimitry Andric assert(A && B && "Missing register class");
3080b57cec5SDimitry Andric assert(Idx && "Bad sub-register index");
3090b57cec5SDimitry Andric
3100b57cec5SDimitry Andric // Find Idx in the list of super-register indices.
3110b57cec5SDimitry Andric for (SuperRegClassIterator RCI(B, this); RCI.isValid(); ++RCI)
3120b57cec5SDimitry Andric if (RCI.getSubReg() == Idx)
3130b57cec5SDimitry Andric // The bit mask contains all register classes that are projected into B
3140b57cec5SDimitry Andric // by Idx. Find a class that is also a sub-class of A.
3150b57cec5SDimitry Andric return firstCommonClass(RCI.getMask(), A->getSubClassMask(), this);
3160b57cec5SDimitry Andric return nullptr;
3170b57cec5SDimitry Andric }
3180b57cec5SDimitry Andric
3190b57cec5SDimitry Andric const TargetRegisterClass *TargetRegisterInfo::
getCommonSuperRegClass(const TargetRegisterClass * RCA,unsigned SubA,const TargetRegisterClass * RCB,unsigned SubB,unsigned & PreA,unsigned & PreB) const3200b57cec5SDimitry Andric getCommonSuperRegClass(const TargetRegisterClass *RCA, unsigned SubA,
3210b57cec5SDimitry Andric const TargetRegisterClass *RCB, unsigned SubB,
3220b57cec5SDimitry Andric unsigned &PreA, unsigned &PreB) const {
3230b57cec5SDimitry Andric assert(RCA && SubA && RCB && SubB && "Invalid arguments");
3240b57cec5SDimitry Andric
3250b57cec5SDimitry Andric // Search all pairs of sub-register indices that project into RCA and RCB
3260b57cec5SDimitry Andric // respectively. This is quadratic, but usually the sets are very small. On
3270b57cec5SDimitry Andric // most targets like X86, there will only be a single sub-register index
3280b57cec5SDimitry Andric // (e.g., sub_16bit projecting into GR16).
3290b57cec5SDimitry Andric //
3300b57cec5SDimitry Andric // The worst case is a register class like DPR on ARM.
3310b57cec5SDimitry Andric // We have indices dsub_0..dsub_7 projecting into that class.
3320b57cec5SDimitry Andric //
3330b57cec5SDimitry Andric // It is very common that one register class is a sub-register of the other.
3340b57cec5SDimitry Andric // Arrange for RCA to be the larger register so the answer will be found in
3350b57cec5SDimitry Andric // the first iteration. This makes the search linear for the most common
3360b57cec5SDimitry Andric // case.
3370b57cec5SDimitry Andric const TargetRegisterClass *BestRC = nullptr;
3380b57cec5SDimitry Andric unsigned *BestPreA = &PreA;
3390b57cec5SDimitry Andric unsigned *BestPreB = &PreB;
3400b57cec5SDimitry Andric if (getRegSizeInBits(*RCA) < getRegSizeInBits(*RCB)) {
3410b57cec5SDimitry Andric std::swap(RCA, RCB);
3420b57cec5SDimitry Andric std::swap(SubA, SubB);
3430b57cec5SDimitry Andric std::swap(BestPreA, BestPreB);
3440b57cec5SDimitry Andric }
3450b57cec5SDimitry Andric
3460b57cec5SDimitry Andric // Also terminate the search one we have found a register class as small as
3470b57cec5SDimitry Andric // RCA.
3480b57cec5SDimitry Andric unsigned MinSize = getRegSizeInBits(*RCA);
3490b57cec5SDimitry Andric
3500b57cec5SDimitry Andric for (SuperRegClassIterator IA(RCA, this, true); IA.isValid(); ++IA) {
3510b57cec5SDimitry Andric unsigned FinalA = composeSubRegIndices(IA.getSubReg(), SubA);
3520b57cec5SDimitry Andric for (SuperRegClassIterator IB(RCB, this, true); IB.isValid(); ++IB) {
3530b57cec5SDimitry Andric // Check if a common super-register class exists for this index pair.
3540b57cec5SDimitry Andric const TargetRegisterClass *RC =
3550b57cec5SDimitry Andric firstCommonClass(IA.getMask(), IB.getMask(), this);
3560b57cec5SDimitry Andric if (!RC || getRegSizeInBits(*RC) < MinSize)
3570b57cec5SDimitry Andric continue;
3580b57cec5SDimitry Andric
3590b57cec5SDimitry Andric // The indexes must compose identically: PreA+SubA == PreB+SubB.
3600b57cec5SDimitry Andric unsigned FinalB = composeSubRegIndices(IB.getSubReg(), SubB);
3610b57cec5SDimitry Andric if (FinalA != FinalB)
3620b57cec5SDimitry Andric continue;
3630b57cec5SDimitry Andric
3640b57cec5SDimitry Andric // Is RC a better candidate than BestRC?
3650b57cec5SDimitry Andric if (BestRC && getRegSizeInBits(*RC) >= getRegSizeInBits(*BestRC))
3660b57cec5SDimitry Andric continue;
3670b57cec5SDimitry Andric
3680b57cec5SDimitry Andric // Yes, RC is the smallest super-register seen so far.
3690b57cec5SDimitry Andric BestRC = RC;
3700b57cec5SDimitry Andric *BestPreA = IA.getSubReg();
3710b57cec5SDimitry Andric *BestPreB = IB.getSubReg();
3720b57cec5SDimitry Andric
3730b57cec5SDimitry Andric // Bail early if we reached MinSize. We won't find a better candidate.
3740b57cec5SDimitry Andric if (getRegSizeInBits(*BestRC) == MinSize)
3750b57cec5SDimitry Andric return BestRC;
3760b57cec5SDimitry Andric }
3770b57cec5SDimitry Andric }
3780b57cec5SDimitry Andric return BestRC;
3790b57cec5SDimitry Andric }
3800b57cec5SDimitry Andric
3810b57cec5SDimitry Andric /// Check if the registers defined by the pair (RegisterClass, SubReg)
3820b57cec5SDimitry Andric /// share the same register file.
shareSameRegisterFile(const TargetRegisterInfo & TRI,const TargetRegisterClass * DefRC,unsigned DefSubReg,const TargetRegisterClass * SrcRC,unsigned SrcSubReg)3830b57cec5SDimitry Andric static bool shareSameRegisterFile(const TargetRegisterInfo &TRI,
3840b57cec5SDimitry Andric const TargetRegisterClass *DefRC,
3850b57cec5SDimitry Andric unsigned DefSubReg,
3860b57cec5SDimitry Andric const TargetRegisterClass *SrcRC,
3870b57cec5SDimitry Andric unsigned SrcSubReg) {
3880b57cec5SDimitry Andric // Same register class.
3890b57cec5SDimitry Andric if (DefRC == SrcRC)
3900b57cec5SDimitry Andric return true;
3910b57cec5SDimitry Andric
3920b57cec5SDimitry Andric // Both operands are sub registers. Check if they share a register class.
3930b57cec5SDimitry Andric unsigned SrcIdx, DefIdx;
3940b57cec5SDimitry Andric if (SrcSubReg && DefSubReg) {
3950b57cec5SDimitry Andric return TRI.getCommonSuperRegClass(SrcRC, SrcSubReg, DefRC, DefSubReg,
3960b57cec5SDimitry Andric SrcIdx, DefIdx) != nullptr;
3970b57cec5SDimitry Andric }
3980b57cec5SDimitry Andric
3990b57cec5SDimitry Andric // At most one of the register is a sub register, make it Src to avoid
4000b57cec5SDimitry Andric // duplicating the test.
4010b57cec5SDimitry Andric if (!SrcSubReg) {
4020b57cec5SDimitry Andric std::swap(DefSubReg, SrcSubReg);
4030b57cec5SDimitry Andric std::swap(DefRC, SrcRC);
4040b57cec5SDimitry Andric }
4050b57cec5SDimitry Andric
4060b57cec5SDimitry Andric // One of the register is a sub register, check if we can get a superclass.
4070b57cec5SDimitry Andric if (SrcSubReg)
4080b57cec5SDimitry Andric return TRI.getMatchingSuperRegClass(SrcRC, DefRC, SrcSubReg) != nullptr;
4090b57cec5SDimitry Andric
4100b57cec5SDimitry Andric // Plain copy.
4110b57cec5SDimitry Andric return TRI.getCommonSubClass(DefRC, SrcRC) != nullptr;
4120b57cec5SDimitry Andric }
4130b57cec5SDimitry Andric
shouldRewriteCopySrc(const TargetRegisterClass * DefRC,unsigned DefSubReg,const TargetRegisterClass * SrcRC,unsigned SrcSubReg) const4140b57cec5SDimitry Andric bool TargetRegisterInfo::shouldRewriteCopySrc(const TargetRegisterClass *DefRC,
4150b57cec5SDimitry Andric unsigned DefSubReg,
4160b57cec5SDimitry Andric const TargetRegisterClass *SrcRC,
4170b57cec5SDimitry Andric unsigned SrcSubReg) const {
4180b57cec5SDimitry Andric // If this source does not incur a cross register bank copy, use it.
4190b57cec5SDimitry Andric return shareSameRegisterFile(*this, DefRC, DefSubReg, SrcRC, SrcSubReg);
4200b57cec5SDimitry Andric }
4210b57cec5SDimitry Andric
4220b57cec5SDimitry Andric // Compute target-independent register allocator hints to help eliminate copies.
getRegAllocationHints(Register VirtReg,ArrayRef<MCPhysReg> Order,SmallVectorImpl<MCPhysReg> & Hints,const MachineFunction & MF,const VirtRegMap * VRM,const LiveRegMatrix * Matrix) const4235ffd83dbSDimitry Andric bool TargetRegisterInfo::getRegAllocationHints(
4245ffd83dbSDimitry Andric Register VirtReg, ArrayRef<MCPhysReg> Order,
4255ffd83dbSDimitry Andric SmallVectorImpl<MCPhysReg> &Hints, const MachineFunction &MF,
4265ffd83dbSDimitry Andric const VirtRegMap *VRM, const LiveRegMatrix *Matrix) const {
4270b57cec5SDimitry Andric const MachineRegisterInfo &MRI = MF.getRegInfo();
428fe013be4SDimitry Andric const std::pair<unsigned, SmallVector<Register, 4>> &Hints_MRI =
4290b57cec5SDimitry Andric MRI.getRegAllocationHints(VirtReg);
4300b57cec5SDimitry Andric
4315ffd83dbSDimitry Andric SmallSet<Register, 32> HintedRegs;
4320b57cec5SDimitry Andric // First hint may be a target hint.
4330b57cec5SDimitry Andric bool Skip = (Hints_MRI.first != 0);
4340b57cec5SDimitry Andric for (auto Reg : Hints_MRI.second) {
4350b57cec5SDimitry Andric if (Skip) {
4360b57cec5SDimitry Andric Skip = false;
4370b57cec5SDimitry Andric continue;
4380b57cec5SDimitry Andric }
4390b57cec5SDimitry Andric
4400b57cec5SDimitry Andric // Target-independent hints are either a physical or a virtual register.
4415ffd83dbSDimitry Andric Register Phys = Reg;
4425ffd83dbSDimitry Andric if (VRM && Phys.isVirtual())
4430b57cec5SDimitry Andric Phys = VRM->getPhys(Phys);
4440b57cec5SDimitry Andric
4450b57cec5SDimitry Andric // Don't add the same reg twice (Hints_MRI may contain multiple virtual
4460b57cec5SDimitry Andric // registers allocated to the same physreg).
4470b57cec5SDimitry Andric if (!HintedRegs.insert(Phys).second)
4480b57cec5SDimitry Andric continue;
4490b57cec5SDimitry Andric // Check that Phys is a valid hint in VirtReg's register class.
4505ffd83dbSDimitry Andric if (!Phys.isPhysical())
4510b57cec5SDimitry Andric continue;
4520b57cec5SDimitry Andric if (MRI.isReserved(Phys))
4530b57cec5SDimitry Andric continue;
4540b57cec5SDimitry Andric // Check that Phys is in the allocation order. We shouldn't heed hints
4550b57cec5SDimitry Andric // from VirtReg's register class if they aren't in the allocation order. The
4560b57cec5SDimitry Andric // target probably has a reason for removing the register.
4570b57cec5SDimitry Andric if (!is_contained(Order, Phys))
4580b57cec5SDimitry Andric continue;
4590b57cec5SDimitry Andric
4600b57cec5SDimitry Andric // All clear, tell the register allocator to prefer this register.
4610b57cec5SDimitry Andric Hints.push_back(Phys);
4620b57cec5SDimitry Andric }
4630b57cec5SDimitry Andric return false;
4640b57cec5SDimitry Andric }
4650b57cec5SDimitry Andric
isCalleeSavedPhysReg(MCRegister PhysReg,const MachineFunction & MF) const4668bcb0991SDimitry Andric bool TargetRegisterInfo::isCalleeSavedPhysReg(
4675ffd83dbSDimitry Andric MCRegister PhysReg, const MachineFunction &MF) const {
4688bcb0991SDimitry Andric if (PhysReg == 0)
4698bcb0991SDimitry Andric return false;
4708bcb0991SDimitry Andric const uint32_t *callerPreservedRegs =
4718bcb0991SDimitry Andric getCallPreservedMask(MF, MF.getFunction().getCallingConv());
4728bcb0991SDimitry Andric if (callerPreservedRegs) {
4738bcb0991SDimitry Andric assert(Register::isPhysicalRegister(PhysReg) &&
4748bcb0991SDimitry Andric "Expected physical register");
4758bcb0991SDimitry Andric return (callerPreservedRegs[PhysReg / 32] >> PhysReg % 32) & 1;
4768bcb0991SDimitry Andric }
4778bcb0991SDimitry Andric return false;
4788bcb0991SDimitry Andric }
4798bcb0991SDimitry Andric
canRealignStack(const MachineFunction & MF) const4800b57cec5SDimitry Andric bool TargetRegisterInfo::canRealignStack(const MachineFunction &MF) const {
4810b57cec5SDimitry Andric return !MF.getFunction().hasFnAttribute("no-realign-stack");
4820b57cec5SDimitry Andric }
4830b57cec5SDimitry Andric
shouldRealignStack(const MachineFunction & MF) const484fe6060f1SDimitry Andric bool TargetRegisterInfo::shouldRealignStack(const MachineFunction &MF) const {
4850b57cec5SDimitry Andric const MachineFrameInfo &MFI = MF.getFrameInfo();
4860b57cec5SDimitry Andric const TargetFrameLowering *TFI = MF.getSubtarget().getFrameLowering();
4870b57cec5SDimitry Andric const Function &F = MF.getFunction();
488fe6060f1SDimitry Andric return F.hasFnAttribute("stackrealign") ||
489fe6060f1SDimitry Andric (MFI.getMaxAlign() > TFI->getStackAlign()) ||
490fe6060f1SDimitry Andric F.hasFnAttribute(Attribute::StackAlignment);
4910b57cec5SDimitry Andric }
4920b57cec5SDimitry Andric
regmaskSubsetEqual(const uint32_t * mask0,const uint32_t * mask1) const4930b57cec5SDimitry Andric bool TargetRegisterInfo::regmaskSubsetEqual(const uint32_t *mask0,
4940b57cec5SDimitry Andric const uint32_t *mask1) const {
4950b57cec5SDimitry Andric unsigned N = (getNumRegs()+31) / 32;
4960b57cec5SDimitry Andric for (unsigned I = 0; I < N; ++I)
4970b57cec5SDimitry Andric if ((mask0[I] & mask1[I]) != mask0[I])
4980b57cec5SDimitry Andric return false;
4990b57cec5SDimitry Andric return true;
5000b57cec5SDimitry Andric }
5010b57cec5SDimitry Andric
502*c9157d92SDimitry Andric TypeSize
getRegSizeInBits(Register Reg,const MachineRegisterInfo & MRI) const5035ffd83dbSDimitry Andric TargetRegisterInfo::getRegSizeInBits(Register Reg,
5040b57cec5SDimitry Andric const MachineRegisterInfo &MRI) const {
5050b57cec5SDimitry Andric const TargetRegisterClass *RC{};
5065ffd83dbSDimitry Andric if (Reg.isPhysical()) {
5070b57cec5SDimitry Andric // The size is not directly available for physical registers.
5080b57cec5SDimitry Andric // Instead, we need to access a register class that contains Reg and
5090b57cec5SDimitry Andric // get the size of that register class.
5100b57cec5SDimitry Andric RC = getMinimalPhysRegClass(Reg);
511*c9157d92SDimitry Andric assert(RC && "Unable to deduce the register class");
512*c9157d92SDimitry Andric return getRegSizeInBits(*RC);
5130b57cec5SDimitry Andric }
514*c9157d92SDimitry Andric LLT Ty = MRI.getType(Reg);
515*c9157d92SDimitry Andric if (Ty.isValid())
516*c9157d92SDimitry Andric return Ty.getSizeInBits();
517*c9157d92SDimitry Andric
518*c9157d92SDimitry Andric // Since Reg is not a generic register, it may have a register class.
519*c9157d92SDimitry Andric RC = MRI.getRegClass(Reg);
5200b57cec5SDimitry Andric assert(RC && "Unable to deduce the register class");
5210b57cec5SDimitry Andric return getRegSizeInBits(*RC);
5220b57cec5SDimitry Andric }
5230b57cec5SDimitry Andric
getCoveringSubRegIndexes(const MachineRegisterInfo & MRI,const TargetRegisterClass * RC,LaneBitmask LaneMask,SmallVectorImpl<unsigned> & NeededIndexes) const524fe6060f1SDimitry Andric bool TargetRegisterInfo::getCoveringSubRegIndexes(
525fe6060f1SDimitry Andric const MachineRegisterInfo &MRI, const TargetRegisterClass *RC,
526fe6060f1SDimitry Andric LaneBitmask LaneMask, SmallVectorImpl<unsigned> &NeededIndexes) const {
527fe6060f1SDimitry Andric SmallVector<unsigned, 8> PossibleIndexes;
528fe6060f1SDimitry Andric unsigned BestIdx = 0;
529fe6060f1SDimitry Andric unsigned BestCover = 0;
530fe6060f1SDimitry Andric
531fe6060f1SDimitry Andric for (unsigned Idx = 1, E = getNumSubRegIndices(); Idx < E; ++Idx) {
532fe6060f1SDimitry Andric // Is this index even compatible with the given class?
533fe6060f1SDimitry Andric if (getSubClassWithSubReg(RC, Idx) != RC)
534fe6060f1SDimitry Andric continue;
535fe6060f1SDimitry Andric LaneBitmask SubRegMask = getSubRegIndexLaneMask(Idx);
536fe6060f1SDimitry Andric // Early exit if we found a perfect match.
537fe6060f1SDimitry Andric if (SubRegMask == LaneMask) {
538fe6060f1SDimitry Andric BestIdx = Idx;
539fe6060f1SDimitry Andric break;
540fe6060f1SDimitry Andric }
541fe6060f1SDimitry Andric
542fe6060f1SDimitry Andric // The index must not cover any lanes outside \p LaneMask.
543fe6060f1SDimitry Andric if ((SubRegMask & ~LaneMask).any())
544fe6060f1SDimitry Andric continue;
545fe6060f1SDimitry Andric
546fe6060f1SDimitry Andric unsigned PopCount = SubRegMask.getNumLanes();
547fe6060f1SDimitry Andric PossibleIndexes.push_back(Idx);
548fe6060f1SDimitry Andric if (PopCount > BestCover) {
549fe6060f1SDimitry Andric BestCover = PopCount;
550fe6060f1SDimitry Andric BestIdx = Idx;
551fe6060f1SDimitry Andric }
552fe6060f1SDimitry Andric }
553fe6060f1SDimitry Andric
554fe6060f1SDimitry Andric // Abort if we cannot possibly implement the COPY with the given indexes.
555fe6060f1SDimitry Andric if (BestIdx == 0)
55604eeddc0SDimitry Andric return false;
557fe6060f1SDimitry Andric
558fe6060f1SDimitry Andric NeededIndexes.push_back(BestIdx);
559fe6060f1SDimitry Andric
560fe6060f1SDimitry Andric // Greedy heuristic: Keep iterating keeping the best covering subreg index
561fe6060f1SDimitry Andric // each time.
562fe6060f1SDimitry Andric LaneBitmask LanesLeft = LaneMask & ~getSubRegIndexLaneMask(BestIdx);
563fe6060f1SDimitry Andric while (LanesLeft.any()) {
564fe6060f1SDimitry Andric unsigned BestIdx = 0;
565fe6060f1SDimitry Andric int BestCover = std::numeric_limits<int>::min();
566fe6060f1SDimitry Andric for (unsigned Idx : PossibleIndexes) {
567fe6060f1SDimitry Andric LaneBitmask SubRegMask = getSubRegIndexLaneMask(Idx);
568fe6060f1SDimitry Andric // Early exit if we found a perfect match.
569fe6060f1SDimitry Andric if (SubRegMask == LanesLeft) {
570fe6060f1SDimitry Andric BestIdx = Idx;
571fe6060f1SDimitry Andric break;
572fe6060f1SDimitry Andric }
573fe6060f1SDimitry Andric
574bdd1243dSDimitry Andric // Do not cover already-covered lanes to avoid creating cycles
575bdd1243dSDimitry Andric // in copy bundles (= bundle contains copies that write to the
576bdd1243dSDimitry Andric // registers).
577bdd1243dSDimitry Andric if ((SubRegMask & ~LanesLeft).any())
578bdd1243dSDimitry Andric continue;
579bdd1243dSDimitry Andric
580bdd1243dSDimitry Andric // Try to cover as many of the remaining lanes as possible.
581bdd1243dSDimitry Andric const int Cover = (SubRegMask & LanesLeft).getNumLanes();
582fe6060f1SDimitry Andric if (Cover > BestCover) {
583fe6060f1SDimitry Andric BestCover = Cover;
584fe6060f1SDimitry Andric BestIdx = Idx;
585fe6060f1SDimitry Andric }
586fe6060f1SDimitry Andric }
587fe6060f1SDimitry Andric
588fe6060f1SDimitry Andric if (BestIdx == 0)
58904eeddc0SDimitry Andric return false; // Impossible to handle
590fe6060f1SDimitry Andric
591fe6060f1SDimitry Andric NeededIndexes.push_back(BestIdx);
592fe6060f1SDimitry Andric
593fe6060f1SDimitry Andric LanesLeft &= ~getSubRegIndexLaneMask(BestIdx);
594fe6060f1SDimitry Andric }
595fe6060f1SDimitry Andric
596fe6060f1SDimitry Andric return BestIdx;
597fe6060f1SDimitry Andric }
598fe6060f1SDimitry Andric
5995ffd83dbSDimitry Andric Register
lookThruCopyLike(Register SrcReg,const MachineRegisterInfo * MRI) const6005ffd83dbSDimitry Andric TargetRegisterInfo::lookThruCopyLike(Register SrcReg,
6010b57cec5SDimitry Andric const MachineRegisterInfo *MRI) const {
6020b57cec5SDimitry Andric while (true) {
6030b57cec5SDimitry Andric const MachineInstr *MI = MRI->getVRegDef(SrcReg);
6040b57cec5SDimitry Andric if (!MI->isCopyLike())
6050b57cec5SDimitry Andric return SrcReg;
6060b57cec5SDimitry Andric
6075ffd83dbSDimitry Andric Register CopySrcReg;
6080b57cec5SDimitry Andric if (MI->isCopy())
6090b57cec5SDimitry Andric CopySrcReg = MI->getOperand(1).getReg();
6100b57cec5SDimitry Andric else {
6110b57cec5SDimitry Andric assert(MI->isSubregToReg() && "Bad opcode for lookThruCopyLike");
6120b57cec5SDimitry Andric CopySrcReg = MI->getOperand(2).getReg();
6130b57cec5SDimitry Andric }
6140b57cec5SDimitry Andric
6155ffd83dbSDimitry Andric if (!CopySrcReg.isVirtual())
6160b57cec5SDimitry Andric return CopySrcReg;
6170b57cec5SDimitry Andric
6180b57cec5SDimitry Andric SrcReg = CopySrcReg;
6190b57cec5SDimitry Andric }
6200b57cec5SDimitry Andric }
6210b57cec5SDimitry Andric
lookThruSingleUseCopyChain(Register SrcReg,const MachineRegisterInfo * MRI) const622e8d8bef9SDimitry Andric Register TargetRegisterInfo::lookThruSingleUseCopyChain(
623e8d8bef9SDimitry Andric Register SrcReg, const MachineRegisterInfo *MRI) const {
624e8d8bef9SDimitry Andric while (true) {
625e8d8bef9SDimitry Andric const MachineInstr *MI = MRI->getVRegDef(SrcReg);
626e8d8bef9SDimitry Andric // Found the real definition, return it if it has a single use.
627e8d8bef9SDimitry Andric if (!MI->isCopyLike())
628e8d8bef9SDimitry Andric return MRI->hasOneNonDBGUse(SrcReg) ? SrcReg : Register();
629e8d8bef9SDimitry Andric
630e8d8bef9SDimitry Andric Register CopySrcReg;
631e8d8bef9SDimitry Andric if (MI->isCopy())
632e8d8bef9SDimitry Andric CopySrcReg = MI->getOperand(1).getReg();
633e8d8bef9SDimitry Andric else {
634e8d8bef9SDimitry Andric assert(MI->isSubregToReg() && "Bad opcode for lookThruCopyLike");
635e8d8bef9SDimitry Andric CopySrcReg = MI->getOperand(2).getReg();
636e8d8bef9SDimitry Andric }
637e8d8bef9SDimitry Andric
638e8d8bef9SDimitry Andric // Continue only if the next definition in the chain is for a virtual
639e8d8bef9SDimitry Andric // register that has a single use.
640e8d8bef9SDimitry Andric if (!CopySrcReg.isVirtual() || !MRI->hasOneNonDBGUse(CopySrcReg))
641e8d8bef9SDimitry Andric return Register();
642e8d8bef9SDimitry Andric
643e8d8bef9SDimitry Andric SrcReg = CopySrcReg;
644e8d8bef9SDimitry Andric }
645e8d8bef9SDimitry Andric }
646e8d8bef9SDimitry Andric
getOffsetOpcodes(const StackOffset & Offset,SmallVectorImpl<uint64_t> & Ops) const647e8d8bef9SDimitry Andric void TargetRegisterInfo::getOffsetOpcodes(
648e8d8bef9SDimitry Andric const StackOffset &Offset, SmallVectorImpl<uint64_t> &Ops) const {
649e8d8bef9SDimitry Andric assert(!Offset.getScalable() && "Scalable offsets are not handled");
650e8d8bef9SDimitry Andric DIExpression::appendOffset(Ops, Offset.getFixed());
651e8d8bef9SDimitry Andric }
652e8d8bef9SDimitry Andric
653e8d8bef9SDimitry Andric DIExpression *
prependOffsetExpression(const DIExpression * Expr,unsigned PrependFlags,const StackOffset & Offset) const654e8d8bef9SDimitry Andric TargetRegisterInfo::prependOffsetExpression(const DIExpression *Expr,
655e8d8bef9SDimitry Andric unsigned PrependFlags,
656e8d8bef9SDimitry Andric const StackOffset &Offset) const {
657e8d8bef9SDimitry Andric assert((PrependFlags &
658e8d8bef9SDimitry Andric ~(DIExpression::DerefBefore | DIExpression::DerefAfter |
659e8d8bef9SDimitry Andric DIExpression::StackValue | DIExpression::EntryValue)) == 0 &&
660e8d8bef9SDimitry Andric "Unsupported prepend flag");
661e8d8bef9SDimitry Andric SmallVector<uint64_t, 16> OffsetExpr;
662e8d8bef9SDimitry Andric if (PrependFlags & DIExpression::DerefBefore)
663e8d8bef9SDimitry Andric OffsetExpr.push_back(dwarf::DW_OP_deref);
664e8d8bef9SDimitry Andric getOffsetOpcodes(Offset, OffsetExpr);
665e8d8bef9SDimitry Andric if (PrependFlags & DIExpression::DerefAfter)
666e8d8bef9SDimitry Andric OffsetExpr.push_back(dwarf::DW_OP_deref);
667e8d8bef9SDimitry Andric return DIExpression::prependOpcodes(Expr, OffsetExpr,
668e8d8bef9SDimitry Andric PrependFlags & DIExpression::StackValue,
669e8d8bef9SDimitry Andric PrependFlags & DIExpression::EntryValue);
670e8d8bef9SDimitry Andric }
671e8d8bef9SDimitry Andric
6720b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
6730b57cec5SDimitry Andric LLVM_DUMP_METHOD
dumpReg(Register Reg,unsigned SubRegIndex,const TargetRegisterInfo * TRI)6745ffd83dbSDimitry Andric void TargetRegisterInfo::dumpReg(Register Reg, unsigned SubRegIndex,
6750b57cec5SDimitry Andric const TargetRegisterInfo *TRI) {
6760b57cec5SDimitry Andric dbgs() << printReg(Reg, TRI, SubRegIndex) << "\n";
6770b57cec5SDimitry Andric }
6780b57cec5SDimitry Andric #endif
679