File: config.h

package info (click to toggle)
mlgmp 20021123-19
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 484 kB
  • ctags: 982
  • sloc: ansic: 3,257; ml: 2,686; makefile: 167
file content (70 lines) | stat: -rw-r--r-- 1,578 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
#define SERIALIZE
/*#define USE_MPFR*/
#define NDEBUG
#undef TRACE

#include <gmp.h>
#ifdef USE_MPFR
#include <mpfr.h>
/* If you use version 20011026 of MPFR, use
#define mpfr_get_z_exp mpz_get_fr */
#endif

/* This is the largest prime less than 2^32 */
#define HASH_MODULUS 4294967291UL

#ifdef TRACE
#define trace(x) do { fprintf(stderr, "mlgmp: %s%s\n", MODULE, #x);\
                      fflush(stderr); } while(0)
#else
#define trace(x)
#endif

#ifdef __GNUC__
#define noreturn __attribute__((noreturn))
#else
#define noreturn
#endif

/* In C99 or recent versions of gcc,
   - you can specify which field you want to initialize
   - you have "inline". */

#if defined(__GNUC__) || (defined(__STDC__) && __STDC_VERSION__ >= 199901L)
#define field(x) .x =
#else
#define field(x)
#define inline
#endif

#ifdef SERIALIZE
/* Sizes of types on arch 32/ arch 64 */

/* THOSE SIZES ARE A HACK. */

/* __mpz_struct = 2*int + ptr */
#define MPZ_SIZE_ARCH32 12
#define MPZ_SIZE_ARCH64 16

/* __mpq_struct = 2 * __mpz_struct */
#define MPQ_SIZE_ARCH32 (2 * MPZ_SIZE_ARCH32)
#define MPQ_SIZE_ARCH64 (2 * MPZ_SIZE_ARCH64)

/* __mpf_struct = 3 * int + ptr */
#define MPF_SIZE_ARCH32 16
#define MPF_SIZE_ARCH64 24

/* __mpfr_struct = 3 * int + ptr */
#define MPFR_SIZE_ARCH32 16
#define MPFR_SIZE_ARCH64 24

#include <stdint.h>

extern void serialize_int_4(int32_t i);
extern void serialize_block_1(void * data, long len);

extern uint32_t deserialize_uint_4(void);
extern int32_t deserialize_sint_4(void);
extern void deserialize_block_1(void * data, long len);

#endif /* SERIALIZE */