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

Mon Jul 27 03:31:26 PDT 2020

fhahn added a comment.

In D84547#2174140 <https://reviews.llvm.org/D84547#2174140>, @xbolva00 wrote:

> Maybe worth to mention GCC’s project Ranger:
>
> https://gcc.gnu.org/wiki/AndrewMacLeod/Ranger

Thanks for sharing. I am not familiar with ranger, but I think this patch is a fundamentally different approach With the approach in the patch, we don't explicitly track constant ranges for each value. The ranges for values are implicit in the constraint system and can also be symbolic. IIUC Ranger's approach is more similar to the way constant ranges are used in LVI/SCCP in LLVM

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D84547