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