David Schneider  committed 26dc9d2

some low-level notes

  • Participants
  • Parent commits 37433ae

Comments (0)

Files changed (1)

File talk/vmil2012/presentation/talk.tex

   \frametitle{Emitting Guards}
+  Guards are compiled as
+  \begin{itemize}
+    \item Quick Check if the condition holds
+    \item and a mapping of machine locations to JIT-variables % indirection using the fail-boxes
+  \end{itemize}
+  In case of failure
+  \begin{itemize}
+    \item execution jumps to compensation code, decodes and stores mapping
+    \item returns to interpreter that rebuilds state
+  \end{itemize}