gcc/ada/ttypes.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                               T T Y P E S                                --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2018, 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 package contains constants describing target properties
  27
  28 with Types;    use Types;
  29 with Get_Targ;
  30 with Set_Targ;
  31
  32 package Ttypes is
  33
  34    ------------------------------
  35    -- Host/Target Dependencies --
  36    ------------------------------
  37
  38    --  It is vital to maintain a clear distinction between properties of
  39    --  types on the host and types on the target, since in the general
  40    --  case of a cross-compiler these will be different.
  41
  42    --  This package provides definitions of values that describe the properties
  43    --  of the target types. All instances of target dependencies, including the
  44    --  definitions of such packages as Standard and System depend directly or
  45    --  indirectly on the definitions in the Ttypes packages.
  46
  47    --  In the source of the compiler, references to attributes such as
  48    --  Integer'Size will give information regarding the host types (i.e.
  49    --  the types within the compiler itself). Such references are therefore
  50    --  almost always suspicious (it is hard for example to see that the
  51    --  code in the compiler should even be using type Integer very much,
  52    --  and certainly this code should not depend on the size of Integer).
  53
  54    --  On the other hand, it is perfectly reasonable for the compiler to
  55    --  require access to the size of type Integer for the target machine,
  56    --  e.g. in constructing the internal representation of package Standard.
  57    --  For this purpose, instead of referencing the attribute Integer'Size,
  58    --  a reference to Ttypes.Standard_Integer_Size will provide the needed
  59    --  value for the target type.
  60
  61    --  Two approaches are used for handling target dependent values in the
  62    --  standard library packages. Package Standard is handled specially,
  63    --  being constructed internally (by package Stand). Target dependent
  64    --  values needed in Stand are obtained by direct reference to Ttypes
  65    --  and Ttypef.
  66
  67    --  For package System, there is a separate version for each target, with
  68    --  explicit declarations of the required, constants.
  69
  70    --  Historical note: Originally we had in mind dealing with target dependent
  71    --  differences by referencing appropriate attributes. Ada 95 already
  72    --  defines most of the required attributes, and GNAT specific attributes
  73    --  were defined to cover the remaining cases (such as Storage_Unit).
  74    --  The additional attributes that have been added to GNAT (Address_Size,
  75    --  Storage_Unit, and Word_Size) are redundant with respect to the
  76    --  corresponding references to System constants. For example in a program,
  77    --  System.Address_Size and Standard'Address_Size yield the same value.
  78    --  These attributes have been retained for compatibility purposes, but
  79    --  serve no purpose at this stage.
  80
  81    --  Note that during compilation there are two versions of package System
  82    --  around. The version that is directly with'ed by compiler packages
  83    --  contains host-dependent definitions, which is what is needed in that
  84    --  case (for example, System.Storage_Unit referenced in the source of the
  85    --  compiler refers to the storage unit of the host, not the target). This
  86    --  means that, like attribute references, any references to constants in
  87    --  package System in the compiler code are suspicious, since it is strange
  88    --  for the compiler to have such host dependencies. If the compiler needs
  89    --  to access the target dependent values of such quantities as Storage_Unit
  90    --  then it should reference the constants in this package (Ttypes), rather
  91    --  than referencing System.Storage_Unit, or Standard'Storage_Unit, both of
  92    --  which would yield the host value.
  93
  94    ---------------------------------------------------
  95    -- Target-Dependent Values for Types in Standard --
  96    ---------------------------------------------------
  97
  98    --  Note: GNAT always supplies all the following integer and float types,
  99    --  but depending on the machine, some of the types may be identical. For
 100    --  example, on some machines, Short_Float may be the same as Float, and
 101    --  Long_Long_Float may be the same as Long_Float.
 102
 103    Standard_Short_Short_Integer_Size  : constant Pos :=
 104                                           Set_Targ.Char_Size;
 105    Standard_Short_Short_Integer_Width : constant Pos :=
 106                                           Get_Targ.Width_From_Size
 107                                            (Standard_Short_Short_Integer_Size);
 108
 109    Standard_Short_Integer_Size        : constant Pos :=
 110                                           Set_Targ.Short_Size;
 111    Standard_Short_Integer_Width       : constant Pos :=
 112                                           Get_Targ.Width_From_Size
 113                                             (Standard_Short_Integer_Size);
 114
 115    Standard_Integer_Size              : constant Pos :=
 116                                           Set_Targ.Int_Size;
 117    Standard_Integer_Width             : constant Pos :=
 118                                           Get_Targ.Width_From_Size
 119                                             (Standard_Integer_Size);
 120
 121    Standard_Long_Integer_Size         : constant Pos :=
 122                                           Set_Targ.Long_Size;
 123    Standard_Long_Integer_Width        : constant Pos :=
 124                                           Get_Targ.Width_From_Size
 125                                             (Standard_Long_Integer_Size);
 126
 127    Standard_Long_Long_Integer_Size    : constant Pos :=
 128                                           Set_Targ.Long_Long_Size;
 129    Standard_Long_Long_Integer_Width   : constant Pos :=
 130                                           Get_Targ.Width_From_Size
 131                                             (Standard_Long_Long_Integer_Size);
 132
 133    Standard_Short_Float_Size          : constant Pos :=
 134                                           Set_Targ.Float_Size;
 135    Standard_Short_Float_Digits        : constant Pos :=
 136                                           Get_Targ.Digits_From_Size
 137                                             (Standard_Short_Float_Size);
 138
 139    Standard_Float_Size                : constant Pos :=
 140                                           Set_Targ.Float_Size;
 141    Standard_Float_Digits              : constant Pos :=
 142                                           Get_Targ.Digits_From_Size
 143                                             (Standard_Float_Size);
 144
 145    Standard_Long_Float_Size           : constant Pos :=
 146                                           Set_Targ.Double_Size;
 147    Standard_Long_Float_Digits         : constant Pos :=
 148                                           Get_Targ.Digits_From_Size
 149                                             (Standard_Long_Float_Size);
 150
 151    Standard_Long_Long_Float_Size      : constant Pos :=
 152                                           Set_Targ.Long_Double_Size;
 153    Standard_Long_Long_Float_Digits    : constant Pos :=
 154                                           Get_Targ.Digits_From_Size
 155                                             (Standard_Long_Long_Float_Size);
 156
 157    Standard_Character_Size            : constant Pos := Set_Targ.Char_Size;
 158
 159    Standard_Wide_Character_Size       : constant Pos := 16;
 160    Standard_Wide_Wide_Character_Size  : constant Pos := 32;
 161    --  Standard wide character sizes
 162
 163    --  Note: there is no specific control over the representation of
 164    --  enumeration types. The convention used is that if an enumeration
 165    --  type has fewer than 2**(Character'Size) elements, then the size
 166    --  used is Character'Size, otherwise Integer'Size is used.
 167
 168    --  Similarly, the size of fixed-point types depends on the size of the
 169    --  corresponding integer type, which is the smallest predefined integer
 170    --  type capable of representing the required range of values.
 171
 172    -------------------------------------------------
 173    -- Target-Dependent Values for Types in System --
 174    -------------------------------------------------
 175
 176    System_Address_Size : constant Pos := Set_Targ.Pointer_Size;
 177    --  System.Address'Size (also size of all thin pointers)
 178
 179    System_Max_Binary_Modulus_Power : constant Pos :=
 180                                        Standard_Long_Long_Integer_Size;
 181
 182    System_Max_Nonbinary_Modulus_Power : constant Pos := Standard_Integer_Size;
 183
 184    System_Storage_Unit : constant Pos := Set_Targ.Bits_Per_Unit;
 185    System_Word_Size    : constant Pos := Set_Targ.Bits_Per_Word;
 186
 187    System_Tick_Nanoseconds : constant Pos := 1_000_000_000;
 188    --  Value of System.Tick in nanoseconds. At the moment, this is a fixed
 189    --  constant (with value of 1.0 seconds), but later we should add this
 190    --  value to the GCC configuration file so that its value can be made
 191    --  configuration dependent.
 192
 193    -----------------------------------------------------
 194    -- Target-Dependent Values for Types in Interfaces --
 195    -----------------------------------------------------
 196
 197    Interfaces_Wchar_T_Size : constant Pos := Set_Targ.Wchar_T_Size;
 198
 199    ----------------------------------------
 200    -- Other Target-Dependent Definitions --
 201    ----------------------------------------
 202
 203    Maximum_Alignment : constant Pos := Set_Targ.Maximum_Alignment;
 204    --  The maximum alignment, in storage units, that an object or type may
 205    --  require on the target machine.
 206
 207    System_Allocator_Alignment : constant Pos :=
 208                                   Set_Targ.System_Allocator_Alignment;
 209    --  The alignment in storage units of addresses returned by malloc
 210
 211    Max_Unaligned_Field : constant Pos := Set_Targ.Max_Unaligned_Field;
 212    --  The maximum supported size in bits for a field that is not aligned
 213    --  on a storage unit boundary.
 214
 215    Bytes_Big_Endian : Boolean := Set_Targ.Bytes_BE /= 0;
 216    --  Important note: for Ada purposes, the important setting is the bytes
 217    --  endianness (Bytes_Big_Endian), not the bits value (Bits_Big_Endian).
 218    --  This is because Ada bit addressing must be compatible with the byte
 219    --  ordering (otherwise we would end up with non-contiguous fields). It
 220    --  is rare for the two to be different, but if they are, Bits_Big_Endian
 221    --  is relevant only for the generation of instructions with bit numbers,
 222    --  and thus relevant only to the back end. Note that this is a variable
 223    --  rather than a constant, since it can be modified (flipped) by -gnatd8.
 224
 225    Target_Short_Enums : constant Boolean := Set_Targ.Short_Enums /= 0;
 226    --  True if we are in short enums mode, where foreign convention
 227    --  (in particular C and C++) enumeration types will be sized as in Ada,
 228    --  using the shortest possibility from 8,16,32 bits, signed or unsigned.
 229    --  A zero value means Short_Enums are not in use, and in this case all
 230    --  foreign convention enumeration types are given the same size as c int.
 231
 232    Target_Strict_Alignment : Boolean :=
 233                                Set_Targ.Strict_Alignment /= 0;
 234    --  True if instructions will fail if data is misaligned. Note that this
 235    --  is a variable rather than a constant since it can be modified (set to
 236    --  True) if the debug flag -gnatd.A is used.
 237
 238    Target_Double_Float_Alignment : constant Nat :=
 239                                      Set_Targ.Double_Float_Alignment;
 240    --  The default alignment of "double" floating-point types, i.e. floating
 241    --  point types whose size is equal to 64 bits, or 0 if this alignment is
 242    --  not lower than the largest power of 2 multiple of System.Storage_Unit
 243    --  that does not exceed either the object size of the type or the maximum
 244    --  allowed alignment.
 245
 246    Target_Double_Scalar_Alignment : constant Nat :=
 247                                       Set_Targ.Double_Scalar_Alignment;
 248    --  The default alignment of "double" or larger scalar types, i.e. scalar
 249    --  types whose size is greater or equal to 64 bits, or 0 if this alignment
 250    --  is not lower than the largest power of 2 multiple of System.Storage_Unit
 251    --  that does not exceed either the object size of the type or the maximum
 252    --  allowed alignment.
 253
 254 end Ttypes;