projects
/
tatoo.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
2c610cdb051b173756b10055b25825597e163a79
[tatoo.git]
/
utils32.ml
1
IFNDEF UTILS32__ML__
2
THEN
3
DEFINE UTILS32__ML__
4
DEFINE WORDSIZE = 32
5
6
7
DEFINE HALFWORDSIZE = 16
8
DEFINE INTSIZE = 31
9
DEFINE HALFINTSIZE = 15
10
DEFINE HALF_MAX_INT = 536870911
11
DEFINE HPARAM = 65599
12
DEFINE HPARAM2 = 8261505
13
DEFINE HPARAM3 = 780587199
14
DEFINE HPARAM4 = 549173308
15
END