From: Chris Lattner <sabre@nondot.org>
Date: Sun, 9 Jan 2011 23:02:10 +0000 (+0000)
Subject: add a fixme: ir isn't expressive enough.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=bd9d53cc65e0e6e492f150e3a06d908fb6ccbc14;p=oota-llvm.git

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
---

diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp
index 0c16bbc334c..922751fe3d1 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.