[all-commits] [llvm/llvm-project] db43e5: [ConstraintElim] Add trunc nuw support to conditio...

[Andreas Jonson via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: db43e54c966ce9146a05bc0e8cb1550f65f89e35
      https://github.com/llvm/llvm-project/commit/db43e54c966ce9146a05bc0e8cb1550f65f89e35
  Author: Andreas Jonson <andjo403 at hotmail.com>
  Date:   2026-07-16 (Thu, 16 Jul 2026)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/reproducer-remarks.ll
    M llvm/test/Transforms/ConstraintElimination/trunc.ll

  Log Message:
  -----------
  [ConstraintElim] Add trunc nuw support to condition checks (#209844)

Adding support for trunc nuw %x to i1 by using the m_ICmpLike pattern in
conditions the same way as icmp ne %x, 0

proof: https://alive2.llvm.org/ce/z/ZyDWZ2



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