diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-28 17:04:56 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-06-28 17:04:56 +0200 |
| commit | 711cea9fc37e777487abc815730aacde2b00aef3 (patch) | |
| tree | f9480756132b098cb42d9853a5a188fdb156c697 /backend/PrintAsm.ml | |
| parent | 56a6795d82c5ff0af78872a3e807b48c556ce5fe (diff) | |
| download | compcert-kvx-711cea9fc37e777487abc815730aacde2b00aef3.tar.gz compcert-kvx-711cea9fc37e777487abc815730aacde2b00aef3.zip | |
Activate advanced debug information for arm, ia32.
The configuration advanced debug is removed and now full debug
information is also generated for ia32 and arm.
Bug 17609
Diffstat (limited to 'backend/PrintAsm.ml')
| -rw-r--r-- | backend/PrintAsm.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 96aa080e..8e43a050 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -30,7 +30,7 @@ module Printer(Target:TARGET) = s,e let print_debug_label oc l = - if !Clflags.option_g && Configuration.advanced_debug then + if !Clflags.option_g then fprintf oc "%a:\n" Target.label l else () @@ -49,7 +49,7 @@ module Printer(Target:TARGET) = if not (C2C.atom_is_static name) then fprintf oc " .globl %a\n" Target.symbol name; Target.print_optional_fun_info oc; - let s,e = if !Clflags.option_g && Configuration.advanced_debug then + let s,e = if !Clflags.option_g then get_fun_addr name text else -1,-1 in @@ -126,7 +126,7 @@ let print_program oc p = Target.print_prologue oc; List.iter (Printer.print_globdef oc) p.prog_defs; Target.print_epilogue oc; - if !Clflags.option_g && Configuration.advanced_debug then + if !Clflags.option_g then begin let atom_to_s s = let s = C2C.atom_sections s in |