package typerex-binutils

  1. Overview
  2. Docs
module Word8 : sig ... end
module Word16 : sig ... end
module Word32 : sig ... end
module Word64 : sig ... end
module Int8 : sig ... end
module Int16 : sig ... end
module Int32 : sig ... end
module Int64 = Int64
type dwarf_line_number_information =
  1. | DW_LNI_special of Word64.t * Int64.t
  2. | DW_LNS_copy
  3. | DW_LNS_advance_pc of Word64.t
  4. | DW_LNS_advance_line of Int64.t
  5. | DW_LNS_set_file of Word64.t
  6. | DW_LNS_set_column of Word64.t
  7. | DW_LNS_negate_stmt
  8. | DW_LNS_set_basic_block
  9. | DW_LNS_const_add_pc of Word64.t
  10. | DW_LNS_fixed_advance_pc of Word64.t
  11. | DW_LNS_set_prologue_end
  12. | DW_LNS_set_epilogue_begin
  13. | DW_LNS_set_isa of Word64.t
  14. | DW_LNE_end_sequence
  15. | DW_LNE_set_address of Word64.t
  16. | DW_LNE_define_file of string * Word64.t * Word64.t * Word64.t
type dwarf_TAG =
  1. | DW_TAG_array_type
  2. | DW_TAG_class_type
  3. | DW_TAG_entry_point
  4. | DW_TAG_enumeration_type
  5. | DW_TAG_formal_parameter
  6. | DW_TAG_imported_declaration
  7. | DW_TAG_label
  8. | DW_TAG_lexical_block
  9. | DW_TAG_member
  10. | DW_TAG_pointer_type
  11. | DW_TAG_reference_type
  12. | DW_TAG_compile_unit
  13. | DW_TAG_string_type
  14. | DW_TAG_structure_type
  15. | DW_TAG_subroutine_type
  16. | DW_TAG_typedef
  17. | DW_TAG_union_type
  18. | DW_TAG_unspecified_parameters
  19. | DW_TAG_variant
  20. | DW_TAG_common_block
  21. | DW_TAG_common_inclusion
  22. | DW_TAG_inheritance
  23. | DW_TAG_inlined_subroutine
  24. | DW_TAG_module
  25. | DW_TAG_ptr_to_member_type
  26. | DW_TAG_set_type
  27. | DW_TAG_subrange_type
  28. | DW_TAG_with_stmt
  29. | DW_TAG_access_declaration
  30. | DW_TAG_base_type
  31. | DW_TAG_catch_block
  32. | DW_TAG_const_type
  33. | DW_TAG_constant
  34. | DW_TAG_enumerator
  35. | DW_TAG_file_type
  36. | DW_TAG_friend
  37. | DW_TAG_namelist
  38. | DW_TAG_namelist_item
  39. | DW_TAG_packed_type
  40. | DW_TAG_subprogram
  41. | DW_TAG_template_type_parameter
  42. | DW_TAG_template_value_parameter
  43. | DW_TAG_thrown_type
  44. | DW_TAG_try_block
  45. | DW_TAG_variant_part
  46. | DW_TAG_variable
  47. | DW_TAG_volatile_type
  48. | DW_TAG_dwarf_procedure
  49. | DW_TAG_restrict_type
  50. | DW_TAG_interface_type
  51. | DW_TAG_namespace
  52. | DW_TAG_imported_module
  53. | DW_TAG_unspecified_type
  54. | DW_TAG_partial_unit
  55. | DW_TAG_imported_unit
  56. | DW_TAG_condition
  57. | DW_TAG_shared_type
type dwarf_AT =
  1. | DW_AT_sibling
  2. | DW_AT_location
  3. | DW_AT_name
  4. | DW_AT_ordering
  5. | DW_AT_byte_size
  6. | DW_AT_bit_offset
  7. | DW_AT_bit_size
  8. | DW_AT_stmt_list
  9. | DW_AT_low_pc
  10. | DW_AT_high_pc
  11. | DW_AT_language
  12. | DW_AT_discr
  13. | DW_AT_discr_value
  14. | DW_AT_visibility
  15. | DW_AT_import
  16. | DW_AT_string_length
  17. | DW_AT_common_reference
  18. | DW_AT_comp_dir
  19. | DW_AT_const_value
  20. | DW_AT_containing_type
  21. | DW_AT_default_value
  22. | DW_AT_inline
  23. | DW_AT_is_optional
  24. | DW_AT_lower_bound
  25. | DW_AT_producer
  26. | DW_AT_prototyped
  27. | DW_AT_return_addr
  28. | DW_AT_start_scope
  29. | DW_AT_bit_stride
  30. | DW_AT_upper_bound
  31. | DW_AT_abstract_origin
  32. | DW_AT_accessibility
  33. | DW_AT_address_class
  34. | DW_AT_artificial
  35. | DW_AT_base_types
  36. | DW_AT_calling_convention
  37. | DW_AT_count
  38. | DW_AT_data_member_location
  39. | DW_AT_decl_column
  40. | DW_AT_decl_file
  41. | DW_AT_decl_line
  42. | DW_AT_declaration
  43. | DW_AT_discr_list
  44. | DW_AT_encoding
  45. | DW_AT_external
  46. | DW_AT_frame_base
  47. | DW_AT_friend
  48. | DW_AT_identifier_case
  49. | DW_AT_macro_info
  50. | DW_AT_namelist_item
  51. | DW_AT_priority
  52. | DW_AT_segment
  53. | DW_AT_specification
  54. | DW_AT_type
  55. | DW_AT_use_location
  56. | DW_AT_variable_parameter
  57. | DW_AT_virtuality
  58. | DW_AT_vtable_elem_location
  59. | DW_AT_allocated
  60. | DW_AT_associated
  61. | DW_AT_data_location
  62. | DW_AT_byte_stride
  63. | DW_AT_entry_pc
  64. | DW_AT_use_UTF8
  65. | DW_AT_extension
  66. | DW_AT_ranges
  67. | DW_AT_trampoline
  68. | DW_AT_call_column
  69. | DW_AT_call_file
  70. | DW_AT_call_line
  71. | DW_AT_description
  72. | DW_AT_binary_scale
  73. | DW_AT_decimal_scale
  74. | DW_AT_small
  75. | DW_AT_decimal_sign
  76. | DW_AT_digit_count
  77. | DW_AT_picture_string
  78. | DW_AT_mutable
  79. | DW_AT_threads_scaled
  80. | DW_AT_explicit
  81. | DW_AT_object_pointer
  82. | DW_AT_endianity
  83. | DW_AT_elemental
  84. | DW_AT_pure
  85. | DW_AT_recursive
  86. | DW_AT_user of Word64.t
type dwarf_FORM =
  1. | DW_FORM_addr
  2. | DW_FORM_block2
  3. | DW_FORM_block4
  4. | DW_FORM_data2
  5. | DW_FORM_data4
  6. | DW_FORM_data8
  7. | DW_FORM_string
  8. | DW_FORM_block
  9. | DW_FORM_block1
  10. | DW_FORM_data1
  11. | DW_FORM_flag
  12. | DW_FORM_sdata
  13. | DW_FORM_strp
  14. | DW_FORM_udata
  15. | DW_FORM_ref_addr
  16. | DW_FORM_ref1
  17. | DW_FORM_ref2
  18. | DW_FORM_ref4
  19. | DW_FORM_ref8
  20. | DW_FORM_ref_udata
  21. | DW_FORM_indirect
type dwarf_ATVAL =
  1. | DW_ATVAL_INT of Int64.t
  2. | DW_ATVAL_UINT of Word64.t
  3. | DW_ATVAL_STRING of string
  4. | DW_ATVAL_BLOB of string
  5. | DW_ATVAL_BOOL of bool
type dwarf_abbreviation = {
  1. abbrev_num : Word64.t;
  2. abbrev_tag : dwarf_TAG;
  3. abbrev_has_children : bool;
  4. abbrev_attributes : (dwarf_AT * dwarf_FORM) list;
}
type dward_DIE = {
  1. die_id : Word64.t;
  2. die_parent : Word64.t option;
  3. die_children : Word64.t list;
  4. die_sibling_left : Word64.t option;
  5. die_sibling_right : Word64.t option;
  6. die_tag : dwarf_TAG;
  7. die_attributes : (dwarf_AT * dwarf_ATVAL) list;
}
type dwarf_line_number_expression = {
  1. lnm_address : Word64.t;
  2. lnm_file : Word64.t;
  3. lnm_line : Word64.t;
  4. lnm_column : Word64.t;
  5. lnm_statement : bool;
  6. lnm_basicblock : bool;
  7. lnm_end_sequence : bool;
  8. lnm_prologue_end : bool;
  9. lnm_epilogue_begin : bool;
  10. lnm_ISA : Word64.t;
  11. lnm_files : (string * Word64.t * Word64.t * Word64.t) list;
}
type dwarf_MACINFO =
  1. | DW_MACINFO_define of Word64.t * string
  2. | DW_MACINFO_undef of Word64.t * string
  3. | DW_MACINFO_start_file of Word64.t * Word64.t
  4. | DW_MACINFO_end_file
  5. | DW_MACINFO_vendor_ext of Word64.t * string
type dwarf_CFA =
  1. | DW_CFA_advance_loc of Word8.t
  2. | DW_CFA_offset of Word8.t * Word64.t
  3. | DW_CFA_restore of Word8.t
  4. | DW_CFA_nop
  5. | DW_CFA_set_loc of Word64.t
  6. | DW_CFA_advance_loc1 of Word8.t
  7. | DW_CFA_advance_loc2 of Word16.t
  8. | DW_CFA_advance_loc4 of Word32.t
  9. | DW_CFA_offset_extended of Word64.t * Word64.t
  10. | DW_CFA_restore_extended of Word64.t
  11. | DW_CFA_undefined of Word64.t
  12. | DW_CFA_same_value of Word64.t
  13. | DW_CFA_register of Word64.t * Word64.t
  14. | DW_CFA_remember_state
  15. | DW_CFA_restore_state
  16. | DW_CFA_def_cfa of Word64.t * Word64.t
  17. | DW_CFA_def_cfa_register of Word64.t
  18. | DW_CFA_def_cfa_offset of Word64.t
  19. | DW_CFA_def_cfa_expression of string
  20. | DW_CFA_expression of Word64.t * string
  21. | DW_CFA_offset_extended_sf of Word64.t * Int64.t
  22. | DW_CFA_def_cfa_sf of Word64.t * Int64.t
  23. | DW_CFA_def_cfa_offset_sf of Int64.t
  24. | DW_CFA_val_offset of Word64.t * Word64.t
  25. | DW_CFA_val_offset_sf of Word64.t * Int64.t
  26. | DW_CFA_val_expression of Word64.t * string
type dwarf_CIE = {
  1. cie_augmentation : string;
  2. cie_codealignmentfactor : Word64.t;
  3. cie_dataalignmentfactor : Int64.t;
  4. cie_returnaddressregister : Word64.t;
  5. cie_initialinstructions : dwarf_CFA list;
}
type dwarf_FDE = {
  1. fde_ciepointer : Word64.t;
  2. fde_InitialLocation : Word64.t;
  3. fde_AddressRange : Word64.t;
  4. fde_Instructions : dwarf_CFA list;
}
type dwarf_CIEFDE =
  1. | DW_CIE of dwarf_CIE
  2. | DW_FDE of dwarf_FDE
type dwarf_OP =
  1. | DW_OP_addr of Word64.t
  2. | DW_OP_deref
  3. | DW_OP_const1u of Word8.t
  4. | DW_OP_const1s of Int8.t
  5. | DW_OP_const2u of Word16.t
  6. | DW_OP_const2s of Int16.t
  7. | DW_OP_const4u of Word32.t
  8. | DW_OP_const4s of Int32.t
  9. | DW_OP_const8u of Word64.t
  10. | DW_OP_const8s of Int64.t
  11. | DW_OP_constu of Word64.t
  12. | DW_OP_consts of Int64.t
  13. | DW_OP_dup
  14. | DW_OP_drop
  15. | DW_OP_over
  16. | DW_OP_pick of Word8.t
  17. | DW_OP_swap
  18. | DW_OP_rot
  19. | DW_OP_xderef
  20. | DW_OP_abs
  21. | DW_OP_and
  22. | DW_OP_div
  23. | DW_OP_minus
  24. | DW_OP_mod
  25. | DW_OP_mul
  26. | DW_OP_neg
  27. | DW_OP_not
  28. | DW_OP_or
  29. | DW_OP_plus
  30. | DW_OP_plus_uconst of Word64.t
  31. | DW_OP_shl
  32. | DW_OP_shr
  33. | DW_OP_shra
  34. | DW_OP_xor
  35. | DW_OP_skip of Int16.t
  36. | DW_OP_bra of Int16.t
  37. | DW_OP_eq
  38. | DW_OP_ge
  39. | DW_OP_gt
  40. | DW_OP_le
  41. | DW_OP_lt
  42. | DW_OP_ne
  43. | DW_OP_lit0
  44. | DW_OP_lit1
  45. | DW_OP_lit2
  46. | DW_OP_lit3
  47. | DW_OP_lit4
  48. | DW_OP_lit5
  49. | DW_OP_lit6
  50. | DW_OP_lit7
  51. | DW_OP_lit8
  52. | DW_OP_lit9
  53. | DW_OP_lit10
  54. | DW_OP_lit11
  55. | DW_OP_lit12
  56. | DW_OP_lit13
  57. | DW_OP_lit14
  58. | DW_OP_lit15
  59. | DW_OP_lit16
  60. | DW_OP_lit17
  61. | DW_OP_lit18
  62. | DW_OP_lit19
  63. | DW_OP_lit20
  64. | DW_OP_lit21
  65. | DW_OP_lit22
  66. | DW_OP_lit23
  67. | DW_OP_lit24
  68. | DW_OP_lit25
  69. | DW_OP_lit26
  70. | DW_OP_lit27
  71. | DW_OP_lit28
  72. | DW_OP_lit29
  73. | DW_OP_lit30
  74. | DW_OP_lit31
  75. | DW_OP_reg0
  76. | DW_OP_reg1
  77. | DW_OP_reg2
  78. | DW_OP_reg3
  79. | DW_OP_reg4
  80. | DW_OP_reg5
  81. | DW_OP_reg6
  82. | DW_OP_reg7
  83. | DW_OP_reg8
  84. | DW_OP_reg9
  85. | DW_OP_reg10
  86. | DW_OP_reg11
  87. | DW_OP_reg12
  88. | DW_OP_reg13
  89. | DW_OP_reg14
  90. | DW_OP_reg15
  91. | DW_OP_reg16
  92. | DW_OP_reg17
  93. | DW_OP_reg18
  94. | DW_OP_reg19
  95. | DW_OP_reg20
  96. | DW_OP_reg21
  97. | DW_OP_reg22
  98. | DW_OP_reg23
  99. | DW_OP_reg24
  100. | DW_OP_reg25
  101. | DW_OP_reg26
  102. | DW_OP_reg27
  103. | DW_OP_reg28
  104. | DW_OP_reg29
  105. | DW_OP_reg30
  106. | DW_OP_reg31
  107. | DW_OP_breg0 of Int64.t
  108. | DW_OP_breg1 of Int64.t
  109. | DW_OP_breg2 of Int64.t
  110. | DW_OP_breg3 of Int64.t
  111. | DW_OP_breg4 of Int64.t
  112. | DW_OP_breg5 of Int64.t
  113. | DW_OP_breg6 of Int64.t
  114. | DW_OP_breg7 of Int64.t
  115. | DW_OP_breg8 of Int64.t
  116. | DW_OP_breg9 of Int64.t
  117. | DW_OP_breg10 of Int64.t
  118. | DW_OP_breg11 of Int64.t
  119. | DW_OP_breg12 of Int64.t
  120. | DW_OP_breg13 of Int64.t
  121. | DW_OP_breg14 of Int64.t
  122. | DW_OP_breg15 of Int64.t
  123. | DW_OP_breg16 of Int64.t
  124. | DW_OP_breg17 of Int64.t
  125. | DW_OP_breg18 of Int64.t
  126. | DW_OP_breg19 of Int64.t
  127. | DW_OP_breg20 of Int64.t
  128. | DW_OP_breg21 of Int64.t
  129. | DW_OP_breg22 of Int64.t
  130. | DW_OP_breg23 of Int64.t
  131. | DW_OP_breg24 of Int64.t
  132. | DW_OP_breg25 of Int64.t
  133. | DW_OP_breg26 of Int64.t
  134. | DW_OP_breg27 of Int64.t
  135. | DW_OP_breg28 of Int64.t
  136. | DW_OP_breg29 of Int64.t
  137. | DW_OP_breg30 of Int64.t
  138. | DW_OP_breg31 of Int64.t
  139. | DW_OP_regx of Word64.t
  140. | DW_OP_fbreg of Int64.t
  141. | DW_OP_bregx of Word64.t * Int64.t
  142. | DW_OP_piece of Word64.t
  143. | DW_OP_deref_size of Word8.t
  144. | DW_OP_xderef_size of Word8.t
  145. | DW_OP_nop
  146. | DW_OP_push_object_address
  147. | DW_OP_call2 of Word16.t
  148. | DW_OP_call4 of Word32.t
  149. | DW_OP_call_ref of Word64.t
  150. | DW_OP_form_tls_address
  151. | DW_OP_call_frame_cfa
  152. | DW_OP_bit_piece of Word64.t * Word64.t
type dwarf_ATE =
  1. | DW_ATE_address
  2. | DW_ATE_boolean
  3. | DW_ATE_complex_float
  4. | DW_ATE_float
  5. | DW_ATE_signed
  6. | DW_ATE_signed_char
  7. | DW_ATE_unsigned
  8. | DW_ATE_unsigned_char
  9. | DW_ATE_imaginary_float
  10. | DW_ATE_packed_decimal
  11. | DW_ATE_numeric_string
  12. | DW_ATE_edited
  13. | DW_ATE_signed_fixed
  14. | DW_ATE_unsigned_fixed
  15. | DW_ATE_decimal_float
type dwarf_DS =
  1. | DW_DS_unsigned
  2. | DW_DS_leading_overpunch
  3. | DW_DS_trailing_overpunch
  4. | DW_DS_leading_separate
  5. | DW_DS_trailing_separate
type dwarf_END =
  1. | DW_END_default
  2. | DW_END_big
  3. | DW_END_little
type dwarf_ACCESS =
  1. | DW_ACCESS_public
  2. | DW_ACCESS_protected
  3. | DW_ACCESS_private
type dwarf_VIS =
  1. | DW_VIS_local
  2. | DW_VIS_exported
  3. | DW_VIS_qualified
type dwarf_VIRTUALITY =
  1. | DW_VIRTUALITY_none
  2. | DW_VIRTUALITY_virtual
  3. | DW_VIRTUALITY_pure_virtual
type dwarf_LANG =
  1. | DW_LANG_C89
  2. | DW_LANG_C
  3. | DW_LANG_Ada83
  4. | DW_LANG_C_plus_plus
  5. | DW_LANG_Cobol74
  6. | DW_LANG_Cobol85
  7. | DW_LANG_Fortran77
  8. | DW_LANG_Fortran90
  9. | DW_LANG_Pascal83
  10. | DW_LANG_Modula2
  11. | DW_LANG_Java
  12. | DW_LANG_C99
  13. | DW_LANG_Ada95
  14. | DW_LANG_Fortran95
  15. | DW_LANG_PLI
  16. | DW_LANG_ObjC
  17. | DW_LANG_ObjC_plus_plus
  18. | DW_LANG_UPC
  19. | DW_LANG_D
type dwarf_ID =
  1. | DW_ID_case_sensitive
  2. | DW_ID_up_case
  3. | DW_ID_down_case
  4. | DW_ID_case_insensitive
type dwarf_CC =
  1. | DW_CC_normal
  2. | DW_CC_program
  3. | DW_CC_nocall
type dwarf_INL =
  1. | DW_INL_not_inlined
  2. | DW_INL_inlined
  3. | DW_INL_declared_not_inlined
  4. | DW_INL_declared_inlined
type dwarf_ORD =
  1. | DW_ORD_row_major
  2. | DW_ORD_col_major
type dwarf_DSC =
  1. | DW_DSC_label
  2. | DW_DSC_range
type t =
  1. | ()
val default_LNE : bool -> dwarf_line_number_expression
val dw_ate : int -> dwarf_ATE
val dw_ds : int -> dwarf_DS
val dw_end : int -> dwarf_END
val dw_access : int -> dwarf_ACCESS
val dw_vis : int -> dwarf_VIS
val dw_virtuality : int -> dwarf_VIRTUALITY
val dw_lang : int -> dwarf_LANG
val dw_id : int -> dwarf_ID
val dw_cc : int -> dwarf_CC
val dw_inl : int -> dwarf_INL
val dw_ord : int -> dwarf_ORD
val dw_dsc : int -> dwarf_DSC
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct