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/mlrisc-idefs.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/IR/mlrisc-idefs.sig

Parent Directory Parent Directory | Revision Log Revision Log


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

1 : monnier 221
2 :     (*
3 :     * This is Reif and Tarjan's algorithm (SIAM J Computing 1981)
4 :     * for computing approximate birthpoints for expressions.
5 :     * For each basic block B,
6 :     * idef(B) = { v | v is defined on some path between B's idom and B }
7 :     *)
8 :     signature MLRISC_IDEFS =
9 :     sig
10 :    
11 :     structure Dom : DOMINATOR_TREE
12 :     structure CFG : CONTROL_FLOW_GRAPH
13 :     structure I : INSTRUCTIONS
14 :     sharing CFG.I = I
15 :    
16 :     val idefs :
17 :     (I.instruction -> I.C.register list * I.C.register list) ->
18 :     CFG.cfg ->
19 :     { idefuse : unit -> (RegSet.regset * RegSet.regset) Array.array,
20 :     ipostdefuse : unit -> (RegSet.regset * RegSet.regset) Array.array
21 :     }
22 :     end
23 :    
24 :     (*
25 :     * $Log: mlrisc-idefs.sig,v $
26 :     * Revision 1.1.1.1 1998/11/16 21:46:54 george
27 :     * Version 110.10
28 :     *
29 :     *)

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