diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2005-09-24 17:08:24 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2005-09-24 17:08:24 +0000 |
| commit | 85a401f88d63bcf300c622bd9d0f651ffb122e2e (patch) | |
| tree | 571b696ad51ce509adf7263fa671fb21194cc8c0 /byterun | |
| parent | 8549490a55680fa33eeaad5c071e938e677b6652 (diff) | |
Suppression micro-optimisation du dispatch pour l'IA64 -- pose probleme avec gcc 4 (PR#3749), et aller un poil plus vite sur IA64 n'a aucune importance
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7080 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun')
| -rw-r--r-- | byterun/interp.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/byterun/interp.c b/byterun/interp.c index e19d537ed..823c08731 100644 --- a/byterun/interp.c +++ b/byterun/interp.c @@ -55,11 +55,7 @@ sp is a local copy of the global variable caml_extern_sp. */ # ifdef DEBUG # define Next goto next_instr # else -# ifdef __ia64__ -# define Next goto *(void *)(jumptbl_base + *((uint32 *) pc)++) -# else -# define Next goto *(void *)(jumptbl_base + *pc++) -# endif +# define Next goto *(void *)(jumptbl_base + *pc++) # endif #else # define Instruct(name) case name |