linksem 0.7 · OCaml Package

type input_section_rec = {

idx : Nat_big_num.num;
fname : string;
img : Elf_memory_image.elf_memory_image;
shndx : Nat_big_num.num;
secname : string;
isec : Elf_interpreted_section.elf64_interpreted_section;

}

type input_spec =

| Common of Nat_big_num.num * string * Elf_memory_image.elf_memory_image * Memory_image.symbol_definition
| InputSection of input_section_rec

type symbol_def_policy =

| AlwaysDefine
| ProvideIfUsed

type input_selector = input_spec list -> input_spec list

type address_expr = Memory_image.expr

type output_guard =

| AlwaysOutput
| OnlyIfRo
| OnlyIfRw

type symbol_spec =
  Nat_big_num.num * Uint32_wrapper.uint32 * Uint32_wrapper.uint32

type retain_policy =

| DefaultKeep
| KeepEvenWhenGC

type address_expr_fn_ref = Nat_big_num.num

type 'a address_expr_fn_map =
  (address_expr_fn_ref, Nat_big_num.num -> 'a -> Nat_big_num.num) Pmap.map

type output_section_composition_element =

| IncludeInputSection of retain_policy * input_section_rec
| IncludeCommonSymbol of retain_policy * string * Nat_big_num.num * Memory_image.symbol_definition * Elf_memory_image.elf_memory_image
| Hole of address_expr_fn
| ProvideSymbol of symbol_def_policy * string * symbol_spec

and sort_policy =

| DefaultSort
| SeenOrder
| ByName
| ByNameThenAlignment
| ByAlignment
| ByAlignmentThenName
| ByInitPriority

and output_section_spec =

| OutputSectionSpec of output_guard * Nat_big_num.num option * string * output_section_composition_element list

and allocated_sections_map =

| AllocatedSectionsMap of (string, output_section_spec * Nat_big_num.num) Pmap.map

and address_expr_fn =

| AddressExprFn of address_expr_fn_ref

type script_element =

| DefineSymbol of symbol_def_policy * string * symbol_spec
| AdvanceAddress of address_expr_fn
| MarkAndAlignDataSegment of Nat_big_num.num * Nat_big_num.num
| MarkDataSegmentEnd
| MarkDataSegmentRelroEnd
| OutputSection of output_guard * address_expr_fn option * string * script_element list
| DiscardInput of input_selector
| InputQuery of retain_policy * sort_policy * input_selector

type linker_control_script = script_element list

type labelled_linker_control_script = (script_element * Nat_big_num.num) list

val all_suffixes : char list -> char list list

val glob_match : char list -> char list -> bool

val default_symbol_spec : 
  Nat_big_num.num * Uint32_wrapper.uint32 * Uint32_wrapper.uint32

val hidden_symbol_spec : 
  Nat_big_num.num * Uint32_wrapper.uint32 * Uint32_wrapper.uint32

val only_sections : input_spec list -> input_spec list

val filter_and_concat : 
  (input_spec -> bool) ->
  input_spec list ->
  input_spec list

val name_matches : string -> input_spec -> bool

val file_matches : string -> input_spec -> bool

val compareInputSpecByNameThenAlignment : input_spec -> input_spec -> int

val compareInputSpecByAlignment : input_spec -> input_spec -> int

val compareInputSpecByName : input_spec -> input_spec -> int

val compareInputSpecByAlignmentThenName : input_spec -> input_spec -> int

val compareInputSpecByInitPriority : 'a -> 'b -> int

val has_writability : 'a -> input_spec -> bool

val address_zero : 
  Nat_big_num.num ->
  (Nat_big_num.num,
    Nat_big_num.num ->
    allocated_sections_map ->
    Nat_big_num.num)
    Pmap.map ->
  Nat_big_num.num
  * (Nat_big_num.num,
      Nat_big_num.num ->
      allocated_sections_map ->
      Nat_big_num.num)
      Pmap.map
  * address_expr_fn

val do_output_section_layout_starting_at_addr : 
  Nat_big_num.num ->
  allocated_sections_map ->
  output_section_composition_element list ->
  Nat_big_num.num * Nat_big_num.num list

val output_sec_composition_size_given_start_addr : 
  Nat_big_num.num ->
  allocated_sections_map ->
  output_section_composition_element list ->
  Nat_big_num.num

val sizeof : string -> allocated_sections_map -> Nat_big_num.num

val alignof_output_section_composition_element : 
  output_section_composition_element ->
  Nat_big_num.num

val alignof_output_section : 
  output_section_composition_element list ->
  Nat_big_num.num

val default_linker_control_script : 
  Nat_big_num.num ->
  (Nat_big_num.num,
    Nat_big_num.num ->
    allocated_sections_map ->
    Nat_big_num.num)
    Pmap.map ->
  'a Memory_image.abi ->
  Nat_big_num.num option ->
  Nat_big_num.num option ->
  'b ->
  Nat_big_num.num ->
  Nat_big_num.num
  * (Nat_big_num.num,
      Nat_big_num.num ->
      allocated_sections_map ->
      Nat_big_num.num)
      Pmap.map
  * script_element list

val interpret_guard : 
  output_guard ->
  output_section_composition_element list ->
  'a ->
  bool

val label_script_aux : 
  Nat_big_num.num ->
  script_element list ->
  (script_element * Nat_big_num.num) list

val label_script : 
  script_element list ->
  (script_element * Nat_big_num.num) list

type input_output_assignment =
  input_spec list * (output_section_spec * Nat_big_num.num) list

val assign_inputs_to_output_sections : 
  (input_spec list * (output_section_spec * Nat_big_num.num) list) ->
  (Nat_big_num.num * Nat_big_num.num) Pset.set ->
  (Nat_big_num.num * Nat_big_num.num * Nat_big_num.num) Pset.set ->
  input_spec list ->
  (output_section_spec * Nat_big_num.num) option ->
  input_spec option ->
  (input_spec -> input_spec -> int) ->
  labelled_linker_control_script ->
  input_spec list * (output_section_spec * Nat_big_num.num) list

val compute_def_use_and_gc : allocated_sections_map -> allocated_sections_map

val output_section_type : 
  output_section_composition_element list ->
  Nat_big_num.num

val output_section_flags : 
  output_section_composition_element list ->
  Nat_big_num.num

val symbol_def_for_provide_symbol : 
  string ->
  Nat_big_num.num ->
  Uint32_wrapper.uint32 ->
  Uint32_wrapper.uint32 ->
  Nat_big_num.num ->
  Memory_image.symbol_definition

val assign_dot_to_itself : 
  Nat_big_num.num ->
  (Nat_big_num.num,
    Nat_big_num.num ->
    allocated_sections_map ->
    Nat_big_num.num)
    Pmap.map ->
  Nat_big_num.num
  * (Nat_big_num.num,
      Nat_big_num.num ->
      allocated_sections_map ->
      Nat_big_num.num)
      Pmap.map
  * address_expr_fn

val build_image : 
  'a Memory_image.abi ->
  (address_expr_fn_ref,
    Nat_big_num.num ->
    allocated_sections_map ->
    Nat_big_num.num)
    Pmap.map ->
  Elf_memory_image.elf_memory_image ->
  Nat_big_num.num ->
  allocated_sections_map ->
  (string,
    (Nat_big_num.num
     * ((Nat_big_num.num
         * Memory_image.symbol_reference
         * Linkable_list.linkable_item)
        * (Nat_big_num.num
           * Memory_image.symbol_definition
           * Linkable_list.linkable_item)
            option))
      list)
    Pmap.map ->
  (script_element * Nat_big_num.num) list ->
  Nat_big_num.num ->
  'b ->
  Abis.any_abi_feature Memory_image.annotated_memory_image
  * allocated_sections_map

val default_place_orphans : 
  (input_spec list * (output_section_spec * Nat_big_num.num) list) ->
  input_spec list ->
  input_spec list * (output_section_spec * Nat_big_num.num) list

val interpret_linker_control_script : 
  (address_expr_fn_ref,
    Nat_big_num.num ->
    allocated_sections_map ->
    Nat_big_num.num)
    Pmap.map ->
  script_element list ->
  Linkable_list.linkable_item list ->
  Nat_big_num.num ->
  'a Memory_image.abi ->
  input_spec list ->
  (input_spec -> input_spec -> int) ->
  ((input_spec list * (output_section_spec * Nat_big_num.num) list) ->
    input_spec list ->
    'b * (output_section_spec * Nat_big_num.num) list) ->
  (string,
    (Nat_big_num.num
     * ((Nat_big_num.num
         * Memory_image.symbol_reference
         * Linkable_list.linkable_item)
        * (Nat_big_num.num
           * Memory_image.symbol_definition
           * Linkable_list.linkable_item)
            option))
      list)
    Pmap.map ->
  Abis.any_abi_feature Memory_image.annotated_memory_image
  * (string, (Nat_big_num.num * Linkable_list.binding) list) Pmap.map

package linksem