diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-02 09:52:06 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-02 09:52:06 +0200 |
| commit | 13b1d1fbe9408659c278696fb6a0eb2f213ea78f (patch) | |
| tree | 2d55dd551bc1209323ac69d5ea8a67a55e1e2e66 /powerpc/TargetPrinter.ml | |
| parent | 2d96b7927719c3b61fe564e8ab273a1b154912a5 (diff) | |
| download | compcert-kvx-13b1d1fbe9408659c278696fb6a0eb2f213ea78f.tar.gz compcert-kvx-13b1d1fbe9408659c278696fb6a0eb2f213ea78f.zip | |
Always call print debug_section in the prologue.
Since files without function definition contain no function in the
Section_text the filenum would be empty otherwise.
Diffstat (limited to 'powerpc/TargetPrinter.ml')
| -rw-r--r-- | powerpc/TargetPrinter.ml | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index e77582b2..05ff3366 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -225,23 +225,6 @@ module Diab_System : SYSTEM = let cfi_adjust oc delta = () let cfi_rel_offset oc reg ofs = () - - let print_prologue oc = - fprintf oc " .xopt align-fill-text=0x60000000\n" - - let print_epilogue oc = - let end_label sec = - fprintf oc "\n"; - fprintf oc " %s\n" sec; - let label_end = new_label () in - fprintf oc "%a:\n" label label_end; - label_end - and entry_label f = - let label = new_label () in - fprintf oc ".L%d: .d2filenum \"%s\"\n" label f; - label - and end_line () = fprintf oc " .d2_line_end\n" in - Debug.compute_file_enum end_label entry_label end_line let debug_section oc sec = match sec with @@ -268,7 +251,24 @@ module Diab_System : SYSTEM = fprintf oc " .d2_line_start %s\n" line_name else () - + + let print_prologue oc = + fprintf oc " .xopt align-fill-text=0x60000000\n"; + debug_section oc Section_text + + let print_epilogue oc = + let end_label sec = + fprintf oc "\n"; + fprintf oc " %s\n" sec; + let label_end = new_label () in + fprintf oc "%a:\n" label label_end; + label_end + and entry_label f = + let label = new_label () in + fprintf oc ".L%d: .d2filenum \"%s\"\n" label f; + label + and end_line () = fprintf oc " .d2_line_end\n" in + Debug.compute_file_enum end_label entry_label end_line end |