Module `Arm64_binary_emitter.Binary_emitter`

module Section_state = Section_state

type t

val create : unit -> t

val add_instruction : t -> Arm64_ast.Ast.Instruction.t -> unit

val add_directive : t -> Asm_targets.Asm_directives.Directive.t -> unit

val emit : ?for_jit:bool -> t -> All_section_states.t

val dump_instructions : t -> unit

module For_jit : 
  Binary_emitter_intf.S
    with type Assembled_section.t = Section_state.t
     and type Relocation.t = Relocation.t

Module implementing Binary_emitter_intf.S for use by ocaml-jit

module Encode_directive : sig ... end

val emit_relocs_for_all_symbol_refs : bool ref

When true, emit relocations for ALL 8-byte symbol references (matching assembler behavior). When false, only emit relocations for cross-section references and resolve same-section refs at emit time. Set to true for verification against the assembler.

Module Arm64_binary_emitter.Binary_emitter

Module `Arm64_binary_emitter.Binary_emitter`