diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-25 16:43:18 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-25 16:43:18 +0200 |
| commit | aff813685455559f6d6a88158dd3d605893ba3a3 (patch) | |
| tree | 41905241a6f4d2969ad77e3952f4427d3cb4613d /debug/DwarfUtil.ml | |
| parent | fc8afb9287ab7b1607e5a7d2a03b0078fd9867d0 (diff) | |
| download | compcert-kvx-aff813685455559f6d6a88158dd3d605893ba3a3.tar.gz compcert-kvx-aff813685455559f6d6a88158dd3d605893ba3a3.zip | |
Added support for the locations of stack allocated local variables.
This commit adds furher support for location information for local
variables and starts with the implementation of the debug_loc section.
Diffstat (limited to 'debug/DwarfUtil.ml')
| -rw-r--r-- | debug/DwarfUtil.ml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/debug/DwarfUtil.ml b/debug/DwarfUtil.ml index 4cd838b6..954324f1 100644 --- a/debug/DwarfUtil.ml +++ b/debug/DwarfUtil.ml @@ -76,6 +76,13 @@ let dw_form_ref8 = 0x14 let dw_ref_udata = 0x15 let dw_ref_indirect = 0x16 +(* Operation encoding *) +let dw_op_addr = 0x3 +let dw_op_plus_uconst = 0x23 +let dw_op_bregx = 0x92 +let dw_op_piece = 0x93 + + (* Default corresponding encoding for the different abbreviations *) module DefaultAbbrevs = struct @@ -100,7 +107,7 @@ module DefaultAbbrevs = 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_ref_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 |