1987 International Conf . Vertical arrows represent translation to from static single assignment form.
Horizontal arrows represent optimizations.
Theta U def use chains. V W W 2 V 2 W 1 W 2 V 2 W 1 end end end Figure 18. Program that really uses two instances for a variable after code motion. The choice of coloring technique should be guided by the eventual use of the output. 1987 International Conf .