[all-commits] [llvm/llvm-project] 6887cf: [ConstraintElim] Queue facts and checks directly.

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6887cfb982d3a590a4d81123b2d68cb056773166
      https://github.com/llvm/llvm-project/commit/6887cfb982d3a590a4d81123b2d68cb056773166
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-12-05 (Mon, 05 Dec 2022)

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

  Log Message:
  -----------
  [ConstraintElim] Queue facts and checks directly.

This allows interleaving facts and checks in a single block. In
particular this enables using facts from assumes for conditions in the
same block that come after the assume.

This could be extended to only try to simplify checks at the point where
a condition is used.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D138452