Module BTL_RegisterRenaming

module BTL_RegisterRenaming: sig .. end

BTL register renaming oracle, to be used with if-lifting

module IM: Stdlib.Map.Make(Stdlib.Int)

val get_freg_back : BinNums.positive ->
       BTL.iblock_info ->
       BTL.iblock_info Maps.PTree.t ->
       BTL.iblock_info Maps.PTree.t * (int * int) IM.t

val get_freg_forw : BinNums.positive ->
       BTL.iblock_info ->
       BTL.iblock_info Maps.PTree.tree ->
       BTL.iblock_info Maps.PTree.tree *
       (IM.key * IM.key)
       IM.t

val get_freg : BinNums.positive ->
       BTL.iblock_info ->
       BTL.iblock_info Maps.PTree.t ->
       BTL.iblock_info Maps.PTree.t *
       (IM.key * IM.key)
       IM.t