Module Unroll_loops

module Unroll_loops: sig .. end
Syntactic loop unrolling.

val compute : Cil_types.file -> unit
Performs and closes all syntactic transformations, including syntactic loop unrolling.
val add_syntactic_transformation : (Cil_types.file * bool -> Cil_types.file * bool) -> unit
Hook for transformation to be applied just before unrolling loops. The boolean value indicates if the CFG has to be recomputed.
Since Oxygen-20120901
val apply_transformation : int -> Emitter.t -> Cil_types.file * bool -> Cil_types.file * bool
Performs only unrolling transformation without using -ulevel option. Loop invariant \false can be emmitted on total unrolling request. Do not forget to apply transformations_closure afterwards.
Since Oxygen-20120901
val transformations_closure : Cil_types.file * bool -> Cil_types.file * bool
Close syntactic transformations.
Since Oxygen-20120901