[llvm] [LoopVectorize] Add support for vectorisation of more early exit loops (PR #88385)

[David Sherwood via llvm-commits]

================
@@ -2353,6 +2349,36 @@ void MemoryDepChecker::Dependence::print(
   OS.indent(Depth + 2) << *Instrs[Destination] << "\n";
 }
 
+void LoopAccessInfo::recordExitingBlocks() {
+  SmallVector<BasicBlock *, 8> ExitingBlocks;
+  TheLoop->getExitingBlocks(ExitingBlocks);
+
+  SmallVector<BasicBlock *, 4> CountableExitingBBs;
+  PSE->getSE()->getCountableExitingBlocks(TheLoop, &CountableExitingBBs);
----------------
david-arm wrote:

Again, similar to my comments above, now that LAA can analyse significantly more loops with uncountable exits due to using the symbolic max backedge taken count I just assumed we'd also want to collect information in LAA that is presumably essential for optimisations that want to take advantage of these new loops?

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