[all-commits] [llvm/llvm-project] 0332f2: [ConstraintElim] Add extra tests for and operand i...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 0332f2c551e5d53adf077f8b523a7f337d881889
      https://github.com/llvm/llvm-project/commit/0332f2c551e5d53adf077f8b523a7f337d881889
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-05-29 (Mon, 29 May 2023)

  Changed paths:
    M llvm/test/Transforms/ConstraintElimination/and-implied-by-operands.ll

  Log Message:
  -----------
  [ConstraintElim] Add extra tests for and operand implying other op.

Extend test coverage for and conditions where the first operand implies
the second. The update includes the select form of AND and a few cases
where one of the AND operands gets simplified before solving.