!fixup exit early on zero

fhahn · fhahn · commit d00836a58ac4 · 2025-07-08T12:40:44.000+01:00
diff --git a/llvm/lib/Analysis/LoopAccessAnalysis.cpp b/llvm/lib/Analysis/LoopAccessAnalysis.cpp
@@ -243,6 +243,9 @@ evaluatePtrAddRecAtMaxBTCWillNotWrap(const SCEVAddRecExpr *AR,
     }
   }
 
+  if (DerefBytesSCEV->isZero())
+    return false;
+
   bool IsKnownNonNegative = SE.isKnownNonNegative(Step);
   if (!IsKnownNonNegative && !SE.isKnownNegative(Step))
     return false;

Original file line number	Diff line number	Diff line change
`@@ -243,6 +243,9 @@ evaluatePtrAddRecAtMaxBTCWillNotWrap(const SCEVAddRecExpr *AR,`
`243`	`243`	`}`
`244`	`244`	`}`
`245`	`245`
	`246`	`+ if (DerefBytesSCEV->isZero())`
	`247`	`+ return false;`
	`248`	`+`
`246`	`249`	`bool IsKnownNonNegative = SE.isKnownNonNegative(Step);`
`247`	`250`	`if (!IsKnownNonNegative && !SE.isKnownNegative(Step))`
`248`	`251`	`return false;`