Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/branches/SMLNJ/src/MLRISC/ir-moved/cdg.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 245 - (view) (download) (as text)

1 : monnier 245 signature CONTROL_DEPENDENCE_GRAPH =
2 :     sig
3 :    
4 :     structure Dom : DOMINATOR_TREE
5 :    
6 :     type ('n,'e,'g) cdg = ('n,'e,'g) Graph.graph
7 :    
8 :     val control_dependence_graph :
9 :     ('e -> bool) ->
10 :     ('n,'e,'g) Dom.dominator_tree *
11 :     ('n,'e,'g) Dom.postdominator_tree ->
12 :     ('n,'e,'g) cdg
13 :    
14 :     val control_dependence_graph' :
15 :     ('n Graph.node -> 'n2 Graph.node) ->
16 :     ('e Graph.edge -> 'e2 Graph.edge) ->
17 :     ('g -> 'g2) ->
18 :     ('e -> bool) ->
19 :     ('n,'e,'g) Dom.dominator_tree *
20 :     ('n,'e,'g) Dom.postdominator_tree ->
21 :     ('n2,'e2,'g2) cdg
22 :    
23 :     end
24 :    
25 :     (*
26 :     * $Log$
27 :     *)

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