jon.recoil.org

Module Cfg_format

type cfg_item_info =
  1. | Cfg of Cfg_with_layout.t
  2. | Data of Cmm.data_item list
  3. | Cfg_before_regalloc of {
    1. cfg_with_layout_and_relocatable_regs : Cfg_with_layout.t * Reg.t list;
    2. cmm_label : Label.t;
    3. reg_stamp : int;
    }
type cfg_unit_info = {
  1. mutable unit : Compilation_unit.t;
  2. mutable items : cfg_item_info list;
}
val save : string -> cfg_unit_info -> unit
val restore : string -> cfg_unit_info * Digest.t