diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-04 13:12:45 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-12-04 13:12:45 +0100 |
commit | 5735f427bb0e6698eb946b961baadfed0fac31e5 (patch) | |
tree | 939d1a2f1bb569c1057107e9760ce800ed235ce6 /powerpc/PrintUtil.ml | |
parent | 5435a0ac12625b356ecbd9faba1c7ec67f2477a7 (diff) | |
download | compcert-5735f427bb0e6698eb946b961baadfed0fac31e5.tar.gz compcert-5735f427bb0e6698eb946b961baadfed0fac31e5.zip |
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.
Diffstat (limited to 'powerpc/PrintUtil.ml')
-rw-r--r-- | powerpc/PrintUtil.ml | 3 |
1 files changed, 3 insertions, 0 deletions
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 = |