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

[Ramkumar Ramachandra 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();
+}
----------------
artagnon wrote:

Thanks, fixing the issues in isAllPositive made me realize that this patch was wrong. Fixed now.

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