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