diff options
| author | Andrew Trick <atrick@apple.com> | 2011-03-14 17:38:54 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2011-03-14 17:38:54 +0000 |
| commit | a053b21177015726b4cd136c42bc36f2f74556be (patch) | |
| tree | bcc7d243a9bcc55c4709cfc66db0adb71d11550b /lib/Analysis | |
| parent | 0c4d44aa7ae109dfbc0551dbe77e4e0f903b38ae (diff) | |
| download | external_llvm-a053b21177015726b4cd136c42bc36f2f74556be.zip external_llvm-a053b21177015726b4cd136c42bc36f2f74556be.tar.gz external_llvm-a053b21177015726b4cd136c42bc36f2f74556be.tar.bz2 | |
Negating a recurrence preserves no-self-wrap.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127593 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis')
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index a64a7c1..ce4a724 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -1792,6 +1792,17 @@ const SCEV *ScalarEvolution::getMulExpr(SmallVectorImpl<const SCEV *> &Ops, if (AnyFolded) return getAddExpr(NewOps); } + else if (const SCEVAddRecExpr * + AddRec = dyn_cast<SCEVAddRecExpr>(Ops[1])) { + // Negation preserves a recurrence's no self-wrap property. + SmallVector<const SCEV *, 4> Operands; + for (SCEVAddRecExpr::op_iterator I = AddRec->op_begin(), + E = AddRec->op_end(); I != E; ++I) { + Operands.push_back(getMulExpr(Ops[0], *I)); + } + return getAddRecExpr(Operands, AddRec->getLoop(), + AddRec->getNoWrapFlags(SCEV::FlagNW)); + } } } |