Project

General

Profile

Revision bdcbb2a1 src/backends/C/c_backend_common.ml

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

Also available in: Unified diff