diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-27 20:13:19 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-27 20:13:19 +0200 |
| commit | 91ed1b752d2661478840e40a0d977b068d99490d (patch) | |
| tree | 5b0259e66fc0d35d335df6c1e36967c384ddf219 /arm/TargetPrinter.ml | |
| parent | 3e070cae6a316b7e3363c8159096c3bbc4bf21b2 (diff) | |
| download | compcert-kvx-91ed1b752d2661478840e40a0d977b068d99490d.tar.gz compcert-kvx-91ed1b752d2661478840e40a0d977b068d99490d.zip | |
Added printing the reference address for the LocRef and started refactoring old
Debuging code.
The old functions to store the symbol for the Global variables and retrive this
is no longer needed since the atom is stored in DebugInformation. Also the
Debug.Abbrev module is no longer needed.
Diffstat (limited to 'arm/TargetPrinter.ml')
| -rw-r--r-- | arm/TargetPrinter.ml | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml index 30166215..a7188206 100644 --- a/arm/TargetPrinter.ml +++ b/arm/TargetPrinter.ml @@ -908,20 +908,12 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET = let get_stmt_list_addr () = -1 (* Dummy constant *) let get_debug_start_addr () = -1 (* Dummy constant *) - - module DwarfAbbrevs = DwarfUtil.DefaultAbbrevs (* Dummy Abbrev types *) - + let label = elf_label let new_label = new_label let print_file_loc _ _ = () (* Dummy function *) - - let get_location _ = None (* Dummy function *) - - let get_segment_location _ = None (* Dummy function *) - - let add_var_location _ = () (* Dummy function *) end let sel_target () = |