[pypy-commit] extradoc extradoc: try to make this point a bit clearer

[cfbolz]

Author: Carl Friedrich Bolz <cfbolz at gmx.de>
Branch: extradoc
Changeset: r4442:769170793968
Date: 2012-08-07 08:21 +0200
http://bitbucket.org/pypy/extradoc/changeset/769170793968/

Log:	try to make this point a bit clearer

diff --git a/talk/dls2012/paper.tex b/talk/dls2012/paper.tex
--- a/talk/dls2012/paper.tex
+++ b/talk/dls2012/paper.tex
@@ -501,10 +501,12 @@
 the preamble will be executed only once while the peeled loop will
 be used for every further iteration. New variable names have to be
 introduced in the entire copied trace in order to maintain the SSA-property.
-Note that the peeled loop is not necessary the \emph{first} iteration of the
-loop execution, it is general enough to correspond to any iteration of the loop.
+
+When peeling the loop, no assumptions are made that the preamble is
+the \emph{first} iteration when later executing the loop. The preamble stays
+general enough to correspond to any iteration of the loop.
 However, the peeled loop can then be optimized using the assumption that a
-previous iteration has happened.
+previous iteration (the preamble) has been executed already.
 
 %XXX (samuele): the point about the first iteration is hard to understand