diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-27 20:31:56 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-09-27 20:31:56 +0200 |
commit | f2350a3a112950bea11af821754d8f674dda9f9e (patch) | |
tree | 8c4992c27d93440f2aeb45c0c3364ff1eaeef861 | |
parent | 78df4fe4fad46fee83f5044525fd8e530d8da6ff (diff) | |
download | compcert-f2350a3a112950bea11af821754d8f674dda9f9e.tar.gz compcert-f2350a3a112950bea11af821754d8f674dda9f9e.zip |
Added back again the emitting of the debuging annotations for debuging
purpose.
-rw-r--r-- | powerpc/Asmexpand.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml index b40a9e53..013d3f0a 100644 --- a/powerpc/Asmexpand.ml +++ b/powerpc/Asmexpand.ml @@ -652,6 +652,7 @@ let expand_instruction id l = Debug.function_end id lbl | (Pbuiltin(EF_debug (kind,txt,_x),args,_) as i)::rest -> let kind = (P.to_int kind) in + emit i; begin match kind with | 1-> @@ -665,7 +666,7 @@ let expand_instruction id l = let lbl = get_lbl lbl in Debug.start_live_range txt lbl (1,a); aux (Some lbl) scopes rest - | None -> aux lbl scopes rest + | None -> aux lbl scopes rest end | 4 -> let lbl = get_lbl lbl in @@ -677,7 +678,7 @@ let expand_instruction id l = | Some a-> Debug.stack_variable txt (1,a); aux lbl scopes rest - | _ -> aux lbl scopes rest + | _ -> aux lbl scopes rest end | 6 -> let lbl = get_lbl lbl in @@ -685,7 +686,7 @@ let expand_instruction id l = expand_scope id lbl scopes scopes'; aux (Some lbl) scopes' rest | _ -> - emit i; aux None scopes rest + aux None scopes rest end | i::rest -> expand_instruction_simple i; aux None scopes rest in aux None [] l |