X-Git-Url: https://scm.cri.mines-paristech.fr/git/pipstransfo.git/blobdiff_plain/0106ef99df45720946ada6d92f8d543b94a0e0c0..5356218c7c4d8a78fc6ff2596e51ddd56e113703:/pipstransfo.tex diff --git a/pipstransfo.tex b/pipstransfo.tex index 06f9f63..1e9527f 100644 --- a/pipstransfo.tex +++ b/pipstransfo.tex @@ -16,6 +16,103 @@ \begin{document} +\chapter{Summary} + +\section{SGuelton} +\begin{itemize} +% memory allocation alteration +\item scalar renaming +% loop transformations +\item loop unrolling +\item loop fusion +\item loop tiling +\item loop rerolling +\item loop interchange +\item loop normalization +% inter procedural transformations +\item inlining +% basic bloc transformations +\item forward substitution +% dead code removal +\item constant propagation +\item dead code elimination + +% ?? +\item array linearization +\item common subexpression elimination +\item directive generation +\item flatten code +\item goto elimination +\item instruction selection +\item invariant code motion +\item iteration clamping +\item loop unswitching +\item memory footprint reduction +\item n adress code generation +\item outlining +\item parallelism detection +\item parallelism extraction +\item privatization +\item reduction detection +\item redundant load-store elimination +\item split update operator +\item statement isolation +\item strengh reduction +\end{itemize} + + +\section{Teraops} +\begin{itemize} +% memory allocation alteration +\item scalar renaming +\item scalar/array expansion +\item scalar/array privatization +\item scalarization +\item variable copying +% loop transformations +\item index set splitting +\item loop peeling +\item loop unrolling +\item loop rerolling +\item full loop unrolling +\item idiom recognition +\item unswitching +\item loop fusion +\item loop fission/loop distribution +\item loop normalization +\item unimodular loop transformation/hyperplane method +\item loop interchange +\item loop reversal +\item loop skewing +\item non-unimodular loop transformation +\item strip-mining (loop sectionning) +\item loop coalescing/loop collapsing +\item loop tiling +\item loop parallelization +\item loop vectorization +\item loop invariant code motion +\item software pipelining +\item locality increazing +% inter procedural transformations +\item loop embedding/loop jamming +\item procedure inlining +\item procedure cloning +% basic bloc transformations +\item node splitting +\item forward expression substitution +\item induction variable substitution +\item if-conversion +\item statement reordering +\item expression optimization +\item partial redundancy elimination +% dead code removal +\item unreachable code +\item semantically uneachable code +\item if and loop elimination +\item use-def elimination +\item constant propagation +\end{itemize} + \chapter{List of Pips transformations} \section{Memory allocation alteration} @@ -36,7 +133,7 @@ \begin{description} \item[loop unrolling]{ - is a loop transformation. + is a loop transformation. Unrolling a loop by a factor of $n$ consists in the substitution of a loop body by itself, replicated $n$ times. A prelude and/or postlude are added to preserve the number of iteration.} @@ -59,7 +156,7 @@ containing the loop without the test in both true and false branch.} \item[loop normalization]{is a loop transformation that changes - the loop initial increment value or the loop range to enforce certain values, + the loop initial increment value or the loop range to enforce certain values, generally~1.} \end{description} @@ -140,8 +237,6 @@ multidimensional array into unidimensional arrays, possibly with a conversion from array to pointer.} -\item[loop normalization]{is a loop transformation that changes - the loop initial increment value or the loop range to enforce certain values, generally~1.} \item[iteration clamping]{is a loop transformation that extends the loop range but guards the loop body with the former range.} @@ -176,7 +271,9 @@ \end{description} -\section{References} +\nocite{*} +\bibliographystyle{alpha} +\bibliography{refs} \end{document}