[llvm] [LoopVectorize] Add tests for reverse early-exit loops in deref regions (PR #228062)

[Florian Hahn via llvm-commits]

================
@@ -0,0 +1,97 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals none --filter-out-after "scalar.ph:" --version 6
+; RUN: opt -p loop-vectorize -force-vector-width=4 -S %s | FileCheck %s
+
+; The loops below walk a dereferenceable region backwards, so every load is
+; safe.
+
+; TODO: The AR runs over [0, %length), which is exactly the region the assume
----------------
fhahn wrote:

would be good to clarify what AR stands for here? presumably the counting down IV

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