Revision bdcbb2a1
src/backends/C/c_backend_common.ml | ||
---|---|---|
289 | 289 |
(********************************************************************************************) |
290 | 290 |
|
291 | 291 |
let pp_registers_struct fmt m = |
292 |
if m.mmemory <> []
|
|
292 |
if not (fst (get_stateless_status m))
|
|
293 | 293 |
then |
294 | 294 |
fprintf fmt "@[%a {@[<v>%a;@ @]}@] _reg; " |
295 | 295 |
pp_machine_regtype_name m.mname.node_id |
... | ... | |
414 | 414 |
fprintf fmt "&%s" id.var_id |
415 | 415 |
|
416 | 416 |
let pp_main_call mname self fmt m (inputs: value_t list) (outputs: var_decl list) = |
417 |
if m.mmemory = []
|
|
417 |
if fst (get_stateless_status m)
|
|
418 | 418 |
then |
419 | 419 |
fprintf fmt "%a (%a%t%a);" |
420 | 420 |
pp_machine_step_name mname |
src/backends/C/c_backend_main.ml | ||
---|---|---|
71 | 71 |
end |
72 | 72 |
|
73 | 73 |
let print_main_memory_allocation mname main_mem fmt m = |
74 |
if m.mmemory <> [] then
|
|
74 |
if not (fst (get_stateless_status m)) then
|
|
75 | 75 |
begin |
76 | 76 |
fprintf fmt "@ /* Main memory allocation */@ "; |
77 | 77 |
if (!Options.static_mem && !Options.main_node <> "") |
... | ... | |
82 | 82 |
end |
83 | 83 |
|
84 | 84 |
let print_main_initialize mname main_mem fmt m = |
85 |
if m.mmemory <> []
|
|
85 |
if not (fst (get_stateless_status m))
|
|
86 | 86 |
then |
87 | 87 |
fprintf fmt "@ /* Initialize inputs, outputs and memories */@ %a%t%a%t%a(%s);@ " |
88 | 88 |
(Utils.fprintf_list ~sep:"@ " (pp_initialize m main_mem (pp_c_var_read m))) m.mstep.step_inputs |
... | ... | |
98 | 98 |
(Utils.fprintf_list ~sep:"@ " (pp_initialize m main_mem (pp_c_var_read m))) m.mstep.step_outputs |
99 | 99 |
|
100 | 100 |
let print_main_clear mname main_mem fmt m = |
101 |
if m.mmemory <> []
|
|
101 |
if not (fst (get_stateless_status m))
|
|
102 | 102 |
then |
103 | 103 |
fprintf fmt "@ /* Clear inputs, outputs and memories */@ %a%t%a%t%a(%s);@ " |
104 | 104 |
(Utils.fprintf_list ~sep:"@ " (pp_clear m main_mem (pp_c_var_read m))) m.mstep.step_inputs |
Also available in: Unified diff