CristalCaveGem » LustreC

    (Utils.fprintf_list ~sep:"@," (pp_machine_instr dependencies m self)) el

and pp_machine_instr dependencies (m: machine_t) self fmt instr =

  | MNoReset _ -> ()

  | MReset i ->

    pp_machine_reset m self fmt i

      i.var_type (mk_val (StateVar i) i.var_type) v

  | MStep ([i0], i, vl) when Basic_library.is_value_internal_fun (mk_val (Fun (i, vl)) i0.var_type)  ->

    pp_machine_instr dependencies m self fmt 

  | MStep ([i0], i, vl) when has_c_prototype i dependencies -> 

    fprintf fmt "%a = %s(%a);" 

      (pp_c_val self (pp_c_var_read m)) (mk_val (LocalVar i0) i0.var_type)

    (Utils.fprintf_list ~sep:"" print_dealloc_instance) m.minstances

let print_stateless_init_code dependencies fmt m self =

  let array_mems = List.filter (fun v -> Types.is_array_type v.var_type) m.mmemory in

  fprintf fmt "@[<v 2>%a {@,%a%t%a%t%a%treturn;@]@,}@.@."

    (print_init_prototype self) (m.mname.node_id, m.mstatic)

    (Utils.pp_newline_if_non_empty m.minit)

let print_stateless_clear_code dependencies fmt m self =

  let array_mems = List.filter (fun v -> Types.is_array_type v.var_type) m.mmemory in

  fprintf fmt "@[<v 2>%a {@,%a%t%a%t%a%treturn;@]@,}@.@."

    (print_clear_prototype self) (m.mname.node_id, m.mstatic)

    (Utils.pp_newline_if_non_empty m.minit)

let print_init_code dependencies fmt m self =

  let array_mems = List.filter (fun v -> Types.is_array_type v.var_type) m.mmemory in

  fprintf fmt "@[<v 2>%a {@,%a%t%a%t%a%treturn;@]@,}@.@."

    (print_init_prototype self) (m.mname.node_id, m.mstatic)

    (Utils.pp_newline_if_non_empty m.minit)

let print_clear_code dependencies fmt m self =

  let array_mems = List.filter (fun v -> Types.is_array_type v.var_type) m.mmemory in

  fprintf fmt "@[<v 2>%a {@,%a%t%a%t%a%treturn;@]@,}@.@."

    (print_clear_prototype self) (m.mname.node_id, m.mstatic)