[PATCH] D84547: [ConstraintElimination] Add constraint elimination pass.

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

Ping. I think this should be ready for review. I simplified the code in the the latest update a bit, put up a patch fixing potential integer overflows while simplifying the constraint system (D85336 <https://reviews.llvm.org/D85336>) and also put up follow-up patches to decompose `add nuw`, `sub nuw` and using conditions from `and` and `or`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D84547