Module Sarek_codegen

module Sarek_ir_cuda : sig ... end
module Sarek_ir_glsl : sig ... end
module Sarek_ir_inline_vec : sig ... end
module Sarek_ir_intrinsic_dispatch : sig ... end

Shared, table-driven EIntrinsic dispatcher for the source backends (GLSL/Vulkan, WGSL/WebGPU, Metal, CUDA, OpenCL).

module Sarek_ir_metal : sig ... end
module Sarek_ir_opencl : sig ... end
module Sarek_ir_ptx : sig ... end
module Sarek_ir_ptx_expr : sig ... end

PTX expression emitter.

module Sarek_ir_ptx_kernel : sig ... end

PTX kernel emitter: parameter/local declaration, register-block output, PTX file header, and top-level generate entry points.

module Sarek_ir_ptx_mem : sig ... end

PTX array load/store helpers.

module Sarek_ir_ptx_stmt : sig ... end

PTX statement emitter.

module Sarek_ir_ptx_types : sig ... end

PTX codegen shared types: register allocator, environment, error helpers, and buffer emit primitives.

module Sarek_ir_softmath : sig ... end

Software f64 transcendentals — backend-shared (PTX and GLSL/Vulkan).

module Sarek_ir_wgsl : sig ... end
module Sarek_wgsl_abi : sig ... end

WGSL kernel ABI descriptor.