Sarek_ir_ptx (sarek-cuda.Sarek_cuda.Sarek_ir

Re-export the PTX code generator from the pure sarek_codegen library. Consumers of Sarek_cuda.Sarek_ir_ptx and in-package Sarek_ir_ptx are unchanged.

include module type of struct include Sarek_codegen.Sarek_ir_ptx end

val generate : 
  ?sm_target:string ->
  ?soa_params:string list ->
  Sarek_ir_types.kernel ->
  string

val generate_with_types : 
  types:'a ->
  ?soa_params:string list ->
  Sarek_ir_types.kernel ->
  string

val demo_vector_add_ptx : unit -> string

Spike demo: vector_add

Constructs the vector_add IR and calls generate, demonstrating that the emitter produces structurally correct PTX for the simplest Sarek kernel pattern.