This repo provides the following:
- AST for representing Static Single Assignment (SSA) programs
- AST for representing Administrative Normal Form (ANF) programs
- Pretty printing of both
- Implementation of the SSA to ANF conversion algorithm presented in [1]
- Implementation of Sparse Conditional Constant Propagation (SCCP) [2] using the algorithm presented in [1]
-
M. Chakravarty, G. Keller, and P. Zadarnowski. A Functional Perspective on SSA Optimisation Algorithms COCV, 2003.
-
M. Wegman, and F. Zadeck. Constant Propagation with Conditional Branches ACM TOPLAS, 1991.