Module `Dwarf_low.Dwarf_value`

Values written into DWARF sections. (For attribute values, see Dwarf_attribute_values.)

module Int8 = Numbers.Int8

module Int16 = Numbers.Int16

module Uint8 = Numbers.Uint8

module Uint16 = Numbers.Uint16

module Uint32 = Numbers.Uint32

module Uint64 = Numbers.Uint64

module A = Asm_targets.Asm_directives

type value =

| Flag_true
| Bool of bool
| Int8 of Int8.t
| Int16 of Int16.t
| Int32 of Int32.t
| Int64 of Int64.t
| Uint8 of Uint8.t
| Uint16 of Uint16.t
| Uint32 of Uint32.t
| Uint64 of Uint64.t
| Uleb128 of Uint64.t
| Sleb128 of Int64.t
| String of string
| Indirect_string of string
| Absolute_address of Targetint.t
| Code_address_from_label of Asm_targets.Asm_label.t
| Code_address_from_label_plus_offset of {
1. label : Asm_targets.Asm_label.t;
2. offset_in_bytes : Targetint.t;
}
| Code_address_from_symbol of Asm_targets.Asm_symbol.t
| Code_address_from_label_symbol_diff of {
1. upper : Asm_targets.Asm_label.t;
2. lower : Asm_targets.Asm_symbol.t;
3. offset_upper : Targetint.t;
}
| Code_address_from_symbol_diff of {
1. upper : Asm_targets.Asm_symbol.t;
2. lower : Asm_targets.Asm_symbol.t;
}
| Code_address_from_symbol_plus_bytes of {
1. sym : Asm_targets.Asm_symbol.t;
2. offset_in_bytes : Targetint.t;
}
| Offset_into_debug_info of Asm_targets.Asm_label.t
| Offset_into_debug_info_from_symbol of Asm_targets.Asm_symbol.t
| Offset_into_debug_line of Asm_targets.Asm_label.t
| Offset_into_debug_line_from_symbol of Asm_targets.Asm_symbol.t
| Offset_into_debug_addr of Asm_targets.Asm_label.t
| Offset_into_debug_loc of Asm_targets.Asm_label.t
| Offset_into_debug_ranges of Asm_targets.Asm_label.t
| Offset_into_debug_loclists of Asm_targets.Asm_label.t
| Offset_into_debug_rnglists of Asm_targets.Asm_label.t
| Offset_into_debug_abbrev of Asm_targets.Asm_label.t
| Distance_between_labels_16_bit of {
1. upper : Asm_targets.Asm_label.t;
2. lower : Asm_targets.Asm_label.t;
}
| Distance_between_labels_32_bit of {
1. upper : Asm_targets.Asm_label.t;
2. lower : Asm_targets.Asm_label.t;
}
| Distance_between_labels_64_bit of {
1. upper : Asm_targets.Asm_label.t;
2. lower : Asm_targets.Asm_label.t;
}
| Distance_between_labels_64_bit_with_offsets of {
1. upper : Asm_targets.Asm_label.t;
2. upper_offset : Targetint.t;
3. lower : Asm_targets.Asm_label.t;
4. lower_offset : Targetint.t;
}

type t = {

value : value;
comment : string option;

}

val print : Format.formatter -> t -> unit

val flag_true : ?comment:string -> unit -> t

val bool : ?comment:string -> bool -> t

val int8 : ?comment:string -> Int8.t -> t

val int16 : ?comment:string -> Int16.t -> t

val int32 : ?comment:string -> Int32.t -> t

val int64 : ?comment:string -> Int64.t -> t

val uint8 : ?comment:string -> Uint8.t -> t

val uint16 : ?comment:string -> Uint16.t -> t

val uint32 : ?comment:string -> Uint32.t -> t

val uint64 : ?comment:string -> Uint64.t -> t

val uleb128 : ?comment:string -> Uint64.t -> t

val sleb128 : ?comment:string -> Int64.t -> t

val string : ?comment:string -> string -> t

val indirect_string : ?comment:string -> string -> t

val absolute_address : ?comment:string -> Targetint.t -> t

val code_address_from_label : ?comment:string -> Asm_targets.Asm_label.t -> t

val code_address_from_label_plus_offset : 
  ?comment:string ->
  Asm_targets.Asm_label.t ->
  offset_in_bytes:Targetint.t ->
  t

val code_address_from_symbol : ?comment:string -> Asm_targets.Asm_symbol.t -> t

val code_address_from_label_symbol_diff : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  lower:Asm_targets.Asm_symbol.t ->
  offset_upper:Targetint.t ->
  unit ->
  t

val code_address_from_symbol_diff : 
  ?comment:string ->
  upper:Asm_targets.Asm_symbol.t ->
  lower:Asm_targets.Asm_symbol.t ->
  unit ->
  t

val code_address_from_symbol_plus_bytes : 
  Asm_targets.Asm_symbol.t ->
  Targetint.t ->
  t

val offset_into_debug_info : ?comment:string -> Asm_targets.Asm_label.t -> t

val offset_into_debug_info_from_symbol : 
  ?comment:string ->
  Asm_targets.Asm_symbol.t ->
  t

val offset_into_debug_line : ?comment:string -> Asm_targets.Asm_label.t -> t

val offset_into_debug_line_from_symbol : 
  ?comment:string ->
  Asm_targets.Asm_symbol.t ->
  t

val offset_into_debug_addr : ?comment:string -> Asm_targets.Asm_label.t -> t

val offset_into_debug_loc : ?comment:string -> Asm_targets.Asm_label.t -> t

val offset_into_debug_ranges : ?comment:string -> Asm_targets.Asm_label.t -> t

val offset_into_debug_loclists : 
  ?comment:string ->
  Asm_targets.Asm_label.t ->
  t

val offset_into_debug_rnglists : 
  ?comment:string ->
  Asm_targets.Asm_label.t ->
  t

val offset_into_debug_abbrev : ?comment:string -> Asm_targets.Asm_label.t -> t

val distance_between_labels_16_bit : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  lower:Asm_targets.Asm_label.t ->
  unit ->
  t

val distance_between_labels_32_bit : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  lower:Asm_targets.Asm_label.t ->
  unit ->
  t

val distance_between_labels_64_bit : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  lower:Asm_targets.Asm_label.t ->
  unit ->
  t

val distance_between_labels_64_bit_with_offsets : 
  ?comment:string ->
  upper:Asm_targets.Asm_label.t ->
  upper_offset:Targetint.t ->
  lower:Asm_targets.Asm_label.t ->
  lower_offset:Targetint.t ->
  unit ->
  t

val append_to_comment : t -> string -> t

val uleb128_size : Uint64.t -> Dwarf_int.t

val sleb128_size : Int64.t -> Dwarf_int.t

val size : t -> Dwarf_int.t

val emit : asm_directives:'a -> t -> unit

Module Dwarf_low.Dwarf_value

Module `Dwarf_low.Dwarf_value`