[pypy-commit] extradoc extradoc: use indices to represent ssa variables

cfbolz noreply at buildbot.pypy.org
Mon Jul 23 16:17:58 CEST 2012


Author: Carl Friedrich Bolz <cfbolz at gmx.de>
Branch: extradoc
Changeset: r4332:2d229f67f73c
Date: 2012-07-23 16:15 +0200
http://bitbucket.org/pypy/extradoc/changeset/2d229f67f73c/

Log:	use indices to represent ssa variables

diff --git a/talk/vmil2012/figures/log.tex b/talk/vmil2012/figures/log.tex
--- a/talk/vmil2012/figures/log.tex
+++ b/talk/vmil2012/figures/log.tex
@@ -1,26 +1,27 @@
 \begin{lstlisting}[mathescape]
-[i1, p2]
-label(i1, p2, descr=label0))
-guard_nonnull_class(p2, Even) [i1, p2]
-i4 = getfield_gc(p2, descr='value')
-i6 = int_rshift(i4, 2)
-i8 = int_eq(i6, 1)
-guard_false(i8) [i6, i1]
-i10 = int_and(i6, 1)
-i11 = int_is_zero(i10)
-guard_true(i11) [i6, i1]
-i13 = int_lt(i1, 100)
-guard_true(i13) [i1, i6]
-i15 = int_add(i1, 1)
-label(i15, i6, descr=label1)
-i16 = int_rshift(i6, 2)
-i17 = int_eq(i16, 1)
-guard_false(i17) [i16, i15]
-i18 = int_and(i16, 1)
-i19 = int_is_zero(i18)
-guard_true(i19) [i16, i15]
-i20 = int_lt(i15, 100)
-guard_true(i20) [i15, i16]
-i21 = int_add(i15, 1)
-jump(i21, i16, descr=label1)
+[$j_1$, $a_1$]
+label($j_1$, $a_1$, descr=label0))
+$j_2$ = int_add($j_1$, 1)
+guard_nonnull_class($a_1$, Even) [$j_2$, $a_1$]
+$i_1$ = getfield_gc($a_1$, descr='value')
+$i_2$ = int_rshift($i_1$, 2)
+$b_1$ = int_eq($i_2$, 1)
+guard_false($b_1$) [$i_2$, $j_2$]
+$i_3$ = int_and($i_2$, 1)
+$i_4$= int_is_zero($i_3$)
+guard_true($i_4$) [$i_2$, $j_2$]
+$b_2$ = int_lt($j_2$, 100)
+guard_true($b_2$) [$j_2$, $i_2$]
+
+label($j_2$, $i_2$, descr=label1)
+$j_3$ = int_add($j_2$, 1)
+$i_5$ = int_rshift($i_2$, 2)
+$b_3$ = int_eq($i_5$, 1)
+guard_false($b_3$) [$i_5$, $j_3$]
+$i_6$ = int_and($i_5$, 1)
+$b_4$ = int_is_zero($i_6$)
+guard_true($b_4$) [$i_5$, $j_3$]
+$b_5$ = int_lt($j_3$, 100)
+guard_true($b_5$) [$j_3$, $i_5$]
+jump($j_3$, $i_5$, descr=label1)
 \end{lstlisting}


More information about the pypy-commit mailing list