summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarel Gardas <karel.gardas@centrum.cz>2012-02-14 08:01:47 +0100
committerSimon Marlow <marlowsd@gmail.com>2012-02-16 10:42:03 +0000
commitf3f8c90638e38088c3c8ea251f5c8e54e4047fe7 (patch)
tree4374db20edddbc4eb152ddd01ea023dbb2187153
parent9fa9dd773fc10a89b05d1456cfe55b79c5bd608c (diff)
downloadhaskell-f3f8c90638e38088c3c8ea251f5c8e54e4047fe7.tar.gz
fix ARM's StgCRun clobbered register list for both ARM and Thumb modes
-rw-r--r--rts/StgCRun.c16
1 files changed, 15 insertions, 1 deletions
diff --git a/rts/StgCRun.c b/rts/StgCRun.c
index 17aefb6c88..9ca22d2b12 100644
--- a/rts/StgCRun.c
+++ b/rts/StgCRun.c
@@ -672,7 +672,21 @@ StgRun(StgFunPtr f, StgRegTable *basereg) {
"ldmfd sp!, {r4-r11, fp, ip, lr}\n\t"
: "=r" (r)
: "r" (f), "r" (basereg), "i" (RESERVED_C_STACK_BYTES)
- : "%r4", "%r5", "%r6", "%r8", "%r9", "%r10", "%r11", "%fp", "%ip", "%lr"
+#if !defined(__thumb__)
+ /* In ARM mode, r11/fp is frame-pointer and so we cannot mark
+ it as clobbered. If we do so, GCC complains with error. */
+ : "%r4", "%r5", "%r6", "%r7", "%r8", "%r9", "%r10", "%ip", "%lr"
+#else
+ /* In Thumb mode r7 is frame-pointer and so we cannot mark it
+ as clobbered. On the other hand we mark as clobbered also
+ those regs not used in Thumb mode. Hard to judge if this is
+ needed, but certainly Haskell code is using them for
+ placing GHC's virtual registers there. See
+ includes/stg/MachRegs.h Please note that Haskell code is
+ compiled by GHC/LLVM into ARM code (not Thumb!), at least
+ as of February 2012 */
+ : "%r4", "%r5", "%r6", "%r8", "%r9", "%r10", "%fp", "%ip", "%lr"
+#endif
);
return r;
}