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/optimizations.tex
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log

Revision 547 - (download) (as text) (annotate)
Fri Feb 25 23:54:34 2000 UTC (19 years, 8 months ago) by leunga
File size: 1996 byte(s)

New documentation files for MLRISC.  This version includes MLTREE extensions.

  MLRISC assumes that all high level optimizations (target
  independent) have already been performed. This includes things like
  inlining, array dependence analysis, and array bounds check
  elimination.  The target dependent optimizations that remain include
  register allocation, scheduling and traditional optimizations to
  support scheduling. 

\subsection{Register allocation}
  MLRISC includes a state-of-the-art graph-coloring based register
  allocator that has an aggressive algorithm for copy-propagation. The
  latter guarantees to eliminate copy instructions without introducing

   Spills in the register allocator are under the control of the
client via call-backs to the front end. Where to spill registers and
the associated information that must be maintained is client specific
and varies with the compiler. 

\subsection{Scheduling for Superscalar Architectures}
  Several algorithms for acyclic global scheduling are provided. These

    \item Superblock,
    \item a variant of Bernstein/Rodeh, and
    \item Percolation based scheduling.

These algorithms tend to be quite complex and require a large number
of support data structures and analysis. These include data structures
such as:

    \item dominator/post dominator trees,
    \item loop nesting tree,
    \item control dependency graphs, and 
    \item data dependency graphs.

Support analysis and optimization include:

    \item constant propagation,
    \item global value numbering,
    \item global code motion, and
    \item loop invariant hoisting.

\subsection{VLIW Compilation}
  MLRISC also contains a framework for the compilation of 
predicated VLIW architectures.
Currently, the following algorithms have been implemented.
    \item hyperblock formation
    \item hyperblock scheduling
    \item modulo scheduling

ViewVC Help
Powered by ViewVC 1.0.0