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/trunk/src/MLRISC/ir-archive/cdg.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/ir-archive/cdg.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : george 912 (*
2 :     * This is a generic module for computing the control dependence graph
3 :     * from any graph with an entry and an exit.
4 :     * The graph is treated as a control flow graph.
5 :     * The edge predicate is used to determine whether an edge should be
6 :     * treated as a branch edge.
7 :     *
8 :     * -- Allen
9 :     *)
10 :    
11 :     signature CONTROL_DEPENDENCE_GRAPH =
12 :     sig
13 :    
14 :     structure Dom : DOMINATOR_TREE
15 :    
16 :     type ('n,'e,'g) cdg = ('n,'e,'g) Graph.graph
17 :    
18 :     val control_dependence_graph :
19 :     ('e -> bool) ->
20 :     ('n,'e,'g) Dom.postdominator_tree ->
21 :     ('n,'e,'g) cdg
22 :    
23 :     val control_dependence_graph' :
24 :     ('n Graph.node -> 'n2 Graph.node) ->
25 :     ('e Graph.edge -> 'e2 Graph.edge) ->
26 :     ('g -> 'g2) ->
27 :     ('e -> bool) ->
28 :     ('n,'e,'g) Dom.postdominator_tree ->
29 :     ('n2,'e2,'g2) cdg
30 :    
31 :     end
32 :    

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