deletions | additions       diff --git a/osr-llvm.tex b/osr-llvm.tex  index c8bf58d..9268981 100644  --- a/osr-llvm.tex  +++ b/osr-llvm.tex 
...
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: module that [...]  \item insertResolvedOSR$(f1, {\em 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$()$: [...]  \item generateOSRDestFun$()$: [...]  \end{itemize}