/usr/lib/mlton/include/gc/int-inf.h is in mlton-basis 20130715-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | /* Copyright (C) 2012 Matthew Fluet.
* Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
* Jagannathan, and Stephen Weeks.
* Copyright (C) 1997-2000 NEC Research Institute.
*
* MLton is released under a BSD-style license.
* See the file MLton-LICENSE for details.
*/
#if (defined (MLTON_GC_INTERNAL_TYPES))
/* Layout of intInfs.
* Note, the value passed around is a pointer to the obj member.
*/
struct GC_intInf_obj {
mp_limb_t isneg;
mp_limb_t limbs[1];
};
typedef struct GC_intInf {
GC_arrayCounter counter;
GC_arrayLength length;
GC_header header;
struct GC_intInf_obj obj;
} __attribute__ ((packed)) *GC_intInf;
COMPILE_TIME_ASSERT(GC_intInf__obj_packed,
offsetof(struct GC_intInf, obj) ==
sizeof(GC_arrayCounter)
+ sizeof(GC_arrayLength)
+ sizeof(GC_header));
COMPILE_TIME_ASSERT(GC_intInf_obj__isneg_packed,
offsetof(struct GC_intInf_obj, isneg) ==
0);
COMPILE_TIME_ASSERT(GC_intInf_obj__limbs_packed,
offsetof(struct GC_intInf_obj, limbs) ==
0 + sizeof(mp_limb_t));
#endif /* (defined (MLTON_GC_INTERNAL_TYPES)) */
#if (defined (MLTON_GC_INTERNAL_FUNCS))
COMPILE_TIME_ASSERT(sizeof_mp_limb_t__is_four_or_eight,
(sizeof(mp_limb_t) == 4 || sizeof(mp_limb_t) == 8));
#define GC_INTINF_HEADER ( \
CHAR_BIT * sizeof(mp_limb_t) == 32 ? \
GC_WORD32_VECTOR_HEADER : ( \
CHAR_BIT * sizeof(mp_limb_t) == 64 ? \
GC_WORD64_VECTOR_HEADER : ( 0 ) ) )
COMPILE_TIME_ASSERT(sizeof_mp_limb_t__compat__sizeof_objptr,
(sizeof(mp_limb_t) >= sizeof(objptr)) ||
(sizeof(objptr) % sizeof(mp_limb_t) == 0));
#define LIMBS_PER_OBJPTR ( \
sizeof(mp_limb_t) >= sizeof(objptr) ? \
1 : (int)(sizeof(objptr) / sizeof(mp_limb_t)))
PRIVATE void initIntInf (GC_state s);
static inline void fillIntInfArg (GC_state s, objptr arg, __mpz_struct *res,
mp_limb_t space[LIMBS_PER_OBJPTR + 1]);
static inline void initIntInfRes (GC_state s, __mpz_struct *res, size_t bytes);
static inline objptr finiIntInfRes (GC_state s, __mpz_struct *res, size_t bytes);
#endif /* (defined (MLTON_GC_INTERNAL_FUNCS)) */
#if (defined (MLTON_GC_INTERNAL_BASIS))
PRIVATE objptr IntInf_add (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_andb (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_gcd (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_mul (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_quot (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_orb (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_rem (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_sub (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_xorb (objptr lhs, objptr rhs, size_t bytes);
PRIVATE objptr IntInf_neg (objptr arg, size_t bytes);
PRIVATE objptr IntInf_notb (objptr arg, size_t bytes);
PRIVATE objptr IntInf_arshift (objptr arg, Word32_t shift, size_t bytes);
PRIVATE objptr IntInf_lshift (objptr arg, Word32_t shift, size_t bytes);
PRIVATE Int32_t IntInf_compare (objptr lhs, objptr rhs);
PRIVATE Bool_t IntInf_equal (objptr lhs, objptr rhs);
PRIVATE objptr IntInf_toString (objptr arg, Int32_t base, size_t bytes);
#endif /* (defined (MLTON_GC_INTERNAL_BASIS)) */
|