Module `Dwarf_low.Address_table`

module Uint8 = Numbers.Uint8

module A = Asm_targets.Asm_directives

module Entry : sig ... end

type entry_and_soc_symbol = {

entry : Dwarf_low.Address_table.Entry.t;
start_of_code_symbol : Asm_targets.Asm_symbol.t;

}

type t = {

base_addr : Asm_targets.Asm_label.t;
mutable next_index : Dwarf_low.Address_index.t;
mutable table : Dwarf_low.Address_table.entry_and_soc_symbol Dwarf_low.Address_index.Map.t;
mutable rev_table : Dwarf_low.Address_index.t Dwarf_low.Address_table.Entry.Map.t;

}

val create : unit -> Dwarf_low.Address_table.t

val add : 
  ?adjustment:int ->
  Dwarf_low.Address_table.t ->
  start_of_code_symbol:Asm_targets.Asm_symbol.t ->
  Asm_targets.Asm_label.t ->
  Dwarf_low.Address_index.t

val base_addr : Dwarf_low.Address_table.t -> Asm_targets.Asm_label.t

val initial_length : Dwarf_low.Address_table.t -> Dwarf_low.Initial_length.t

val size : Dwarf_low.Address_table.t -> Dwarf_low.Dwarf_int.t

val entry_to_dwarf_value : 
  Dwarf_low.Address_table.entry_and_soc_symbol ->
  Dwarf_low.Dwarf_value.t

val emit : 
  asm_directives:Asm_targets.Asm_directives_dwarf.t ->
  Dwarf_low.Address_table.t ->
  unit

Module Dwarf_low.Address_table

Module `Dwarf_low.Address_table`