Module Jit

type evaluation_outcome =
  1. | Result of Obj.t
  2. | Exception of exn
val jit_load : (module Binary_emitter_intf.S with type Assembled_section.t = 'a and type Relocation.t = 'r) -> phrase_name:string -> outcome_ref:evaluation_outcome option ref -> 'a Jit__.Import.String.Map.t -> unit

Load and run assembled binary sections. This is the main generic JIT entry point that works with any architecture.

val jit_load_program : phrase_name:string -> Format.formatter -> Lambda.program -> evaluation_outcome

Load and run a Lambda program. Automatically selects backend based on architecture (x86 or arm64).

val jit_lookup_symbol : string -> Obj.t option
val set_debug : unit -> unit

Enables debugging if the OCAML_JIT_DEBUG env var is set.

val init_top : unit -> unit

Initializes the JIT for use via the native toplevel code.