[llvm] [SCEV][LAA] Support multiplication overflow computation (PR #155236)

[Florian Hahn via llvm-commits]

================
@@ -332,14 +332,6 @@ bool llvm::isDereferenceableAndAlignedInLoop(
   if (isa<SCEVCouldNotCompute>(MaxBECount))
     return false;
 
-  if (isa<SCEVCouldNotCompute>(BECount)) {
-    // TODO: Support symbolic max backedge taken counts for loops without
-    // computable backedge taken counts.
-    MaxBECount =
-        Predicates
-            ? SE.getPredicatedConstantMaxBackedgeTakenCount(L, *Predicates)
-            : SE.getConstantMaxBackedgeTakenCount(L);
-  }
----------------
fhahn wrote:

Unfortunately I think we may still not be ready to remove the workaround, I added another test I think will regress with the workaround removed: 0abc8b07e5e643a1e96aabd3d21a1ecc9bf0ade0

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