|
@@ -5905,7 +5905,7 @@ were \code{tmp\_1}, \code{w}, and \code{y}.
|
|
|
\]
|
|
\]
|
|
|
We have arbitrarily chosen to color \code{w} instead of \code{tmp\_1}
|
|
We have arbitrarily chosen to color \code{w} instead of \code{tmp\_1}
|
|
|
or \code{y}, but note that \code{w} is not move related to any
|
|
or \code{y}, but note that \code{w} is not move related to any
|
|
|
-variables, wheras \code{y} and \code{tmp\_1} are move related to
|
|
|
|
|
|
|
+variables, whereas \code{y} and \code{tmp\_1} are move related to
|
|
|
\code{tmp\_0} and \code{z}, respectively. If we instead choose
|
|
\code{tmp\_0} and \code{z}, respectively. If we instead choose
|
|
|
\code{y} and color it $0$, we can delete another move instruction.
|
|
\code{y} and color it $0$, we can delete another move instruction.
|
|
|
\[
|
|
\[
|
|
@@ -16872,5 +16872,5 @@ and \ref{fig:c3-concrete-syntax}, respectively.
|
|
|
% LocalWords: Seq CProgram gensym lib Fprivate Flist tmp ANF Danvy
|
|
% LocalWords: Seq CProgram gensym lib Fprivate Flist tmp ANF Danvy
|
|
|
% LocalWords: rco Flists py rhs unhandled cont immediates lstlisting
|
|
% LocalWords: rco Flists py rhs unhandled cont immediates lstlisting
|
|
|
% LocalWords: numberstyle Cormen Sudoku Balakrishnan ve aka DSATUR
|
|
% LocalWords: numberstyle Cormen Sudoku Balakrishnan ve aka DSATUR
|
|
|
-% LocalWords: Brelaz eu Gebremedhin Omari deletekeywords
|
|
|
|
|
|
|
+% LocalWords: Brelaz eu Gebremedhin Omari deletekeywords min JGS
|
|
|
% LocalWords: morekeywords fullflexible
|
|
% LocalWords: morekeywords fullflexible
|
Jeremy Siek