[llvm] [ConstraintElimination] Elide redundant bounds checks in canonical loops (PR #221028)

[Alina Sbirlea via llvm-commits]

https://github.com/alinas commented:

Thank you for feedback, very much appreciated!!

Went through some additional testing and split off a few pieces with tests, I sent the first one for review and will upload the others next week.

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