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 /backend/PrintAsmaux.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 'backend/PrintAsmaux.ml')
| -rw-r--r-- | backend/PrintAsmaux.ml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml index 3f0b3ea3..1c3b47b5 100644 --- a/backend/PrintAsmaux.ml +++ b/backend/PrintAsmaux.ml @@ -52,10 +52,6 @@ module type TARGET = val new_label: unit -> int val label: out_channel -> int -> unit val print_file_loc: out_channel -> file_loc -> unit - val get_location: P.t -> location_value option - val get_segment_location: P.t -> location_value option - val add_var_location: P.t -> unit - module DwarfAbbrevs: DWARF_ABBREVS end (* On-the-fly label renaming *) |