[llvm] [SCEV] Infer loop max trip count from memory accesses (PR #70361)

[Shilei Tian via llvm-commits]

================
@@ -0,0 +1,191 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
----------------
shiltian wrote:

The tests need to be improved by adding:
1. Negative step
2. Multi-dim array with nested loop with both forwarded and reversed indices

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