Project

General

Profile

Revision bdcbb2a1 src/backends/C/c_backend_main.ml

View differences:

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