[pypy-commit] extradoc extradoc: import example program

[bivab]

Author: David Schneider <david.schneider at picle.org>
Branch: extradoc
Changeset: r4317:b724553c1e83
Date: 2012-07-20 14:26 +0200
http://bitbucket.org/pypy/extradoc/changeset/b724553c1e83/

Log:	import example program

diff --git a/talk/vmil2012/Makefile b/talk/vmil2012/Makefile
--- a/talk/vmil2012/Makefile
+++ b/talk/vmil2012/Makefile
@@ -1,5 +1,5 @@
 
-jit-guards.pdf: paper.tex paper.bib figures/log.tex
+jit-guards.pdf: paper.tex paper.bib figures/log.tex figures/example.tex
 	pdflatex paper
 	bibtex paper
 	pdflatex paper
diff --git a/talk/vmil2012/figures/example.tex b/talk/vmil2012/figures/example.tex
new file mode 100644
--- /dev/null
+++ b/talk/vmil2012/figures/example.tex
@@ -0,0 +1,29 @@
+\begin{verbatim}
+class Base(object):
+    def __init__(self, n):
+        self.value = n
+    @staticmethod
+    def build(n):
+        if n & 1 == 0:
+            return Even(n)
+        else:
+            return Odd(n)
+
+class Odd(Base):
+    def f(self):
+        return Even(self.value * 3 + 1)
+
+class Even(Base):
+    def f(self):
+        n = self.value >> 2
+        if n == 1:
+            return None
+        return self.build(n)
+
+while j < 100:
+    j += 1
+    myjitdriver.jit_merge_point(j=j, a=a)
+    if a is None:
+        break
+    a = a.f()
+\end{verbatim}
diff --git a/talk/vmil2012/paper.tex b/talk/vmil2012/paper.tex
--- a/talk/vmil2012/paper.tex
+++ b/talk/vmil2012/paper.tex
@@ -165,6 +165,11 @@
 
 %___________________________________________________________________________
 
+\begin{figure}
+    \input{figures/example.tex}
+    \caption{Example Program}
+    \label{fig:trace-log}
+\end{figure}
 
 \section{Resume Data}
 \label{sec:Resume Data}
@@ -311,9 +316,9 @@
 % section Resume Data (end)
 
 \begin{figure}
-\input{figures/log.tex}
-\caption{Optimized trace}
-\label{fig:trace-log}
+    \input{figures/log.tex}
+    \caption{Optimized trace}
+    \label{fig:trace-log}
 \end{figure}
 \section{Guards in the Backend}
 \label{sec:Guards in the Backend}