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/SSA/ssa-liveness.sig
ViewVC logotype

Annotation of /sml/trunk/src/MLRISC/SSA/ssa-liveness.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 222 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/MLRISC/SSA/ssa-liveness.sig

1 : monnier 221 (*
2 :     * Compute liveness information from an SSA graph.
3 :     *)
4 :     signature SSA_LIVENESS =
5 :     sig
6 :    
7 :     structure SSA : SSA
8 :    
9 :     (* Compute live out information for each basic block in the SSA *)
10 :     val liveOut : SSA.ssa -> RegSet.regset Array.array
11 :    
12 :     (* Is variable v live out at block b? *)
13 :     val isLiveOut : SSA.ssa -> {v:SSA.value,b:SSA.block} -> bool
14 :    
15 :     end
16 :    
17 :     (*
18 :     * $Log: ssa-liveness.sig,v $
19 :     * Revision 1.1.1.1 1998/11/16 21:47:06 george
20 :     * Version 110.10
21 :     *
22 :     *)

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