Author: David Schneider <david.schnei...@picle.org> Branch: extradoc Changeset: r4490:9cd7a4b73cc8 Date: 2012-08-09 14:48 +0200 http://bitbucket.org/pypy/extradoc/changeset/9cd7a4b73cc8/
Log: Use SSA reference diff --git a/talk/vmil2012/paper.tex b/talk/vmil2012/paper.tex --- a/talk/vmil2012/paper.tex +++ b/talk/vmil2012/paper.tex @@ -237,9 +237,10 @@ interpreter profiles the executed program and selects frequently executed code paths to be compiled to machine code. After profiling identified an interesting path, tracing is started, recording all operations that are executed on this -path. Like in most compilers tracing JITs use an intermediate representation -to store the recorded operations, which is typically in SSA form\todo{some ssa -reference}. Since tracing follows actual execution the code that is recorded +path. Like in most compilers tracing JITs use an intermediate representation to +store the recorded operations, which is typically in SSA +form~\cite{cytron_efficiently_1991}. Since tracing follows actual execution the +code that is recorded represents only one possible path through the control flow graph. Points of divergence from the recorded path are marked with special operations called \emph{guards}, these operations ensure that assumptions valid during the _______________________________________________ pypy-commit mailing list pypy-commit@python.org http://mail.python.org/mailman/listinfo/pypy-commit