diff options
-rw-r--r-- | arm/TargetPrinter.ml | 12 | ||||
-rw-r--r-- | backend/PrintAsm.ml | 1 | ||||
-rw-r--r-- | backend/PrintAsmaux.ml | 5 | ||||
-rw-r--r-- | debug/DwarfTypes.mli | 1 | ||||
-rw-r--r-- | ia32/TargetPrinter.ml | 10 | ||||
-rw-r--r-- | powerpc/TargetPrinter.ml | 23 |
6 files changed, 1 insertions, 51 deletions
diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml index 86f9f973..8ba2818e 100644 --- a/arm/TargetPrinter.ml +++ b/arm/TargetPrinter.ml @@ -900,20 +900,10 @@ module Target (Opt: PRINTER_OPTIONS) : TARGET = let print_epilogue oc = () let default_falignment = 4 - - let get_start_addr () = -1 (* Dummy constant *) - - let get_end_addr () = -1 (* Dummy constant *) - - let get_stmt_list_addr () = -1 (* Dummy constant *) - - let get_debug_start_addr () = -1 (* Dummy constant *) - + let label = elf_label let new_label = new_label - - let print_file_loc _ _ = () (* Dummy function *) end let sel_target () = diff --git a/backend/PrintAsm.ml b/backend/PrintAsm.ml index 45b1e878..dba578b9 100644 --- a/backend/PrintAsm.ml +++ b/backend/PrintAsm.ml @@ -112,7 +112,6 @@ module Printer(Target:TARGET) = struct let label = Target.label let section = Target.section - let print_file_loc = Target.print_file_loc let name_of_section = Target.name_of_section let symbol = Target.symbol end diff --git a/backend/PrintAsmaux.ml b/backend/PrintAsmaux.ml index 079aa6fd..b18481da 100644 --- a/backend/PrintAsmaux.ml +++ b/backend/PrintAsmaux.ml @@ -45,13 +45,8 @@ module type TARGET = val comment: string val symbol: out_channel -> P.t -> unit val default_falignment: int - val get_start_addr: unit -> int - val get_end_addr: unit -> int - val get_stmt_list_addr: unit -> int - val get_debug_start_addr: unit -> int val new_label: unit -> int val label: out_channel -> int -> unit - val print_file_loc: out_channel -> file_loc -> unit end (* On-the-fly label renaming *) diff --git a/debug/DwarfTypes.mli b/debug/DwarfTypes.mli index 906b7cba..6c0af52b 100644 --- a/debug/DwarfTypes.mli +++ b/debug/DwarfTypes.mli @@ -254,7 +254,6 @@ type debug_entries = (string * int * dw_entry * dw_locations) list module type DWARF_TARGET= sig val label: out_channel -> int -> unit - val print_file_loc: out_channel -> file_loc -> unit val section: out_channel -> section_name -> unit val symbol: out_channel -> atom -> unit end diff --git a/ia32/TargetPrinter.ml b/ia32/TargetPrinter.ml index 51169d86..eba158db 100644 --- a/ia32/TargetPrinter.ml +++ b/ia32/TargetPrinter.ml @@ -767,19 +767,9 @@ module Target(System: SYSTEM):TARGET = let default_falignment = 16 - let get_start_addr () = -1 (* Dummy constant *) - - let get_end_addr () = -1 (* Dummy constant *) - - let get_stmt_list_addr () = -1 (* Dummy constant *) - - let get_debug_start_addr () = -1 (* Dummy constant *) - let label = label let new_label = new_label - - let print_file_loc _ _ = () (* Dummy function *) end diff --git a/powerpc/TargetPrinter.ml b/powerpc/TargetPrinter.ml index 3c73f22d..e77582b2 100644 --- a/powerpc/TargetPrinter.ml +++ b/powerpc/TargetPrinter.ml @@ -39,7 +39,6 @@ module type SYSTEM = val cfi_rel_offset: out_channel -> string -> int32 -> unit val print_prologue: out_channel -> unit val print_epilogue: out_channel -> unit - val print_file_loc: out_channel -> DwarfTypes.file_loc -> unit val section: out_channel -> section_name -> unit val debug_section: out_channel -> section_name -> unit end @@ -72,14 +71,6 @@ let float_reg_name = function | FPR24 -> "24" | FPR25 -> "25" | FPR26 -> "26" | FPR27 -> "27" | FPR28 -> "28" | FPR29 -> "29" | FPR30 -> "30" | FPR31 -> "31" -let start_addr = ref (-1) - -let end_addr = ref (-1) - -let stmt_list_addr = ref (-1) - -let debug_start_addr = ref (-1) - let label = elf_label module Linux_System : SYSTEM = @@ -156,8 +147,6 @@ module Linux_System : SYSTEM = let print_prologue oc = () let print_epilogue oc = () - - let print_file_loc _ _ = () let debug_section _ _ = () end @@ -254,10 +243,6 @@ module Diab_System : SYSTEM = and end_line () = fprintf oc " .d2_line_end\n" in Debug.compute_file_enum end_label entry_label end_line - let print_file_loc oc (file,col) = - fprintf oc " .4byte 1\n";(* label (Hashtbl.find filenum file);*) - fprintf oc " .uleb128 %d\n" col - let debug_section oc sec = match sec with | Section_debug_abbrev @@ -843,14 +828,6 @@ module Target (System : SYSTEM):TARGET = end let default_falignment = 4 - - let get_start_addr () = !start_addr - - let get_end_addr () = !end_addr - - let get_stmt_list_addr () = !stmt_list_addr - - let get_debug_start_addr () = !debug_start_addr let new_label = new_label |