1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME COMPONENTS --
12 -- Copyright (C) 1992-2001 Free Software Foundation, Inc. --
14 -- This specification is derived from the Ada Reference Manual for use with --
15 -- GNAT. The copyright notice above, and the license provisions that follow --
16 -- apply solely to the contents of the part following the private keyword. --
18 -- GNAT is free software; you can redistribute it and/or modify it under --
19 -- terms of the GNU General Public License as published by the Free Soft- --
20 -- ware Foundation; either version 2, or (at your option) any later ver- --
21 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
22 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
23 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
24 -- for more details. You should have received a copy of the GNU General --
25 -- Public License distributed with GNAT; see file COPYING. If not, write --
26 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
27 -- MA 02111-1307, USA. --
29 -- As a special exception, if other files instantiate generics from this --
30 -- unit, or you link this unit with other files to produce an executable, --
31 -- this unit does not by itself cause the resulting executable to be --
32 -- covered by the GNU General Public License. This exception does not --
33 -- however invalidate any other reasons why the executable file might be --
34 -- covered by the GNU Public License. --
36 -- GNAT was originally developed by the GNAT team at New York University. --
37 -- It is now maintained by Ada Core Technologies Inc (http://www.gnat.com). --
39 ------------------------------------------------------------------------------
43 -- Note that we take advantage of the implementation permission to
44 -- make this unit Pure instead of Preelaborable, see RM 13.7(36)
46 type Name
is (SYSTEM_NAME_GNAT
);
47 System_Name
: constant Name
:= SYSTEM_NAME_GNAT
;
49 -- System-Dependent Named Numbers
51 Min_Int
: constant := Long_Long_Integer'First;
52 Max_Int
: constant := Long_Long_Integer'Last;
54 Max_Binary_Modulus
: constant := 2 ** Long_Long_Integer'Size;
55 Max_Nonbinary_Modulus
: constant := Integer'Last;
57 Max_Base_Digits
: constant := Long_Long_Float'Digits;
58 Max_Digits
: constant := Long_Long_Float'Digits;
60 Max_Mantissa
: constant := 63;
61 Fine_Delta
: constant := 2.0 ** (-Max_Mantissa
);
63 Tick
: constant := Standard
'Tick;
65 -- Storage-related Declarations
67 type Address
is private;
68 Null_Address
: constant Address
;
70 Storage_Unit
: constant := Standard
'Storage_Unit;
71 Word_Size
: constant := Standard
'Word_Size;
72 Memory_Size
: constant := 2 ** Standard
'Address_Size;
76 function "<" (Left
, Right
: Address
) return Boolean;
77 function "<=" (Left
, Right
: Address
) return Boolean;
78 function ">" (Left
, Right
: Address
) return Boolean;
79 function ">=" (Left
, Right
: Address
) return Boolean;
80 function "=" (Left
, Right
: Address
) return Boolean;
82 pragma Import
(Intrinsic
, "<");
83 pragma Import
(Intrinsic
, "<=");
84 pragma Import
(Intrinsic
, ">");
85 pragma Import
(Intrinsic
, ">=");
86 pragma Import
(Intrinsic
, "=");
88 -- Other System-Dependent Declarations
90 type Bit_Order
is (High_Order_First
, Low_Order_First
);
91 Default_Bit_Order
: constant Bit_Order
:= Low_Order_First
;
93 -- Priority-related Declarations (RM D.1)
95 Max_Priority
: constant Positive := 30;
97 Max_Interrupt_Priority
: constant Positive := 31;
99 subtype Any_Priority
is Integer
100 range 0 .. Standard
'Max_Interrupt_Priority;
102 subtype Priority
is Any_Priority
103 range 0 .. Standard
'Max_Priority;
105 -- Functional notation is needed in the following to avoid visibility
106 -- problems when this package is compiled through rtsfind in the middle
107 -- of another compilation.
109 subtype Interrupt_Priority
is Any_Priority
111 Standard
."+" (Standard
'Max_Priority, 1) ..
112 Standard
'Max_Interrupt_Priority;
114 Default_Priority
: constant Priority
:=
115 Standard
."/" (Standard
."+" (Priority
'First, Priority
'Last), 2);
119 type Address
is mod Memory_Size
;
120 Null_Address
: constant Address
:= 0;
122 --------------------------------------
123 -- System Implementation Parameters --
124 --------------------------------------
126 -- These parameters provide information about the target that is used
127 -- by the compiler. They are in the private part of System, where they
128 -- can be accessed using the special circuitry in the Targparm unit
129 -- whose source should be consulted for more detailed descriptions
130 -- of the individual switch values.
132 AAMP
: constant Boolean := False;
133 Command_Line_Args
: constant Boolean := True;
134 Denorm
: constant Boolean := True;
135 Frontend_Layout
: constant Boolean := False;
136 Functions_Return_By_DSP
: constant Boolean := False;
137 Long_Shifts_Inlined
: constant Boolean := True;
138 High_Integrity_Mode
: constant Boolean := False;
139 Machine_Overflows
: constant Boolean := False;
140 Machine_Rounds
: constant Boolean := True;
141 OpenVMS
: constant Boolean := False;
142 Signed_Zeros
: constant Boolean := True;
143 Stack_Check_Default
: constant Boolean := False;
144 Stack_Check_Probes
: constant Boolean := False;
145 Use_Ada_Main_Program_Name
: constant Boolean := False;
146 ZCX_By_Default
: constant Boolean := False;
147 GCC_ZCX_Support
: constant Boolean := False;
148 Front_End_ZCX_Support
: constant Boolean := True;
150 ---------------------------
151 -- Underlying Priorities --
152 ---------------------------
154 -- Important note: this section of the file must come AFTER the
155 -- definition of the system implementation parameters to ensure
156 -- that the value of these parameters is available for analysis
157 -- of the declarations here (using Rtsfind at compile time).
159 -- The underlying priorities table provides a generalized mechanism
160 -- for mapping from Ada priorities to system priorities. In some
161 -- cases a 1-1 mapping is not the convenient or optimal choice.
163 type Priorities_Mapping
is array (Any_Priority
) of Integer;
164 pragma Suppress_Initialization
(Priorities_Mapping
);
165 -- Suppress initialization in case gnat.adc specifies Normalize_Scalars
167 -- On NT, the default mapping preserves the standard 31 priorities
168 -- of the Ada model, but maps them using compression onto the 7
169 -- priority levels available in NT.
171 -- To replace the default values of the Underlying_Priorities mapping,
172 -- copy this source file into your build directory, edit the file to
173 -- reflect your desired behavior, and recompile with the command:
175 -- $ gcc -c -O3 -gnatpgn system.ads
177 -- then recompile the run-time parts that depend on this package:
179 -- $ gnatmake -a -gnatn -O3 <your application>
181 -- then force rebuilding your application if you need different options:
183 -- $ gnatmake -f <your options> <your application>
185 Underlying_Priorities
: constant Priorities_Mapping
:=
187 (Priority
'First .. 1 => -15,
189 2 .. Default_Priority
- 2 => -2,
191 Default_Priority
- 1 => -1,
193 Default_Priority
=> 0,
195 Default_Priority
+ 1 .. 19 => 1,
197 20 .. Priority
'Last => 2,
199 Interrupt_Priority
=> 15);