1 ------------------------------------------------------------------------------
3 -- GNAT COMPILER COMPONENTS --
5 -- I N T E R F A C E S --
9 -- Copyright (C) 2002-2004 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 additions to thie 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, 51 Franklin Street, Fifth Floor, --
24 -- Boston, MA 02110-1301, 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 -- Assumes integer sizes of 8, 16, 32 and 64 are available, and that the
39 -- floating-point formats are IEEE compatible.
41 -- Note: There is a specialized version of this package for OpenVMS.
44 pragma Pure (Interfaces);
46 type Integer_8 is range -2 ** 7 .. 2 ** 7 - 1;
47 for Integer_8'Size use 8;
49 type Integer_16 is range -2 ** 15 .. 2 ** 15 - 1;
50 for Integer_16'Size use 16;
52 type Integer_32 is range -2 ** 31 .. 2 ** 31 - 1;
53 for Integer_32'Size use 32;
55 type Integer_64 is range -2 ** 63 .. 2 ** 63 - 1;
56 for Integer_64'Size use 64;
58 type Unsigned_8 is mod 2 ** 8;
59 for Unsigned_8'Size use 8;
61 type Unsigned_16 is mod 2 ** 16;
62 for Unsigned_16'Size use 16;
64 type Unsigned_32 is mod 2 ** 32;
65 for Unsigned_32'Size use 32;
67 type Unsigned_64 is mod 2 ** 64;
68 for Unsigned_64'Size use 64;
72 Amount : Natural) return Unsigned_8;
76 Amount : Natural) return Unsigned_8;
78 function Shift_Right_Arithmetic
80 Amount : Natural) return Unsigned_8;
84 Amount : Natural) return Unsigned_8;
88 Amount : Natural) return Unsigned_8;
92 Amount : Natural) return Unsigned_16;
96 Amount : Natural) return Unsigned_16;
98 function Shift_Right_Arithmetic
100 Amount : Natural) return Unsigned_16;
103 (Value : Unsigned_16;
104 Amount : Natural) return Unsigned_16;
106 function Rotate_Right
107 (Value : Unsigned_16;
108 Amount : Natural) return Unsigned_16;
111 (Value : Unsigned_32;
112 Amount : Natural) return Unsigned_32;
115 (Value : Unsigned_32;
116 Amount : Natural) return Unsigned_32;
118 function Shift_Right_Arithmetic
119 (Value : Unsigned_32;
120 Amount : Natural) return Unsigned_32;
123 (Value : Unsigned_32;
124 Amount : Natural) return Unsigned_32;
126 function Rotate_Right
127 (Value : Unsigned_32;
128 Amount : Natural) return Unsigned_32;
131 (Value : Unsigned_64;
132 Amount : Natural) return Unsigned_64;
135 (Value : Unsigned_64;
136 Amount : Natural) return Unsigned_64;
138 function Shift_Right_Arithmetic
139 (Value : Unsigned_64;
140 Amount : Natural) return Unsigned_64;
143 (Value : Unsigned_64;
144 Amount : Natural) return Unsigned_64;
146 function Rotate_Right
147 (Value : Unsigned_64;
148 Amount : Natural) return Unsigned_64;
150 pragma Import (Intrinsic, Shift_Left);
151 pragma Import (Intrinsic, Shift_Right);
152 pragma Import (Intrinsic, Shift_Right_Arithmetic);
153 pragma Import (Intrinsic, Rotate_Left);
154 pragma Import (Intrinsic, Rotate_Right);
156 -- Floating point types. We assume that we are on an IEEE machine, and
157 -- that the types Short_Float and Long_Float in Standard refer to the
158 -- 32-bit short and 64-bit long IEEE forms. Furthermore, if there is
159 -- an extended float, we assume that it is available as Long_Long_Float.
160 -- Note: it is harmless, and explicitly permitted, to include additional
161 -- types in interfaces, so it is not wrong to have IEEE_Extended_Float
162 -- defined even if the extended format is not available.
164 type IEEE_Float_32 is new Short_Float;
165 type IEEE_Float_64 is new Long_Float;
166 type IEEE_Extended_Float is new Long_Long_Float;