[all-commits] [llvm/llvm-project] 18170d: [ConstraintElim] Extend AND implication logic to s...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 18170d0f281c2cae5252c501cbcd174783de78b7
      https://github.com/llvm/llvm-project/commit/18170d0f281c2cae5252c501cbcd174783de78b7
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-12-20 (Wed, 20 Dec 2023)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/and-implied-by-operands.ll
    M llvm/test/Transforms/ConstraintElimination/gep-arithmetic-signed-predicates.ll
    M llvm/test/Transforms/ConstraintElimination/geps-precondition-overflow-check.ll
    M llvm/test/Transforms/ConstraintElimination/or-implied-by-operands.ll

  Log Message:
  -----------
  [ConstraintElim] Extend AND implication logic to support OR as well. (#76044)

Extend the logic check if an operand of an AND is implied by the other
to also support OR. This is done by checking if !op1 implies op2 or vice
versa.