[PATCH] D45481: [IRCE] isKnownNonNegative helper

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added a comment.

LGTM after you address the nits; if there is a test which shows that IRCE now works where it didn't, I highly encourage you to add it. But even if not, this change is obviously profitable.


https://reviews.llvm.org/D45481