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

View of /sml/trunk/src/MLRISC/Doc/latex/annotations.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, 7 months ago) by leunga
File size: 1448 byte(s)

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

A compiler front-end has to be propagate information to
the back-end.  An optimization phase may have to leave behind information
at various places of the IR so that other phases can reuse such information.
MLRISC uses the \newdef{annotations}
mechanism for these functions.  
Individual instructions, basic blocks, and flow graph edges, 
can be attached one or more annotations.  

The basic MLRISC system understands many annotations.  Some examples are:
         these can be used to attach comments.  If attached to
         an instruction, the assemblers will output 
         them as part of their assembly output.
          these can be attached to a branch instruction to indicate
          the probability in which is it taken.
          these can be attached to a basic block to indicate 
          its expected execution frequency 

The primitive annotations datatype is defined
to have this \mlrischref{library/annotations.sig}{signature}.
In addition, MLRISC predefined a few primitive annotations that are
recognized by the core system.  This signature is
More detailed documentation can be found in this 

ViewVC Help
Powered by ViewVC 1.0.0