Dead code elimination in JuvixReg

anoma / juvix

A language for intent-centric and declarative decentralised applications

https://docs.juvix.org

GNU General Public License v3.0

442 stars 54 forks source link

Closed lukaszcz closed 6 days ago

lukaszcz commented 1 week ago

Closes #2827
Adds an optimization phase to the JuvixReg -> Casm pipeline, which consists of repeated copy & constant propagation and dead code elimination.

Depends on: