diff options
| author | Luc Maranget <luc.maranget@inria.fr> | 2010-01-25 14:52:00 +0000 |
|---|---|---|
| committer | Luc Maranget <luc.maranget@inria.fr> | 2010-01-25 14:52:00 +0000 |
| commit | e7ada9b93a02d39cd62f6fd7d9f629429ef51273 (patch) | |
| tree | 0d5771c12e6ab43afb23e5976c1ab35686a66b30 /byterun/interp.c | |
| parent | 924e832b687e914f4173bb52ec39806b1b6192a8 (diff) | |
| download | ocaml-jo311.tar.gz | |
Preparing relase 3.11.2jo311
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/jo311@9590 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/interp.c')
| -rw-r--r-- | byterun/interp.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/byterun/interp.c b/byterun/interp.c index bbd8367e8a..a162a1327d 100644 --- a/byterun/interp.c +++ b/byterun/interp.c @@ -157,7 +157,8 @@ sp is a local copy of the global variable caml_extern_sp. */ #define SP_REG asm("a4") #define ACCU_REG asm("d7") #endif -#ifdef __arm__ +/* PR#4953: these specific registers not available in Thumb mode */ +#if defined (__arm__) && !defined(__thumb__) #define PC_REG asm("r9") #define SP_REG asm("r8") #define ACCU_REG asm("r7") |