gcc/ada/uintp.h

   1 /****************************************************************************
   2  *                                                                          *
   3  *                         GNAT COMPILER COMPONENTS                         *
   4  *                                                                          *
   5  *                                U I N T P                                 *
   6  *                                                                          *
   7  *                              C Header File                               *
   8  *                                                                          *
   9  *            Copyright (C) 1992-2017, 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
  30 extern "C" {
  31 #endif
  32
  33 /* Support for universal integer arithmetic */
  34
  35 struct 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
  43 extern 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
  47 extern Char_Code UI_To_CC               (Uint);
  48
  49 /* Convert a Char_Code into a Uint.  */
  50 #define UI_From_CC uintp__ui_from_cc
  51 extern 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
  55 extern Int UI_To_Int                    (Uint);
  56
  57 /* Similarly, but return a GCC INTEGER_CST.  */
  58 extern tree UI_To_gnu                   (Uint, tree);
  59
  60 /* Convert an Int into a Uint.  */
  61 #define UI_From_Int uintp__ui_from_int
  62 extern Uint UI_From_Int                 (int);
  63
  64 /* Similarly, but take a GCC INTEGER_CST.  */
  65 extern Uint UI_From_gnu                 (tree);
  66
  67 /* A constant value indicating a missing or unset Uint value.  */
  68 #define UI_No_Uint uintp__no_uint
  69 extern const Uint UI_No_Uint;
  70
  71 /* Uint values are represented as multiple precision integers stored in a
  72    multi-digit format using UI_Base as the base.  This value is chosen so
  73    that the product UI_Base*UI_Base is within the range of Int values.  */
  74 #define UI_Base uintp__base
  75 extern const int UI_Base;
  76
  77 /* Types for the fat pointer of Int vectors and the template it points to.  */
  78 typedef struct {int Low_Bound, High_Bound; } Vector_Template;
  79 typedef struct {const int *Array; Vector_Template *Bounds; }
  80         __attribute ((aligned (sizeof (char *) * 2))) Int_Vector;
  81
  82 /* Create and return the Uint value from the Int vector.  */
  83 #define Vector_To_Uint uintp__vector_to_uint
  84 extern Uint Vector_To_Uint              (Int_Vector, Boolean);
  85
  86 /* Compare integer values for equality.  */
  87 #define UI_Eq uintp__ui_eq
  88 extern Boolean UI_Eq                    (Uint, Uint);
  89
  90 /* Compare integer values for less than.  */
  91 #define UI_Lt uintp__ui_lt
  92 extern Boolean UI_Lt                    (Uint, Uint);
  93
  94 /* Universal integers are represented by the Uint type which is an index into
  95    the Uints_Ptr table containing Uint_Entry values.  A Uint_Entry contains an
  96    index and length for getting the "digits" of the universal integer from the
  97    Udigits_Ptr table.
  98
  99    For efficiency, this method is used only for integer values larger than the
 100    constant Uint_Bias.  If a Uint is less than this constant, then it contains
 101    the integer value itself.  The origin of the Uints_Ptr table is adjusted so
 102    that a Uint value of Uint_Bias indexes the first element.  */
 103
 104 #define Uints_Ptr (uintp__uints__table - Uint_Table_Start)
 105 extern struct Uint_Entry *uintp__uints__table;
 106
 107 #define Udigits_Ptr uintp__udigits__table
 108 extern int *uintp__udigits__table;
 109
 110 #ifdef __cplusplus
 111 }
 112 #endif