[PATCH] D138452: [ConstraintElim] Queue facts and checks directly.

[Florian Hahn via Phabricator via llvm-commits]

fhahn created this revision.
fhahn added reviewers: nikic, zjaffal, fcloutier.
Herald added a subscriber: hiraditya.
Herald added a project: All.
fhahn requested review of this revision.
Herald added a project: LLVM.

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.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D138452

Files:
  llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
  llvm/test/Transforms/ConstraintElimination/assumes.ll
  llvm/test/Transforms/ConstraintElimination/debug.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D138452.476963.patch
Type: text/x-patch
Size: 11411 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20221121/5d42743a/attachment.bin>