2009-07-21 23:47:33 +00:00
|
|
|
//===-- lib/CodeGen/PHIElimination.h ----------------------------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_CODEGEN_PHIELIMINATION_HPP
|
|
|
|
#define LLVM_CODEGEN_PHIELIMINATION_HPP
|
|
|
|
|
2009-07-23 04:34:03 +00:00
|
|
|
#include "llvm/ADT/DenseMap.h"
|
|
|
|
#include "llvm/ADT/SmallSet.h"
|
2009-07-21 23:47:33 +00:00
|
|
|
#include "llvm/ADT/SmallPtrSet.h"
|
|
|
|
#include "llvm/CodeGen/MachineFunctionPass.h"
|
|
|
|
#include "llvm/Target/TargetInstrInfo.h"
|
|
|
|
|
|
|
|
#include <map>
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
|
|
|
/// Lower PHI instructions to copies.
|
|
|
|
class PHIElimination : public MachineFunctionPass {
|
|
|
|
MachineRegisterInfo *MRI; // Machine register information
|
2009-07-23 04:34:03 +00:00
|
|
|
private:
|
|
|
|
|
|
|
|
typedef SmallSet<MachineBasicBlock*, 4> PHIKillList;
|
|
|
|
typedef DenseMap<unsigned, PHIKillList> PHIKillMap;
|
|
|
|
typedef DenseMap<unsigned, MachineBasicBlock*> PHIDefMap;
|
2009-07-21 23:47:33 +00:00
|
|
|
|
|
|
|
public:
|
2009-07-23 04:34:03 +00:00
|
|
|
|
|
|
|
typedef PHIKillList::iterator phi_kill_iterator;
|
|
|
|
typedef PHIKillList::const_iterator const_phi_kill_iterator;
|
|
|
|
|
2009-07-21 23:47:33 +00:00
|
|
|
static char ID; // Pass identification, replacement for typeid
|
|
|
|
PHIElimination() : MachineFunctionPass(&ID) {}
|
|
|
|
|
|
|
|
virtual bool runOnMachineFunction(MachineFunction &Fn);
|
|
|
|
|
|
|
|
virtual void getAnalysisUsage(AnalysisUsage &AU) const;
|
|
|
|
|
2009-07-23 04:34:03 +00:00
|
|
|
/// Return true if the given vreg was defined by a PHI intsr prior to
|
|
|
|
/// lowering.
|
|
|
|
bool hasPHIDef(unsigned vreg) const {
|
|
|
|
return PHIDefs.count(vreg);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns the block in which the PHI instruction which defined the
|
|
|
|
/// given vreg used to reside.
|
|
|
|
MachineBasicBlock* getPHIDefBlock(unsigned vreg) {
|
|
|
|
PHIDefMap::iterator phiDefItr = PHIDefs.find(vreg);
|
|
|
|
assert(phiDefItr != PHIDefs.end() && "vreg has no phi-def.");
|
|
|
|
return phiDefItr->second;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns true if the given vreg was killed by a PHI instr.
|
|
|
|
bool hasPHIKills(unsigned vreg) const {
|
|
|
|
return PHIKills.count(vreg);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns an iterator over the BasicBlocks which contained PHI
|
|
|
|
/// kills of this register prior to lowering.
|
|
|
|
phi_kill_iterator phiKillsBegin(unsigned vreg) {
|
|
|
|
PHIKillMap::iterator phiKillItr = PHIKills.find(vreg);
|
|
|
|
assert(phiKillItr != PHIKills.end() && "vreg has no phi-kills.");
|
|
|
|
return phiKillItr->second.begin();
|
|
|
|
}
|
|
|
|
phi_kill_iterator phiKillsEnd(unsigned vreg) {
|
|
|
|
PHIKillMap::iterator phiKillItr = PHIKills.find(vreg);
|
|
|
|
assert(phiKillItr != PHIKills.end() && "vreg has no phi-kills.");
|
|
|
|
return phiKillItr->second.end();
|
|
|
|
}
|
|
|
|
|
2009-07-21 23:47:33 +00:00
|
|
|
private:
|
|
|
|
/// EliminatePHINodes - Eliminate phi nodes by inserting copy instructions
|
|
|
|
/// in predecessor basic blocks.
|
|
|
|
///
|
|
|
|
bool EliminatePHINodes(MachineFunction &MF, MachineBasicBlock &MBB);
|
|
|
|
void LowerAtomicPHINode(MachineBasicBlock &MBB,
|
|
|
|
MachineBasicBlock::iterator AfterPHIsIt);
|
|
|
|
|
|
|
|
/// analyzePHINodes - Gather information about the PHI nodes in
|
|
|
|
/// here. In particular, we want to map the number of uses of a virtual
|
|
|
|
/// register which is used in a PHI node. We map that to the BB the
|
|
|
|
/// vreg is coming from. This is used later to determine when the vreg
|
|
|
|
/// is killed in the BB.
|
|
|
|
///
|
|
|
|
void analyzePHINodes(const MachineFunction& Fn);
|
|
|
|
|
2009-11-10 22:01:05 +00:00
|
|
|
/// Split critical edges where necessary for good coalescer performance.
|
2009-11-18 18:01:35 +00:00
|
|
|
bool SplitPHIEdges(MachineFunction &MF, MachineBasicBlock &MBB,
|
|
|
|
LiveVariables &LV);
|
2009-11-10 22:01:05 +00:00
|
|
|
|
|
|
|
/// SplitCriticalEdge - Split a critical edge from A to B by
|
|
|
|
/// inserting a new MBB. Update branches in A and PHI instructions
|
|
|
|
/// in B. Return the new block.
|
|
|
|
MachineBasicBlock *SplitCriticalEdge(MachineBasicBlock *A,
|
|
|
|
MachineBasicBlock *B);
|
|
|
|
|
2009-11-13 21:56:15 +00:00
|
|
|
/// FindCopyInsertPoint - Find a safe place in MBB to insert a copy from
|
|
|
|
/// SrcReg when following the CFG edge to SuccMBB. This needs to be after
|
|
|
|
/// any def of SrcReg, but before any subsequent point where control flow
|
|
|
|
/// might jump out of the basic block.
|
2009-07-21 23:47:33 +00:00
|
|
|
MachineBasicBlock::iterator FindCopyInsertPoint(MachineBasicBlock &MBB,
|
2009-11-13 21:56:15 +00:00
|
|
|
MachineBasicBlock &SuccMBB,
|
2009-07-21 23:47:33 +00:00
|
|
|
unsigned SrcReg);
|
|
|
|
|
|
|
|
// SkipPHIsAndLabels - Copies need to be inserted after phi nodes and
|
|
|
|
// also after any exception handling labels: in landing pads execution
|
|
|
|
// starts at the label, so any copies placed before it won't be executed!
|
|
|
|
MachineBasicBlock::iterator SkipPHIsAndLabels(MachineBasicBlock &MBB,
|
|
|
|
MachineBasicBlock::iterator I) {
|
|
|
|
// Rather than assuming that EH labels come before other kinds of labels,
|
|
|
|
// just skip all labels.
|
|
|
|
while (I != MBB.end() &&
|
|
|
|
(I->getOpcode() == TargetInstrInfo::PHI || I->isLabel()))
|
|
|
|
++I;
|
|
|
|
return I;
|
|
|
|
}
|
|
|
|
|
|
|
|
typedef std::pair<const MachineBasicBlock*, unsigned> BBVRegPair;
|
|
|
|
typedef std::map<BBVRegPair, unsigned> VRegPHIUse;
|
|
|
|
|
|
|
|
VRegPHIUse VRegPHIUseCount;
|
2009-07-23 04:34:03 +00:00
|
|
|
PHIDefMap PHIDefs;
|
|
|
|
PHIKillMap PHIKills;
|
2009-07-21 23:47:33 +00:00
|
|
|
|
|
|
|
// Defs of PHI sources which are implicit_def.
|
|
|
|
SmallPtrSet<MachineInstr*, 4> ImpDefs;
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2009-09-04 07:46:30 +00:00
|
|
|
#endif /* LLVM_CODEGEN_PHIELIMINATION_HPP */
|