1 files changed, 55 insertions, 0 deletions
diff --git a/debug/DwarfDiab.ml b/debug/DwarfDiab.ml
new file mode 100644
index 00000000..a852053f
--- /dev/null
+++ b/debug/DwarfDiab.ml
@@ -0,0 +1,55 @@
+(* *********************************************************************)
+(*                                                                     *)
+(*              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)