1/****************************************************************************
2 *                                                                          *
3 *                         GNAT COMPILER COMPONENTS                         *
4 *                                                                          *
5 *                                U I N T P                                 *
6 *                                                                          *
7 *                              C Header File                               *
8 *                                                                          *
9 *            Copyright (C) 1992-2014, Free Software Foundation, Inc.       *
10 *                                                                          *
11 * GNAT is free software;  you can  redistribute it  and/or modify it under *
12 * terms of the  GNU General Public License as published  by the Free Soft- *
13 * ware  Foundation;  either version 3,  or (at your option) any later ver- *
14 * sion.  GNAT is distributed in the hope that it will be useful, but WITH- *
15 * OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY *
16 * or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License *
17 * for  more details.  You should have  received  a copy of the GNU General *
18 * Public License  distributed with GNAT; see file COPYING3.  If not, go to *
19 * http://www.gnu.org/licenses for a complete copy of the license.          *
20 *                                                                          *
21 * GNAT was originally developed  by the GNAT team at  New York University. *
22 * Extensive contributions were provided by Ada Core Technologies Inc.      *
23 *                                                                          *
24 ****************************************************************************/
25
26/* This file corresponds to the Ada package specification Uintp.  It was
27   created manually from the files uintp.ads and uintp.adb.  */
28
29#ifdef __cplusplus
30extern "C" {
31#endif
32
33/* Support for universal integer arithmetic */
34
35struct Uint_Entry
36{
37  Pos Length;
38  Int Loc;
39};
40
41/* See if a Uint is within the range of an integer.  */
42#define UI_Is_In_Int_Range  uintp__ui_is_in_int_range
43extern Boolean UI_Is_In_Int_Range	(Uint);
44
45/* Obtain Char_Code value from Uint input.  Value must be in range.  */
46#define UI_To_CC uintp__ui_to_cc
47extern Char_Code UI_To_CC		(Uint);
48
49/* Convert a Char_Code into a Uint.  */
50#define UI_From_CC uintp__ui_from_cc
51extern Uint UI_From_CC			(Char_Code);
52
53/* Obtain Int value from Uint input.  Abort if the result is out of range.  */
54#define UI_To_Int uintp__ui_to_int
55extern Int UI_To_Int			(Uint);
56
57/* Similarly, but return a GCC INTEGER_CST.  */
58extern tree UI_To_gnu			(Uint, tree);
59
60/* Convert an Int into a Uint.  */
61#define UI_From_Int uintp__ui_from_int
62extern Uint UI_From_Int			(int);
63
64/* Similarly, but take a GCC INTEGER_CST.  */
65extern Uint UI_From_gnu			(tree);
66
67/* Uint values are represented as multiple precision integers stored in a
68   multi-digit format using UI_Base as the base.  This value is chosen so
69   that the product UI_Base*UI_Base is within the range of Int values.  */
70#define UI_Base uintp__base
71extern const int UI_Base;
72
73/* Types for the fat pointer of Int vectors and the template it points to.  */
74typedef struct {int Low_Bound, High_Bound; } Vector_Template;
75typedef struct {const int *Array; Vector_Template *Bounds; }
76	__attribute ((aligned (sizeof (char *) * 2))) Int_Vector;
77
78/* Create and return the Uint value from the Int vector.  */
79#define Vector_To_Uint uintp__vector_to_uint
80extern Uint Vector_To_Uint		(Int_Vector, Boolean);
81
82/* Compare integer values for equality.  */
83#define UI_Eq uintp__ui_eq
84extern Boolean UI_Eq			(Uint, Uint);
85
86/* Compare integer values for less than.  */
87#define UI_Lt uintp__ui_lt
88extern Boolean UI_Lt			(Uint, Uint);
89
90/* Universal integers are represented by the Uint type which is an index into
91   the Uints_Ptr table containing Uint_Entry values.  A Uint_Entry contains an
92   index and length for getting the "digits" of the universal integer from the
93   Udigits_Ptr table.
94
95   For efficiency, this method is used only for integer values larger than the
96   constant Uint_Bias.  If a Uint is less than this constant, then it contains
97   the integer value itself.  The origin of the Uints_Ptr table is adjusted so
98   that a Uint value of Uint_Bias indexes the first element.  */
99
100#define Uints_Ptr (uintp__uints__table - Uint_Table_Start)
101extern struct Uint_Entry *uintp__uints__table;
102
103#define Udigits_Ptr uintp__udigits__table
104extern int *uintp__udigits__table;
105
106#ifdef __cplusplus
107}
108#endif
109