Interpreter_plugin (sarek.Sarek_interpreter.Interpreter

module Interpreter_base : sig ... end

Reuse the existing Interpreter implementation

type Spoc_framework.Framework_sig.kargs +=

| Interpreter_kargs of Interpreter_base.Kernel.args

Extend Framework_sig.kargs with Interpreter-specific variant

type interp_intrinsic = {

intr_name : string;
intr_eval : Sarek.Sarek_ir_interp.value list -> Sarek.Sarek_ir_interp.value;
intr_convergence : Spoc_framework.Framework_sig.convergence;

}

Interpreter-specific intrinsic implementation

module Interpreter_intrinsics : Spoc_framework.Framework_sig.INTRINSIC_REGISTRY

Intrinsic registry for Interpreter-specific intrinsics

module Backend : Spoc_framework.Framework_sig.BACKEND

Interpreter Backend - implements BACKEND

val run_ir : 
  ir:Sarek_ir_types.kernel ->
  block:Spoc_framework.Framework_sig.dims ->
  grid:Spoc_framework.Framework_sig.dims ->
  args:(string * Sarek.Sarek_ir_interp.arg) list ->
  unit

Run IR directly without going through execute_direct.

val registered_backend : unit lazy_t

Auto-register backend when module is loaded

val init : unit -> unit

val register_intrinsic : 
  string ->
  Interpreter_intrinsics.intrinsic_impl ->
  unit

val find_intrinsic : string -> Interpreter_intrinsics.intrinsic_impl option

Look up an interpreter intrinsic