From bd9d53cc65e0e6e492f150e3a06d908fb6ccbc14 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Sun, 9 Jan 2011 23:02:10 +0000 Subject: [PATCH] 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 --- lib/Analysis/ScalarEvolution.cpp | 1 + 1 file changed, 1 insertion(+) 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. -- 2.34.1