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/IR/dataflow.sig
ViewVC logotype

View of /sml/trunk/src/MLRISC/IR/dataflow.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 228 - (download) (as text) (annotate)
Sat Apr 17 17:15:03 1999 UTC (20 years, 3 months ago) by monnier
File size: 921 byte(s)
This commit was generated by cvs2svn to compensate for changes in r227,
which included commits to RCS files with non-trunk default branches.
signature DATAFLOW_ANALYZER =
sig

   structure CFG : CONTROL_FLOW_GRAPH

   type dataflow_info

   val analyze : CFG.cfg * dataflow_info -> dataflow_info

end

signature DATAFLOW_PROBLEM =
sig

   structure CFG : CONTROL_FLOW_GRAPH

   type domain
   type dataflow_info

   val forward   : bool
   val bot       : domain
   val ==        : domain * domain -> bool
   val join      : domain list -> domain
   val prologue  : CFG.cfg * dataflow_info ->
                       CFG.block Graph.node ->
                           { input    : domain,
                             output   : domain,
                             transfer : domain -> domain
                           }
   val epilogue  : CFG.cfg * dataflow_info ->
                       { node   : CFG.block Graph.node,
                         input  : domain,
                         output : domain
                       } -> unit
end

(* 
 * $Log$
 *)

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