[llvm-branch-commits] [llvm] [LAA] Use PSE::getSymbolicMaxBackedgeTakenCount. (PR #93499)

[Philip Reames via llvm-branch-commits]

================
@@ -3004,7 +3004,7 @@ void LoopAccessInfo::collectStridedAccess(Value *MemAccess) {
   // of various possible stride specializations, considering the alternatives
   // of using gather/scatters (if available).
 
-  const SCEV *BETakenCount = PSE->getBackedgeTakenCount();
+  const SCEV *BETakenCount = PSE->getSymbolicMaxBackedgeTakenCount();
----------------
preames wrote:

Not related to your change - but this whole block of code is just weird.  This is basically proving a more precise trip count, why is it in LAA at all?  Wouldn't simply early exiting on small BTC loops be sufficient?

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