diff options
Diffstat (limited to 'gcc-4.2.1/gcc/ada/ttypef.ads')
| -rw-r--r-- | gcc-4.2.1/gcc/ada/ttypef.ads | 205 |
1 files changed, 0 insertions, 205 deletions
diff --git a/gcc-4.2.1/gcc/ada/ttypef.ads b/gcc-4.2.1/gcc/ada/ttypef.ads deleted file mode 100644 index 93f7ec8a4..000000000 --- a/gcc-4.2.1/gcc/ada/ttypef.ads +++ /dev/null @@ -1,205 +0,0 @@ ------------------------------------------------------------------------------- --- -- --- GNAT COMPILER COMPONENTS -- --- -- --- T T Y P E F -- --- -- --- S p e c -- --- -- --- Copyright (C) 1992-2005, Free Software Foundation, Inc. -- --- -- --- GNAT is free software; you can redistribute it and/or modify it under -- --- terms of the GNU General Public License as published by the Free Soft- -- --- ware Foundation; either version 2, or (at your option) any later ver- -- --- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- --- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- --- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -- --- for more details. You should have received a copy of the GNU General -- --- Public License distributed with GNAT; see file COPYING. If not, write -- --- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, -- --- Boston, MA 02110-1301, USA. -- --- -- --- GNAT was originally developed by the GNAT team at New York University. -- --- Extensive contributions were provided by Ada Core Technologies Inc. -- --- -- ------------------------------------------------------------------------------- - --- This module contains values for the predefined floating-point attributes. --- All references to these attribute values in a program being compiled must --- use the values in this package, not the values returned by referencing --- the corresponding attributes (since that would give host machine values). --- Boolean-valued attributes are defined in System.Parameters, because they --- need a finer control than what is provided by the formats described below. - --- The codes for the eight floating-point formats supported are: - --- IEEES - IEEE Single Float --- IEEEL - IEEE Double Float --- IEEEX - IEEE Double Extended Float --- VAXFF - VAX F Float --- VAXDF - VAX D Float --- VAXGF - VAX G Float --- AAMPS - AAMP 32-bit Float --- AAMPL - AAMP 48-bit Float - -package Ttypef is - - ---------------------------------- - -- Universal Integer Attributes -- - ---------------------------------- - - -- Note that the constant declarations below specify values - -- using the Ada model, so IEEES_Machine_Emax does not specify - -- the IEEE definition of the single precision float type, - -- but the value of the Ada attribute which is one higher - -- as the binary point is at a different location. - - IEEES_Digits : constant := 6; - IEEEL_Digits : constant := 15; - IEEEX_Digits : constant := 18; - VAXFF_Digits : constant := 6; - VAXDF_Digits : constant := 9; - VAXGF_Digits : constant := 15; - AAMPS_Digits : constant := 6; - AAMPL_Digits : constant := 9; - - IEEES_Machine_Emax : constant := 128; - IEEEL_Machine_Emax : constant := 1024; - IEEEX_Machine_Emax : constant := 16384; - VAXFF_Machine_Emax : constant := 127; - VAXDF_Machine_Emax : constant := 127; - VAXGF_Machine_Emax : constant := 1023; - AAMPS_Machine_Emax : constant := 127; - AAMPL_Machine_Emax : constant := 127; - - IEEES_Machine_Emin : constant := -125; - IEEEL_Machine_Emin : constant := -1021; - IEEEX_Machine_Emin : constant := -16381; - VAXFF_Machine_Emin : constant := -127; - VAXDF_Machine_Emin : constant := -127; - VAXGF_Machine_Emin : constant := -1023; - AAMPS_Machine_Emin : constant := -127; - AAMPL_Machine_Emin : constant := -127; - - IEEES_Machine_Mantissa : constant := 24; - IEEEL_Machine_Mantissa : constant := 53; - IEEEX_Machine_Mantissa : constant := 64; - VAXFF_Machine_Mantissa : constant := 24; - VAXDF_Machine_Mantissa : constant := 56; - VAXGF_Machine_Mantissa : constant := 53; - AAMPS_Machine_Mantissa : constant := 24; - AAMPL_Machine_Mantissa : constant := 40; - - IEEES_Model_Emin : constant := -125; - IEEEL_Model_Emin : constant := -1021; - IEEEX_Model_Emin : constant := -16381; - VAXFF_Model_Emin : constant := -127; - VAXDF_Model_Emin : constant := -127; - VAXGF_Model_Emin : constant := -1023; - AAMPS_Model_Emin : constant := -127; - AAMPL_Model_Emin : constant := -127; - - IEEES_Model_Mantissa : constant := 24; - IEEEL_Model_Mantissa : constant := 53; - IEEEX_Model_Mantissa : constant := 64; - VAXFF_Model_Mantissa : constant := 24; - VAXDF_Model_Mantissa : constant := 56; - VAXGF_Model_Mantissa : constant := 53; - AAMPS_Model_Mantissa : constant := 24; - AAMPL_Model_Mantissa : constant := 40; - - IEEES_Safe_Emax : constant := 128; - IEEEL_Safe_Emax : constant := 1024; - IEEEX_Safe_Emax : constant := 16384; - VAXFF_Safe_Emax : constant := 127; - VAXDF_Safe_Emax : constant := 127; - VAXGF_Safe_Emax : constant := 1023; - AAMPS_Safe_Emax : constant := 127; - AAMPL_Safe_Emax : constant := 127; - - ------------------------------- - -- Universal Real Attributes -- - ------------------------------- - - IEEES_Model_Epsilon : constant := 2#1.0#E-23; - IEEEL_Model_Epsilon : constant := 2#1.0#E-52; - IEEEX_Model_Epsilon : constant := 2#1.0#E-63; - VAXFF_Model_Epsilon : constant := 16#0.1000_000#E-4; - VAXDF_Model_Epsilon : constant := 16#0.4000_0000_0000_000#E-7; - VAXGF_Model_Epsilon : constant := 16#0.4000_0000_0000_00#E-12; - AAMPS_Model_Epsilon : constant := 2#1.0#E-23; - AAMPL_Model_Epsilon : constant := 2#1.0#E-39; - - IEEES_Model_Small : constant := 2#1.0#E-126; - IEEEL_Model_Small : constant := 2#1.0#E-1022; - IEEEX_Model_Small : constant := 2#1.0#E-16381; - VAXFF_Model_Small : constant := 16#0.8000_000#E-21; - VAXDF_Model_Small : constant := 16#0.8000_0000_0000_000#E-31; - VAXGF_Model_Small : constant := 16#0.8000_0000_0000_00#E-51; - AAMPS_Model_Small : constant := 16#0.8000_000#E-21; - AAMPL_Model_Small : constant := 16#0.8000_0000_000#E-31; - - IEEES_Safe_First : constant := -16#0.FFFF_FF#E+32; - IEEEL_Safe_First : constant := -16#0.FFFF_FFFF_FFFF_F8#E+256; - IEEEX_Safe_First : constant := -16#0.FFFF_FFFF_FFFF_FFFF#E+4096; - VAXFF_Safe_First : constant := -16#0.7FFF_FF8#E+32; - VAXDF_Safe_First : constant := -16#0.7FFF_FFFF_FFFF_FC0#E+32; - VAXGF_Safe_First : constant := -16#0.7FFF_FFFF_FFFF_FC#E+256; - AAMPS_Safe_First : constant := -16#0.7FFF_FF8#E+32; - AAMPL_Safe_First : constant := -16#0.7FFF_FFFF_FF8#E+32; - - IEEES_Safe_Large : constant := 16#0.FFFF_FF#E+32; - IEEEL_Safe_Large : constant := 16#0.FFFF_FFFF_FFFF_F8#E+256; - IEEEX_Safe_Large : constant := 16#0.FFFF_FFFF_FFFF_FFFF#E+4096; - VAXFF_Safe_Large : constant := 16#0.7FFF_FC0#E+32; - VAXDF_Safe_Large : constant := 16#0.7FFF_FFFF_0000_000#E+32; - VAXGF_Safe_Large : constant := 16#0.7FFF_FFFF_FFFF_F0#E+256; - AAMPS_Safe_Large : constant := 16#0.7FFF_FC0#E+32; - AAMPL_Safe_Large : constant := 16#0.7FFF_FFFF#E+32; - - IEEES_Safe_Last : constant := 16#0.FFFF_FF#E+32; - IEEEL_Safe_Last : constant := 16#0.FFFF_FFFF_FFFF_F8#E+256; - IEEEX_Safe_Last : constant := 16#0.FFFF_FFFF_FFFF_FFFF#E+4096; - VAXFF_Safe_Last : constant := 16#0.7FFF_FF8#E+32; - VAXDF_Safe_Last : constant := 16#0.7FFF_FFFF_FFFF_FC0#E+32; - VAXGF_Safe_Last : constant := 16#0.7FFF_FFFF_FFFF_FC#E+256; - AAMPS_Safe_Last : constant := 16#0.7FFF_FF8#E+32; - AAMPL_Safe_Last : constant := 16#0.7FFF_FFFF_FF8#E+32; - - IEEES_Safe_Small : constant := 2#1.0#E-126; - IEEEL_Safe_Small : constant := 2#1.0#E-1022; - IEEEX_Safe_Small : constant := 2#1.0#E-16381; - VAXFF_Safe_Small : constant := 16#0.1000_000#E-31; - VAXDF_Safe_Small : constant := 16#0.1000_0000_0000_000#E-31; - VAXGF_Safe_Small : constant := 16#0.1000_0000_0000_00#E-255; - AAMPS_Safe_Small : constant := 16#0.1000_000#E-31; - AAMPL_Safe_Small : constant := 16#0.1000_0000_000#E-31; - - ---------------------- - -- Typed Attributes -- - ---------------------- - - -- The attributes First and Last are typed attributes in Ada, and yield - -- values of the appropriate float type. However we still describe them - -- as universal real values in this file, since we are talking about the - -- target floating-point types, not the host floating-point types. - - IEEES_First : constant := -16#0.FFFF_FF#E+32; - IEEEL_First : constant := -16#0.FFFF_FFFF_FFFF_F8#E+256; - IEEEX_First : constant := -16#0.FFFF_FFFF_FFFF_FFFF#E+4096; - VAXFF_First : constant := -16#0.7FFF_FF8#E+32; - VAXDF_First : constant := -16#0.7FFF_FFFF_FFFF_FF8#E+32; - VAXGF_First : constant := -16#0.7FFF_FFFF_FFFF_FC#E+256; - AAMPS_First : constant := -16#0.7FFF_FF8#E+32; - AAMPL_First : constant := -16#0.7FFF_FFFF_FF8#E+32; - - IEEES_Last : constant := 16#0.FFFF_FF#E+32; - IEEEL_Last : constant := 16#0.FFFF_FFFF_FFFF_F8#E+256; - IEEEX_Last : constant := 16#0.FFFF_FFFF_FFFF_FFFF#E+4096; - VAXFF_Last : constant := 16#0.7FFF_FF8#E+32; - VAXDF_Last : constant := 16#0.7FFF_FFFF_FFFF_FC0#E+32; - VAXGF_Last : constant := 16#0.7FFF_FFFF_FFFF_FC#E+256; - AAMPS_Last : constant := 16#0.7FFF_FF8#E+32; - AAMPL_Last : constant := 16#0.7FFF_FFFF_FF8#E+32; - -end Ttypef; |