From: kim Date: Fri, 17 Apr 2009 00:15:38 +0000 (+0000) Subject: adding utils.ml X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=978f182e9ce00820c1ce8c721f61ab57afabd160;hp=05d12de7ce75866e7e7e19fba37720fda99c38ad;p=SXSI%2Fxpathcomp.git adding utils.ml git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@326 3cdefd35-fc62-479d-8e8d-bae585ffb9ca --- diff --git a/utils.ml b/utils.ml new file mode 100644 index 0000000..e6cbff0 --- /dev/null +++ b/utils.ml @@ -0,0 +1,24 @@ +IFNDEF UTILS_ML__ +THEN +DEFINE UTILS__ML__ + + +IFDEF WORDSIZE64 +THEN + DEFINE WORDSIZE = 64 + DEFINE HALFWORDSIZE = 32 + DEFINE INTSIZE = 63 + DEFINE HALFINTSIZE = 31 +ELSE + DEFINE WORDSIZE = 32 + DEFINE HALFWORDSIZE = 16 + DEFINE INTSIZE = 31 + DEFINE HALFINTSIZE = 15 +END + +DEFINE ROTATEHALF (x) = (((x) lsl HALFINTSIZE) lor ((x) lsr HALFINTSIZE)) +DEFINE HASHINT2 (x,y) = ((((x) lsl 16)+((x) lsl 8)-(x))+(y)) +DEFINE HASHINT3 (x,y,z) = (((((x) lsl 16)+((x) lsl 8)-(x))+(y))*65599+(z)) + + +END (* IFNDEF UTILS__ML__ *)