package sawja

  1. Overview
  2. Docs
package sawja
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct