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/DwarfDiab.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/DwarfDiab.ml')
| -rw-r--r-- | debug/DwarfDiab.ml | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/debug/DwarfDiab.ml b/debug/DwarfDiab.ml deleted file mode 100644 index a852053f..00000000 --- a/debug/DwarfDiab.ml +++ /dev/null @@ -1,55 +0,0 @@ -(* *********************************************************************) -(* *) -(* The Compcert verified compiler *) -(* *) -(* Bernhard Schommer, AbsInt Angewandte Informatik GmbH *) -(* *) -(* AbsInt Angewandte Informatik GmbH. All rights reserved. This file *) -(* is distributed under the terms of the INRIA Non-Commercial *) -(* License Agreement. *) -(* *) -(* *********************************************************************) - -open Printf -open DwarfPrinter -open DwarfTypes -open DwarfUtil - -module AbbrvPrinter = DwarfPrinter(struct - let string_of_byte value = - Printf.sprintf " .byte %s\n" (if value then "0x1" else "0x2") - - let string_of_abbrv_entry v = - Printf.sprintf " .uleb128 %d\n" v - - 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) |