deletions | additions       diff --git a/osr-llvm.tex b/osr-llvm.tex  index 19415a1..920fc68 100644  --- a/osr-llvm.tex  +++ b/osr-llvm.tex 
...
\fi  \subsection{Example}  To explain how\tinyvm\ implements in LLVM  the OSR approach of \mysection\ref{se:overview}, \mysection\ref{se:overview} can be implemented in LLVM,  we consider the simple example of \myfigure\ref{fi:isord-example}. Function {\tt isord} checks whether an array of numbers is sorted according to some ordering specified by a comparator. The scenario we explore is profile-driven optimization, where we dynamically divert control to a faster version if the number of iterations exceeds a certain threshold. \ifdefined\noauthorea  \begin{figure}[t]