From bc894f212d478b422f17ca0a0a207833838f173c Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 1 Oct 2015 18:39:37 +0200 Subject: Cleanup of now no longer needed functions. --- powerpc/TargetPrinter.ml | 23 ----------------------- 1 file changed, 23 deletions(-) (limited to 'powerpc/TargetPrinter.ml') 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 -- cgit