Link (p.linksem.0.8.doc.linksem

Source

val all_common_symbols : 
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Memory_image.symbol_definition list

Sourceval def_is_in_reloc : (Linkable_list.linkable_object * 'a * 'b) -> bool

Source

val retrieve_binding_for_ref : 
  'b Lem_basic_classes.eq_class ->
  Memory_image.symbol_reference_and_reloc_site ->
  'b ->
  'a ->
  (string, ('e * (('b * Memory_image.symbol_reference * 'd) * 'c)) list)
    Pmap.map ->
  ('b * Memory_image.symbol_reference * 'd) * 'c

Source

type reloc_site_resolution =
  Memory_image.reloc_site * Linkable_list.binding * Memory_image.reloc_decision

Source

val mark_fate_of_relocs : 
  Nat_big_num.num ->
  'a Memory_image.abi ->
  Command_line.link_option Pset.set ->
  (string,
    ('b
     * ((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 ->
  'c ->
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  (Memory_image.reloc_site
   * ((Nat_big_num.num
       * Memory_image.symbol_reference
       * (Linkable_list.linkable_object
          * Input_list.input_item
          * Input_list.input_options))
      * (Nat_big_num.num
         * Memory_image.symbol_definition
         * (Linkable_list.linkable_object
            * Input_list.input_item
            * Input_list.input_options))
          option)
   * Memory_image.reloc_decision)
    list
  * Abis.any_abi_feature Memory_image.annotated_memory_image

Source

val strip_metadata_sections : 
  (Memory_image.reloc_site * 'a * Memory_image.reloc_decision) list ->
  Abis.any_abi_feature Memory_image.abi ->
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Abis.any_abi_feature Memory_image.annotated_memory_image

Source

val expand_sections_for_one_image : 
  Abis.any_abi_feature Memory_image.abi ->
  Command_line.link_option Pset.set ->
  (string,
    ('a
     * ((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 ->
  Nat_big_num.num ->
  (Linkable_list.linkable_object
   * (string * 'b * ('c * Input_list.origin_coord list))
   * 'd) ->
  bool ->
  (Memory_image.reloc_site
   * Linkable_list.binding
   * Memory_image.reloc_decision)
    list
  * Abis.any_abi_feature Memory_image.annotated_memory_image
  * Linker_script.input_spec list

Source

type reloc_resolution =
  Memory_image.reloc_site * Linkable_list.binding * Memory_image.reloc_decision

Source

val default_merge_generated : 
  Abis.any_abi_feature Memory_image.abi ->
  Elf_memory_image.elf_memory_image ->
  Linker_script.input_spec list list ->
  Linker_script.input_spec list list

Source

val expand_sections_for_all_inputs : 
  Abis.any_abi_feature Memory_image.abi ->
  Command_line.link_option Pset.set ->
  (string,
    ('a
     * ((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.abi ->
    Abis.any_abi_feature Memory_image.annotated_memory_image ->
    Linker_script.input_spec list list ->
    Linker_script.input_spec list list) ->
  (Nat_big_num.num
   * (Linkable_list.linkable_object
      * (string * 'b * ('c * Input_list.origin_coord list))
      * 'd))
    list ->
  ((Memory_image.reloc_site
    * Linkable_list.binding
    * Memory_image.reloc_decision)
     list
   * Abis.any_abi_feature Memory_image.annotated_memory_image
   * Linker_script.input_spec list)
    list

Source

val relocate_output_image : 
  Abis.any_abi_feature Memory_image.abi ->
  'a ->
  Abis.any_abi_feature Memory_image.annotated_memory_image ->
  Abis.any_abi_feature Memory_image.annotated_memory_image

Source

val link : 
  (Linker_script.address_expr_fn_ref,
    Nat_big_num.num ->
    Linker_script.allocated_sections_map ->
    Nat_big_num.num)
    Pmap.map ->
  Linker_script.script_element list ->
  Abis.any_abi_feature Memory_image.abi ->
  Command_line.link_option Pset.set ->
  Linkable_list.linkable_item list ->
  Abis.any_abi_feature Memory_image.annotated_memory_image