Module BTL_BlockOptimizeraux

module BTL_BlockOptimizeraux: sig .. end

Auxiliary function of the BTL prepass scheduler oracle

module SI: Stdlib.Set.Make(Stdlib.Int)

val is_a_cb : BTL.iblock -> bool

val is_a_load : BTL.iblock -> bool

val count_cbs : BTL.iblock array ->
       BTL.iblock option ->
       SI.elt array ->
       (SI.elt, SI.t) Stdlib.Hashtbl.t

val find_array : 'a array -> 'a -> int

val apply_schedule : BTL.iblock array -> BTL.iblock option -> int array -> BTL.iblock

type mentions_element =

`\|`	`Def`
`\|`	`Arg`
`\|`	`ExtArg`

type register_info = {

	`multiplicity : int;`
	`nb_read : int;`
	`rg_class : int;`

}

val reference_counting : (BTL.iblock * Registers.Regset.t) array ->
       BTL.iblock option ->
       Registers.Regset.t ->
       RTLtyping.regenv ->
       (Registers.reg, register_info) Stdlib.Hashtbl.t *
       (Registers.reg * mentions_element) list array

val flatten_blk_basics : BTL.iblock_info -> BTL.iblock array * BTL.iblock option