[PATCH] D40881: [ConstantRange] Support for ashr in ConstantRange computation

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: IR/ConstantRange.cpp:963
+  if (getSignedMin().isNonNegative()) {
+    // Upper and Lower of LHS are positive.
+    min = PosMin;
----------------
positive -> non-negative


https://reviews.llvm.org/D40881