sawja 1.5.7 · OCaml Package

val heap_index : int

val dominator : 'a array -> (int -> int list) -> Javalib_pack.Ptset.t array

val make_idom_tree : Javalib_pack.Ptset.t array -> int -> int list

val idom : Javalib_pack.Ptset.t array -> (int -> int) * (int -> int list)

val domf : 
  int ->
  (int -> int list) ->
  (int -> int) ->
  int ->
  Javalib_pack.Ptset.t

val show_digraph : 'a array -> (int -> int list) -> unit

val place_phi_nodes : 
  bir ->
  int ->
  Javalib_pack.Ptset.t Javalib_pack.Ptmap.t ->
  (int -> Javalib_pack.Ptset.t) ->
  (int -> var -> bool) ->
  Javalib_pack.Ptset.t Javalib_pack.Ptmap.t

val debug_code : 
  bir ->
  (int -> 'a Javalib_pack.Ptmap.t) ->
  (int -> int list) ->
  Javalib_pack.Ptset.t Javalib_pack.Ptmap.t ->
  int list ->
  (int -> int list) ->
  unit

val use_bcvars : instr -> Javalib_pack.Ptset.t

val def_bcvar : instr -> Javalib_pack.Ptset.t

val var_defs : bir -> Javalib_pack.Ptset.t Javalib_pack.Ptmap.t

val map_instr : (var -> var) -> (var -> var) -> instr -> instr

val map_exception_handler : 
  (var -> int -> var) ->
  exception_handler ->
  exception_handler

val live_analysis : bir -> int -> Live.Env.elt -> bool

val preds : bir -> int -> int list

val succs : bir -> int -> int list

val rename : 
  bir ->
  Javalib_pack.Ptset.t Javalib_pack.Ptmap.t ->
  (int -> int list) ->
  (int -> int list) ->
  (int -> int list) ->
  Javalib_pack.Ptset.t Javalib_pack.Ptmap.t ->
  (int ->
  int ->
  int)
  * (int ->
  int ->
  int)
  * (int ->
  int Javalib_pack.Ptmap.t)
  * (int ->
  int array Javalib_pack.Ptmap.t)

val immediate_dominators : bir -> int -> int

val tarjan_idom : 
  (int -> int list) ->
  (int -> int list) ->
  int ->
  int ->
  (int -> int) * (int -> int list)

val run : 
  bir ->
  (int -> var -> bool) ->
  (int ->
  int)
  * (int ->
  Javalib_pack.Ptset.t)
  * (int ->
  int list)
  * Javalib_pack.Ptset.t Javalib_pack.Ptmap.t
  * ((int ->
     int ->
     int)
     * (int ->
     int ->
     int)
     * (int ->
     int Javalib_pack.Ptmap.t)
     * (int ->
     int array Javalib_pack.Ptmap.t))
  * (int ->
  int list)

val to_string : Javalib_pack.Ptset.t -> string

val vars_to_string : ('a * unindexed_var) list -> string

val debug : 
  bir ->
  ((int ->
   int)
   * (int ->
   Javalib_pack.Ptset.t)
   * (int ->
   int list)
   * Javalib_pack.Ptset.t Javalib_pack.Ptmap.t
   * ('a
      * 'b
      * (int ->
      int Javalib_pack.Ptmap.t)
      * (int ->
      int array Javalib_pack.Ptmap.t))
   * 'c) ->
  unit

val get_heap_index : 
  (int -> 'a) ->
  (int -> 'b) ->
  (int -> 'c * ('d * 'e) option) ->
  instr array ->
  'b Javalib_pack.Ptmap.t
  * 'a Javalib_pack.Ptmap.t
  * ('d * 'e) Javalib_pack.Ptmap.t

val transform_from_ir : bir -> bir

package sawja