[all-commits] [llvm/llvm-project] 11cc8d: [ConstraintElim] Transfer SLE facts to unsigned (#...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 11cc8d876e2bb696fef7079eed0a1ff574c0770f
      https://github.com/llvm/llvm-project/commit/11cc8d876e2bb696fef7079eed0a1ff574c0770f
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2026-07-15 (Wed, 15 Jul 2026)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/transfer-signed-facts-to-unsigned.ll

  Log Message:
  -----------
  [ConstraintElim] Transfer SLE facts to unsigned (#209623)

Handle SLE analogous to SLT via getUnsignedPredicate.

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

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



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