- Removed `initialize` and `is_initialized` from the backend API; instead, backends should be initialized on functor application. The functors now take `config` as argument.

- More descriptive identifier names in C-syntax code in case of name conflicts.

- Changed the backend config name `cc` to `multicore_cc` for consistency.

let ternop_syntax prec op v1 v2 v3 =

let op_prefix, op_infix1, op_infix2, op_suffix = Ops.ternop_c_syntax prec op in

let open PPrint in

let binop_syntax prec op v1 v2 =

match op with

| Ops.Satur01_gate -> (

match prec with

| Ops.Byte_prec _ ->

let open PPrint in

| Ops.Half_prec _ ->

let open PPrint in

| Ops.Single_prec _ ->

let open PPrint in

| Ops.Double_prec _ ->

let open PPrint in

| Ops.Void_prec -> invalid_arg "Pure_C_config.binop_syntax: Satur01_gate on Void_prec")

| _ ->

let op_prefix, op_infix, op_suffix = Ops.binop_c_syntax prec op in

let open PPrint in

let unop_syntax prec op v =

let op_prefix, op_suffix = Ops.unop_c_syntax prec op in

else res

in

log_file_check

end

module C_syntax (B : C_syntax_config) = struct

let open PPrint in

let includes = separate hardline (List.map B.includes ~f:pp_include) in

let extras = separate hardline (List.map B.extra_declarations ~f:string) in

let rec pp_ll (c : Low_level.t) : PPrint.document =

let open PPrint in

(* Avoid extra hardlines if one side is empty *)

if PPrint.is_empty d1 then d2

else if PPrint.is_empty d2 then d1

| For_loop { index = i; from_; to_; body; trace_it = _ } ->

let header =

string "for (int " ^^ pp_symbol i ^^ string " = " ^^ PPrint.OCaml.int from_ ^^ semi

in

let body_doc = ref (pp_ll body) in

(if Utils.debug_log_from_routines () then

~args_docs:[ pp_symbol i ]

in

body_doc := log_doc ^^ hardline ^^ !body_doc);

| Zero_out tn ->

pp_ll

(Low_level.loop_over_dims (Lazy.force tn.dims) ~body:(fun idcs ->

let prec = Lazy.force tn.prec in

let local_defs, val_doc = pp_float prec llv in

let offset_doc = pp_array_offset (idcs, dims) in

if Utils.debug_log_from_routines () then

let num_typ = string (B.typ_of_prec prec) in

let new_var = string "new_set_v" in

let debug_val_doc, debug_args_docs = debug_float prec llv in

let debug_val_str = doc_to_string debug_val_doc in

let pp_args_docs =

~base_message_literal:value_base_msg ~args_docs:log_args_for_printf

in

let flush_log =

in

comment_log ^^ hardline ^^ value_log ^^ hardline ^^ flush_log

in

let assignment' = ident_doc ^^ brackets offset_doc ^^ string " = " ^^ new_var ^^ semi in

| Comment message ->

if Utils.debug_log_from_routines () then

let base_message = "COMMENT: " ^ message ^ "\n" in

callback ()

| Set_local ({ scope_id; tn = { prec; _ } }, value) ->

let local_defs, value_doc = pp_float (Lazy.force prec) value in

and pp_float (prec : Ops.prec) (vcomp : Low_level.float_t) : PPrint.document * PPrint.document =

(* Returns (local definitions, value expression) *)

let open PPrint in

match vcomp with

| Local_scope { id = { scope_id; tn = { prec = scope_prec; _ } }; body; orig_indices = _ } ->

let num_typ = string (B.typ_of_prec @@ Lazy.force scope_prec) in

let body_doc = pp_ll body in

let prefix, postfix = B.convert_precision ~from:(Lazy.force scope_prec) ~to_:prec in

let expr = string prefix ^^ string ("v" ^ Int.to_string scope_id) ^^ string postfix in

(defs, expr)

let from_prec = Lazy.force tn.prec in

let prefix, postfix = B.convert_precision ~from:from_prec ~to_:prec in

let offset_doc = pp_array_offset (idcs, Lazy.force tn.dims) in

(empty, expr)

| Get_global _ -> failwith "C_syntax: Get_global / FFI NOT IMPLEMENTED YET"

| Get (tn, idcs) ->

let ident_doc = string (get_ident tn) in

let from_prec = Lazy.force tn.prec in

let prefix, postfix = B.convert_precision ~from:from_prec ~to_:prec in

let offset_doc = pp_array_offset (idcs, Lazy.force tn.dims) in

(empty, expr)

| Constant c ->

let from_prec = Ops.double in

let prefix, postfix = B.convert_precision ~from:from_prec ~to_:prec in

let c_str = Printf.sprintf "%.16g" c in

let expr =

if String.is_empty prefix && Float.(c < 0.0) then

string "(" ^^ string c_str ^^ string ")" ^^ string postfix

let d1, e1 = pp_float prec v1 in

let d2, e2 = pp_float prec v2 in

let d3, e3 = pp_float prec v3 in

in

(defs, expr)

| Binop (op, v1, v2) ->

let d1, e1 = pp_float prec v1 in

let d2, e2 = pp_float prec v2 in

(defs, expr)

| Unop (op, v) ->

let defs, expr_v = pp_float prec v in

(defs, expr)

and debug_float (prec : Ops.prec) (value : Low_level.float_t) :

let dims = Lazy.force tn.dims in

let prefix, postfix = B.convert_precision ~from:from_prec ~to_:prec in

let offset_doc = pp_array_offset (idcs, dims) in

let expr_doc =

in

(expr_doc, [ `Accessor (idcs, dims); `Value access_doc ])

| Get (tn, idcs) ->

let ident_doc = string (get_ident tn) in

let from_prec = Lazy.force tn.prec in

let dims = Lazy.force tn.dims in

let prefix, postfix = B.convert_precision ~from:from_prec ~to_:prec in

let offset_doc = pp_array_offset (idcs, dims) in

let expr_doc =

in

(expr_doc, [ `Accessor (idcs, dims); `Value access_doc ])

| Constant c ->

@ List.map B.extra_args ~f:string

in

let func_header =

in

let body = ref empty in

if not (String.is_empty B.kernel_prep_line) then

in

body :=

!body ^^ string "FILE* log_file = NULL;" ^^ hardline

(if Utils.debug_log_from_routines () then

let debug_init_doc =

let local_decls =

string "/* Local declarations and initialization. */"

^^ hardline

(fun (tn, node) ->

if not (Tn.is_virtual_force tn 333 || Tn.is_materialized_force tn 336) then

let typ_doc = string (B.typ_of_prec @@ Lazy.force tn.prec) in

let ident_doc = string (get_ident tn) in

let size_doc = OCaml.int (Tn.num_elems tn) in

let init_doc = if node.Low_level.zero_initialized then string " = {0}" else empty in

else empty)

(Hashtbl.to_alist traced_store)

in

^^ string "if (log_file) { fclose(log_file); log_file = NULL; }"

^^ hardline;

(sorted_params, func_doc)