Project

General

Profile

Revision bdcbb2a1

View differences:

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