llvm dev - Sep 2017 - 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>

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>