diff options
| author | Dan Gohman <gohman@apple.com> | 2009-09-27 15:26:03 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-09-27 15:26:03 +0000 |
| commit | 6e70e31810464289a9e9b37e0345847e3ca5d5cf (patch) | |
| tree | fd6fdf2cc3214c642720607b8f39fea53ce20360 /include/llvm/Analysis/ScalarEvolutionExpressions.h | |
| parent | 59faf04a5d9df84bcd6ab5256b252c6b696af72a (diff) | |
Add a properlyDominates member function to ScalarEvolution.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82898 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/llvm/Analysis/ScalarEvolutionExpressions.h')
| -rw-r--r-- | include/llvm/Analysis/ScalarEvolutionExpressions.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/include/llvm/Analysis/ScalarEvolutionExpressions.h b/include/llvm/Analysis/ScalarEvolutionExpressions.h index 33cd2a5c3c..67f5e06977 100644 --- a/include/llvm/Analysis/ScalarEvolutionExpressions.h +++ b/include/llvm/Analysis/ScalarEvolutionExpressions.h @@ -60,6 +60,10 @@ namespace llvm { return true; } + bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const { + return true; + } + virtual void print(raw_ostream &OS) const; /// Methods for support type inquiry through isa, cast, and dyn_cast: @@ -98,6 +102,8 @@ namespace llvm { virtual bool dominates(BasicBlock *BB, DominatorTree *DT) const; + virtual bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const; + /// Methods for support type inquiry through isa, cast, and dyn_cast: static inline bool classof(const SCEVCastExpr *S) { return true; } static inline bool classof(const SCEV *S) { @@ -224,6 +230,8 @@ namespace llvm { bool dominates(BasicBlock *BB, DominatorTree *DT) const; + bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const; + virtual const Type *getType() const { return getOperand(0)->getType(); } /// Methods for support type inquiry through isa, cast, and dyn_cast: @@ -337,6 +345,8 @@ namespace llvm { bool dominates(BasicBlock *BB, DominatorTree *DT) const; + bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const; + virtual const Type *getType() const; void print(raw_ostream &OS) const; @@ -513,6 +523,10 @@ namespace llvm { return true; } + bool properlyDominates(BasicBlock *, DominatorTree *) const { + return true; + } + virtual const Type *getType() const { return Ty; } /// Methods for support type inquiry through isa, cast, and dyn_cast: @@ -599,6 +613,8 @@ namespace llvm { bool dominates(BasicBlock *BB, DominatorTree *DT) const; + bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const; + virtual const Type *getType() const; virtual void print(raw_ostream &OS) const; |