From 978f182e9ce00820c1ce8c721f61ab57afabd160 Mon Sep 17 00:00:00 2001 From: kim Date: Fri, 17 Apr 2009 00:15:38 +0000 Subject: [PATCH] adding utils.ml git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@326 3cdefd35-fc62-479d-8e8d-bae585ffb9ca --- utils.ml | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 utils.ml 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__ *) -- 2.17.1