diff options
Diffstat (limited to 'src/jib/jib_optimize.mli')
| -rw-r--r-- | src/jib/jib_optimize.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/jib/jib_optimize.mli b/src/jib/jib_optimize.mli index 78759d08..d992793c 100644 --- a/src/jib/jib_optimize.mli +++ b/src/jib/jib_optimize.mli @@ -64,3 +64,10 @@ val flatten_cdef : cdef -> cdef val unique_per_function_ids : cdef list -> cdef list val inline : cdef list -> (Ast.id -> bool) -> instr list -> instr list + +val remove_clear : instr list -> instr list + +(** Remove gotos immediately followed by the label it jumps to *) +val remove_pointless_goto : instr list -> instr list + +val remove_unused_labels : instr list -> instr list |