[llvm] LAA: make stride versioning code more robust (PR #97075)

[Nikita Popov via llvm-commits]

================
@@ -440,6 +440,11 @@ bool ConstantRange::isAllNonNegative() const {
   return !isSignWrappedSet() && Lower.isNonNegative();
 }
 
+bool ConstantRange::isAllPositive() const {
+  // Empty and full set are automatically treated correctly.
+  return !isSignWrappedSet() && Lower.isStrictlyPositive();
+}
----------------
nikic wrote:

Please split this out into a separate patch and add it to the exhaustive test in `TEST_F(ConstantRangeTest, Negative)`.

https://github.com/llvm/llvm-project/pull/97075