Hip_shared (sarek-hip.Sarek_hip.Hip

type Spoc_framework.Framework_sig.kargs +=

| Hip_kargs of Hip_plugin_base.Hip.Kernel.args

Backend-specific kargs witness for HIP.

type hip_intrinsic = {

intr_name : string;
intr_codegen : string;
intr_convergence : Spoc_framework.Framework_sig.convergence;

}

HIP-specific intrinsic implementation. HIP C++ uses the identical device tokens as CUDA C (threadIdx.x, __syncthreads, ...), so the codegen emitted by Sarek_ir_cuda is valid verbatim.

module Hip_intrinsics : Spoc_framework.Framework_sig.INTRINSIC_REGISTRY

val is_disabled : unit -> bool

val bind_args : 
  Spoc_framework.Framework_sig.kargs ->
  Hip_plugin_base.Hip.Kernel.args ->
  Spoc_framework.Framework_sig.run_source_arg list ->
  unit