From 5735f427bb0e6698eb946b961baadfed0fac31e5 Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
Date: Thu, 4 Dec 2014 13:12:45 +0100
Subject: Changed the d1line and d1file to d2line and d2file and prologue and
 epilogue printing for printing the line directives without forcing the
 assembler to generate debug information.

---
 powerpc/PrintUtil.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'powerpc/PrintUtil.ml')

diff --git a/powerpc/PrintUtil.ml b/powerpc/PrintUtil.ml
index 0acb7990..500ff1a3 100644
--- a/powerpc/PrintUtil.ml
+++ b/powerpc/PrintUtil.ml
@@ -35,6 +35,9 @@ module type SYSTEM =
       val cfi_adjust: out_channel -> int32 -> unit
       val cfi_rel_offset: out_channel -> string -> int32 -> unit
       val print_prologue: out_channel -> unit
+      val print_epilogue: out_channel -> unit
+      val print_addr_label: out_channel -> int -> unit
+      val set_compilation_unit_addrs: int -> int -> unit
     end
 
 let symbol oc symb =
-- 
cgit