diff options
Diffstat (limited to 'backend/PrintAsm.ml')
-rw-r--r-- | backend/PrintAsm.ml | 54 |
1 files changed, 49 insertions, 5 deletions
diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index a6883339..11854ace 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -15,6 +15,7 @@ open AST open Asm open Camlcoq open Datatypes +open DwarfPrinter open PrintAsmaux open Printf open Sections @@ -23,6 +24,22 @@ open TargetPrinter module Printer(Target:TARGET) = struct + let addr_mapping: (string, (int * int)) Hashtbl.t = Hashtbl.create 7 + + let get_fun_addr name = + let name = extern_atom name in + let start_addr = new_label () + and end_addr = new_label () in + Hashtbl.add addr_mapping name (start_addr,end_addr); + start_addr,end_addr + + let print_debug_label oc l = + if !Clflags.option_g && Configuration.advanced_debug then + fprintf oc "%a:\n" Target.label l + else + () + + let print_location oc loc = if loc <> Cutil.no_loc then Target.print_file_line oc (fst loc) (snd loc) @@ -37,16 +54,21 @@ 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 + get_fun_addr name + else + -1,-1 in + print_debug_label oc s; fprintf oc "%a:\n" Target.symbol name; print_location oc (C2C.atom_location name); Target.cfi_startproc oc; Target.print_instructions oc fn; Target.cfi_endproc oc; + print_debug_label oc e; Target.print_fun_info oc name; Target.emit_constants oc lit; Target.print_jumptable oc jmptbl - - + let print_init_data oc name id = if Str.string_match PrintCsyntax.re_string_literal (extern_atom name) 0 && List.for_all (function Init_int8 _ -> true | _ -> false) id @@ -87,10 +109,25 @@ module Printer(Target:TARGET) = | Gfun (Internal code) -> print_function oc name code | Gfun (External ef) -> () | Gvar v -> print_var oc name v - + + module DwarfTarget: DwarfTypes.DWARF_TARGET = + struct + let label = Target.label + let name_of_section = Target.name_of_section + let print_file_loc = Target.print_file_loc + let get_start_addr = Target.get_start_addr + let get_end_addr = Target.get_end_addr + let get_stmt_list_addr = Target.get_stmt_list_addr + let name_of_section = Target.name_of_section + let get_fun_addr s = Hashtbl.find addr_mapping s + end + + module DebugPrinter = DwarfPrinter (DwarfTarget) (Target.DwarfAbbrevs) + + end -let print_program oc p = +let print_program oc p db = let module Target = (val (sel_target ()):TARGET) in let module Printer = Printer(Target) in PrintAnnot.reset_filenames (); @@ -98,4 +135,11 @@ let print_program oc p = Target.print_prologue oc; List.iter (Printer.print_globdef oc) p.prog_defs; Target.print_epilogue oc; - PrintAnnot.close_filenames () + PrintAnnot.close_filenames (); + if !Clflags.option_g && Configuration.advanced_debug then + begin + match db with + | None -> () + | Some db -> + Printer.DebugPrinter.print_debug oc db + end |