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-moved/cdg.sig
ViewVC logotype

View of /sml/branches/SMLNJ/src/MLRISC/ir-moved/cdg.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 245 - (download) (as text) (annotate)
Sat Apr 17 18:47:12 1999 UTC (21 years, 3 months ago) by monnier
File size: 630 byte(s)
version 110.16
signature CONTROL_DEPENDENCE_GRAPH =
sig

    structure Dom : DOMINATOR_TREE

    type ('n,'e,'g) cdg = ('n,'e,'g) Graph.graph

    val control_dependence_graph : 
          ('e -> bool) ->
          ('n,'e,'g) Dom.dominator_tree * 
          ('n,'e,'g) Dom.postdominator_tree ->
          ('n,'e,'g) cdg 

    val control_dependence_graph' : 
          ('n Graph.node -> 'n2 Graph.node) ->
          ('e Graph.edge -> 'e2 Graph.edge) ->
          ('g -> 'g2) ->
          ('e -> bool) ->
          ('n,'e,'g) Dom.dominator_tree * 
          ('n,'e,'g) Dom.postdominator_tree ->
          ('n2,'e2,'g2) cdg 

end

(*
 * $Log$
 *)

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