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/idefs2.sml
ViewVC logotype

Diff of /sml/trunk/src/MLRISC/ir-moved/idefs2.sml

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

revision 245, Sat Apr 17 18:47:12 1999 UTC revision 411, Fri Sep 3 00:25:03 1999 UTC
# Line 1  Line 1 
1    (*
2     * This is Reif and Tarjan's algorithm (SIAM J Computing 1981)
3     * for computing approximate birthpoints for expressions.
4     * For each basic block B,
5     *   idef(x) = { defs(v_i) | i = 1 ... n in all paths
6     *                           idom(x) v_1 v_2 ... v_n x where n >= 1 and
7     *                                   v_i <> idom(x) for all 1 <= i <= n
8     *             }
9     * -- Allen
10     *)
11    
12  structure IDefs : IDEFS =  structure IDefs : IDEFS =
13  struct  struct
14    
# Line 149  Line 160 
160    
161  end  end
162    
 (*  
  * $Log$  
  *)  

Legend:
Removed from v.245  
changed lines
  Added in v.411

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