Permalink
Browse files

[arm] Emit debug information in the ARM backend.

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12465 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information...
bmeurer
bmeurer committed May 17, 2012
1 parent e7f542b commit 1edf23e2c70bac08139c53c58c463db75ee1b8be
Showing with 3 additions and 0 deletions.
  1. +3 −0 asmcomp/arm/emit.mlp
View
@@ -347,6 +347,7 @@ let emit_load_symbol_addr dst s =
(* Output the assembly code for an instruction *)
let emit_instr i =
+ emit_debug_info i.dbg;
match i.desc with
Lend -> 0
| Lop(Imove | Ispill | Ireload) ->
@@ -831,6 +832,7 @@ let fundecl fundecl =
` .arm\n`;
` .type {emit_symbol fundecl.fun_name}, %function\n`;
`{emit_symbol fundecl.fun_name}:\n`;
+ emit_debug_info fundecl.fun_dbg;
if !Clflags.gprofile then emit_profile();
let n = frame_size() in
ignore(emit_stack_adjustment "sub" n);
@@ -869,6 +871,7 @@ let data l =
(* Beginning / end of an assembly file *)
let begin_assembly() =
+ reset_debug_info();
` .syntax unified\n`;
begin match !arch with
| ARMv4 -> ` .arch armv4t\n`

0 comments on commit 1edf23e

Please sign in to comment.