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.