move convert assignments

book.tex

@@ -9981,12 +9981,12 @@ The \code{analyze-dataflow} function has four parameters.
 \node (R4) at (0,2)  {\large $R_8$};
 \node (R4-2) at (3,2)  {\large $R_8$};
 \node (R4-3) at (6,2)  {\large $R_8$};
-\node (R4-4) at (9,2)  {\large $R_8$};
-\node (F1-1) at (12,0)  {\large $F_1$};
-\node (F1-2) at (9,0)  {\large $F_1$};
-\node (F1-3) at (6,0)  {\large $F_1$};
-\node (F1-4) at (3,0)  {\large $F_1$};
-\node (F1-5) at (0,0)  {\large $F_1$};
+\node (R4-4) at (9,2)  {\large $R'_8$};
+\node (F1-1) at (12,0)  {\large $R'_8$};
+\node (F1-2) at (9,0)  {\large $R'_8$};
+\node (F1-3) at (6,0)  {\large $R'_8$};
+\node (F1-4) at (3,0)  {\large $R'_8$};
+\node (F1-5) at (0,0)  {\large $R'_8$};
 \node (C3-2) at (3,-2)  {\large $C_3$};
 
 \node (x86-2) at (3,-4)  {\large $\text{x86}^{*}_3$};
@@ -10004,9 +10004,9 @@ The \code{analyze-dataflow} function has four parameters.
 \path[->,bend left=15] (R4-2) edge [above] node
      {\ttfamily\footnotesize uniquify} (R4-3);
 \path[->,bend left=15] (R4-3) edge [above] node
-     {\ttfamily\footnotesize\color{red} convert-assignments} (R4-4);
-\path[->,bend left=15] (R4-4) edge [left] node
-     {\ttfamily\footnotesize reveal-functions} (F1-1);
+     {\ttfamily\footnotesize reveal-functions} (R4-4);
+\path[->,bend left=15] (R4-4) edge [right] node
+     {\ttfamily\footnotesize\color{red} convert-assignments} (F1-1);
 \path[->,bend left=15] (F1-1) edge [below] node
      {\ttfamily\footnotesize convert-to-clos.} (F1-2);
 \path[->,bend right=15] (F1-2) edge [above] node