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/trunk/src/MLRISC/IR/mlrisc-cfg.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/IR/mlrisc-cfg.sig

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

revision 743, Thu Dec 7 15:31:24 2000 UTC revision 744, Fri Dec 8 04:11:42 2000 UTC
# Line 65  Line 65 
65     type node = block Graph.node     type node = block Graph.node
66    
67     datatype info =     datatype info =
68         INFO of { regmap      : C.regmap,         INFO of { annotations : Annotations.annotations ref,
                  annotations : Annotations.annotations ref,  
69                   firstBlock  : int ref, (* id of first block *)                   firstBlock  : int ref, (* id of first block *)
70                   reorder     : bool ref (* has the CFG been reordered? *)                   reorder     : bool ref (* has the CFG been reordered? *)
71                 }                 }
# Line 97  Line 96 
96     val branchOf          : edge_info -> bool option     val branchOf          : edge_info -> bool option
97    
98                 (* emit assembly *)                 (* emit assembly *)
99     val emit       : Annotations.annotations -> C.regmap -> block -> unit     val emit       : Annotations.annotations -> block -> unit
100     val show_block : Annotations.annotations -> C.regmap -> block -> string     val show_block : Annotations.annotations -> block -> string
101    
102    (*========================================================================    (*========================================================================
103     *     *
# Line 106  Line 105 
105     *     *
106     *========================================================================*)     *========================================================================*)
107     val cfg      : info -> cfg      (* create a new cfg *)     val cfg      : info -> cfg      (* create a new cfg *)
108     val new      : C.regmap -> cfg  (* create a new cfg *)     val new      : unit -> cfg      (* create a new cfg *)
109     val subgraph : cfg -> cfg       (* mark as subgraph *)     val subgraph : cfg -> cfg       (* mark as subgraph *)
110     val init     : cfg -> unit      (* add start/stop nodes *)     val init     : cfg -> unit      (* add start/stop nodes *)
111     val changed  : cfg -> unit      (* mark cfg as changed *)     val changed  : cfg -> unit      (* mark cfg as changed *)
112    
    val regmap         : cfg -> C.regmap  
113     val annotations    : cfg -> Annotations.annotations ref     val annotations    : cfg -> Annotations.annotations ref
114     val liveOut        : block -> C.cellset     val liveOut        : block -> C.cellset
115     val fallsThruFrom  : cfg * Graph.node_id -> Graph.node_id option     val fallsThruFrom  : cfg * Graph.node_id -> Graph.node_id option

Legend:
Removed from v.743  
changed lines
  Added in v.744

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