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

SCM Repository

[smlnj] Diff of /sml/trunk/src/MLRISC/ir-moved/dominator.sig
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/ir-moved/dominator.sig

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 656, Fri Jun 9 03:39:04 2000 UTC revision 657, Fri Jun 9 05:20:54 2000 UTC
# Line 41  Line 41 
41          (* Return a map from node id -> level (level(root) = 0) *)          (* Return a map from node id -> level (level(root) = 0) *)
42      val levelsMap  : ('n,'e,'g) dominator_tree -> int Array.array      val levelsMap  : ('n,'e,'g) dominator_tree -> int Array.array
43    
44            (* Return a map from node id i -> the node_id j,
45             * where j is the level 1 node that dominates i.
46             * Special case: if i = ENTRY, then j = ENTRY.
47             * This table is cached.
48             *)
49        val entryPos   : ('n,'e,'g) dominator_tree -> int Array.array
50    
51          (* Return a map from node id -> immediate (post)dominator *)          (* Return a map from node id -> immediate (post)dominator *)
52      val idomsMap   : ('n,'e,'g) dominator_tree -> int Array.array      val idomsMap   : ('n,'e,'g) dominator_tree -> int Array.array
53    

Legend:
Removed from v.656  
changed lines
  Added in v.657

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