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

Annotation of /sml/trunk/src/MLRISC/ir-moved/dominance-frontier.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 411 (*
2 :     * This module computes the dominance frontiers from a dominator
3 :     * tree. This computation is done in batch mode.
4 :     *
5 :     * -- Allen
6 :     *)
7 :    
8 : monnier 245 signature DOMINANCE_FRONTIERS =
9 :     sig
10 :    
11 :     structure Dom : DOMINATOR_TREE
12 :    
13 :     type dominance_frontiers = Graph.node_id list Array.array
14 :    
15 :     val DFs : ('n,'e,'g) Dom.dominator_tree -> dominance_frontiers
16 :    
17 :     end
18 :    

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