blob: 3d123ba841952387d0a88d805111fa9f4b52b244 (
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 *)
mutable liveins: Regset.t PTree.t;
(* Union of the input_regs of the last successors *)
s_output_regs: Regset.t;
typing: RTLtyping.regenv
}
|