Fix header names

diff --git a/pipstransfo.tex b/pipstransfo.tex
index 6a6e6d0..f7be25f 100644 (file)
--- a/pipstransfo.tex
+++ b/pipstransfo.tex
@@ -34,7 +34,7 @@
 \item inlining
 % basic bloc transformations
 \item forward substitution
 \item inlining
 % basic bloc transformations
 \item forward substitution

-% dead code removal
+% dead code elimination

 \item constant propagation
 \item 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
 \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
 \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{Base blocs transformations}
 

-\section{Dead code removal}
+\section{Dead code elimination}

 
 \begin{description}
 
 
 \begin{description}
 


@@ -165,7 +165,7 @@ A prelude and/or postlude are added to preserve the number of iteration.}
 
 \end{description}
 
 
 \end{description}
 

-\section{Other (non classes)}
+\section{Other (unclassified)}

 
 \begin{description}
 
 
 \begin{description}