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 =

   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


 * $Log$

ViewVC Help
Powered by ViewVC 1.0.0