XEG: A GPU-Parallel Algorithm for Efficient and Effective E-Graph Extraction
Equality saturation is a promising compiler optimization approach that addresses the phase-ordering problem by compactly representing equivalent programs in an e-graph. However, …