summaryrefslogtreecommitdiffstats
path: root/byterun/interp.c
diff options
context:
space:
mode:
authorLuc Maranget <luc.maranget@inria.fr>2001-02-19 20:27:52 +0000
committerLuc Maranget <luc.maranget@inria.fr>2001-02-19 20:27:52 +0000
commiteb7578b8db11dbed6960a35abab066ca514592ff (patch)
treead68142169fee502c7f60d073af69121c726495d /byterun/interp.c
parenta9c4a16caaac6a3fe6907dd87cc63366fc492ef8 (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.c6
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;
}