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 /powerpc/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 'powerpc/TargetPrinter.ml')
-rw-r--r-- | powerpc/TargetPrinter.ml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index e53f56a9..c05c995a 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -869,23 +869,11 @@ module Target (System : SYSTEM):TARGET = let get_debug_start_addr () = !debug_start_addr - module DwarfAbbrevs = DwarfUtil.DefaultAbbrevs - let new_label = new_label let section oc sec = section oc sec; debug_section oc sec - - let locations = (Hashtbl.create 17 : (atom,DwarfTypes.location_value) Hashtbl.t) - - let get_location a = try Some (Hashtbl.find locations a) with Not_found -> None - - let get_segment_location _ = None - - let add_var_location a = - if !Clflags.option_g && Configuration.advanced_debug then - Hashtbl.add locations a (DwarfTypes.LocSymbol a); end let sel_target () = |