summaryrefslogtreecommitdiff
path: root/thesis/intro.tex
diff options
context:
space:
mode:
Diffstat (limited to 'thesis/intro.tex')
-rw-r--r--thesis/intro.tex6
1 files changed, 4 insertions, 2 deletions
diff --git a/thesis/intro.tex b/thesis/intro.tex
index 1056d9f..a7f00e7 100644
--- a/thesis/intro.tex
+++ b/thesis/intro.tex
@@ -313,8 +313,10 @@ In much of the rest of this thesis we discuss differences between ARM and Thumb,
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: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.
+There was a minor problem with negative offsets to the \ual{ldr} instruction,
+ that cannot be as large in Thumb as they can in ARM.
+\Cref{sec:load-offsets} deals with this.
-The Thumb backend for Clean has been benchmarked.
-The results are collected and discussed in \cref{sec:results}.
+We benchmark the Thumb backend for Clean and discuss the results in \cref{sec:results}.
\end{multicols}