[all-commits] [llvm/llvm-project] 37d488: [ConstraintElim] Look through post-increment in he...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 37d488f15991d8c65666834a7aed14000d1393fa
      https://github.com/llvm/llvm-project/commit/37d488f15991d8c65666834a7aed14000d1393fa
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2026-07-14 (Tue, 14 Jul 2026)

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

  Log Message:
  -----------
  [ConstraintElim] Look through post-increment in header EQ/NE compare. (#209199)

Extend the header-controlled induction handling to look through a
post-increment `PN + C` (constant C) on the compared value

For now, the new path is limited to deriving unsigned facts.

Alive2 Proof: https://alive2.llvm.org/ce/z/DCNeSr

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



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