[all-commits] [llvm/llvm-project] f677d3: [ConstraintElimination] Allow pointer types in tig...

[Alina Sbirlea via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f677d3f38f45f318df47d5b5dd59a20c71d6a9bc
      https://github.com/llvm/llvm-project/commit/f677d3f38f45f318df47d5b5dd59a20c71d6a9bc
  Author: Alina Sbirlea <asbirlea at google.com>
  Date:   2026-09-21 (Mon, 21 Sep 2026)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    A llvm/test/Transforms/ConstraintElimination/pointer-tighten-ne.ll

  Log Message:
  -----------
  [ConstraintElimination] Allow pointer types in tightenBoundUsingNe (#223215)

Allow pointer types in ConstraintInfo::tightenBoundUsingNe() for the
unsigned system. When A != B is known and the system already implies A
u>= B, tighten the bound to strict inequality A u> B (symmetrically, A
u<= B becomes A u< B).

Added lit tests in
llvm/test/Transforms/ConstraintElimination/pointer-tighten-ne.ll.



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