X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Futils32.ml;fp=include%2Futils32.ml;h=2c610cdb051b173756b10055b25825597e163a79;hb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;hp=0000000000000000000000000000000000000000;hpb=a223af3254fb51c279cfbccdc18c59484fdca74e;p=SXSI%2Fxpathcomp.git

diff --git a/include/utils32.ml b/include/utils32.ml
new file mode 100644
index 0000000..2c610cd
--- /dev/null
+++ b/include/utils32.ml
@@ -0,0 +1,15 @@
+IFNDEF UTILS32__ML__
+THEN
+DEFINE UTILS32__ML__
+    DEFINE WORDSIZE = 32
+
+
+    DEFINE HALFWORDSIZE = 16
+    DEFINE INTSIZE = 31
+    DEFINE HALFINTSIZE = 15
+    DEFINE HALF_MAX_INT = 536870911
+    DEFINE HPARAM = 65599
+    DEFINE HPARAM2 = 8261505
+    DEFINE HPARAM3 = 780587199
+    DEFINE HPARAM4 = 549173308
+END