3 ms·
Ah that makes sense. So in LLVM's case, an optimization pass would be an equivalence.
by tinco 6y ago
Ah that makes sense. So in LLVM's case, an optimization pass would be an equivalence.
- gue5t 6y agoYes; see also the vellvm project, which develops proofs of a number of the equivalences LLVM uses: https://www.cis.upenn.edu/~stevez/vellvm/ https://www.cis.upenn.edu/~stevez/vellvm/
- HelloNurse 6y agoThe equivalences (between equivalent programs) correspond to specific rewrite rules. Equality saturation allows the consolidation of many such rules into a single optimization pass, without complicated ordering and assumptions, instead of arbitrary grouping that is likely to neglect opportunities.