[all-commits] [llvm/llvm-project] 5b9271: [ConstraintElim] Use cond from header as upper bou...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5b927130b0e15a442a6ed171f43a612e6a40bbcd
      https://github.com/llvm/llvm-project/commit/5b927130b0e15a442a6ed171f43a612e6a40bbcd
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2024-07-09 (Tue, 09 Jul 2024)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/induction-condition-in-loop-exit.ll

  Log Message:
  -----------
  [ConstraintElim] Use cond from header as upper bound on IV in exit BB. (#94610)

For loops, we can use the condition in the loop header as upper bound on
the compared induction in the unique exit block, if it exists. This can
be done even if there are multiple in-loop edges to the unique exit
block, as any other exit may only exit earlier.

More generally, we could add the OR of all exit conditions to the exit,
but that's a possible future extension.

PR: https://github.com/llvm/llvm-project/pull/94610



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications