more tests against zero

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Luc Maranget 2001-04-30 18:51:44 +00:00
parent 046e095ec2
commit 62cf939f0d
1 changed files with 5 additions and 1 deletions

View File

@ -562,7 +562,11 @@ let rec c_test konst ctx ({cases=cases ; actions=actions} as s) =
let left = {s with cases=left}
and right = {s with cases=right} in
if less_tests cright cleft then
if i=1 && (lim+ctx.off)=1 && get_low cases 0+ctx.off=0 then
make_if_ne konst
ctx.arg 0
(c_test konst ctx right) (c_test konst ctx left)
else if less_tests cright cleft then
make_if_lt konst
ctx.arg (lim+ctx.off)
(c_test konst ctx left) (c_test konst ctx right)