(**********************************************************************)
(* (c) Greg Morrisett, Steve Zdancewic                                *)
(*     June 1998, all rights reserved.                                *)
(**********************************************************************)

(* cfgliveness.mli 
 *
 * Performs liveness analysis on a Control Flow Graph.
 *)

open Cfg

(* Calculates the use, def, live_in and live_out fields for each block *)
(* in the control flow graph and destructively updates them. This function *)
(* assumes that every node in the graph is reachable via the depth-first *)
(* search from the roots. *)
val liveness : cf_graph -> unit

(* EOF: cfgliveness.mli *)
 
