[llvm-dev] Sharing llvm IR infrastructure for Equality saturation

[Hongbin Zheng via llvm-dev]

Hi Siddzharth,

Is it possible to implement equality saturation directly on (a subset of)
LLVM IR, such that you don't need to create yet-another compiler IR?

Thanks
Hongbin

On Sun, Sep 17, 2017 at 2:53 AM (IIIT) Siddharth Bhat via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> I've started hacking up a branch with a rough implementation of equality
> saturation. This needs me to add objects such as PEGBasicBlock,
> PEGInstruction, PEGTerminatorInstruction, etc. (PEG stands for "program
> expression block"). I wish to share most of the infrastructure that exists
> - I believe this is already done with Machine*.
>
> How do I do this for PEGs? I'd also like to get analysis passes for "free"
> - particularly, dominance and loop analyses.
>
> Thanks,
> Siddzharth
> --
> Sending this from my phone, please excuse any typos!
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20171010/545e943f/attachment.html>