2011-01-02 22:09:33 +00:00
|
|
|
//===- llvm/Analysis/DominanceFrontier.h - Dominator Frontiers --*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines the DominanceFrontier class, which calculate and holds the
|
|
|
|
// dominance frontier for a function.
|
|
|
|
//
|
|
|
|
// This should be considered deprecated, don't add any more uses of this data
|
|
|
|
// structure.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_ANALYSIS_DOMINANCEFRONTIER_H
|
|
|
|
#define LLVM_ANALYSIS_DOMINANCEFRONTIER_H
|
|
|
|
|
2014-01-13 09:26:24 +00:00
|
|
|
#include "llvm/IR/Dominators.h"
|
2011-01-02 22:09:33 +00:00
|
|
|
#include <map>
|
|
|
|
#include <set>
|
|
|
|
|
|
|
|
namespace llvm {
|
2014-07-12 21:59:52 +00:00
|
|
|
|
2011-01-02 22:09:33 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
/// DominanceFrontierBase - Common base class for computing forward and inverse
|
|
|
|
/// dominance frontiers for a function.
|
|
|
|
///
|
2014-07-12 21:59:52 +00:00
|
|
|
template <class BlockT>
|
|
|
|
class DominanceFrontierBase {
|
2011-01-02 22:09:33 +00:00
|
|
|
public:
|
2014-07-12 21:59:52 +00:00
|
|
|
typedef std::set<BlockT *> DomSetType; // Dom set for a bb
|
|
|
|
typedef std::map<BlockT *, DomSetType> DomSetMapType; // Dom set map
|
|
|
|
|
2011-01-02 22:09:33 +00:00
|
|
|
protected:
|
2014-07-12 21:59:52 +00:00
|
|
|
typedef GraphTraits<BlockT *> BlockTraits;
|
|
|
|
|
2011-01-02 22:09:33 +00:00
|
|
|
DomSetMapType Frontiers;
|
2014-07-12 21:59:52 +00:00
|
|
|
std::vector<BlockT *> Roots;
|
2011-01-02 22:09:33 +00:00
|
|
|
const bool IsPostDominators;
|
|
|
|
|
|
|
|
public:
|
2014-07-12 21:59:52 +00:00
|
|
|
DominanceFrontierBase(bool isPostDom) : IsPostDominators(isPostDom) {}
|
2011-01-02 22:09:33 +00:00
|
|
|
|
|
|
|
/// getRoots - Return the root blocks of the current CFG. This may include
|
|
|
|
/// multiple blocks if we are computing post dominators. For forward
|
|
|
|
/// dominators, this will always be a single block (the entry node).
|
|
|
|
///
|
2014-07-12 21:59:52 +00:00
|
|
|
inline const std::vector<BlockT *> &getRoots() const {
|
|
|
|
return Roots;
|
|
|
|
}
|
|
|
|
|
|
|
|
BlockT *getRoot() const {
|
|
|
|
assert(Roots.size() == 1 && "Should always have entry node!");
|
|
|
|
return Roots[0];
|
|
|
|
}
|
2011-01-02 22:09:33 +00:00
|
|
|
|
|
|
|
/// isPostDominator - Returns true if analysis based of postdoms
|
|
|
|
///
|
2014-07-12 21:59:52 +00:00
|
|
|
bool isPostDominator() const {
|
|
|
|
return IsPostDominators;
|
|
|
|
}
|
2011-01-02 22:09:33 +00:00
|
|
|
|
2014-07-12 21:59:52 +00:00
|
|
|
void releaseMemory() {
|
|
|
|
Frontiers.clear();
|
|
|
|
}
|
2011-01-02 22:09:33 +00:00
|
|
|
|
|
|
|
// Accessor interface:
|
2014-07-12 21:59:52 +00:00
|
|
|
typedef typename DomSetMapType::iterator iterator;
|
|
|
|
typedef typename DomSetMapType::const_iterator const_iterator;
|
|
|
|
iterator begin() { return Frontiers.begin(); }
|
2011-01-02 22:09:33 +00:00
|
|
|
const_iterator begin() const { return Frontiers.begin(); }
|
2014-07-12 21:59:52 +00:00
|
|
|
iterator end() { return Frontiers.end(); }
|
|
|
|
const_iterator end() const { return Frontiers.end(); }
|
|
|
|
iterator find(BlockT *B) { return Frontiers.find(B); }
|
|
|
|
const_iterator find(BlockT *B) const { return Frontiers.find(B); }
|
2011-01-02 22:09:33 +00:00
|
|
|
|
2014-07-12 21:59:52 +00:00
|
|
|
iterator addBasicBlock(BlockT *BB, const DomSetType &frontier) {
|
2011-01-02 22:09:33 +00:00
|
|
|
assert(find(BB) == end() && "Block already in DominanceFrontier!");
|
|
|
|
return Frontiers.insert(std::make_pair(BB, frontier)).first;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// removeBlock - Remove basic block BB's frontier.
|
2014-07-12 21:59:52 +00:00
|
|
|
void removeBlock(BlockT *BB);
|
2011-01-02 22:09:33 +00:00
|
|
|
|
2014-07-12 21:59:52 +00:00
|
|
|
void addToFrontier(iterator I, BlockT *Node);
|
2011-01-02 22:09:33 +00:00
|
|
|
|
2014-07-12 21:59:52 +00:00
|
|
|
void removeFromFrontier(iterator I, BlockT *Node);
|
2011-01-02 22:09:33 +00:00
|
|
|
|
|
|
|
/// compareDomSet - Return false if two domsets match. Otherwise
|
|
|
|
/// return true;
|
2014-07-12 21:59:52 +00:00
|
|
|
bool compareDomSet(DomSetType &DS1, const DomSetType &DS2) const;
|
2011-01-02 22:09:33 +00:00
|
|
|
|
|
|
|
/// compare - Return true if the other dominance frontier base matches
|
|
|
|
/// this dominance frontier base. Otherwise return false.
|
2014-07-12 21:59:52 +00:00
|
|
|
bool compare(DominanceFrontierBase<BlockT> &Other) const;
|
2011-01-02 22:09:33 +00:00
|
|
|
|
|
|
|
/// print - Convert to human readable form
|
|
|
|
///
|
2014-07-12 21:59:52 +00:00
|
|
|
void print(raw_ostream &OS) const;
|
2011-01-02 22:09:33 +00:00
|
|
|
|
|
|
|
/// dump - Dump the dominance frontier to dbgs().
|
|
|
|
void dump() const;
|
|
|
|
};
|
|
|
|
|
|
|
|
//===-------------------------------------
|
|
|
|
/// DominanceFrontier Class - Concrete subclass of DominanceFrontierBase that is
|
|
|
|
/// used to compute a forward dominator frontiers.
|
|
|
|
///
|
2014-07-12 21:59:52 +00:00
|
|
|
template <class BlockT>
|
|
|
|
class ForwardDominanceFrontierBase : public DominanceFrontierBase<BlockT> {
|
|
|
|
private:
|
|
|
|
typedef GraphTraits<BlockT *> BlockTraits;
|
|
|
|
|
2011-01-02 22:09:33 +00:00
|
|
|
public:
|
2014-07-12 21:59:52 +00:00
|
|
|
typedef DominatorTreeBase<BlockT> DomTreeT;
|
|
|
|
typedef DomTreeNodeBase<BlockT> DomTreeNodeT;
|
|
|
|
typedef typename DominanceFrontierBase<BlockT>::DomSetType DomSetType;
|
|
|
|
|
|
|
|
ForwardDominanceFrontierBase() : DominanceFrontierBase<BlockT>(false) {}
|
|
|
|
|
|
|
|
void analyze(DomTreeT &DT) {
|
|
|
|
this->Roots = DT.getRoots();
|
|
|
|
assert(this->Roots.size() == 1 &&
|
|
|
|
"Only one entry block for forward domfronts!");
|
|
|
|
calculate(DT, DT[this->Roots[0]]);
|
|
|
|
}
|
|
|
|
|
|
|
|
const DomSetType &calculate(const DomTreeT &DT, const DomTreeNodeT *Node);
|
|
|
|
};
|
|
|
|
|
|
|
|
class DominanceFrontier : public FunctionPass {
|
|
|
|
ForwardDominanceFrontierBase<BasicBlock> Base;
|
|
|
|
|
|
|
|
public:
|
|
|
|
typedef DominatorTreeBase<BasicBlock> DomTreeT;
|
|
|
|
typedef DomTreeNodeBase<BasicBlock> DomTreeNodeT;
|
2014-07-12 22:19:49 +00:00
|
|
|
typedef DominanceFrontierBase<BasicBlock>::DomSetType DomSetType;
|
2014-07-12 21:59:52 +00:00
|
|
|
typedef DominanceFrontierBase<BasicBlock>::iterator iterator;
|
|
|
|
typedef DominanceFrontierBase<BasicBlock>::const_iterator const_iterator;
|
|
|
|
|
2011-01-02 22:09:33 +00:00
|
|
|
static char ID; // Pass ID, replacement for typeid
|
|
|
|
|
2014-07-12 21:59:52 +00:00
|
|
|
DominanceFrontier();
|
|
|
|
|
|
|
|
ForwardDominanceFrontierBase<BasicBlock> &getBase() { return Base; }
|
|
|
|
|
|
|
|
inline const std::vector<BasicBlock *> &getRoots() const {
|
|
|
|
return Base.getRoots();
|
2011-01-02 22:09:33 +00:00
|
|
|
}
|
|
|
|
|
2014-07-12 21:59:52 +00:00
|
|
|
BasicBlock *getRoot() const { return Base.getRoot(); }
|
|
|
|
|
|
|
|
bool isPostDominator() const { return Base.isPostDominator(); }
|
|
|
|
|
|
|
|
iterator begin() { return Base.begin(); }
|
|
|
|
|
|
|
|
const_iterator begin() const { return Base.begin(); }
|
|
|
|
|
|
|
|
iterator end() { return Base.end(); }
|
|
|
|
|
|
|
|
const_iterator end() const { return Base.end(); }
|
|
|
|
|
|
|
|
iterator find(BasicBlock *B) { return Base.find(B); }
|
|
|
|
|
|
|
|
const_iterator find(BasicBlock *B) const { return Base.find(B); }
|
|
|
|
|
|
|
|
iterator addBasicBlock(BasicBlock *BB, const DomSetType &frontier) {
|
|
|
|
return Base.addBasicBlock(BB, frontier);
|
|
|
|
}
|
|
|
|
|
|
|
|
void removeBlock(BasicBlock *BB) { return Base.removeBlock(BB); }
|
|
|
|
|
|
|
|
void addToFrontier(iterator I, BasicBlock *Node) {
|
|
|
|
return Base.addToFrontier(I, Node);
|
|
|
|
}
|
|
|
|
|
|
|
|
void removeFromFrontier(iterator I, BasicBlock *Node) {
|
|
|
|
return Base.removeFromFrontier(I, Node);
|
2011-01-02 22:09:33 +00:00
|
|
|
}
|
|
|
|
|
2014-07-12 21:59:52 +00:00
|
|
|
bool compareDomSet(DomSetType &DS1, const DomSetType &DS2) const {
|
|
|
|
return Base.compareDomSet(DS1, DS2);
|
2011-01-02 22:09:33 +00:00
|
|
|
}
|
|
|
|
|
2014-07-12 21:59:52 +00:00
|
|
|
bool compare(DominanceFrontierBase<BasicBlock> &Other) const {
|
|
|
|
return Base.compare(Other);
|
|
|
|
}
|
|
|
|
|
|
|
|
void releaseMemory() override;
|
|
|
|
|
|
|
|
bool runOnFunction(Function &) override;
|
|
|
|
|
|
|
|
void getAnalysisUsage(AnalysisUsage &AU) const override;
|
|
|
|
|
|
|
|
void print(raw_ostream &OS, const Module * = nullptr) const override;
|
|
|
|
|
|
|
|
void dump() const;
|
2011-01-02 22:09:33 +00:00
|
|
|
};
|
|
|
|
|
2014-07-12 21:59:52 +00:00
|
|
|
EXTERN_TEMPLATE_INSTANTIATION(class DominanceFrontierBase<BasicBlock>);
|
|
|
|
EXTERN_TEMPLATE_INSTANTIATION(class ForwardDominanceFrontierBase<BasicBlock>);
|
|
|
|
|
2011-01-02 22:09:33 +00:00
|
|
|
} // End llvm namespace
|
|
|
|
|
|
|
|
#endif
|