diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-15 12:20:57 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-15 12:20:57 +0100 |
commit | 6697f6e69fdf87e2de6f1f1b2846e3453c0e3a11 (patch) | |
tree | 5595a8860f6db26ccc015546362b7c3820836099 /powerpc/PrintDiab.ml | |
parent | 089a9c8d0eb0b44a12d4008739b7c1cbc9dccd14 (diff) | |
download | compcert-kvx-6697f6e69fdf87e2de6f1f1b2846e3453c0e3a11.tar.gz compcert-kvx-6697f6e69fdf87e2de6f1f1b2846e3453c0e3a11.zip |
Started implementation of printing the dwarf entries.
Diffstat (limited to 'powerpc/PrintDiab.ml')
-rw-r--r-- | powerpc/PrintDiab.ml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/powerpc/PrintDiab.ml b/powerpc/PrintDiab.ml index 84fd1a22..b39e8e7a 100644 --- a/powerpc/PrintDiab.ml +++ b/powerpc/PrintDiab.ml @@ -122,6 +122,8 @@ module Diab_System = lbl in fprintf oc "%a:\n" label lbl + let register_addr_label = Hashtbl.add addr_label_map + let print_prologue oc = fprintf oc " .xopt align-fill-text=0x60000000\n"; if !Clflags.option_g then @@ -215,5 +217,19 @@ module Diab_System = end) + let print_debug_info oc entry = + AbbrvPrinter.print_debug_abbrv oc entry; + let abbrv_start = AbbrvPrinter.get_abbrv_start_addr in + let debug_start = new_label () in + let print_info () = + fprintf oc" .section .debug_info,,n\n" in + print_info (); + fprintf oc "%a\n" label debug_start; + let debug_length_start = new_label () in (* Address used for length calculation *) + let debug_end = new_label () in + fprintf oc " .4byte %a-%a\n" label debug_end label debug_length_start; + fprintf oc "%a\n" label debug_length_start + + end:SYSTEM) |