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

SCM Repository

[smlnj] Diff of /sml/branches/SMLNJ/src/MLRISC/IR/mlrisc-ir.sig
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/MLRISC/IR/mlrisc-ir.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 410, Fri Sep 3 00:25:03 1999 UTC revision 411, Fri Sep 3 00:25:03 1999 UTC
# Line 1  Line 1 
1  (*  (*
2   * MLRISC Internal IR   * MLRISC IR
3     *
4   * This is for performing whole program analysis.   * This is for performing whole program analysis.
5     * All optimizations are based on this representation.
6     * It provides a few useful views: dominator tree, control dependence graph,
7     * loop nesting (interval) structure etc. Also there is a mechanism to
8     * incrementally attach additional views to the IR.  The SSA infrastructure
9     * is implemented in such a manner.
10     *
11     * -- Allen
12   *)   *)
13    
14  signature MLRISC_IR =  signature MLRISC_IR =
# Line 29  Line 37 
37      *)      *)
38     val dom   : IR -> dom     val dom   : IR -> dom
39     val pdom  : IR -> pdom     val pdom  : IR -> pdom
40       val doms  : IR -> dom * pdom
41     val cdg   : IR -> cdg     val cdg   : IR -> cdg
42     val loop  : IR -> loop     val loop  : IR -> loop
43    
# Line 40  Line 49 
49     (*     (*
50      *  View as a picture      *  View as a picture
51      *)      *)
52     val view : string -> IR -> unit       (* view some aspect of the IR *)     val view  : string -> IR -> unit       (* view some facet of the IR *)
53       val views : string list -> IR -> unit  (* view a set of facets *)
54     val viewSubgraph : IR -> cfg -> unit  (* view a subgraph of the IR *)     val viewSubgraph : IR -> cfg -> unit  (* view a subgraph of the IR *)
55    
56     (*     (*
57      *  This function allows the client to design a new view and extend      *  This function allows the client to design a new view and extend
58      *  the functionality of the IR      *  the functionality of the IR
59      *)      *)
60     val memo : (IR -> 'facet) -> IR -> 'facet     val memo : string -> (IR -> 'facet) -> IR -> 'facet
61       val addLayout : string -> (IR -> GraphLayout.layout) -> unit
62    
63  end  end
64    
 (*  
  * $Log$  
  *)  

Legend:
Removed from v.410  
changed lines
  Added in v.411

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