diff options
| author | Chris Lattner <sabre@nondot.org> | 2011-01-09 23:02:10 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2011-01-09 23:02:10 +0000 |
| commit | bd9d53cc65e0e6e492f150e3a06d908fb6ccbc14 (patch) | |
| tree | 969bbb4aaaeccac148e21b2f8f27846c61175173 /lib/Analysis/ScalarEvolution.cpp | |
| parent | 53e1d45adbe94304ce685600a99694240fc1185a (diff) | |
add a fixme: ir isn't expressive enough.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123139 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolution.cpp')
| -rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index 0c16bbc334..922751fe3d 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -4863,6 +4863,7 @@ ScalarEvolution::HowFarToZero(const SCEV *V, const Loop *L) { // the stride is. As such, NUW addrec's will always become zero in // "start / -stride" steps, and we know that the division is exact. if (AddRec->hasNoUnsignedWrap()) + // FIXME: We really want an "isexact" bit for udiv. return getUDivExpr(Start, getNegativeSCEV(Step)); // For now we handle only constant steps. |