blob: a852053faec89b882627dedfc8756300fa50ec5e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
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)
|