\section{Graphical Representation}
The graphs in this document use the following node layout:

\begin{digraphenv}{scale=0.5}{layout01}
\node{node1}{nop}
\nodebi{node2}{+}
\nodetri{node3}{phi}
\nodesplit{node4}{if}
\end{digraphenv}

Red arrows always represents control dependencies, while black arrows represent data dependencies:

\begin{digraphenv}{scale=0.5}{layout1}
\node{a}{a}
\node{b}{b}
\nodesplit{if}{if}
\node{nop}{nop}
\nodebi{add}{+}
\controllabel{if:succ1}{nop}
\controllabel{if:succ2}{add}
\datalabel{add:in1}{a}
\datalabel{add:in2}{b}
\end{digraphenv}