Module Sarek_cuda.Cuda_plugin

Cuda_plugin — thin backward-compatibility shim. The real backend now lives in Cuda_ptx_plugin (auto-registered) and Cuda_c_plugin. Shared helpers live in Cuda_shared.

val init : unit -> unit

Force Cuda_ptx_plugin to initialize (it auto-registers on load).

val register_intrinsic : string -> Cuda_shared.Cuda_intrinsics.intrinsic_impl -> unit

Register a custom CUDA intrinsic.

val find_intrinsic : string -> Cuda_shared.Cuda_intrinsics.intrinsic_impl option

Look up a CUDA intrinsic.

val generate_with_types : types:(string * (string * Sarek_ir_types.elttype) list) list -> Sarek_ir_types.kernel -> string

Generate CUDA source with custom types.