Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Tracker SCM

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/ir-moved/dj-dataflow.sig
ViewVC logotype

View of /sml/trunk/src/MLRISC/ir-moved/dj-dataflow.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 641 - (download) (as text) (annotate)
Thu May 11 01:16:45 2000 UTC (22 years, 4 months ago) by leunga
File size: 433 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
(*
 * Perform elimination based dataflow analysis (from Sreedhar's work)
 *)
signature DJ_DATAFLOW = 
sig

   structure DJ : DJ_GRAPH

   val analyze : 
       { closure   : {y:Graph.node_id} -> unit,
         var_elim  : {y:Graph.node_id, z:Graph.node_id} -> unit,
         fixpoint  : {scc:Graph.node_id list} -> unit,
         compute   : {y:Graph.node_id, z:Graph.node_id} -> unit
       } -> ('n,'e,'g) DJ.dj_graph -> unit

end

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