[PATCH] D101174: [IRCE] Relieve bound check on isSafeIncreasingBound and isSafeDecreasingBound

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added inline comments.


================
Comment at: llvm/test/Transforms/IRCE/variable-loop-bounds.ll:374
+7:                                                ; preds = %6, %3
+  %8 = add nuw nsw i64 %4, -1
+  %9 = icmp eq i64 %8, 0
----------------
This doesn't make sense.
`%8` is `-1` then: https://alive2.llvm.org/ce/z/SeYHXr


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D101174/new/

https://reviews.llvm.org/D101174