From: Vivien Maisonneuve Date: Thu, 13 Feb 2014 12:27:51 +0000 (+0100) Subject: Fix header names X-Git-Url: https://svn.cri.ensmp.fr/git/pipstransfo.git/commitdiff_plain/87c353241c9deb38b4a7040b2036d3a3f4e05e24?ds=sidebyside;hp=a357fcc50b3ff05a38e0492f6e027e11eb157fac Fix header names --- diff --git a/pipstransfo.tex b/pipstransfo.tex index 6a6e6d0..f7be25f 100644 --- a/pipstransfo.tex +++ b/pipstransfo.tex @@ -34,7 +34,7 @@ \item inlining % basic bloc transformations \item forward substitution -% dead code removal +% dead code elimination \item constant propagation \item dead code elimination @@ -108,7 +108,7 @@ \item statement reordering % not supported by Pips \item expression optimization \item partial redundancy elimination -% dead code removal +% dead code elimination \item unreachable code \item semantically uneachable code \item if and loop elimination @@ -153,7 +153,7 @@ A prelude and/or postlude are added to preserve the number of iteration.} \section{Base blocs transformations} -\section{Dead code removal} +\section{Dead code elimination} \begin{description} @@ -165,7 +165,7 @@ A prelude and/or postlude are added to preserve the number of iteration.} \end{description} -\section{Other (non classes)} +\section{Other (unclassified)} \begin{description}