|
|
@@ -10552,11 +10552,11 @@ This chapter may be based on ideas from \citet{Cardelli:1984aa},
|
|
|
|
|
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
-\chapter{High-level Optimization}
|
|
|
-\label{ch:high-level-optimization}
|
|
|
+%% \chapter{High-level Optimization}
|
|
|
+%% \label{ch:high-level-optimization}
|
|
|
|
|
|
-This chapter will present a procedure inlining pass based on the
|
|
|
-algorithm of \citet{Waddell:1997fk}.
|
|
|
+%% This chapter will present a procedure inlining pass based on the
|
|
|
+%% algorithm of \citet{Waddell:1997fk}.
|
|
|
|
|
|
|
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
|
|
@@ -10567,17 +10567,16 @@ algorithm of \citet{Waddell:1997fk}.
|
|
|
\index{interpreter}
|
|
|
|
|
|
We provide interpreters for each of the source languages $R_0$, $R_1$,
|
|
|
-$\ldots$ in the files \code{interp-R1.rkt}, \code{interp-R2.rkt}, etc.
|
|
|
+$\ldots$ in the files \code{interp-R0.rkt}, \code{interp-R1.rkt}, etc.
|
|
|
The interpreters for the intermediate languages $C_0$ and $C_1$ are in
|
|
|
\code{interp-C0.rkt} and \code{interp-C1.rkt}. The interpreters for
|
|
|
-the rest of the intermediate languages, including pseudo-x86 and x86
|
|
|
-are in the \key{interp.rkt} file.
|
|
|
+$C_2$, $C_3$, pseudo-x86, and x86 are in the \key{interp.rkt} file.
|
|
|
|
|
|
\section{Utility Functions}
|
|
|
\label{appendix:utilities}
|
|
|
|
|
|
-The utility functions described here are in the \key{utilities.rkt}
|
|
|
-file.
|
|
|
+The utility functions described in this section are in the
|
|
|
+\key{utilities.rkt} file of the support code.
|
|
|
|
|
|
\paragraph{\code{interp-tests}}
|
|
|
|
Jeremy Siek