Project

General

Profile

Revision def94a59 src/backends/EMF/EMF_backend.ml

View differences:

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
  )
261 258
  | MBranch (g, hl) -> (
262 259
    let all_outputs, outputs, inputs = branch_instr_vars i in
263 260
    Format.eprintf "Mbranch %a@.vars: all_out: %a, out:%a, in:%a@.@."
......
329 326
  (* not  available for EMF output *)
330 327

  
331 328
  in
332
  fprintf fmt "@[ @[<v 2>\"%a\": {@ " get_instr_id i;
333
  fprintf fmt "%a@ " pp_content i;
334
  fprintf fmt "}@]"
329
  match Corelang.get_instr_desc i with
330
  | MBranch (_, [_, single_branch]) -> (
331
    pp_emf_instrs m fmt single_branch (* Single branch hack treated as regular instrs *)
332
  )
333
  | _ -> (
334
    fprintf fmt "@[ @[<v 2>\"%a\": {@ " get_instr_id i;
335
    fprintf fmt "%a@ " pp_content i;
336
    fprintf fmt "}@]"
337
  )
335 338
and pp_emf_instrs m fmt instrs = fprintf_list ~sep:",@ " (pp_emf_instr m) fmt instrs
336 339
       
337 340
let pp_machine fmt m =

Also available in: Unified diff