diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-17 18:19:37 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-17 18:19:37 +0200 |
commit | c8a0b76c6b9c3eb004a7fccdd2ad15cc8615ef93 (patch) | |
tree | c9dacff414156d4d527ac40078cbdc51f160c8d0 /powerpc | |
parent | 98cddc7ba45b34fbd71d9a80c27a8e5ec6b311b0 (diff) | |
download | compcert-c8a0b76c6b9c3eb004a7fccdd2ad15cc8615ef93.tar.gz compcert-c8a0b76c6b9c3eb004a7fccdd2ad15cc8615ef93.zip |
First version with computation of dwarf info from debug info.
Introduced a new dwarf generation from the information collected in
the DebugInformation and removed the old CtODwarf translation.
Diffstat (limited to 'powerpc')
-rw-r--r-- | powerpc/TargetPrinter.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 409f2cc0..c126f641 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -246,8 +246,9 @@ module Diab_System : SYSTEM = let filenum : (string,int) Hashtbl.t = Hashtbl.create 7 - let additional_debug_sections: StringSet.t ref = ref StringSet.empty + module StringSet = Set.Make(String) + let additional_debug_sections: StringSet.t ref = ref StringSet.empty let print_epilogue oc = if !Clflags.option_g then @@ -257,10 +258,10 @@ module Diab_System : SYSTEM = end_addr := label_end; fprintf oc "%a:\n" label label_end; fprintf oc " .text\n"; - StringSet.iter (fun file -> + Debug.all_files_iter (fun file -> let label = new_label () in Hashtbl.add filenum file label; - fprintf oc ".L%d: .d2filenum \"%s\"\n" label file) !all_files; + fprintf oc ".L%d: .d2filenum \"%s\"\n" label file); fprintf oc " .d2_line_end\n"; StringSet.iter (fun s -> fprintf oc " %s\n" s; |