diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-14 18:06:04 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-14 18:08:25 +0200 |
commit | df78560fdf859644274dbdabccdd1fdb9e75634e (patch) | |
tree | 054d2a0fc3d1c9aaf09ba3d8985910e08ea6c7a6 /debug/DwarfTypes.mli | |
parent | ccfc5ced6a09ce2c8a1ebce81050c328c17c9bec (diff) | |
download | compcert-df78560fdf859644274dbdabccdd1fdb9e75634e.tar.gz compcert-df78560fdf859644274dbdabccdd1fdb9e75634e.zip |
More verbose debug printer.
Like, for example the clang, CompCert now prints a more detailed
descriptions of the debug information in the assembler file. For
each abbreviation and debug entry the dwarf attributes and their encodings
are added.
Bug 17392.
Diffstat (limited to 'debug/DwarfTypes.mli')
-rw-r--r-- | debug/DwarfTypes.mli | 28 |
1 files changed, 26 insertions, 2 deletions
diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index 7048d8d3..fb1725d9 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -60,12 +60,35 @@ type string_const = | Simple_string of string | Offset_string of reference -(* Types representing the attribute information per tag value *) - type file_loc = | Diab_file_loc of constant * constant | Gnu_file_loc of constant * constant +type dw_form = + | DW_FORM_addr + | DW_FORM_block2 + | DW_FORM_block4 + | DW_FORM_data2 + | DW_FORM_data4 + | DW_FORM_data8 + | DW_FORM_string + | DW_FORM_block + | DW_FORM_block1 + | DW_FORM_data1 + | DW_FORM_flag + | DW_FORM_sdata + | DW_FORM_strp + | DW_FORM_udata + | DW_FORM_ref_addr + | DW_FORM_ref1 + | DW_FORM_ref2 + | DW_FORM_ref4 + | DW_FORM_ref8 + | DW_FORM_ref_udata + | DW_FORM_ref_indirect + +(* Types representing the attribute information per tag value *) + type dw_tag_array_type = { array_type: reference; @@ -273,4 +296,5 @@ module type DWARF_TARGET= val label: out_channel -> int -> unit val section: out_channel -> section_name -> unit val symbol: out_channel -> atom -> unit + val comment: string end |