diff options
| author | Dan Gohman <gohman@apple.com> | 2009-09-28 21:01:47 +0000 |
|---|---|---|
| committer | Dan Gohman <gohman@apple.com> | 2009-09-28 21:01:47 +0000 |
| commit | 5de2a439373415252635c44a5441c699c6a9a982 (patch) | |
| tree | 66f177717cd65358fcfc81281c7cbf02b9b22175 /lib/Analysis/ScalarEvolutionExpander.cpp | |
| parent | a1b5c1ac519a42ccf25664de3acee4b97f5c87a0 (diff) | |
| download | external_llvm-5de2a439373415252635c44a5441c699c6a9a982.tar.gz external_llvm-5de2a439373415252635c44a5441c699c6a9a982.tar.bz2 external_llvm-5de2a439373415252635c44a5441c699c6a9a982.zip | |
When extending the operands of an addrec, iterate through all
the operands, rather than trying to partition them into a start
and a step. This handles non-affine add recurrences correctly.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@83011 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolutionExpander.cpp')
| -rw-r--r-- | lib/Analysis/ScalarEvolutionExpander.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/lib/Analysis/ScalarEvolutionExpander.cpp b/lib/Analysis/ScalarEvolutionExpander.cpp index 02cfed7ad0..f5df026c8f 100644 --- a/lib/Analysis/ScalarEvolutionExpander.cpp +++ b/lib/Analysis/ScalarEvolutionExpander.cpp @@ -620,11 +620,11 @@ Value *SCEVExpander::visitAddRecExpr(const SCEVAddRecExpr *S) { if (CanonicalIV && SE.getTypeSizeInBits(CanonicalIV->getType()) > SE.getTypeSizeInBits(Ty)) { - const SCEV *Start = SE.getAnyExtendExpr(S->getStart(), - CanonicalIV->getType()); - const SCEV *Step = SE.getAnyExtendExpr(S->getStepRecurrence(SE), - CanonicalIV->getType()); - Value *V = expand(SE.getAddRecExpr(Start, Step, S->getLoop())); + const SmallVectorImpl<const SCEV *> &Ops = S->getOperands(); + SmallVector<const SCEV *, 4> NewOps(Ops.size()); + for (unsigned i = 0, e = Ops.size(); i != e; ++i) + NewOps[i] = SE.getAnyExtendExpr(Ops[i], CanonicalIV->getType()); + Value *V = expand(SE.getAddRecExpr(NewOps, S->getLoop())); BasicBlock *SaveInsertBB = Builder.GetInsertBlock(); BasicBlock::iterator SaveInsertPt = Builder.GetInsertPoint(); BasicBlock::iterator NewInsertPt = |