[all-commits] [llvm/llvm-project] 13042d: [ConstraintElimination] Add support for And.

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 13042da5cb3fe5f17c58c2446c93635a2c432049
      https://github.com/llvm/llvm-project/commit/13042da5cb3fe5f17c58c2446c93635a2c432049
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-11-17 (Tue, 17 Nov 2020)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/and.ll

  Log Message:
  -----------
  [ConstraintElimination] Add support for And.

When processing conditional branches, if the condition is an AND of 2 compares
and the true successor only has the current block as predecessor, queue both
conditions for the true successor.