aboutsummaryrefslogtreecommitdiffstats
path: root/powerpc/TargetPrinter.ml
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-10-01 18:39:37 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2015-10-01 18:39:37 +0200
commitbc894f212d478b422f17ca0a0a207833838f173c (patch)
treebddc77784200d1474a967220d2223c109e181c75 /powerpc/TargetPrinter.ml
parenta594de0f1c15b71a423d2cfc51a5c603796deafa (diff)
downloadcompcert-kvx-bc894f212d478b422f17ca0a0a207833838f173c.tar.gz
compcert-kvx-bc894f212d478b422f17ca0a0a207833838f173c.zip
Cleanup of now no longer needed functions.
Diffstat (limited to 'powerpc/TargetPrinter.ml')
-rw-r--r--powerpc/TargetPrinter.ml23
1 files changed, 0 insertions, 23 deletions
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