jon.recoil.org

Module Dwarf_low.Address_table

module Uint8 = Numbers.Uint8
module Entry : sig ... end
type entry_and_soc_symbol = {
  1. entry : Entry.t;
  2. start_of_code_symbol : Asm_targets.Asm_symbol.t;
}
type t = {
  1. base_addr : Asm_targets.Asm_label.t;
  2. mutable next_index : Address_index.t;
  3. mutable table : entry_and_soc_symbol Address_index.Map.t;
  4. mutable rev_table : Address_index.t Entry.Map.t;
}
val create : unit -> t
val add : ?adjustment:int -> t -> start_of_code_symbol:Asm_targets.Asm_symbol.t -> Asm_targets.Asm_label.t -> Address_index.t
val base_addr : t -> Asm_targets.Asm_label.t
val initial_length : t -> Initial_length.t
val size : t -> Dwarf_int.t
val entry_to_dwarf_value : entry_and_soc_symbol -> Dwarf_value.t
val emit : asm_directives:Asm_targets.Asm_directives_dwarf.t -> t -> unit