Revision bdcbb2a1 src/backends/C/c_backend_common.ml
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