diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-09 11:06:24 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-10-09 11:06:24 +0200 |
commit | 0ffd562ae1941e37471ac0c2b8f93bed1de26441 (patch) | |
tree | 2ac8382fa3a37568f32d27dbc3291c8cd97f13e2 /powerpc/TargetPrinter.ml | |
parent | f0a5038b4e4220300637d3e9e918d9ec31623108 (diff) | |
download | compcert-0ffd562ae1941e37471ac0c2b8f93bed1de26441.tar.gz compcert-0ffd562ae1941e37471ac0c2b8f93bed1de26441.zip |
Filled in the rest of the funciton needed for thte debug info under arm.
The name_of_section function no returns the correct name for the
debug sections, the prologue and epilogue directives are added and
the labels for the live ranges are introduced in the Asmexpand pass.
Diffstat (limited to 'powerpc/TargetPrinter.ml')
-rw-r--r-- | powerpc/TargetPrinter.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 530e269d..0f0ed357 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -126,7 +126,9 @@ module Linux_System : SYSTEM = | Section_debug_info _ -> ".section .debug_info,\"\",@progbits" | Section_debug_abbrev -> ".section .debug_abbrev,\"\",@progbits" | Section_debug_loc -> ".section .debug_loc,\"\",@progbits" - + | Section_debug_line _ -> ".section .debug_line,\"\",@progbits\n" + + let section oc sec = let name = name_of_section sec in assert (name <> "COMM"); @@ -146,9 +148,7 @@ module Linux_System : SYSTEM = let cfi_rel_offset = cfi_rel_offset let print_prologue oc = - if !Clflags.option_g then - begin - (* TODO print file *) + if !Clflags.option_g then begin section oc Section_text; let low_pc = new_label () in Debug.add_compilation_section_start ".text" low_pc; @@ -220,6 +220,7 @@ module Diab_System : SYSTEM = | Section_debug_info s -> sprintf ".section .debug_info%s,,n" (if s <> ".text" then s else "") | Section_debug_abbrev -> ".section .debug_abbrev,,n" | Section_debug_loc -> ".section .debug_loc,,n" + | Section_debug_line s -> sprintf ".section .debug_line.%s,,n\n" s; let section oc sec = let name = name_of_section sec in |