forked from OSchip/llvm-project
Correct IDF calculator for ReverseIDF
Summary: Need to use predecessors for reverse graph, successors for forward graph. succ_iterator/pred_iterator are not compatible, this patch is all the work necessary to work around that (which is what everywhere else does). Not sure if there is a better way, so cc'ing some random folks to take a gander :) Reviewers: dblaikie, qcolombet, echristo Subscribers: llvm-commits Differential Revision: http://reviews.llvm.org/D18796 llvm-svn: 266718
This commit is contained in:
parent
de33d5901d
commit
77fa84eadd
|
@ -40,6 +40,9 @@ namespace llvm {
|
|||
/// This algorithm is a linear time computation of Iterated Dominance Frontiers,
|
||||
/// pruned using the live-in set.
|
||||
/// By default, liveness is not used to prune the IDF computation.
|
||||
/// The template parameters should be either BasicBlock* or Inverse<BasicBlock
|
||||
/// *>, depending on if you want the forward or reverse IDF.
|
||||
template <class NodeTy>
|
||||
class IDFCalculator {
|
||||
|
||||
public:
|
||||
|
@ -88,5 +91,7 @@ private:
|
|||
const SmallPtrSetImpl<BasicBlock *> *DefBlocks;
|
||||
SmallVector<BasicBlock *, 32> PHIBlocks;
|
||||
};
|
||||
typedef IDFCalculator<BasicBlock *> ForwardIDFCalculator;
|
||||
typedef IDFCalculator<Inverse<BasicBlock *>> ReverseIDFCalculator;
|
||||
}
|
||||
#endif
|
||||
|
|
|
@ -16,9 +16,10 @@
|
|||
#include "llvm/IR/Dominators.h"
|
||||
#include <queue>
|
||||
|
||||
using namespace llvm;
|
||||
|
||||
void IDFCalculator::calculate(SmallVectorImpl<BasicBlock *> &PHIBlocks) {
|
||||
namespace llvm {
|
||||
template <class NodeTy>
|
||||
void IDFCalculator<NodeTy>::calculate(
|
||||
SmallVectorImpl<BasicBlock *> &PHIBlocks) {
|
||||
// If we haven't computed dominator tree levels, do so now.
|
||||
if (DomLevels.empty()) {
|
||||
for (auto DFI = df_begin(DT.getRootNode()), DFE = df_end(DT.getRootNode());
|
||||
|
@ -61,8 +62,12 @@ void IDFCalculator::calculate(SmallVectorImpl<BasicBlock *> &PHIBlocks) {
|
|||
while (!Worklist.empty()) {
|
||||
DomTreeNode *Node = Worklist.pop_back_val();
|
||||
BasicBlock *BB = Node->getBlock();
|
||||
|
||||
for (auto Succ : successors(BB)) {
|
||||
// Succ is the successor in the direction we are calculating IDF, so it is
|
||||
// successor for IDF, and predecessor for Reverse IDF.
|
||||
for (auto SuccIter = GraphTraits<NodeTy>::child_begin(BB),
|
||||
End = GraphTraits<NodeTy>::child_end(BB);
|
||||
SuccIter != End; ++SuccIter) {
|
||||
BasicBlock *Succ = *SuccIter;
|
||||
DomTreeNode *SuccNode = DT.getNode(Succ);
|
||||
|
||||
// Quickly skip all CFG edges that are also dominator tree edges instead
|
||||
|
@ -93,3 +98,7 @@ void IDFCalculator::calculate(SmallVectorImpl<BasicBlock *> &PHIBlocks) {
|
|||
}
|
||||
}
|
||||
}
|
||||
|
||||
template class IDFCalculator<BasicBlock *>;
|
||||
template class IDFCalculator<Inverse<BasicBlock *>>;
|
||||
}
|
||||
|
|
|
@ -304,7 +304,7 @@ MemorySSAWalker *MemorySSA::buildMemorySSA(AliasAnalysis *AA,
|
|||
}
|
||||
|
||||
// Determine where our MemoryPhi's should go
|
||||
IDFCalculator IDFs(*DT);
|
||||
ForwardIDFCalculator IDFs(*DT);
|
||||
IDFs.setDefiningBlocks(DefiningBlocks);
|
||||
IDFs.setLiveInBlocks(LiveInBlocks);
|
||||
SmallVector<BasicBlock *, 32> IDFBlocks;
|
||||
|
|
|
@ -523,7 +523,7 @@ void PromoteMem2Reg::run() {
|
|||
|
||||
AllocaInfo Info;
|
||||
LargeBlockInfo LBI;
|
||||
IDFCalculator IDF(DT);
|
||||
ForwardIDFCalculator IDF(DT);
|
||||
|
||||
for (unsigned AllocaNum = 0; AllocaNum != Allocas.size(); ++AllocaNum) {
|
||||
AllocaInst *AI = Allocas[AllocaNum];
|
||||
|
|
Loading…
Reference in New Issue