From: Kim Nguyễn <kn@lri.fr>
Date: Mon, 2 Apr 2012 12:37:21 +0000 (+0200)
Subject: Add efficient compare_int in INCLUDED .ml files.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=SXSI%2Fxpathcomp.git;a=commitdiff_plain;h=9f548bb9ce8e238184d27965a560f1af882c0627

Add efficient compare_int in INCLUDED .ml files.
---

diff --git a/include/utils.ml b/include/utils.ml
index 7d3690a..fcb74c1 100644
--- a/include/utils.ml
+++ b/include/utils.ml
@@ -131,7 +131,8 @@ let next_power2 v =
     v+1
 
 external vb : bool -> int = "%identity"
-
+let compare_int x y = vb (x > y) - vb (x < y)
+let compare_int_unsafe x y = x - y
 
 
 END (* IFNDEF UTILS__ML__ *)