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 /MLRISC/trunk/ra/ra-flowgraph.sig
ViewVC logotype

Diff of /MLRISC/trunk/ra/ra-flowgraph.sig

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

revision 467, Wed Nov 10 22:40:46 1999 UTC revision 889, Thu Jul 19 20:35:20 2001 UTC
# Line 18  Line 18 
18       sharing Spill.I = I       sharing Spill.I = I
19       sharing I.C = C       sharing I.C = C
20    
   
21     type flowgraph     type flowgraph
22    
23      (* Extract the regmap from the flowgraph *)     val mode : G.mode
    val regmap : flowgraph -> C.regmap  
24    
25      (* Dump the flograph to a stream *)      (* Dump the flograph to a stream *)
26     val dumpFlowgraph : string * flowgraph * TextIO.outstream -> unit     val dumpFlowgraph : string * flowgraph * TextIO.outstream -> unit
27    
28      (*      (*
29       * Interface for communicating with the new register allocator.       * Interface for communicating with the new register allocator.
30       * It is expected that the service provide will cache enough information       * It is expected that the services will cache enough information
31       * during build so that the rebuild and split phases can be execute       * during build so that the rebuild and spill phases can be execute
32       * quickly.       * quickly.
33       *)       *)
34     val services : flowgraph ->     val services : flowgraph ->
35         { build   : G.interferenceGraph * C.cellkind->         { build   : G.interferenceGraph * CellsBasis.cellkind->
36                        G.move list, (* build the graph *)                        G.move list, (* build the graph *)
37           spill   : {copyInstr : Spill.copyInstr,           spill   : {copyInstr : Spill.copyInstr,
38                      spill     : Spill.spill,                      spill     : Spill.spill,
39                        spillSrc     : Spill.spillSrc,
40                        spillCopyTmp : Spill.spillCopyTmp,
41                      reload    : Spill.reload,                      reload    : Spill.reload,
42                        reloadDst    : Spill.reloadDst,
43                        renameSrc    : Spill.renameSrc,
44                      graph     : G.interferenceGraph,                      graph     : G.interferenceGraph,
45                      nodes     : G.node list,                      nodes     : G.node list,
46                      cellkind  : C.cellkind                      cellkind     : CellsBasis.cellkind
47                     } -> G.move list,                     } -> G.move list,
48                       (* spill/rebuild the graph *)                       (* spill/rebuild the graph *)
49           freq    : G.programPoint -> W.freq (* execution frequency *)           programPoint : {block:int, instr:int} -> G.programPoint,
50             blockNum     : G.programPoint -> int,
51             instrNum     : G.programPoint -> int
52         }         }
53    
54  end  end

Legend:
Removed from v.467  
changed lines
  Added in v.889

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