jon.recoil.org

Module Binary_emitter_intf

Unified interface for binary emitters (x86 and arm64).

This module defines abstract signatures that both architecture-specific binary emitters implement, allowing ocaml-jit to work with either.

type data_size =
  1. | B8
  2. | B16
  3. | B32
  4. | B64
type target =
  1. | Symbol of Asm_targets.Asm_symbol.t
  2. | Label of Asm_targets.Asm_label.t

A relocation target: either a symbol or a label.

module type Relocation = sig ... end

Signature for relocation types with operations to evaluate them.

module type Assembled_section = sig ... end

Signature for assembled section types with operations.

module type Internal_assembler_hook = sig ... end

Internal assembler hook for JIT support. When set, the binary emitter will call this function with assembled sections instead of (or in addition to) writing to a file.

module type S = sig ... end

Combined signature that each architecture's binary emitter provides.