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

grigorypas wants to merge 7 commits intollvm:mainllvm/llvm-project:mainfrom

grigorypas:loops_in_constr_eliminationgrigorypas/llvm-project:loops_in_constr_eliminationCopy head branch name to clipboard