Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/C/c_backend_common.mli | ||
---|---|---|
1 | 1 |
open Utils |
2 |
open Format |
|
3 |
open Lustre_types |
|
4 |
open Machine_code_types |
|
2 | 5 |
|
3 |
val pp_file_decl: Format.formatter -> ident -> int -> unit |
|
4 |
val pp_file_open: Format.formatter -> ident -> int -> string |
|
5 |
val pp_put_var: Format.formatter -> string -> ident -> Types.t -> ident -> unit |
|
6 |
val pp_file_decl: formatter -> ident -> int -> unit |
|
7 |
val pp_file_open: formatter -> ident -> int -> string |
|
8 |
val pp_put_var: formatter -> string -> ident -> Types.t -> ident -> unit |
|
9 |
val pp_ptr: formatter -> ident -> unit |
|
10 |
val pp_machine_set_reset_name: formatter -> ident -> unit |
|
11 |
val pp_machine_clear_reset_name: formatter -> ident -> unit |
|
12 |
val pp_machine_init_name: formatter -> ident -> unit |
|
13 |
val pp_machine_clear_name: formatter -> ident -> unit |
|
14 |
val pp_machine_step_name: formatter -> ident -> unit |
|
15 |
val pp_machine_alloc_name: formatter -> ident -> unit |
|
16 |
val pp_machine_static_alloc_name: formatter -> ident -> unit |
|
17 |
val pp_machine_dealloc_name: formatter -> ident -> unit |
|
18 |
val pp_global_init_name: formatter -> ident -> unit |
|
19 |
val pp_global_clear_name: formatter -> ident -> unit |
|
20 |
val pp_machine_static_declare_name: formatter -> ident -> unit |
|
21 |
val pp_machine_static_link_name: formatter -> ident -> unit |
|
22 |
val pp_global_init_prototype: formatter -> ident -> unit |
|
23 |
val pp_global_clear_prototype: formatter -> ident -> unit |
|
24 |
val pp_alloc_prototype: formatter -> ident * var_decl list -> unit |
|
25 |
val pp_dealloc_prototype: formatter -> ident -> unit |
|
26 |
val pp_import_prototype: formatter -> dep_t -> unit |
|
27 |
val pp_import_alloc_prototype: formatter -> dep_t -> unit |
|
28 |
val pp_c_var_read: ?test_output:bool -> machine_t -> formatter -> var_decl -> unit |
|
29 |
val pp_c_var_write: machine_t -> formatter -> var_decl -> unit |
|
30 |
val pp_c_var: machine_t -> ident -> (formatter -> var_decl -> unit) -> formatter -> var_decl -> unit |
|
31 |
val pp_c_dimension: formatter -> Dimension.t -> unit |
|
32 |
val pp_label: formatter -> label -> unit |
|
33 |
val pp_c_tag: formatter -> label -> unit |
|
34 |
val pp_reset_assign: ident -> formatter -> bool -> unit |
|
35 |
val pp_assign: machine_t -> ident -> (formatter -> var_decl -> unit) -> formatter -> var_decl * value_t -> unit |
|
36 |
val pp_c_type: ?pp_c_basic_type_desc:(Types.t -> string) -> ?var_opt:var_decl -> |
|
37 |
ident -> formatter -> Types.t -> unit |
|
38 |
val pp_basic_c_type: ?pp_c_basic_type_desc:(Types.t -> string) -> ?var_opt:var_decl -> formatter -> Types.t -> unit |
|
39 |
val pp_machine_memtype_name: ?ghost:bool -> formatter -> ident -> unit |
|
40 |
val pp_array_suffix: formatter -> ident list -> unit |
|
41 |
val pp_print_version: formatter -> unit -> unit |
|
42 |
val pp_machine_struct: ?ghost:bool -> formatter -> machine_t -> unit |
|
43 |
val pp_reset_flag: ?indirect:bool -> (formatter -> 'a -> unit) -> formatter -> 'a -> unit |
|
44 |
val pp_reset_flag': ?indirect:bool -> formatter -> ident -> unit |
|
45 |
val pp_machine_decl: ?ghost:bool -> (formatter -> 'a -> unit) -> formatter -> ident * 'a -> unit |
|
46 |
val pp_machine_decl': ?ghost:bool -> formatter -> ident * ident -> unit |
|
47 |
val pp_file: ident -> formatter -> ident * ident -> unit |
|
48 |
val pp_basic_lib_fun: bool -> ident -> (formatter -> 'a -> unit) -> formatter -> 'a list -> unit |
|
49 |
val pp_c_decl_input_var: formatter -> var_decl -> unit |
|
50 |
|
|
51 |
(* Prints a value expression [v], with internal function calls only. [pp_var] is |
|
52 |
a printer for variables (typically [pp_c_var_read]), but an offset suffix may |
|
53 |
be added for array variables *) |
|
54 |
val pp_c_val: machine_t -> ident -> (formatter -> var_decl -> unit) -> formatter -> value_t -> unit |
|
55 |
|
|
56 |
(* Prints a constant value *) |
|
57 |
val pp_c_const: formatter -> constant -> unit |
|
58 |
|
|
59 |
(* Declaration of a local/mem variable: - if it's an array/matrix/etc, its |
|
60 |
size(s) should be known in order to statically allocate memory, so we print |
|
61 |
the full type *) |
|
62 |
val pp_c_decl_local_var: ?pp_c_basic_type_desc:(Types.t -> string) -> machine_t -> formatter -> var_decl -> unit |
|
63 |
|
|
64 |
(* type directed initialization: useless wrt the lustre compilation model, |
|
65 |
except for MPFR injection, where values are dynamically allocated *) |
|
66 |
val pp_initialize: machine_t -> ident -> (formatter -> var_decl -> unit) -> formatter -> var_decl -> unit |
|
67 |
|
|
68 |
(* type directed clear: useless wrt the lustre compilation model, except for |
|
69 |
MPFR injection, where values are dynamically allocated *) |
|
70 |
val pp_clear: machine_t -> ident -> (formatter -> var_decl -> unit) -> formatter -> var_decl -> unit |
|
71 |
|
|
72 |
val mk_call_var_decl: Location.t -> ident -> var_decl |
|
73 |
|
|
74 |
val pp_c_basic_type_desc: Types.t -> string |
|
75 |
|
|
76 |
val has_c_prototype: ident -> dep_t list -> bool |
|
77 |
|
|
78 |
val reset_label: label |
|
79 |
|
|
80 |
type loop_index = LVar of ident | LInt of int ref | LAcc of value_t |
|
81 |
|
|
82 |
val mk_loop_var: machine_t -> unit -> ident |
|
83 |
|
|
84 |
(* Computes the list of nested loop variables together with their dimension |
|
85 |
bounds. |
|
86 |
* - LInt r stands for loop expansion (no loop variable, but int loop |
|
87 |
index) |
|
88 |
* - LVar v stands for loop variable v *) |
|
89 |
val mk_loop_variables: machine_t -> Types.t -> int -> (Dimension.t * loop_index) list |
|
90 |
|
|
91 |
val reset_loop_counter: unit -> unit |
|
92 |
|
|
93 |
val reorder_loop_variables: (Dimension.t * loop_index) list -> (Dimension.t * loop_index) list |
|
94 |
|
|
95 |
(* Prints a [value] of type [var_type] indexed by the suffix list [loop_vars] *) |
|
96 |
val pp_value_suffix: ?indirect:bool -> machine_t -> ident -> Types.t -> |
|
97 |
(Dimension.t * loop_index) list -> (formatter -> var_decl -> unit) -> formatter -> value_t -> unit |
|
98 |
|
|
99 |
(* Generation of a non-clashing name for the self memory variable (for step and |
|
100 |
reset functions) *) |
|
101 |
val mk_self: machine_t -> ident |
|
102 |
val mk_mem: machine_t -> ident |
|
103 |
val mk_mem_in: machine_t -> ident |
|
104 |
val mk_mem_out: machine_t -> ident |
|
105 |
val mk_mem_reset: machine_t -> ident |
|
106 |
|
|
107 |
(* Generation of a non-clashing name for the attribute variable of static |
|
108 |
allocation macro *) |
|
109 |
val mk_attribute: machine_t -> ident |
|
110 |
|
|
111 |
(* Generation of a non-clashing name for the instance variable of static |
|
112 |
allocation macro *) |
|
113 |
val mk_instance: machine_t -> ident |
|
114 |
|
|
115 |
val mpfr_vars: var_decl list -> var_decl list |
|
116 |
val mpfr_consts: const_desc list -> const_desc list |
|
117 |
|
|
118 |
val reset_flag_name: string |
|
119 |
|
|
120 |
val file_to_module_name: string -> string |
|
121 |
|
|
122 |
val protect_filename: string -> string |
|
123 |
|
|
124 |
(* Computes the depth to which multi-dimension array assignments should be |
|
125 |
expanded. It equals the maximum number of nested static array constructions |
|
126 |
accessible from root [v]. *) |
|
127 |
val expansion_depth: value_t -> int |
|
128 |
|
|
129 |
module type MODIFIERS_GHOST_PROTO = sig |
|
130 |
val pp_ghost_parameters : |
|
131 |
?cut:bool -> |
|
132 |
formatter -> |
|
133 |
(string * (formatter -> string -> unit)) list -> |
|
134 |
unit |
|
135 |
end |
|
136 |
|
|
137 |
module EmptyGhostProto : MODIFIERS_GHOST_PROTO |
|
138 |
|
|
139 |
module Protos (Mod : MODIFIERS_GHOST_PROTO): sig |
|
140 |
val print_stateless_prototype: formatter -> ident * var_decl list * var_decl list -> unit |
|
141 |
val print_clear_reset_prototype: ident -> ident -> formatter -> ident * var_decl list -> unit |
|
142 |
val print_set_reset_prototype: ident -> ident -> formatter -> ident * var_decl list -> unit |
|
143 |
val print_step_prototype: ident -> ident -> formatter -> ident * var_decl list * var_decl list -> unit |
|
144 |
val print_init_prototype: ident -> formatter -> ident * var_decl list -> unit |
|
145 |
val print_clear_prototype: ident -> formatter -> ident * var_decl list -> unit |
|
146 |
end |
Also available in: Unified diff
another step towards refactoring