diff options
Diffstat (limited to 'thesis/intro.tex')
| -rw-r--r-- | thesis/intro.tex | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/thesis/intro.tex b/thesis/intro.tex index 85f13b8..1056d9f 100644 --- a/thesis/intro.tex +++ b/thesis/intro.tex @@ -106,7 +106,7 @@ The ARM and Thumb instruction sets are designed to \emph{interwork}: The Thumb-2 code generator proposed in this thesis does not produce ARM code, though the existence of the interworking facility has effects on the techniques that can be used in it. -This will be covered in \cref{sec:two-bits}. +This will be covered in \cref{sec:code-addresses}. \subsection{Clean} \label{sec:intro:clean} @@ -292,7 +292,7 @@ Second, we doubt that using interworking can be done efficiently. In the run-time system, only minimal time overhead is introduced by using Thumb instructions. For generated code it would be complicated to detect if the ARM or Thumb instruction set would give better results, and this would give significantly better results only in specific cases. -Third, the problem discussed in \cref{sec:two-bits} could be solved efficiently only without interworking. +Third, the problem discussed in \cref{sec:code-addresses} could be solved efficiently only without interworking. Using interworking would introduce overhead at every branch instruction, since the solution to this problem would have to be adapted. @@ -311,7 +311,7 @@ In much of the rest of this thesis we discuss differences between ARM and Thumb, their influences on code generation, and the way they were dealt with in the Thumb backend for Clean proposed in this thesis. In \cref{sec:storing-pc}, we consider an issue arising from halfword-aligned instructions and the way a read of PC is interpreted under Thumb. -\Cref{sec:two-bits} discusses problems related to the fact that Thumb instruction addresses use bit 1 and should have bit 0 set for interworking, +\Cref{sec:code-addresses} discusses problems related to the fact that Thumb instruction addresses use bit 1 and should have bit 0 set for interworking, while under ARM a branch will automatically clear both these bits. The Thumb backend for Clean has been benchmarked. |