Questions tagged [e-graphs]
The e-graphs tag has no usage guidance.
2
questions
6
votes
2
answers
184
views
How to ensure coherent choices of representatives in an e-graph?
E-graphs are a neat intermediate representation for program transformations and optimisations, which group program terms into equivalence classes (e-classes). An optimising compiler can then select ...
- 16.3k
8
votes
1
answer
528
views
What are the tradeoffs between using sea of nodes, CFG of basic blocks, and egraphs for compiler optimizations?
I've heard of "sea of nodes" intermediate representations mostly in the context of just-in-time compilation (JVM, V8, Graal) whereas intermediate representations such as LLVM IR are used in ...
- 91