[PATCH] D153660: [ConstraintElim] Track and simplify conditions at use.

Tue Jun 27 08:25:18 PDT 2023

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

In D153660#4452408 <https://reviews.llvm.org/D153660#4452408>, @fhahn wrote:

> Yep, if the fact is only known on the edge then we don't simplify it at the moment. This could probably be handled by making the fact handling more fine-grained.
>
> I *think* this should already be covered by the following test. It's a 3 entry phi, not sure if it is worth adding a dedicated simpler case? https://github.com/llvm/llvm-project/blob/main/llvm/test/Transforms/ConstraintElimination/cond-used-in-phi.ll#L221

Ah yes, that does cover the case. Nevermind then.

LGTM with the nits addressed.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D153660/new/

https://reviews.llvm.org/D153660