[all-commits] [llvm/llvm-project] ba0e87: [ConstraintElim] Look through SExt with precond Op...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ba0e871db81d8527382a051a0abf1ce2a171d8bf
      https://github.com/llvm/llvm-project/commit/ba0e871db81d8527382a051a0abf1ce2a171d8bf
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2024-05-22 (Wed, 22 May 2024)

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

  Log Message:
  -----------
  [ConstraintElim] Look through SExt with precond Op sge 0.

Look through SExt with a precondition that the operand is signed
positive.

https://alive2.llvm.org/ce/z/zvVVHj



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