Functional SSA

Open sorear opened this issue 5 years ago • 0 comments

MLIR has a very interesting variant of SSA which seems naturally suited to functional big-step semantics. There are several high reward optimizations that are much easier to do on a DAG, including complex instruction selection #763, CSE #341, and scheduling #118. It was suggested that LVC's IR might be similar.

Sep 17 '20 02:09 sorear