Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/Doc/latex/SSA.tex
ViewVC logotype

View of /sml/trunk/src/MLRISC/Doc/latex/SSA.tex

Parent Directory Parent Directory | Revision Log Revision Log


Revision 651 - (download) (as text) (annotate)
Thu Jun 1 18:34:03 2000 UTC (19 years, 1 month ago) by monnier
File size: 773 byte(s)
bring revisions from the vendor branch to the trunk
\section{SSA Optimizations}\label{sec:ssa}

All SSA optimization modules satisfy the signature
\mlrischref{SSA/ssa-optimization.sig}{SSA\_OPTIMIZATION},
which is defined as:
\begin{SML}
signature SSA_OPTIMIZATION = sig
   structure SSA : SSA 

   val optimize : SSA.ssa -> SSA.ssa
end
\end{SML}

The following SSA based scalar optimizations have been implemented in MLRISC.
\begin{itemize}
\item \mlrischref{SSA/ssa-dead-code-elim.sml}{Dead code elimination}
\item \mlrischref{SSA/ssa-gvn.sml}{Global value numbering, constant folding, algebraic simplication}
\item \mlrischref{SSA/ssa-gcm.sml}{Global code motion} 
\item \mlrischref{SSA/ssa-cond-const-prop.sml}{Conditional constant propagation}
\item \mlrischref{SSA/ssa-op-str-red.sml}{Strength reduction}
\end{itemize}

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0