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

[Florian Hahn via Phabricator via llvm-commits]

fhahn marked an inline comment as done.
fhahn added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/ConstraintElimination.cpp:1055
+        return false;
+      }
       // Conditions in an assume trivially simplify to true. Skip uses
----------------
nikic wrote:
> Aren't we always working on a single Use now and could replace just that use?
We could still replace multiple uses if there are other uses dominated by the current one. This way, we don't need to query the constraint system repeatedly if we already were able to prove it at a dominating use.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D153660