Flow Analysis


From local to global


Trying to formalize global constant copy propagation


Actually formalizing global constant copy propagation

The improved algorithm