[PATCH] D35302: [IRCE] Recognize loops with unsigned latch conditions

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp:1020
+    if (!SignedPredicate) {
+      // FIXME: For some reason this logic fails for unsigned comparison when
+      // the start value is UINT_MAX. We don't generate pre-loop even if we need
----------------
mkazantsev wrote:
> This is actually a bug that also exists for start = SINT_MAX even without this patch. I'm going to fix it separately.
Fix is https://reviews.llvm.org/D35347


https://reviews.llvm.org/D35302