50#define DEBUG_TYPE "phi-node-elimination"
55 cl::desc(
"Disable critical edge splitting "
56 "during PHI elimination"));
61 cl::desc(
"Split all critical edges during "
66 cl::desc(
"Do not use an early exit if isLiveOutPastPHIs returns true."));
70class PHIEliminationImpl {
84 bool AllEdgesCritical);
104 using BBVRegPair = std::pair<unsigned, Register>;
108 VRegPHIUse VRegPHIUseCount;
114 using LoweredPHIMap =
116 LoweredPHIMap LoweredPHIs;
130 LV = LVWrapper ? &LVWrapper->getLV() :
nullptr;
131 LIS = LISWrapper ? &LISWrapper->getLIS() :
nullptr;
132 MLI = MLIWrapper ? &MLIWrapper->getLI() :
nullptr;
133 MDT = MDTWrapper ? &MDTWrapper->getDomTree() :
nullptr;
134 PDT = PDTWrapper ? &PDTWrapper->getPostDomTree() :
nullptr;
138 : LV(AM.getCachedResult<LiveVariablesAnalysis>(MF)),
139 LIS(AM.getCachedResult<LiveIntervalsAnalysis>(MF)),
140 MLI(AM.getCachedResult<MachineLoopAnalysis>(MF)),
141 MDT(AM.getCachedResult<MachineDominatorTreeAnalysis>(MF)),
142 PDT(AM.getCachedResult<MachinePostDominatorTreeAnalysis>(MF)),
145 bool run(MachineFunction &MF);
152 PHIElimination() : MachineFunctionPass(ID) {
156 bool runOnMachineFunction(MachineFunction &MF)
override {
157 PHIEliminationImpl Impl(
this);
161 MachineFunctionProperties getSetProperties()
const override {
162 return MachineFunctionProperties().setNoPHIs();
165 void getAnalysisUsage(AnalysisUsage &AU)
const override;
173 PHIEliminationImpl Impl(MF, MFAM);
188STATISTIC(NumCriticalEdgesSplit,
"Number of critical edges split");
191char PHIElimination::ID = 0;
196 "Eliminate PHI nodes for register allocation",
false,
202void PHIElimination::getAnalysisUsage(
AnalysisUsage &AU)
const {
218 MachineDomTreeUpdater::UpdateStrategy::Lazy);
226 std::vector<SparseBitVector<>> LiveInSets;
228 LiveInSets.resize(MF.
size());
229 for (
unsigned Index = 0, e =
MRI->getNumVirtRegs(); Index != e; ++Index) {
239 while (AliveBlockItr != EndItr) {
240 unsigned BlockNum = *(AliveBlockItr++);
241 LiveInSets[BlockNum].set(Index);
246 if (
VI.Kills.size() > 1 ||
247 (!
VI.Kills.empty() &&
VI.Kills.front()->getParent() != DefMBB))
248 for (
auto *
MI :
VI.Kills)
249 LiveInSets[
MI->getParent()->getNumber()].set(Index);
255 SplitPHIEdges(MF,
MBB, MLI, (LV ? &LiveInSets :
nullptr), MDTU);
272 if (
MRI->use_nodbg_empty(DefReg)) {
280 for (
auto &
I : LoweredPHIs) {
283 MF.deleteMachineInstr(
I.first);
288 VRegPHIUseCount.clear();
290 MF.getProperties().setNoPHIs();
312 if (Pred->succ_size() < 2) {
313 AllEdgesCritical =
false;
319 LowerPHINode(
MBB, LastPHIIt, AllEdgesCritical);
329 if (!DI.isImplicitDef())
347 bool AllEdgesCritical) {
363 bool EliminateNow =
true;
364 bool reusedIncoming =
false;
375 TII->
get(TargetOpcode::IMPLICIT_DEF), DestReg);
382 if (AllEdgesCritical)
383 Entry = &LoweredPHIs[MPhi];
384 if (Entry && *Entry) {
386 IncomingReg = *
Entry;
387 reusedIncoming =
true;
395 EliminateNow =
false;
396 *
Entry = IncomingReg;
421 bool IsPHICopyAfterOldKill =
false;
423 if (reusedIncoming && (OldKill =
VI.findKill(&
MBB))) {
435 IsPHICopyAfterOldKill =
true;
444 if (IsPHICopyAfterOldKill) {
455 if (!OldKill || IsPHICopyAfterOldKill)
485 MBBStartIndex, DestCopyIndex.
getRegSlot(), IncomingVNI));
489 assert(!DestLI.
empty() &&
"PHIs should have non-empty LiveIntervals.");
497 for (
auto LR : ToUpdate) {
498 auto DestSegment = LR->find(MBBStartIndex);
499 assert(DestSegment != LR->end() &&
500 "PHI destination must be live in block");
502 if (LR->endIndex().isDead()) {
506 VNInfo *OrigDestVNI = LR->getVNInfoAt(DestSegment->start);
507 assert(OrigDestVNI &&
"PHI destination should be live at block entry.");
508 LR->removeSegment(DestSegment->start, DestSegment->start.getDeadSlot());
510 LR->removeValNo(OrigDestVNI);
517 if (DestSegment->start > NewStart) {
518 VNInfo *VNI = LR->getVNInfoAt(DestSegment->start);
519 assert(VNI &&
"value should be defined for known segment");
522 }
else if (DestSegment->start < NewStart) {
523 assert(DestSegment->start >= MBBStartIndex);
525 LR->removeSegment(DestSegment->start, NewStart);
527 VNInfo *DestVNI = LR->getVNInfoAt(NewStart);
528 assert(DestVNI &&
"PHI destination should be live at its definition.");
529 DestVNI->
def = NewStart;
537 --VRegPHIUseCount[BBVRegPair(
547 for (
int i = NumSrcs - 1; i >= 0; --i) {
553 "Machine PHI Operands must all be virtual registers!");
562 if (!MBBsInsertedInto.
insert(&opBlock).second)
569 "Expected operand 0 to be a reg def!");
573 "Expected a single use from UnspillableTerminator");
594 if (!reusedIncoming && IncomingReg) {
601 TII->
get(TargetOpcode::IMPLICIT_DEF), IncomingReg);
606 ImpDefs.insert(
DefMI);
611 SrcReg, SrcSubReg, IncomingReg);
618 if (LV && !SrcUndef &&
619 !VRegPHIUseCount[BBVRegPair(opBlock.
getNumber(), SrcReg)] &&
640 if (
Term->readsRegister(SrcReg,
nullptr))
644 if (KillInst == opBlock.
end()) {
647 if (reusedIncoming || !IncomingReg) {
649 KillInst = InsertPos;
650 while (KillInst != opBlock.
begin()) {
652 if (KillInst->isDebugInstr())
654 if (KillInst->readsRegister(SrcReg,
nullptr))
659 KillInst = NewSrcInstr;
662 assert(KillInst->readsRegister(SrcReg,
nullptr) &&
663 "Cannot find kill instruction");
669 unsigned opBlockNum = opBlock.
getNumber();
680 !VRegPHIUseCount[BBVRegPair(opBlock.
getNumber(), SrcReg)]) {
689 if (VNI && VNI->
def != startIdx) {
699 if (
Term->readsRegister(SrcReg,
nullptr))
703 if (KillInst == opBlock.
end()) {
706 if (reusedIncoming || !IncomingReg) {
708 KillInst = InsertPos;
709 while (KillInst != opBlock.
begin()) {
711 if (KillInst->isDebugInstr())
713 if (KillInst->readsRegister(SrcReg,
nullptr))
718 KillInst = std::prev(InsertPos);
721 assert(KillInst->readsRegister(SrcReg,
nullptr) &&
722 "Cannot find kill instruction");
740 MF.deleteMachineInstr(MPhi);
749 for (
const auto &
MBB : MF) {
750 for (
const auto &BBI :
MBB) {
753 for (
unsigned i = 1, e = BBI.getNumOperands(); i != e; i += 2) {
754 if (!BBI.getOperand(i).isUndef()) {
755 ++VRegPHIUseCount[BBVRegPair(
756 BBI.getOperand(i + 1).getMBB()->getNumber(),
757 BBI.getOperand(i).getReg())];
764bool PHIEliminationImpl::SplitPHIEdges(
771 bool IsLoopHeader = CurLoop && &
MBB == CurLoop->
getHeader();
775 BBI != BBE && BBI->isPHI(); ++BBI) {
776 for (
unsigned i = 1, e = BBI->getNumOperands(); i != e; i += 2) {
797 bool ShouldSplit = isLiveOutPastPHIs(
Reg, PreMBB);
814 ShouldSplit = ShouldSplit && !isLiveIn(
Reg, &
MBB);
817 if (!ShouldSplit && CurLoop != PreLoop) {
819 dbgs() <<
"Split wouldn't help, maybe avoid loop copies?\n";
821 dbgs() <<
"PreLoop: " << *PreLoop;
823 dbgs() <<
"CurLoop: " << *CurLoop;
829 ShouldSplit = PreLoop && !PreLoop->
contains(CurLoop);
839 ++NumCriticalEdgesSplit;
847 "isLiveIn() requires either LiveVariables or LiveIntervals");
854bool PHIEliminationImpl::isLiveOutPastPHIs(
Register Reg,
857 "isLiveOutPastPHIs() requires either LiveVariables or LiveIntervals");
unsigned const MachineRegisterInfo * MRI
MachineInstrBuilder MachineInstrBuilder & DefMI
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
const TargetInstrInfo & TII
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
This file defines the DenseMap class.
static bool allPhiOperandsUndefined(const MachineInstr &MPhi, const MachineRegisterInfo &MRI)
Return true if all sources of the phi node are implicit_def's, or undef's.
static cl::opt< bool > NoPhiElimLiveOutEarlyExit("no-phi-elim-live-out-early-exit", cl::init(false), cl::Hidden, cl::desc("Do not use an early exit if isLiveOutPastPHIs returns true."))
static bool isImplicitlyDefined(Register VirtReg, const MachineRegisterInfo &MRI)
Return true if all defs of VirtReg are implicit-defs.
static cl::opt< bool > DisableEdgeSplitting("disable-phi-elim-edge-splitting", cl::init(false), cl::Hidden, cl::desc("Disable critical edge splitting " "during PHI elimination"))
static cl::opt< bool > SplitAllCriticalEdges("phi-elim-split-all-critical-edges", cl::init(false), cl::Hidden, cl::desc("Split all critical edges during " "PHI elimination"))
#define INITIALIZE_PASS_DEPENDENCY(depName)
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
static bool isLiveOut(const MachineBasicBlock &MBB, unsigned Reg)
bool isDead(const MachineInstr &MI, const MachineRegisterInfo &MRI)
This file defines the SmallPtrSet class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
Represent the analysis usage information of a pass.
LiveInterval - This class represents the liveness of a register, or stack slot.
iterator_range< subrange_iterator > subranges()
SlotIndex getMBBStartIdx(const MachineBasicBlock *mbb) const
Return the first index in the given basic block.
SlotIndex InsertMachineInstrInMaps(MachineInstr &MI)
LiveInterval & getOrCreateEmptyInterval(Register Reg)
Return an existing interval for Reg.
SlotIndex getInstructionIndex(const MachineInstr &Instr) const
Returns the base index of the given instruction.
void RemoveMachineInstrFromMaps(MachineInstr &MI)
VNInfo::Allocator & getVNInfoAllocator()
SlotIndex getMBBEndIdx(const MachineBasicBlock *mbb) const
Return the last index in the given basic block.
LiveInterval & getInterval(Register Reg)
LLVM_ABI LiveInterval::Segment addSegmentToEndOfBlock(Register Reg, MachineInstr &startInst)
Given a register and an instruction, adds a live segment from that instruction to the end of its MBB.
bool isLiveInToMBB(const LiveRange &LR, const MachineBasicBlock *mbb) const
LLVM_ABI iterator addSegment(Segment S)
Add the specified Segment to this range, merging segments as appropriate.
bool liveAt(SlotIndex index) const
VNInfo * getNextValue(SlotIndex Def, VNInfo::Allocator &VNInfoAllocator)
getNextValue - Create a new value number and return it.
LLVM_ABI void removeSegment(SlotIndex Start, SlotIndex End, bool RemoveDeadValNo=false)
Remove the specified interval from this live range.
VNInfo * getVNInfoAt(SlotIndex Idx) const
getVNInfoAt - Return the VNInfo that is live at Idx, or NULL.
bool removeVirtualRegisterDead(Register Reg, MachineInstr &MI)
removeVirtualRegisterDead - Remove the specified kill of the virtual register from the live variable ...
bool removeVirtualRegisterKilled(Register Reg, MachineInstr &MI)
removeVirtualRegisterKilled - Remove the specified kill of the virtual register from the live variabl...
LLVM_ABI void removeVirtualRegistersKilled(MachineInstr &MI)
removeVirtualRegistersKilled - Remove all killed info for the specified instruction.
void addVirtualRegisterDead(Register IncomingReg, MachineInstr &MI, bool AddIfNotFound=false)
addVirtualRegisterDead - Add information about the fact that the specified register is dead after bei...
LLVM_ABI bool isLiveOut(Register Reg, const MachineBasicBlock &MBB)
isLiveOut - Determine if Reg is live out from MBB, when not considering PHI nodes.
bool isLiveIn(Register Reg, const MachineBasicBlock &MBB)
void addVirtualRegisterKilled(Register IncomingReg, MachineInstr &MI, bool AddIfNotFound=false)
addVirtualRegisterKilled - Add information about the fact that the specified register is killed after...
LLVM_ABI VarInfo & getVarInfo(Register Reg)
getVarInfo - Return the VarInfo structure for the specified VIRTUAL register.
bool contains(const LoopT *L) const
Return true if the specified loop is contained within in this loop.
BlockT * getHeader() const
LoopT * getLoopFor(const BlockT *BB) const
Return the inner most loop that BB lives in.
const MCInstrDesc & get(unsigned Opcode) const
Return the machine instruction descriptor that corresponds to the specified instruction opcode.
unsigned pred_size() const
bool isEHPad() const
Returns true if the block is a landing pad.
MachineBasicBlock * SplitCriticalEdge(MachineBasicBlock *Succ, Pass &P, std::vector< SparseBitVector<> > *LiveInSets=nullptr, MachineDomTreeUpdater *MDTU=nullptr)
int getNumber() const
MachineBasicBlocks are uniquely numbered at the function level, unless they're not in a MachineFuncti...
LLVM_ABI iterator SkipPHIsAndLabels(iterator I)
Return the first instruction in MBB after I that is not a PHI or a label.
MachineInstr * remove(MachineInstr *I)
Remove the unbundled instruction from the instruction list without deleting it.
unsigned succ_size() const
LLVM_ABI void dump() const
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
iterator_range< succ_iterator > successors()
iterator_range< pred_iterator > predecessors()
MachineInstrBundleIterator< MachineInstr > iterator
Analysis pass which computes a MachineDominatorTree.
Analysis pass which computes a MachineDominatorTree.
DominatorTree Class - Concrete subclass of DominatorTreeBase that is used to compute a normal dominat...
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
Location of a PHI instruction that is also a debug-info variable value, for the duration of register ...
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
DenseMap< unsigned, DebugPHIRegallocPos > DebugPHIPositions
Map of debug instruction numbers to the position of their PHI instructions during register allocation...
Representation of each machine instruction.
bool isImplicitDef() const
const MachineBasicBlock * getParent() const
unsigned getNumOperands() const
Retuns the total number of operands.
unsigned peekDebugInstrNum() const
Examine the instruction number of this MachineInstr.
const DebugLoc & getDebugLoc() const
Returns the debug location id of this MachineInstr.
LLVM_ABI void eraseFromParent()
Unlink 'this' from the containing basic block and delete it.
const MachineOperand & getOperand(unsigned i) const
Analysis pass that exposes the MachineLoopInfo for a machine function.
MachineOperand class - Representation of each machine instruction operand.
unsigned getSubReg() const
bool isReg() const
isReg - Tests if this is a MO_Register operand.
MachineBasicBlock * getMBB() const
LLVM_ABI void setReg(Register Reg)
Change the register this operand corresponds to.
Register getReg() const
getReg - Returns the register number.
MachinePostDominatorTree - an analysis pass wrapper for DominatorTree used to compute the post-domina...
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
const TargetRegisterClass * getRegClass(Register Reg) const
Return the register class of the specified virtual register.
LLVM_ABI Register createVirtualRegister(const TargetRegisterClass *RegClass, StringRef Name="")
createVirtualRegister - Create and return a new virtual register in the function with the specified r...
PreservedAnalyses run(MachineFunction &MF, MachineFunctionAnalysisManager &MFAM)
static LLVM_ABI PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
Wrapper class representing virtual and physical registers.
static Register index2VirtReg(unsigned Index)
Convert a 0-based index to a virtual register number.
constexpr bool isVirtual() const
Return true if the specified register number is in the virtual register namespace.
SlotIndex - An opaque wrapper around machine indexes.
SlotIndex getRegSlot(bool EC=false) const
Returns the register use/def slot in the current instruction for a normal or early-clobber def.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
SparseBitVectorIterator iterator
TargetInstrInfo - Interface to description of machine instruction set.
bool isUnspillableTerminator(const MachineInstr *MI) const
Return true if the given instruction is terminator that is unspillable, according to isUnspillableTer...
virtual MachineInstr * createPHIDestinationCopy(MachineBasicBlock &MBB, MachineBasicBlock::iterator InsPt, const DebugLoc &DL, Register Src, Register Dst) const
During PHI eleimination lets target to make necessary checks and insert the copy to the PHI destinati...
virtual MachineInstr * createPHISourceCopy(MachineBasicBlock &MBB, MachineBasicBlock::iterator InsPt, const DebugLoc &DL, Register Src, unsigned SrcSubReg, Register Dst) const
During PHI eleimination lets target to make necessary checks and insert the copy to the PHI destinati...
virtual const TargetInstrInfo * getInstrInfo() const
VNInfo - Value Number Information.
SlotIndex def
The index of the defining instruction.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
initializer< Ty > init(const Ty &Val)
PointerTypeMap run(const Module &M)
Compute the PointerTypeMap for the module M.
This is an optimization pass for GlobalISel generic memory operations.
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
AnalysisManager< MachineFunction > MachineFunctionAnalysisManager
LLVM_ABI PreservedAnalyses getMachineFunctionPassPreservedAnalyses()
Returns the minimum set of Analyses that all machine function passes must preserve.
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
MachineBasicBlock::iterator findPHICopyInsertPoint(MachineBasicBlock *MBB, MachineBasicBlock *SuccMBB, Register SrcReg)
findPHICopyInsertPoint - Find a safe place in MBB to insert a copy from SrcReg when following the CFG...
LLVM_ABI unsigned SplitAllCriticalEdges(Function &F, const CriticalEdgeSplittingOptions &Options=CriticalEdgeSplittingOptions())
Loop over all of the edges in the CFG, breaking critical edges as they are found.
LLVM_ABI void initializePHIEliminationPass(PassRegistry &)
LLVM_ABI char & PHIEliminationID
PHIElimination - This pass eliminates machine instruction PHI nodes by inserting copy instructions.
LLVM_ABI Printable printReg(Register Reg, const TargetRegisterInfo *TRI=nullptr, unsigned SubIdx=0, const MachineRegisterInfo *MRI=nullptr)
Prints virtual and physical registers with or without a TRI instance.
LLVM_ABI Printable printMBBReference(const MachineBasicBlock &MBB)
Prints a machine basic block reference.
This represents a simple continuous liveness interval for a value.
VarInfo - This represents the regions where a virtual register is live in the program.
SparseBitVector AliveBlocks
AliveBlocks - Set of blocks in which this value is alive completely through.