Usable version:

[tatoo.git] / include / utils32.ml

diff --git a/include/utils32.ml b/include/utils32.ml
new file mode 100644 (file)
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