diff options
| author | Dan Gohman <gohman@apple.com> | 2010-02-13 00:19:39 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2010-02-13 00:19:39 +0000 |
| commit | 39125d8ef94cbadccd7339d3344e114dedaab12c (patch) | |
| tree | 04685d248bec86f69e5e14fd462ff4010da0f2f3 /include/llvm/Analysis/ScalarEvolutionExpressions.h | |
| parent | 9c60f534cbdec2ba58b269c4d624ae4d301ef73a (diff) | |
Override dominates and properlyDominates for SCEVAddRecExpr, as a
SCEVAddRecExpr doesn't necessarily dominate blocks merely dominated
by all of its operands. This fixes an abort compiling 403.gcc.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@96056 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/llvm/Analysis/ScalarEvolutionExpressions.h')
| -rw-r--r-- | include/llvm/Analysis/ScalarEvolutionExpressions.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/llvm/Analysis/ScalarEvolutionExpressions.h b/include/llvm/Analysis/ScalarEvolutionExpressions.h index 3645a5b12f..0ab3b3f4a5 100644 --- a/include/llvm/Analysis/ScalarEvolutionExpressions.h +++ b/include/llvm/Analysis/ScalarEvolutionExpressions.h @@ -417,6 +417,10 @@ namespace llvm { virtual bool isLoopInvariant(const Loop *QueryLoop) const; + bool dominates(BasicBlock *BB, DominatorTree *DT) const; + + bool properlyDominates(BasicBlock *BB, DominatorTree *DT) const; + /// isAffine - Return true if this is an affine AddRec (i.e., it represents /// an expressions A+B*x where A and B are loop invariant values. bool isAffine() const { |