broom-lang / broom

A programming language with first-class modules and algebraic effects.
https://broom.readthedocs.io
BSD 3-Clause "New" or "Revised" License
10 stars 1 forks source link

Peephole optimization in CPS conversion #58

Open nilern opened 4 years ago

nilern commented 4 years ago

Hotspot and Thorin do all sorts of constant and copy propagation, constant folding and common subexpression elimination in IR construction. We already kind of do constant and copy propagation -- we have to because the CPS IR conceptually has no names, just value edges.