aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-10-12 13:12:27 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2015-10-12 13:12:27 +0200
commit6f622eba1bb242bbbda107a2ad36245c69841360 (patch)
tree5e281befb4bbbd0a06d6f51bf774066c622df60b
parent3ab947ce345e9d18ddcda57d8f88b2a9b8f5d267 (diff)
downloadcompcert-6f622eba1bb242bbbda107a2ad36245c69841360.tar.gz
compcert-6f622eba1bb242bbbda107a2ad36245c69841360.zip
Fix minor typo introduced by refactoring of debug information.
The base register for the stack allocated variables should be r1 and not r2 under powerpc. Bug 17392
-rw-r--r--powerpc/Asmexpand.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml
index 9e22e4e0..2fedf0c7 100644
--- a/powerpc/Asmexpand.ml
+++ b/powerpc/Asmexpand.ml
@@ -719,7 +719,7 @@ let expand_function id fn =
try
set_current_function fn;
if !Clflags.option_g then
- expand_debug id 2 preg_to_dwarf expand_instruction fn.fn_code
+ expand_debug id 1 preg_to_dwarf expand_instruction fn.fn_code
else
List.iter expand_instruction fn.fn_code;
Errors.OK (get_current_function ())