|
|
@@ -559,7 +559,7 @@ this restriction. The purpose of the \textsf{patch\_instructions} pass
|
|
|
is to fix this problem by replacing every bad instruction with a short
|
|
|
sequence of instructions that use the \key{rax} register.
|
|
|
|
|
|
-\section{Uniquify}
|
|
|
+\section{Uniquify Variables}
|
|
|
|
|
|
The purpose of this pass is to make sure that each \key{let} uses a
|
|
|
unique variable name. For example, the \textsf{uniquify} pass could
|
|
|
@@ -581,7 +581,7 @@ name with the new unique name in an association list. The
|
|
|
when it gets to a variable reference, so we add another paramter to
|
|
|
\textsf{uniquify} for the association list.
|
|
|
|
|
|
-\section{Flatten}
|
|
|
+\section{Flatten Expressions}
|
|
|
|
|
|
The purpose of the \textsf{flatten} pass is to get rid of nested
|
|
|
expressions, such as the $\UNIOP{-}{10}$ in the following program,
|
|
|
@@ -725,7 +725,7 @@ The \key{imul} instruction is a special case because the destination
|
|
|
argument must be a register.
|
|
|
|
|
|
|
|
|
-\section{Testing with the Interpreters}
|
|
|
+\section{Testing with Interpreters}
|
|
|
|
|
|
|
|
|
|
Jeremy Siek