open Maps
open Registers
open Camlcoq

type superblock = {
  mutable instructions: P.t array; (* pointers to code instructions *)
  (* each predicted Pcb has its attached liveins *)
  (* This is indexed by the pc value *)
  mutable liveins: Regset.t PTree.t;
  (* Union of the input_regs of the last successors *)
  s_output_regs: Regset.t;
  typing: RTLtyping.regenv
}