Project

General

Profile

Revision 2196a0a6 src/c_backend.ml

View differences:

src/c_backend.ml
197 197
  then
198 198
    fprintf fmt "%s" id.var_id
199 199
  else (
200
    Format.eprintf "pp_c_var_write: %s , outputs are %a@.@?" id.var_id (Utils.fprintf_list ~sep:", " Printers.pp_var) outputs;
200
    (* Format.eprintf "pp_c_var_write: %s , outputs are %a@.@?" id.var_id (Utils.fprintf_list ~sep:", " Printers.pp_var) outputs; *)
201 201
    if List.exists (fun o -> o.var_id = id.var_id) outputs (* id is output *)
202 202
    then
203 203
      fprintf fmt "%s" id.var_id
......
387 387
  
388 388
 try (* stateful node instance *)
389 389
   let (n,_) = List.assoc i instances in
390
  Format.eprintf "pp_instance_call: %s , outputs are %a@.@?" (node_name n) (Utils.fprintf_list ~sep:", " Printers.pp_var) outputs;
390
  (* Format.eprintf "pp_instance_call: %s , outputs are %a@.@?" (node_name n) (Utils.fprintf_list ~sep:", " Printers.pp_var) outputs; *)
391 391
 fprintf fmt "%s_step (%a%t%a%t%s->%s);"
392 392
     (node_name n)
393 393
     (Utils.fprintf_list ~sep:", " (pp_c_val self (pp_c_var_read machine_outputs))) inputs
......
399 399
 with Not_found -> ((* stateless node instance *)
400 400
  try 
401 401
    let (n,_) = List.assoc i calls in
402
  Format.eprintf "pp_instance_call: %s , outputs are %a@.@?" (node_name n) (Utils.fprintf_list ~sep:", " Printers.pp_var) outputs;
402
  (* Format.eprintf "pp_instance_call: %s , outputs are %a@.@?" (node_name n) (Utils.fprintf_list ~sep:", " Printers.pp_var) outputs; *)
403 403
    fprintf fmt "%s (%a%t%a);"
404 404
      (node_name n)
405 405
      (Utils.fprintf_list ~sep:", " (pp_c_val self (pp_c_var_read machine_outputs))) inputs
......
583 583
    pp_eexpr_logic_instr m self fmt (MLocalAssign (i0, Fun (i, vl)))
584 584
  | MStep ([i0], "ite", vl) ->
585 585
    pp_eexpr_logic_instr m self fmt (MLocalAssign (i0, Fun ("ite", vl)))
586
  | MStep (il, i, vl) ->Format.eprintf "Illegal function call %s@.%a@.@?" i pp_instr instr; assert false (* should not happen, calls were inlined *)
586
  | MStep (il, i, vl) ->
587
    Format.eprintf "Illegal function call %s@.%a@.@?" i pp_instr instr; 
588
    assert false (* should not happen, calls were inlined *)
587 589
  | MBranch (g,hl) -> assert false (* should not happen. Oder ??? TODO *)
588 590

  
589 591

  

Also available in: Unified diff