diff options
Diffstat (limited to 'src/jib/jib_optimize.mli')
| -rw-r--r-- | src/jib/jib_optimize.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/jib/jib_optimize.mli b/src/jib/jib_optimize.mli index e9f5cfcf..d992793c 100644 --- a/src/jib/jib_optimize.mli +++ b/src/jib/jib_optimize.mli @@ -65,5 +65,9 @@ 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 |