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