diff options
author | Luc Maranget <luc.maranget@inria.fr> | 2001-02-19 20:27:52 +0000 |
---|---|---|
committer | Luc Maranget <luc.maranget@inria.fr> | 2001-02-19 20:27:52 +0000 |
commit | eb7578b8db11dbed6960a35abab066ca514592ff (patch) | |
tree | ad68142169fee502c7f60d073af69121c726495d /byterun/interp.c | |
parent | a9c4a16caaac6a3fe6907dd87cc63366fc492ef8 (diff) |
optimsation pm a donf
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/interp.c')
-rw-r--r-- | byterun/interp.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/byterun/interp.c b/byterun/interp.c index 537c2a4b5..b19cd18c8 100644 --- a/byterun/interp.c +++ b/byterun/interp.c @@ -745,10 +745,8 @@ value interprete(code_t prog, asize_t prog_size) pc += pc[(sizes & 0xFFFF) + index]; } else { long index = Long_val(accu); - if ((unsigned long) index < (sizes & 0xFFFF)) - pc += pc[index]; - else - pc += (sizes & 0xFFFF) + (sizes >> 16); + Assert ((unsigned long) index < (sizes & 0xFFFF)) ; + pc += pc[index]; } Next; } |