Module Unroll_loops


module Unroll_loops: sig .. end

val fresh : unit -> Cil_types.label
val copy_var : unit -> Cil_types.varinfo -> Cil_types.varinfo
val refresh_vars : Cil_types.varinfo list ->
Cil_types.varinfo list -> Cil_types.stmt -> Cil_types.stmt
val copy_stmt : Cil_types.fundec ->
(Cil_types.stmt * Cil_types.stmt) option ->
Cil_types.stmt Cil_datatype.Stmt.Map.t ->
Cil_types.stmt Cil_datatype.Stmt.Map.t ->
Cil_datatype.Stmt.Map.key ->
Cil_types.stmt * Cil_types.stmt Cil_datatype.Stmt.Map.t *
Cil_types.stmt Cil_datatype.Stmt.Map.t
val copy_stmtkind : Cil_types.fundec ->
(Cil_types.stmt * Cil_types.stmt) option ->
Cil_types.stmt Cil_datatype.Stmt.Map.t ->
Cil_types.stmt Cil_datatype.Stmt.Map.t ->
Cil_types.stmtkind ->
Cil_types.stmtkind * Cil_types.stmt Cil_datatype.Stmt.Map.t *
Cil_types.stmt Cil_datatype.Stmt.Map.t
val copy_block : Cil_types.fundec ->
(Cil_types.stmt * Cil_types.stmt) option ->
Cil_types.stmt Cil_datatype.Stmt.Map.t ->
Cil_types.stmt Cil_datatype.Stmt.Map.t ->
Cil_types.block ->
Cil_types.block * Cil_types.stmt Cil_datatype.Stmt.Map.t *
Cil_types.stmt Cil_datatype.Stmt.Map.t
class do_it : int -> object .. end
val compute : int -> Cil_types.file -> unit