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 | 62e2de44ebf50c36b39abc2fd48bdfe64c950bcd (patch) | |
| tree | 04685d248bec86f69e5e14fd462ff4010da0f2f3 /include/llvm/Analysis/ScalarEvolutionExpressions.h | |
| parent | 26d511fa3efe5bfba4356ed7876525c228426ec9 (diff) | |
| download | external_llvm-62e2de44ebf50c36b39abc2fd48bdfe64c950bcd.zip external_llvm-62e2de44ebf50c36b39abc2fd48bdfe64c950bcd.tar.gz external_llvm-62e2de44ebf50c36b39abc2fd48bdfe64c950bcd.tar.bz2 | |
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 3645a5b..0ab3b3f 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 { |