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 429, Wed Sep 8 09:47:00 1999 UTC revision 469, Wed Nov 10 22:42:52 1999 UTC
# Line 9  Line 9 
9  sig  sig
10    
11     structure I : INSTRUCTIONS     structure I : INSTRUCTIONS
    structure B : BLOCK_NAMES  
12     structure P : PSEUDO_OPS     structure P : PSEUDO_OPS
13     structure C : CELLS     structure C : CELLS
14     structure W : FREQ     structure W : FREQ
# Line 42  Line 41 
41        BLOCK of        BLOCK of
42        {  id          : int,                        (* block id *)        {  id          : int,                        (* block id *)
43           kind        : block_kind,                 (* block kind *)           kind        : block_kind,                 (* block kind *)
          name        : B.name,                     (* block name *)  
44           freq        : weight ref,                 (* execution frequency *)           freq        : weight ref,                 (* execution frequency *)
45           data        : data list ref,              (* data preceeding block *)           data        : data list ref,              (* data preceeding block *)
46           labels      : Label.label list ref,       (* labels on blocks *)           labels      : Label.label list ref,       (* labels on blocks *)
# Line 81  Line 79 
79     *  Various kinds of annotations on basic blocks     *  Various kinds of annotations on basic blocks
80     *     *
81     *========================================================================*)     *========================================================================*)
82     exception LIVEOUT of C.cellset       (* escaping live out information *)     val LIVEOUT : C.cellset Annotations.property
83     exception CHANGED of unit -> unit                    (* escaping live out information *)
84     exception CHANGEDONCE of unit -> unit     val CHANGED : (unit -> unit) Annotations.property
85       val CHANGEDONCE : (unit -> unit) Annotations.property
86    
87    (*========================================================================    (*========================================================================
88     *     *
89     *  Methods for manipulating basic blocks     *  Methods for manipulating basic blocks
90     *     *
91     *========================================================================*)     *========================================================================*)
92     val newBlock          : int * B.name * W.freq ref -> block (* empty *)     val newBlock          : int * W.freq ref -> block (* empty *)
93     val newStart          : int * W.freq ref -> block          (* start node *)     val newStart          : int * W.freq ref -> block          (* start node *)
94     val newStop           : int * W.freq ref -> block          (* stop node *)     val newStop           : int * W.freq ref -> block          (* stop node *)
95     val newFunctionEntry  : int * W.freq ref -> block  (* fun entry node *)     val newFunctionEntry  : int * W.freq ref -> block  (* fun entry node *)

Legend:
Removed from v.429  
changed lines
  Added in v.469

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