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/SSA.html
ViewVC logotype

View of /sml/trunk/src/MLRISC/Doc/SSA.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 499 - (download) (as text) (annotate)
Tue Dec 7 15:44:50 1999 UTC (20 years, 3 months ago) by monnier
File size: 1112 byte(s)
This commit was generated by cvs2svn to compensate for changes in r498,
which included commits to RCS files with non-trunk default branches.
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<HTML>
<HEAD>
   <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
   <META NAME="GENERATOR" CONTENT="Mozilla/4.07 [en] (X11; I; Linux 2.2.7 i686) [Netscape]">
</HEAD>
<BODY bgcolor="#FFFFFF">

<CENTER>
<H1>
<FONT COLOR="#aa0000">SSA Optimizations</FONT></H1></CENTER>

All SSA optimization modules satisfy the signature
<a href="../SSA/ssa-optimization.sig" target="code"> SSA_OPTIMIZATION </a>,
which is defined as:
<pre>
signature SSA_OPTIMIZATION = sig
   structure SSA : SSA 

   val optimize : SSA.ssa -> SSA.ssa
end
</pre>

The following SSA based scalar optimizations have been implemented in MLRISC.
<ul>
<li> <a href="../SSA/ssa-dead-code-elim.sml" target="code"> 
      Dead code elimination </a>
<li> <a href="../SSA/ssa-gvn.sml" target="code"> 
     Global value numbering, constant folding, algebraic simplication </a>
<li> <a href="../SSA/ssa-gcm.sml" target="code">
    Global code motion </a>
<li> <a href="../SSA/ssa-cond-const-prop.sml" target="code">
    Conditional constant propagation </a>
</ul>

<HR>

</BODY>
</HTML>

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