Revision 9f231bff
Added by Pierre-Loïc Garoche over 6 years ago
| src/backends/EMF/EMF_backend.ml | ||
|---|---|---|
| 255 | 255 |
(reset_name id) |
| 256 | 256 |
) |
| 257 | 257 |
|
| 258 |
| MBranch (_, [_, single_branch]) -> ( |
|
| 259 |
pp_emf_instrs m fmt single_branch (* Single branch hack treated as regular instrs *) |
|
| 260 |
) |
|
| 258 | 261 |
| MBranch (g, hl) -> ( |
| 259 | 262 |
let all_outputs, outputs, inputs = branch_instr_vars i in |
| 260 | 263 |
Format.eprintf "Mbranch %a@.vars: all_out: %a, out:%a, in:%a@.@." |
| ... | ... | |
| 332 | 335 |
and pp_emf_instrs m fmt instrs = fprintf_list ~sep:",@ " (pp_emf_instr m) fmt instrs |
| 333 | 336 |
|
| 334 | 337 |
let pp_machine fmt m = |
| 335 |
let instrs = (* merge_branches *) m.mstep.step_instrs in
|
|
| 338 |
let instrs = (*merge_branches*) m.mstep.step_instrs in
|
|
| 336 | 339 |
try |
| 337 | 340 |
fprintf fmt "@[<v 2>\"%a\": {@ "
|
| 338 | 341 |
print_protect (fun fmt -> pp_print_string fmt m.mname.node_id); |
Also available in: Unified diff
[EMF] simplify branches with single case as regular instructions