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/branches/SMLNJ/src/MLRISC/IR/dataflow.sig
ViewVC logotype

View of /sml/branches/SMLNJ/src/MLRISC/IR/dataflow.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 411 - (download) (as text) (annotate)
Fri Sep 3 00:25:03 1999 UTC (20 years, 1 month ago) by monnier
File size: 986 byte(s)
version 110.19
(* 
 * Signatures used by the iterative data flow analyzers.
 * 
 * -- Allen
 *)

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


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