diff options
| author | Andrew Trick <atrick@apple.com> | 2012-05-30 03:35:20 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2012-05-30 03:35:20 +0000 |
| commit | a3f904319687f01bcbf9e780ce5abdb4f8c1d5c0 (patch) | |
| tree | 6f6986015d2eb5cd21abe10d4f2e559ecab46910 /llvm/lib/Analysis/ScalarEvolution.cpp | |
| parent | 946f76bf33f9601a4609e9624bf6633c690bb476 (diff) | |
| download | bcm5719-llvm-a3f904319687f01bcbf9e780ce5abdb4f8c1d5c0.tar.gz bcm5719-llvm-a3f904319687f01bcbf9e780ce5abdb4f8c1d5c0.zip | |
SCEV: Handle a corner case reducing AddRecExpr * AddRecExpr
If integer overflow causes one of the terms to reach zero, that can
force the entire expression to zero.
Fixes PR12929: cast<Ty>() argument of incompatible type
llvm-svn: 157673
Diffstat (limited to 'llvm/lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ScalarEvolution.cpp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ScalarEvolution.cpp b/llvm/lib/Analysis/ScalarEvolution.cpp index 59f441e700c..8781441fd43 100644 --- a/llvm/lib/Analysis/ScalarEvolution.cpp +++ b/llvm/lib/Analysis/ScalarEvolution.cpp @@ -2088,9 +2088,12 @@ const SCEV *ScalarEvolution::getMulExpr(SmallVectorImpl<const SCEV *> &Ops, const SCEV *NewAddRec = getAddRecExpr(AddRecOps, AddRec->getLoop(), SCEV::FlagAnyWrap); if (Ops.size() == 2) return NewAddRec; - Ops[Idx] = AddRec = cast<SCEVAddRecExpr>(NewAddRec); + Ops[Idx] = NewAddRec; Ops.erase(Ops.begin() + OtherIdx); --OtherIdx; OpsModified = true; + AddRec = dyn_cast<SCEVAddRecExpr>(NewAddRec); + if (!AddRec) + break; } } if (OpsModified) |
