Make.CFG
type t = TransferFunctions.CFG.t
type instrs_dir = TransferFunctions.CFG.instrs_dir
module Node :
ProcCfg.Node
with type t = TransferFunctions.CFG.Node.t
with type id = TransferFunctions.CFG.Node.id
with module IdMap = TransferFunctions.CFG.Node.IdMap
with module IdSet = TransferFunctions.CFG.Node.IdSet
val instrs : Node.t -> instrs_dir IR.Instrs.t
get the instructions from a node
fold over all successors (normal and exceptional)
fold over all predecessors (normal and exceptional)
fold over non-exceptional successors
fold over non-exceptional predecessors
fold over exceptional successors
fold over exceptional predescessors
val proc_desc : t -> IR.Procdesc.t
val from_pdesc : IR.Procdesc.t -> t
val is_loop_head : IR.Procdesc.t -> Node.t -> bool
val wto : t -> Node.t IR.WeakTopologicalOrder.Partition.t