open Registers

type inst_info = {
  mutable inumb : int;
  mutable pcond : bool option;
  mutable visited : bool;
  mutable liveins: Regset.t;
}

type block_info = {
  mutable bnumb : int;
  mutable visited : bool;
  s_output_regs : Regset.t;
  typing : RTLtyping.regenv;
}