[llvm] [llvm][ConstraintElimination]Insert ConditionFact into loop header in case of monotonic induction variables (PR #112080)

Matthias Braun via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 25 15:04:29 PDT 2024


https://github.com/MatzeB requested changes to this pull request.

- While this already appears to seems to improve existing tests (which is a good sign), a change like this should probably add new tests specifically geared towards this change as well.
- I think the requires some sort check to rule out overflows to be correct? (add a test showing that no transformation happens in cases with potential overflow).

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


More information about the llvm-commits mailing list