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

View of /sml/trunk/src/MLRISC/ra/ra-flowgraph.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 641 - (download) (as text) (annotate)
Thu May 11 01:16:45 2000 UTC (19 years, 6 months ago) by leunga
File size: 1901 byte(s)

    Various bug fixes and new features for C--, Moby and MLRISC optimizations.
    See smlnj/HISTORY for details.  CVS tag: leunga-20000510-moby-c--ssa
(*
 * Abstract view a flowgraph required by the new register allocator.
 * In order to allow different representation to share the same 
 * register allocator core, each representation should implement the
 * following interface to talk to the new RA.
 *
 * -- Allen
 *)

signature RA_FLOWGRAPH =
sig

   structure I     : INSTRUCTIONS
   structure C     : CELLS  
   structure G     : RA_GRAPH = RAGraph
   structure Spill : RA_SPILL
   structure W     : FREQ
     sharing Spill.I = I
     sharing I.C = C 

   type flowgraph

   val mode : G.mode

    (* Extract the regmap from the flowgraph *)
   val regmap : flowgraph -> C.regmap

    (* Dump the flograph to a stream *)
   val dumpFlowgraph : string * flowgraph * TextIO.outstream -> unit

    (*
     * Interface for communicating with the new register allocator.
     * It is expected that the services will cache enough information
     * during build so that the rebuild and spill phases can be execute
     * quickly.
     *)
   val services : flowgraph ->
       { build   : G.interferenceGraph * C.cellkind-> 
                      G.move list, (* build the graph *)
         spill   : {copyInstr    : Spill.copyInstr,
                    spill        : Spill.spill,
                    spillSrc     : Spill.spillSrc,
                    spillCopyTmp : Spill.spillCopyTmp,
                    reload       : Spill.reload,
                    reloadDst    : Spill.reloadDst,
                    renameSrc    : Spill.renameSrc,
                    graph        : G.interferenceGraph,
                    nodes        : G.node list,
                    cellkind     : C.cellkind
                   } -> G.move list,
                     (* spill/rebuild the graph *)
         programPoint : {block:int, instr:int} -> G.programPoint,
         blockNum     : G.programPoint -> int,
         instrNum     : G.programPoint -> int
       }

end

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