[all-commits] [llvm/llvm-project] ed1632: [ConstraintElim] Support signed induction variable...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ed1632b72ec029256f3af60822dad54970a79577
      https://github.com/llvm/llvm-project/commit/ed1632b72ec029256f3af60822dad54970a79577
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-01-08 (Mon, 08 Jan 2024)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/monotonic-int-phis-signed.ll

  Log Message:
  -----------
  [ConstraintElim] Support signed induction variables (#77103)

When adding information for induction variables, add both unsigned and
signed constraints, with corresponding signed and unsigned
preconditions.

I believe the logic here is equally valid for signed/unsigned, we just
need to add preconditions of the same type.