1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- I N T E R F A C E S --
9 -- Copyright (C) 2002-2003 Free Software Foundation, Inc. --
11 -- This specification is derived from the Ada Reference Manual for use with --
12 -- GNAT. The copyright notice above, and the license provisions that follow --
13 -- apply solely to the implementation dependent sections of this file. --
15 -- GNAT is free software; you can redistribute it and/or modify it under --
16 -- terms of the GNU General Public License as published by the Free Soft- --
17 -- ware Foundation; either version 2, or (at your option) any later ver- --
18 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
19 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
20 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
21 -- for more details. You should have received a copy of the GNU General --
22 -- Public License distributed with GNAT; see file COPYING. If not, write --
23 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
24 -- MA 02111-1307, USA. --
26 -- As a special exception, if other files instantiate generics from this --
27 -- unit, or you link this unit with other files to produce an executable, --
28 -- this unit does not by itself cause the resulting executable to be --
29 -- covered by the GNU General Public License. This exception does not --
30 -- however invalidate any other reasons why the executable file might be --
31 -- covered by the GNU Public License. --
33 -- GNAT was originally developed by the GNAT team at New York University. --
34 -- Extensive contributions were provided by Ada Core Technologies Inc. --
36 ------------------------------------------------------------------------------
38 -- This is the OpenVMS version of this package which adds Float_Representation
39 -- pragmas to the IEEE floating point types to ensure they remain IEEE in
40 -- the presence of a configuration pragma Float_Representation (Vax_Float).
42 -- It assumes integer sizes of 8, 16, 32 and 64 are available, and that IEEE
43 -- floating-point formats are available.
46 pragma Pure (Interfaces);
48 type Integer_8 is range -2 ** 7 .. 2 ** 7 - 1;
49 for Integer_8'Size use 8;
51 type Integer_16 is range -2 ** 15 .. 2 ** 15 - 1;
52 for Integer_16'Size use 16;
54 type Integer_32 is range -2 ** 31 .. 2 ** 31 - 1;
55 for Integer_32'Size use 32;
57 type Integer_64 is range -2 ** 63 .. 2 ** 63 - 1;
58 for Integer_64'Size use 64;
60 type Unsigned_8 is mod 2 ** 8;
61 for Unsigned_8'Size use 8;
63 type Unsigned_16 is mod 2 ** 16;
64 for Unsigned_16'Size use 16;
66 type Unsigned_32 is mod 2 ** 32;
67 for Unsigned_32'Size use 32;
69 type Unsigned_64 is mod 2 ** 64;
70 for Unsigned_64'Size use 64;
82 function Shift_Right_Arithmetic
103 (Value : Unsigned_16;
107 function Shift_Right_Arithmetic
108 (Value : Unsigned_16;
113 (Value : Unsigned_16;
117 function Rotate_Right
118 (Value : Unsigned_16;
123 (Value : Unsigned_32;
128 (Value : Unsigned_32;
132 function Shift_Right_Arithmetic
133 (Value : Unsigned_32;
138 (Value : Unsigned_32;
142 function Rotate_Right
143 (Value : Unsigned_32;
148 (Value : Unsigned_64;
153 (Value : Unsigned_64;
157 function Shift_Right_Arithmetic
158 (Value : Unsigned_64;
163 (Value : Unsigned_64;
167 function Rotate_Right
168 (Value : Unsigned_64;
172 pragma Import (Intrinsic, Shift_Left);
173 pragma Import (Intrinsic, Shift_Right);
174 pragma Import (Intrinsic, Shift_Right_Arithmetic);
175 pragma Import (Intrinsic, Rotate_Left);
176 pragma Import (Intrinsic, Rotate_Right);
178 -- Floating point types. We use the digits value to define the IEEE
179 -- forms, otherwise a configuration pragma specifying VAX float can
180 -- default the digits to an illegal value for IEEE.
181 -- Note: it is harmless, and explicitly permitted, to include additional
182 -- types in interfaces, so it is not wrong to have IEEE_Extended_Float
183 -- defined even if the extended format is not available.
185 type IEEE_Float_32 is digits 6;
186 pragma Float_Representation (IEEE_Float, IEEE_Float_32);
188 type IEEE_Float_64 is digits 15;
189 pragma Float_Representation (IEEE_Float, IEEE_Float_64);
191 type IEEE_Extended_Float is digits 15;
192 pragma Float_Representation (IEEE_Float, IEEE_Extended_Float);