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

SCM Repository

[smlnj] View of /sml/trunk/src/MLRISC/SSA/ssa-liveness.sig
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 228 - (download) (as text) (annotate)
Sat Apr 17 17:15:03 1999 UTC (21 years, 2 months ago) by monnier
File size: 367 byte(s)
This commit was generated by cvs2svn to compensate for changes in r227,
which included commits to RCS files with non-trunk default branches.
(*
 * Compute liveness information from an SSA graph.
 *)
signature SSA_LIVENESS =
sig

   structure SSA : SSA

   (* Compute live out information for each basic block in the SSA *)
   val liveOut : SSA.ssa -> RegSet.regset Array.array

   (* Is variable v live out at block b? *)
   val isLiveOut : SSA.ssa -> {v:SSA.value,b:SSA.block} -> bool

end

(*
 * $Log$
 *)

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