Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | /* Copyright (C) 2012,2014 Matthew Fluet. |
2 | * Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh | |
3 | * Jagannathan, and Stephen Weeks. | |
4 | * Copyright (C) 1997-2000 NEC Research Institute. | |
5 | * | |
6 | * MLton is released under a BSD-style license. | |
7 | * See the file MLton-LICENSE for details. | |
8 | */ | |
9 | ||
10 | #if (defined (MLTON_GC_INTERNAL_TYPES)) | |
11 | ||
12 | /* Layout of intInfs. | |
13 | * Note, the value passed around is a pointer to the obj member. | |
14 | */ | |
15 | struct GC_intInf_obj { | |
16 | mp_limb_t isneg; | |
17 | mp_limb_t limbs[1]; | |
18 | }; | |
19 | typedef struct GC_intInf { | |
20 | GC_arrayCounter counter; | |
21 | GC_arrayLength length; | |
22 | GC_header header; | |
23 | struct GC_intInf_obj obj; | |
24 | } __attribute__ ((packed)) *GC_intInf; | |
25 | ||
26 | COMPILE_TIME_ASSERT(GC_intInf__obj_packed, | |
27 | offsetof(struct GC_intInf, obj) == | |
28 | sizeof(GC_arrayCounter) | |
29 | + sizeof(GC_arrayLength) | |
30 | + sizeof(GC_header)); | |
31 | COMPILE_TIME_ASSERT(GC_intInf_obj__isneg_packed, | |
32 | offsetof(struct GC_intInf_obj, isneg) == | |
33 | 0); | |
34 | COMPILE_TIME_ASSERT(GC_intInf_obj__limbs_packed, | |
35 | offsetof(struct GC_intInf_obj, limbs) == | |
36 | 0 + sizeof(mp_limb_t)); | |
37 | ||
38 | #endif /* (defined (MLTON_GC_INTERNAL_TYPES)) */ | |
39 | ||
40 | #if (defined (MLTON_GC_INTERNAL_FUNCS)) | |
41 | ||
42 | COMPILE_TIME_ASSERT(sizeof_mp_limb_t__is_four_or_eight, | |
43 | (sizeof(mp_limb_t) == 4 || sizeof(mp_limb_t) == 8)); | |
44 | #define GC_INTINF_HEADER ( \ | |
45 | CHAR_BIT * sizeof(mp_limb_t) == 32 ? \ | |
46 | GC_WORD32_VECTOR_HEADER : ( \ | |
47 | CHAR_BIT * sizeof(mp_limb_t) == 64 ? \ | |
48 | GC_WORD64_VECTOR_HEADER : ( 0 ) ) ) | |
49 | ||
50 | COMPILE_TIME_ASSERT(sizeof_mp_limb_t__compat__sizeof_objptr, | |
51 | sizeof(objptr) <= sizeof(mp_limb_t) ? | |
52 | sizeof(mp_limb_t) % sizeof(objptr) == 0 : | |
53 | sizeof(objptr) % sizeof(mp_limb_t) == 0); | |
54 | ||
55 | #define LIMBS_PER_OBJPTR ( \ | |
56 | sizeof(mp_limb_t) >= sizeof(objptr) ? \ | |
57 | 1 : (int)(sizeof(objptr) / sizeof(mp_limb_t))) | |
58 | ||
59 | PRIVATE void initIntInf (GC_state s); | |
60 | static inline void fillIntInfArg (GC_state s, objptr arg, __mpz_struct *res, | |
61 | mp_limb_t space[LIMBS_PER_OBJPTR + 1]); | |
62 | static inline void initIntInfRes (GC_state s, __mpz_struct *res, size_t bytes); | |
63 | static inline objptr finiIntInfRes (GC_state s, __mpz_struct *res, size_t bytes); | |
64 | ||
65 | #endif /* (defined (MLTON_GC_INTERNAL_FUNCS)) */ | |
66 | ||
67 | #if (defined (MLTON_GC_INTERNAL_BASIS)) | |
68 | ||
69 | PRIVATE objptr IntInf_binop (GC_state s, objptr lhs, objptr rhs, size_t bytes, | |
70 | void(*binop)(__mpz_struct *resmpz, | |
71 | const __mpz_struct *lhsspace, | |
72 | const __mpz_struct *rhsspace)); | |
73 | PRIVATE objptr IntInf_unop (GC_state s, objptr arg, size_t bytes, | |
74 | void(*unop)(__mpz_struct *resmpz, | |
75 | const __mpz_struct *argspace)); | |
76 | PRIVATE objptr IntInf_shop (GC_state s, objptr arg, Word32_t shift, size_t bytes, | |
77 | void(*shop)(__mpz_struct *resmpz, | |
78 | const __mpz_struct *argspace, | |
79 | unsigned long shift)); | |
80 | PRIVATE Int32_t IntInf_cmpop (GC_state s, objptr lhs, objptr rhs, | |
81 | int(*cmpop)(const __mpz_struct *lhsspace, | |
82 | const __mpz_struct *rhsspace)); | |
83 | PRIVATE objptr IntInf_strop (GC_state s, objptr arg, Int32_t base, size_t bytes, | |
84 | char*(*strop)(char *str, | |
85 | int base, | |
86 | const __mpz_struct *argspace)); | |
87 | ||
88 | #endif /* (defined (MLTON_GC_INTERNAL_BASIS)) */ |