[PATCH] D45439: [IRCE] Use NUW flag for indvar

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp:907
 
-      if (NoSignedWrap)
-        return true;
-    }
+    const SCEV *ExtendedStart = SE.getSignExtendExpr(AR->getStart(), WideTy);
+    const SCEV *ExtendedStep =
----------------
Do you have a plan to do the same for `zext`? I'm OK if it's in a follow-up patch.


https://reviews.llvm.org/D45439