Module `Cfg_loop_infos`

val compute_back_edges : Cfg.t -> Cfg_dominators.t -> Cfg_edge.Set.t

type loop = Label.Set.t

val compute_loop_of_back_edge : Cfg.t -> Cfg_edge.t -> Cfg_loop_infos.loop

type loops = Cfg_loop_infos.loop Cfg_edge.Map.t

val compute_loops_of_back_edges : 
  Cfg.t ->
  Cfg_edge.Set.t ->
  Cfg_loop_infos.loops

type header_map = Cfg_loop_infos.loop list Label.Map.t

val compare_loop_by_cardinal : 
  Cfg_loop_infos.loop ->
  Cfg_loop_infos.loop ->
  int

val compute_header_map : Cfg_loop_infos.loops -> Cfg_loop_infos.header_map

val merge_loops : Cfg_loop_infos.loop list -> Cfg_loop_infos.loop list

type loop_depths = int Label.Map.t

val compute_loop_depths : 
  Cfg.t ->
  Cfg_loop_infos.header_map ->
  Cfg_loop_infos.loop_depths

type t = private {

}

val build : Cfg.t -> Cfg_dominators.t -> Cfg_loop_infos.t

val is_in_loop : Cfg_loop_infos.t -> Label.t -> bool

Module Cfg_loop_infos