deletions | additions       diff --git a/osr-llvm.tex b/osr-llvm.tex  index 37f82d4..c8bf58d 100644  --- a/osr-llvm.tex  +++ b/osr-llvm.tex 
...
\label{se:instrum-api}  To support the IR instrumentation tasks of \mysection\ref{se:overview}, \osrkit\ provides a number of abstractions for VM builders. A simplified overview of the main building blocks is:  \begin{itemize}  \item $StateMapper$: StateMapper:  module that [...] \item $insertResolvedOSR(f1, insertResolvedOSR$(f1,  b1, f2, b2, cond, m)$: function that inserts a resolved OSR point in function $f1$ at basic block $b1$ to function $b2$ at basic block $b2$, using as OSR condition a sequence of IR instructions $cond$, and a state mapper $m$. \item $insertOpenOSR()$: insertOpenOSR$()$:  [...] \item $generateOSRDestFun()$: generateOSRDestFun$()$:  [...] \end{itemize}    %To place an open OSR, \tinyvm\ requires the following pieces of information: 1) a pointer to the