gcc/ada/ttypef.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                               T T Y P E F                                --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --          Copyright (C) 1992-2007, 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 module contains values for the predefined floating-point attributes.
  27 --  All references to these attribute values in a program being compiled must
  28 --  use the values in this package, not the values returned by referencing
  29 --  the corresponding attributes (since that would give host machine values).
  30 --  Boolean-valued attributes are defined in System.Parameters, because they
  31 --  need a finer control than what is provided by the formats described below.
  32
  33 --  The codes for the eight floating-point formats supported are:
  34
  35 --      IEEES - IEEE Single Float
  36 --      IEEEL - IEEE Double Float
  37 --      IEEEX - IEEE Double Extended Float
  38 --      VAXFF - VAX F Float
  39 --      VAXDF - VAX D Float
  40 --      VAXGF - VAX G Float
  41 --      AAMPS - AAMP 32-bit Float
  42 --      AAMPL - AAMP 48-bit Float
  43
  44 package Ttypef is
  45
  46    ----------------------------------
  47    -- Universal Integer Attributes --
  48    ----------------------------------
  49
  50    --  Note that the constant declarations below specify values
  51    --  using the Ada model, so IEEES_Machine_Emax does not specify
  52    --  the IEEE definition of the single precision float type,
  53    --  but the value of the Ada attribute which is one higher
  54    --  as the binary point is at a different location.
  55
  56    IEEES_Digits            : constant := 6;
  57    IEEEL_Digits            : constant := 15;
  58    IEEEX_Digits            : constant := 18;
  59    VAXFF_Digits            : constant := 6;
  60    VAXDF_Digits            : constant := 9;
  61    VAXGF_Digits            : constant := 15;
  62    AAMPS_Digits            : constant := 6;
  63    AAMPL_Digits            : constant := 9;
  64
  65    IEEES_Machine_Emax      : constant := 128;
  66    IEEEL_Machine_Emax      : constant := 1024;
  67    IEEEX_Machine_Emax      : constant := 16384;
  68    VAXFF_Machine_Emax      : constant := 127;
  69    VAXDF_Machine_Emax      : constant := 127;
  70    VAXGF_Machine_Emax      : constant := 1023;
  71    AAMPS_Machine_Emax      : constant := 127;
  72    AAMPL_Machine_Emax      : constant := 127;
  73
  74    IEEES_Machine_Emin      : constant := -125;
  75    IEEEL_Machine_Emin      : constant := -1021;
  76    IEEEX_Machine_Emin      : constant := -16381;
  77    VAXFF_Machine_Emin      : constant := -127;
  78    VAXDF_Machine_Emin      : constant := -127;
  79    VAXGF_Machine_Emin      : constant := -1023;
  80    AAMPS_Machine_Emin      : constant := -127;
  81    AAMPL_Machine_Emin      : constant := -127;
  82
  83    IEEES_Machine_Mantissa  : constant := 24;
  84    IEEEL_Machine_Mantissa  : constant := 53;
  85    IEEEX_Machine_Mantissa  : constant := 64;
  86    VAXFF_Machine_Mantissa  : constant := 24;
  87    VAXDF_Machine_Mantissa  : constant := 56;
  88    VAXGF_Machine_Mantissa  : constant := 53;
  89    AAMPS_Machine_Mantissa  : constant := 24;
  90    AAMPL_Machine_Mantissa  : constant := 40;
  91
  92    IEEES_Model_Emin        : constant := -125;
  93    IEEEL_Model_Emin        : constant := -1021;
  94    IEEEX_Model_Emin        : constant := -16381;
  95    VAXFF_Model_Emin        : constant := -127;
  96    VAXDF_Model_Emin        : constant := -127;
  97    VAXGF_Model_Emin        : constant := -1023;
  98    AAMPS_Model_Emin        : constant := -127;
  99    AAMPL_Model_Emin        : constant := -127;
 100
 101    IEEES_Model_Mantissa    : constant := 24;
 102    IEEEL_Model_Mantissa    : constant := 53;
 103    IEEEX_Model_Mantissa    : constant := 64;
 104    VAXFF_Model_Mantissa    : constant := 24;
 105    VAXDF_Model_Mantissa    : constant := 56;
 106    VAXGF_Model_Mantissa    : constant := 53;
 107    AAMPS_Model_Mantissa    : constant := 24;
 108    AAMPL_Model_Mantissa    : constant := 40;
 109
 110    IEEES_Safe_Emax         : constant := 128;
 111    IEEEL_Safe_Emax         : constant := 1024;
 112    IEEEX_Safe_Emax         : constant := 16384;
 113    VAXFF_Safe_Emax         : constant := 127;
 114    VAXDF_Safe_Emax         : constant := 127;
 115    VAXGF_Safe_Emax         : constant := 1023;
 116    AAMPS_Safe_Emax         : constant := 127;
 117    AAMPL_Safe_Emax         : constant := 127;
 118
 119    -------------------------------
 120    -- Universal Real Attributes --
 121    -------------------------------
 122
 123    IEEES_Model_Epsilon     : constant := 2#1.0#E-23;
 124    IEEEL_Model_Epsilon     : constant := 2#1.0#E-52;
 125    IEEEX_Model_Epsilon     : constant := 2#1.0#E-63;
 126    VAXFF_Model_Epsilon     : constant := 16#0.1000_000#E-4;
 127    VAXDF_Model_Epsilon     : constant := 16#0.4000_0000_0000_000#E-7;
 128    VAXGF_Model_Epsilon     : constant := 16#0.4000_0000_0000_00#E-12;
 129    AAMPS_Model_Epsilon     : constant := 2#1.0#E-23;
 130    AAMPL_Model_Epsilon     : constant := 2#1.0#E-39;
 131
 132    IEEES_Model_Small       : constant := 2#1.0#E-126;
 133    IEEEL_Model_Small       : constant := 2#1.0#E-1022;
 134    IEEEX_Model_Small       : constant := 2#1.0#E-16381;
 135    VAXFF_Model_Small       : constant := 16#0.8000_000#E-21;
 136    VAXDF_Model_Small       : constant := 16#0.8000_0000_0000_000#E-31;
 137    VAXGF_Model_Small       : constant := 16#0.8000_0000_0000_00#E-51;
 138    AAMPS_Model_Small       : constant := 16#0.8000_000#E-21;
 139    AAMPL_Model_Small       : constant := 16#0.8000_0000_000#E-31;
 140
 141    IEEES_Safe_First        : constant := -16#0.FFFF_FF#E+32;
 142    IEEEL_Safe_First        : constant := -16#0.FFFF_FFFF_FFFF_F8#E+256;
 143    IEEEX_Safe_First        : constant := -16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
 144    VAXFF_Safe_First        : constant := -16#0.7FFF_FF8#E+32;
 145    VAXDF_Safe_First        : constant := -16#0.7FFF_FFFF_FFFF_FC0#E+32;
 146    VAXGF_Safe_First        : constant := -16#0.7FFF_FFFF_FFFF_FC#E+256;
 147    AAMPS_Safe_First        : constant := -16#0.7FFF_FF8#E+32;
 148    AAMPL_Safe_First        : constant := -16#0.7FFF_FFFF_FF8#E+32;
 149
 150    IEEES_Safe_Large        : constant := 16#0.FFFF_FF#E+32;
 151    IEEEL_Safe_Large        : constant := 16#0.FFFF_FFFF_FFFF_F8#E+256;
 152    IEEEX_Safe_Large        : constant := 16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
 153    VAXFF_Safe_Large        : constant := 16#0.7FFF_FC0#E+32;
 154    VAXDF_Safe_Large        : constant := 16#0.7FFF_FFFF_0000_000#E+32;
 155    VAXGF_Safe_Large        : constant := 16#0.7FFF_FFFF_FFFF_F0#E+256;
 156    AAMPS_Safe_Large        : constant := 16#0.7FFF_FC0#E+32;
 157    AAMPL_Safe_Large        : constant := 16#0.7FFF_FFFF#E+32;
 158
 159    IEEES_Safe_Last         : constant := 16#0.FFFF_FF#E+32;
 160    IEEEL_Safe_Last         : constant := 16#0.FFFF_FFFF_FFFF_F8#E+256;
 161    IEEEX_Safe_Last         : constant := 16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
 162    VAXFF_Safe_Last         : constant := 16#0.7FFF_FF8#E+32;
 163    VAXDF_Safe_Last         : constant := 16#0.7FFF_FFFF_FFFF_FC0#E+32;
 164    VAXGF_Safe_Last         : constant := 16#0.7FFF_FFFF_FFFF_FC#E+256;
 165    AAMPS_Safe_Last         : constant := 16#0.7FFF_FF8#E+32;
 166    AAMPL_Safe_Last         : constant := 16#0.7FFF_FFFF_FF8#E+32;
 167
 168    IEEES_Safe_Small        : constant := 2#1.0#E-126;
 169    IEEEL_Safe_Small        : constant := 2#1.0#E-1022;
 170    IEEEX_Safe_Small        : constant := 2#1.0#E-16381;
 171    VAXFF_Safe_Small        : constant := 16#0.1000_000#E-31;
 172    VAXDF_Safe_Small        : constant := 16#0.1000_0000_0000_000#E-31;
 173    VAXGF_Safe_Small        : constant := 16#0.1000_0000_0000_00#E-255;
 174    AAMPS_Safe_Small        : constant := 16#0.1000_000#E-31;
 175    AAMPL_Safe_Small        : constant := 16#0.1000_0000_000#E-31;
 176
 177    ----------------------
 178    -- Typed Attributes --
 179    ----------------------
 180
 181    --  The attributes First and Last are typed attributes in Ada, and yield
 182    --  values of the appropriate float type. However we still describe them
 183    --  as universal real values in this file, since we are talking about the
 184    --  target floating-point types, not the host floating-point types.
 185
 186    IEEES_First             : constant := -16#0.FFFF_FF#E+32;
 187    IEEEL_First             : constant := -16#0.FFFF_FFFF_FFFF_F8#E+256;
 188    IEEEX_First             : constant := -16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
 189    VAXFF_First             : constant := -16#0.7FFF_FF8#E+32;
 190    VAXDF_First             : constant := -16#0.7FFF_FFFF_FFFF_FF8#E+32;
 191    VAXGF_First             : constant := -16#0.7FFF_FFFF_FFFF_FC#E+256;
 192    AAMPS_First             : constant := -16#0.7FFF_FF8#E+32;
 193    AAMPL_First             : constant := -16#0.7FFF_FFFF_FF8#E+32;
 194
 195    IEEES_Last              : constant := 16#0.FFFF_FF#E+32;
 196    IEEEL_Last              : constant := 16#0.FFFF_FFFF_FFFF_F8#E+256;
 197    IEEEX_Last              : constant := 16#0.FFFF_FFFF_FFFF_FFFF#E+4096;
 198    VAXFF_Last              : constant := 16#0.7FFF_FF8#E+32;
 199    VAXDF_Last              : constant := 16#0.7FFF_FFFF_FFFF_FC0#E+32;
 200    VAXGF_Last              : constant := 16#0.7FFF_FFFF_FFFF_FC#E+256;
 201    AAMPS_Last              : constant := 16#0.7FFF_FF8#E+32;
 202    AAMPL_Last              : constant := 16#0.7FFF_FFFF_FF8#E+32;
 203
 204 end Ttypef;