package sail

  1. Overview
  2. Docs
val optimize_unit : Jib.instr list -> Jib.instr list
val flatten_instrs : Jib.instr list -> Jib.instr list
val flatten_cdef : Jib.cdef -> Jib.cdef
val reset_flat_counter : unit -> unit
val unique_per_function_ids : Jib.cdef list -> Jib.cdef list
val inline : Jib.cdef list -> (Ast.id -> bool) -> Jib.instr list -> Jib.instr list
val remove_clear : Jib.instr list -> Jib.instr list
val remove_pointless_goto : Jib.instr list -> Jib.instr list
val remove_unused_labels : Jib.instr list -> Jib.instr list
val remove_dead_after_goto : Jib.instr list -> Jib.instr list
val remove_dead_code : Jib.instr list -> Jib.instr list
val remove_tuples : Jib.cdef list -> Jib_compile.ctx -> Jib.cdef list * Jib_compile.ctx
OCaml

Innovation. Community. Security.