scheduling/BTLtypes.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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;
}