(IIIT) Siddharth Bhat via llvm-dev
2017-Sep-17 09:52 UTC
[llvm-dev] Sharing llvm IR infrastructure for Equality saturation
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, Siddharth -- Sending this from my phone, please excuse any typos! -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20170917/97e3c4c1/attachment.html>
Hongbin Zheng via llvm-dev
2017-Oct-10 06:31 UTC
[llvm-dev] Sharing llvm IR infrastructure for Equality saturation
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>