[PATCH] D45481: [IRCE] isKnownNonNegative helper

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev accepted this revision.
mkazantsev added inline comments.
This revision is now accepted and ready to land.


================
Comment at: lib/Transforms/Scalar/InductiveRangeCheckElimination.cpp:807
 
+static bool isKnownNonNegative(const SCEV *BoundSCEV, Loop *L,
+                               ScalarEvolution &SE) {
----------------
How about `isKnownNonNegativeInLoop`?


https://reviews.llvm.org/D45481