include/utils64.ml

   1 IFNDEF UTILS64__ML__
   2 THEN
   3 DEFINE UTILS64__ML__
   4     DEFINE WORDSIZE = 64
   5     DEFINE HALFWORDSIZE = 32
   6     DEFINE INTSIZE = 63
   7     DEFINE HALFINTSIZE = 31
   8     DEFINE HALF_MAX_INT = 2305843009213693951
   9     DEFINE HPARAM = 65599
  10     DEFINE HPARAM2 = 4303228801
  11     DEFINE HPARAM3 = 282287506116799
  12     DEFINE HPARAM4 = 71034040046345985
  13 END