sail

Sail is a language for describing the instruction semantics of processors
IN THIS PACKAGE
Module Jib_optimize
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