E-Path: Equality Saturation for Control-Flow Graphs

Guillermo Garcia

Modern equality saturation systems excel at expression-level rewrites by exploring large spaces of equivalent programs without suffering from the phase-ordering problem. How- ever,…