Open
Description
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.