diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-11 18:02:36 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-03-11 18:02:36 +0100 |
commit | a84576b219c797467e480508fc99ba78260062df (patch) | |
tree | 8b7d42d170270bb9a7a53be00c63d60591113f9c /debug/DwarfUtil.ml | |
parent | a6924f1a53c1ab2edeb4df4833cbc341e4f2d256 (diff) | |
download | compcert-a84576b219c797467e480508fc99ba78260062df.tar.gz compcert-a84576b219c797467e480508fc99ba78260062df.zip |
Started integrating the debug printing in the common backend_printer.
Diffstat (limited to 'debug/DwarfUtil.ml')
-rw-r--r-- | debug/DwarfUtil.ml | 35 |
1 files changed, 33 insertions, 2 deletions
diff --git a/debug/DwarfUtil.ml b/debug/DwarfUtil.ml index 79516e65..cc1f267d 100644 --- a/debug/DwarfUtil.ml +++ b/debug/DwarfUtil.ml @@ -16,7 +16,7 @@ open DwarfTypes let id = ref 0 -let next_id () = +let next_id () = let nid = !id in incr id; nid @@ -27,7 +27,7 @@ let reset_id () = let type_table: (string, int) Hashtbl.t = Hashtbl.create 7 (* Clear the type map *) -let reset_type_table () = +let reset_type_table () = Hashtbl.clear type_table (* Generate a new entry from a given tag *) @@ -86,3 +86,34 @@ let dw_form_ref4 = 0x13 let dw_form_ref8 = 0x14 let dw_ref_udata = 0x15 let dw_ref_indirect = 0x16 + +module DefaultAbbrevs = + struct + let sibling_type_abbr = dw_form_ref4 + let decl_file_type_abbr = dw_form_data4 + let decl_line_type_abbr = dw_form_udata + let type_abbr = dw_form_ref_addr + let name_type_abbr = dw_form_string + let encoding_type_abbr = dw_form_data1 + let byte_size_type_abbr = dw_form_data1 + let high_pc_type_abbr = dw_form_addr + let low_pc_type_abbr = dw_form_addr + let stmt_list_type_abbr = dw_form_data4 + let declaration_type_abbr = dw_form_flag + let external_type_abbr = dw_form_flag + let prototyped_type_abbr = dw_form_flag + let bit_offset_type_abbr = dw_form_data1 + let comp_dir_type_abbr = dw_form_string + let language_type_abbr = dw_form_udata + let producer_type_abbr = dw_form_string + let value_type_abbr = dw_form_sdata + let artificial_type_abbr = dw_form_flag + let variable_parameter_type_abbr = dw_form_flag + let bit_size_type_abbr = dw_form_data1 + let location_const_type_abbr = dw_form_data4 + let location_block_type_abbr = dw_form_block + let data_location_block_type_abbr = dw_form_block + let data_location_ref_type_abbr = dw_form_ref4 + let bound_const_type_abbr = dw_form_udata + let bound_ref_type_abbr=dw_form_ref4 + end |