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/PrintAsm.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/PrintAsm.ml')
| -rw-r--r-- | backend/PrintAsm.ml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 104440c6..59570957 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -79,7 +79,6 @@ module Printer(Target:TARGET) = List.iter (Target.print_init oc) id let print_var oc name v = - if !Clflags.option_g && Configuration.advanced_debug then Target.add_var_location name; match v.gvar_init with | [] -> () | _ -> @@ -120,14 +119,10 @@ module Printer(Target:TARGET) = let get_end_addr = Target.get_end_addr let get_stmt_list_addr = Target.get_stmt_list_addr let name_of_section = Target.name_of_section - let get_location a = None - let get_frame_base a = None let symbol = Target.symbol end - module DebugPrinter = DwarfPrinter (DwarfTarget) (Target.DwarfAbbrevs) - - + module DebugPrinter = DwarfPrinter (DwarfTarget) end let print_program oc p db = |