Module C_syntax.Pure_C_config

Parameters

module Input : sig ... end

Signature

val procs : Low_level.optimized Base.array
type nonrec buffer_ptr = Input.buffer_ptr
val main_kernel_prefix : string
val kernel_prep_line : string
val buffer_prefix : string
val buffer_suffix : pos:'a -> string
val arg_int_prefix : string
val loop_index_type : string
val extra_args : 'a list
val typ_of_prec : Ops.prec -> string
val vec_typ_of_prec : length:int -> Ops.prec -> string
val ptr_param_style : [> `Per_param ]
val hardware_index : kind:'a -> slot:'b -> 'c option
val barrier_syntax : 'a option
val parallel_grid_syntax : [> `None ]
val parallel_grid_chunks : int
val vector_bytes : int
val vector_style : [> `Vec_extensions ]
val shared_decl_prefix : 'a option
val restrict_keyword : string option
val volatile_scalar_rmw : bool
val vectorize_pragma : string list
val aligned_local_attr : string option
val warp_size : int
val mma_syntax : 'a option
val float_log_style : string
val styled_log_arg : PPrint.document -> PPrint.document
val ident_blacklist : Base.String.t Base__List.t
val ternop_syntax : Ops.prec -> Ops.ternop -> PPrint.document -> PPrint.document -> PPrint.document -> PPrint.document
val binop_syntax : Ops.prec -> Ops.binop -> PPrint.document -> PPrint.document -> PPrint.document
val unop_syntax : Ops.prec -> Ops.unop -> PPrint.document -> PPrint.document
val vec_unop_syntax : Ops.prec -> Ops.vec_unop -> PPrint.document -> PPrint.document
val convert_precision : from:Ops.prec -> to_:Ops.prec -> Base.String.t * string
val kernel_log_param : (string * string) option
val log_involves_file_management : bool
val for_log_trace_tree : bool
val pp_log_statement : log_param_c_expr_doc:'a -> base_message_literal:Base.String.t -> args_docs:PPrint.document Base.List.t -> PPrint.document