jon.recoil.org

Module Asm_targets.Asm_section

Representation of object file sections.

type dwarf_section =
  1. | Debug_info
  2. | Debug_abbrev
  3. | Debug_aranges
  4. | Debug_addr
  5. | Debug_loc
  6. | Debug_ranges
  7. | Debug_loclists
  8. | Debug_rnglists
  9. | Debug_str
  10. | Debug_line

Sections that hold DWARF debugging information.

type t =
  1. | DWARF of Asm_targets.Asm_section.dwarf_section
  2. | Data
  3. | Read_only_data
  4. | Eight_byte_literals
  5. | Sixteen_byte_literals
  6. | Thirtytwo_byte_literals
  7. | Sixtyfour_byte_literals
  8. | Jump_tables
  9. | Text
  10. | Stapsdt_base
  11. | Stapsdt_note
  12. | Probes
  13. | Note_ocaml_eh
val to_string : Asm_targets.Asm_section.t -> string
type section_details = private {
  1. names : string list;
  2. flags : string option;
  3. args : string list;
  4. is_delayed : bool;
}
val dwarf_sections_in_order : unit -> Asm_targets.Asm_section.t list
val is_delayed : Asm_targets.Asm_section.t -> bool
val details : Asm_targets.Asm_section.t -> first_occurrence:bool -> Asm_targets.Asm_section.section_details

The necessary information for a section directive. first_occurrence should be true iff the corresponding directive will be the first such in the relevant assembly file for the given section.

val section_is_text : Asm_targets.Asm_section.t -> bool

Whether the section holds code.