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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
/**************************************************************************/
/* */
/* OCaml */
/* */
/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */
/* */
/* Copyright 1996 Institut National de Recherche en Informatique et */
/* en Automatique. */
/* */
/* All rights reserved. This file is distributed under the terms of */
/* the GNU Lesser General Public License version 2.1, with the */
/* special exception on linking described in the file LICENSE. */
/* */
/**************************************************************************/
/* Processor dependencies */
#define ARCH_SIXTYFOUR
/* Define ARCH_SIXTYFOUR if the processor has a natural word size of 64 bits.
That is, sizeof(char *) = 8.
Otherwise, leave ARCH_SIXTYFOUR undefined.
This assumes sizeof(char *) = 4. */
/* #define ARCH_BIG_ENDIAN */
/* Define ARCH_BIG_ENDIAN if the processor is big endian (the most
significant byte of an integer stored in memory comes first).
Leave ARCH_BIG_ENDIAN undefined if the processor is little-endian
(the least significant byte comes first).
*/
#define ARCH_ALIGN_DOUBLE
/* Define ARCH_ALIGN_DOUBLE if the processor requires doubles to be
doubleword-aligned. Leave ARCH_ALIGN_DOUBLE undefined if the processor
supports word-aligned doubles. */
#undef ARCH_CODE32
/* Define ARCH_CODE32 if, on a 64-bit machine, code pointers fit in 32 bits,
i.e. the code segment resides in the low 4G of the addressing space.
ARCH_CODE32 is ignored on 32-bit machines. */
#define SIZEOF_INT 4
#define SIZEOF_LONG 8
#define SIZEOF_PTR 8
#define SIZEOF_SHORT 2
/* Define SIZEOF_INT, SIZEOF_LONG, SIZEOF_PTR and SIZEOF_SHORT
to the sizes in bytes of the C types "int", "long", "char *" and "short",
respectively. */
#define ARCH_INT64_TYPE long long
#define ARCH_UINT64_TYPE unsigned long long
/* Define ARCH_INT64_TYPE and ARCH_UINT64_TYPE to 64-bit integer types,
typically "long long" and "unsigned long long" on 32-bit platforms,
and "long" and "unsigned long" on 64-bit platforms.
If the C compiler doesn't support any 64-bit integer type,
leave both ARCH_INT64_TYPE and ARCH_UINT64_TYPE undefined. */
#define ARCH_INT64_PRINTF_FORMAT "ll"
/* Define ARCH_INT64_PRINTF_FORMAT to the printf format used for formatting
values of type ARCH_INT64_TYPE. This is usually "ll" on 32-bit
platforms and "l" on 64-bit platforms.
Leave undefined if ARCH_INT64_TYPE is undefined. */
#define ARCH_ALIGN_INT64
/* Define ARCH_ALIGN_INT64 if the processor requires 64-bit integers to be
doubleword-aligned. Leave ARCH_ALIGN_INT64 undefined if the processor
supports word-aligned 64-bit integers. Leave undefined if
64-bit integers are not supported. */
#undef NONSTANDARD_DIV_MOD
/* Leave NONSTANDARD_DIV_MOD undefined if the C operators / and % implement
round-towards-zero semantics, as specified by ISO C 9x and implemented
by most contemporary processors. Otherwise, or if you don't know,
define NONSTANDARD_DIV_MOD: this will select a slower but correct
software emulation of division and modulus. */
#define PROFINFO_WIDTH 0
#define INT64_LITERAL(s) s ## LL
|
