[PATCH] D84547: [ConstraintElimination] Add constraint elimination pass (WIP).

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

Noting else in the compiler does this sort of symbolic reasoning, I think, so this is sort of a new space.  The way the constraint system is constructed seems a little complicated, but I'm not sure how much you could simplify it.

What sort of patterns in realistic code are you hoping to catch?  This seems like the sort of thing that could come up with array bounds checks, I guess?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D84547