Displaying 1 result from an estimated 1 matches for "pegterminatorinstruct".
2017 Sep 17
1
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 analyse...