|
|
@@ -5405,7 +5405,9 @@ _conclusion:
|
|
|
\node (R3-2) at (3,2) {\large $R_3$};
|
|
|
\node (R3-3) at (6,2) {\large $R_3$};
|
|
|
\node (R3-4) at (9,2) {\large $R_3$};
|
|
|
-\node (C2-3) at (3,0) {\large $C_2$};
|
|
|
+\node (R3-5) at (12,2) {\large $R_3$};
|
|
|
+\node (C2-4) at (3,0) {\large $C_2$};
|
|
|
+\node (C2-3) at (6,0) {\large $C_2$};
|
|
|
|
|
|
\node (x86-2) at (3,-2) {\large $\text{x86}^{*}_2$};
|
|
|
\node (x86-3) at (6,-2) {\large $\text{x86}^{*}_2$};
|
|
|
@@ -5419,8 +5421,10 @@ _conclusion:
|
|
|
\path[->,bend left=15] (R3) edge [above] node {\ttfamily\footnotesize\color{red} typecheck} (R3-2);
|
|
|
\path[->,bend left=15] (R3-2) edge [above] node {\ttfamily\footnotesize uniquify} (R3-3);
|
|
|
\path[->,bend left=15] (R3-3) edge [above] node {\ttfamily\footnotesize\color{red} expose-alloc.} (R3-4);
|
|
|
-\path[->,bend left=20] (R3-4) edge [right] node {\ttfamily\footnotesize\color{red} flatten} (C2-3);
|
|
|
-\path[->,bend right=15] (C2-3) edge [left] node {\ttfamily\footnotesize\color{red} select-instr.} (x86-2);
|
|
|
+\path[->,bend left=15] (R3-4) edge [above] node {\ttfamily\footnotesize remove-complex.} (R3-5);
|
|
|
+\path[->,bend left=20] (R3-5) edge [right] node {\ttfamily\footnotesize explicate-control} (C2-3);
|
|
|
+\path[->,bend right=15] (C2-3) edge [above] node {\ttfamily\footnotesize\color{red} uncover-locals} (C2-4);
|
|
|
+\path[->,bend right=15] (C2-4) edge [left] node {\ttfamily\footnotesize\color{red} select-instr.} (x86-2);
|
|
|
\path[->,bend left=15] (x86-2) edge [right] node {\ttfamily\footnotesize uncover-live} (x86-2-1);
|
|
|
\path[->,bend right=15] (x86-2-1) edge [below] node {\ttfamily\footnotesize \color{red}build-inter.} (x86-2-2);
|
|
|
\path[->,bend right=15] (x86-2-2) edge [right] node {\ttfamily\footnotesize\color{red} allocate-reg.} (x86-3);
|
Jeremy Siek