Sarek_ir_ptx (sarek.Sarek_codegen.Sarek_ir

val generate : 
  ?sm_target:string ->
  ?soa_params:string list ->
  ?block:(int * int * int) ->
  Sarek_ir_types.kernel ->
  string

val generate_with_types : 
  types:'a ->
  ?soa_params:string list ->
  ?block:(int * int * int) ->
  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.