Module `Asm_targets.Asm_section`

Representation of object file sections.

type dwarf_section =

| Debug_info
| Debug_abbrev
| Debug_aranges
| Debug_addr
| Debug_loc
| Debug_ranges
| Debug_loclists
| Debug_rnglists
| Debug_str
| Debug_line

Sections that hold DWARF debugging information.

type t =

| DWARF of dwarf_section
| Data
| Read_only_data
| Eight_byte_literals
| Sixteen_byte_literals
| Thirtytwo_byte_literals
| Sixtyfour_byte_literals
| Jump_tables
| Text
| Function_text of string
(*
Individual function section, e.g. ".text.caml.func"
*)
| Stapsdt_base
| Stapsdt_note
| Probes
| Note_ocaml_eh
| Note_gnu_stack
| Custom of {
1. names : string list;
2. flags : string option;
3. args : string list;
4. is_delayed : bool;
}
(*
A custom section with explicit details, for target-specific sections not covered by the other variants.
*)

val to_string : t -> string

val of_names : string list -> t option

type section_details = private {

names : string list;
flags : string option;
args : string list;
is_delayed : bool;

}

val dwarf_sections_in_order : unit -> t list

val is_delayed : t -> bool

val details : 
  t ->
  [ `First_occurrence | `Not_first_occurrence ] ->
  section_details

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

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

val compare : t -> t -> int

val equal : t -> t -> bool

val hash : t -> int

module Tbl : Hashtbl.S with type key = t

val section_is_text : t -> bool

Whether the section holds code.

Module Asm_targets.Asm_section

Module `Asm_targets.Asm_section`