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/branches/SMLNJ/src/MLRISC/ir-moved/cdg.sig
ViewVC logotype

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

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

revision 428, Wed Sep 8 09:47:00 1999 UTC revision 429, Wed Sep 8 09:47:00 1999 UTC
# Line 17  Line 17 
17    
18      val control_dependence_graph :      val control_dependence_graph :
19            ('e -> bool) ->            ('e -> bool) ->
           ('n,'e,'g) Dom.dominator_tree *  
20            ('n,'e,'g) Dom.postdominator_tree ->            ('n,'e,'g) Dom.postdominator_tree ->
21            ('n,'e,'g) cdg            ('n,'e,'g) cdg
22    
# Line 26  Line 25 
25            ('e Graph.edge -> 'e2 Graph.edge) ->            ('e Graph.edge -> 'e2 Graph.edge) ->
26            ('g -> 'g2) ->            ('g -> 'g2) ->
27            ('e -> bool) ->            ('e -> bool) ->
           ('n,'e,'g) Dom.dominator_tree *  
28            ('n,'e,'g) Dom.postdominator_tree ->            ('n,'e,'g) Dom.postdominator_tree ->
29            ('n2,'e2,'g2) cdg            ('n2,'e2,'g2) cdg
30    

Legend:
Removed from v.428  
changed lines
  Added in v.429

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