[llvm-commits] [llvm] r123139 - /llvm/trunk/lib/Analysis/ScalarEvolution.cpp

[Chris Lattner]

Author: lattner
Date: Sun Jan  9 17:02:10 2011
New Revision: 123139

URL: http://llvm.org/viewvc/llvm-project?rev=123139&view=rev
Log:
add a fixme: ir isn't expressive enough.

Modified:
    llvm/trunk/lib/Analysis/ScalarEvolution.cpp

Modified: llvm/trunk/lib/Analysis/ScalarEvolution.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/ScalarEvolution.cpp?rev=123139&r1=123138&r2=123139&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/ScalarEvolution.cpp (original)
+++ llvm/trunk/lib/Analysis/ScalarEvolution.cpp Sun Jan  9 17:02:10 2011
@@ -4863,6 +4863,7 @@
   // 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.