[PATCH] D45617: [IRCE] Only check for NSW on equality predicates

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp:933
 
+  ConstantInt *StepCI = cast<SCEVConstant>(StepRec)->getValue();
+  assert(!StepCI->isZero() && "Zero step?");
----------------
How about non-constant steps?


https://reviews.llvm.org/D45617