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

[David Sherwood via llvm-commits]

david-arm wrote:

> isDereferenceableAndAlignedInLoop

Currently `isDereferenceableAndAlignedInLoop` does not support reverse loops, which is a regression compared to my current patch. I can see how much work is required to make it work for negative step recurrences.

> isDe



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