package sawja

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val heap_index : int
val dominator : 'a array -> (int -> int list) -> Ptset.t array
val make_idom_tree : Ptset.t array -> int -> int list
val idom : Ptset.t array -> (int -> int) * (int -> int list)
val domf : int -> (int -> int list) -> (int -> int) -> int -> Ptset.t
val show_digraph : 'a array -> (int -> int list) -> unit
val place_phi_nodes : bir -> int -> Ptset.t Ptmap.t -> (int -> Ptset.t) -> (int -> var -> bool) -> Ptset.t Ptmap.t
val debug_code : bir -> (int -> 'a Ptmap.t) -> (int -> int list) -> Ptset.t Ptmap.t -> int list -> (int -> int list) -> unit
val use_bcvars : instr -> Ptset.t
val def_bcvar : instr -> Ptset.t
val var_defs : bir -> Ptset.t 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 -> Ptset.t Ptmap.t -> (int -> int list) -> (int -> int list) -> (int -> int list) -> Ptset.t Ptmap.t -> (int -> int -> int) * (int -> int -> int) * (int -> int Ptmap.t) * (int -> int array Ptmap.t)
val immediate_dominators : bir -> int -> int
val run : bir -> (int -> var -> bool) -> (int -> Ptset.t) * (int -> int) * (int -> Ptset.t) * (int -> int list) * Ptset.t Ptmap.t * ((int -> int -> int) * (int -> int -> int) * (int -> int Ptmap.t) * (int -> int array Ptmap.t)) * (int -> int list)
val to_string : Ptset.t -> string
val vars_to_string : ('a * unindexed_var) list -> string
val debug : bir -> ((int -> Ptset.t) * (int -> int) * (int -> Ptset.t) * (int -> int list) * Ptset.t Ptmap.t * ('a * 'b * (int -> int Ptmap.t) * (int -> int array Ptmap.t)) * 'c) -> unit
val get_heap_index : (int -> 'a) -> (int -> 'b) -> (int -> 'c * ('d * 'e) option) -> instr array -> 'b Ptmap.t * 'a Ptmap.t * ('d * 'e) Ptmap.t
val transform_from_ir : bir -> bir
OCaml

Innovation. Community. Security.