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