Cleanup of now no longer needed functions.

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