blob: 748a02f13f598319789bcb25cf44684b4933c9ae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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 *)
liveins: Regset.t PTree.t;
(* Union of the input_regs of the last successors *)
s_output_regs: Regset.t;
typing: RTLtyping.regenv
}
|