8 votes
Accepted

What are the tradeoffs between using sea of nodes, CFG of basic blocks, and egraphs for compiler optimizations?

Let's contrast sea-of-nodes and basic blocks with e-graphs. All three are graph representations of programs. The main feature of a graph representation is that intermediate values can be dependencies ...
Corbin's user avatar
  • 841
5 votes
Accepted

How to ensure coherent choices of representatives in an e-graph?

You have to create one whole (sub) e-graph for the standard set version and another whole (sub) e-graph for the bitmask version.  These two e-graphs fragments are then equivalent.  Further ...
Erik Eidt's user avatar
  • 706
5 votes

How to ensure coherent choices of representatives in an e-graph?

An e-graph does not just group terms into equivalence classes, but congruence classes. This means that an equivalence between terms x and ...
rpjohnst's user avatar
  • 804

Only top scored, non community-wiki answers of a minimum length are eligible