mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-04-10 03:20:27 +08:00
[multiple changes]
2017-09-07 Arnaud Charlet <charlet@adacore.com> * sem_util.adb (Check_Part_Of_Reference): rename Conc_Typ to Conc_Obj (because it refers to the anonymous concurrent object, not its type); fix condition for emitting error message about task/protected type, 2017-09-07 Bob Duff <duff@adacore.com> * binde.adb (Debug_Flag_Old): If both -do and -dp are specified, behave as if just -do was specified, rather than using a mixture. 2017-09-07 Nicolas Roche <roche@adacore.com> * system-vxworks-sparcv9.ads, s-vxwork-m68k.ads, s-vxwork-mips.ads, system-vxworks-m68k.ads, system-vxworks-mips.ads: Removed. From-SVN: r251837
This commit is contained in:
Arnaud Charlet
parent
1155ae0159
commit
4b25afa16e
@ -1,3 +1,20 @@
|
||||
2017-09-07 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* sem_util.adb (Check_Part_Of_Reference): rename Conc_Typ to Conc_Obj
|
||||
(because it refers to the anonymous concurrent object, not its type);
|
||||
fix condition for emitting error message about task/protected type,
|
||||
|
||||
2017-09-07 Bob Duff <duff@adacore.com>
|
||||
|
||||
* binde.adb (Debug_Flag_Old): If both -do and -dp
|
||||
are specified, behave as if just -do was specified, rather than
|
||||
using a mixture.
|
||||
|
||||
2017-09-07 Nicolas Roche <roche@adacore.com>
|
||||
|
||||
* system-vxworks-sparcv9.ads, s-vxwork-m68k.ads, s-vxwork-mips.ads,
|
||||
system-vxworks-m68k.ads, system-vxworks-mips.ads: Removed.
|
||||
|
||||
2017-09-07 Arnaud Charlet <charlet@adacore.com>
|
||||
|
||||
* sem_prag.adb (Find_Role): The Global_Seen flag
|
||||
|
||||
@ -1160,7 +1160,10 @@ package body Binde is
|
||||
|
||||
function Debug_Flag_Old return Boolean is
|
||||
begin
|
||||
return Debug_Flag_P;
|
||||
-- If the user specified both flags, we want to use the older algorithm,
|
||||
-- rather than some confusing mix of the two.
|
||||
|
||||
return Debug_Flag_P and not Debug_Flag_O;
|
||||
end Debug_Flag_Old;
|
||||
|
||||
----------------------
|
||||
|
||||
@ -1,74 +0,0 @@
|
||||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS --
|
||||
-- --
|
||||
-- S Y S T E M . V X W O R K S --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- --
|
||||
-- Copyright (C) 1998-2009, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- GNARL 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 3, 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. --
|
||||
-- --
|
||||
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
||||
-- additional permissions described in the GCC Runtime Library Exception, --
|
||||
-- version 3.1, as published by the Free Software Foundation. --
|
||||
-- --
|
||||
-- You should have received a copy of the GNU General Public License and --
|
||||
-- a copy of the GCC Runtime Library Exception along with this program; --
|
||||
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
||||
-- <http://www.gnu.org/licenses/>. --
|
||||
-- --
|
||||
-- GNARL was developed by the GNARL team at Florida State University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies, Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
-- This is the M68K VxWorks version of this package
|
||||
|
||||
with Interfaces.C;
|
||||
|
||||
package System.VxWorks is
|
||||
pragma Preelaborate;
|
||||
|
||||
package IC renames Interfaces.C;
|
||||
|
||||
-- Floating point context record. 68K version
|
||||
|
||||
FP_NUM_DREGS : constant := 8;
|
||||
FP_STATE_FRAME_SIZE : constant := 216;
|
||||
|
||||
type DOUBLEX is array (1 .. 12) of Interfaces.Unsigned_8;
|
||||
pragma Pack (DOUBLEX);
|
||||
for DOUBLEX'Size use 12 * 8;
|
||||
|
||||
type DOUBLEX_Array is array (1 .. FP_NUM_DREGS) of DOUBLEX;
|
||||
pragma Pack (DOUBLEX_Array);
|
||||
for DOUBLEX_Array'Size use FP_NUM_DREGS * 12 * 8;
|
||||
|
||||
type FPREG_SET is record
|
||||
fpcr : IC.int;
|
||||
fpsr : IC.int;
|
||||
fpiar : IC.int;
|
||||
fpx : DOUBLEX_Array;
|
||||
end record;
|
||||
|
||||
type Fp_State_Frame_Array is array (1 .. FP_STATE_FRAME_SIZE) of IC.char;
|
||||
pragma Pack (Fp_State_Frame_Array);
|
||||
for Fp_State_Frame_Array'Size use 8 * FP_STATE_FRAME_SIZE;
|
||||
|
||||
type FP_CONTEXT is record
|
||||
fpRegSet : FPREG_SET;
|
||||
stateFrame : Fp_State_Frame_Array;
|
||||
end record;
|
||||
pragma Convention (C, FP_CONTEXT);
|
||||
|
||||
Num_HW_Interrupts : constant := 256;
|
||||
-- Number of entries in the hardware interrupt vector table
|
||||
|
||||
end System.VxWorks;
|
||||
@ -1,55 +0,0 @@
|
||||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS --
|
||||
-- --
|
||||
-- S Y S T E M . V X W O R K S --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- --
|
||||
-- Copyright (C) 1998-2009, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- GNARL 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 3, 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. --
|
||||
-- --
|
||||
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
||||
-- additional permissions described in the GCC Runtime Library Exception, --
|
||||
-- version 3.1, as published by the Free Software Foundation. --
|
||||
-- --
|
||||
-- You should have received a copy of the GNU General Public License and --
|
||||
-- a copy of the GCC Runtime Library Exception along with this program; --
|
||||
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
||||
-- <http://www.gnu.org/licenses/>. --
|
||||
-- --
|
||||
-- GNARL was developed by the GNARL team at Florida State University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies, Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
-- This is the MIPS VxWorks version of this package
|
||||
|
||||
with Interfaces.C;
|
||||
|
||||
package System.VxWorks is
|
||||
pragma Preelaborate;
|
||||
|
||||
package IC renames Interfaces.C;
|
||||
|
||||
-- Floating point context record. MIPS version
|
||||
|
||||
FP_NUM_DREGS : constant := 16;
|
||||
type Fpx_Array is array (1 .. FP_NUM_DREGS) of IC.double;
|
||||
|
||||
type FP_CONTEXT is record
|
||||
fpx : Fpx_Array;
|
||||
fpcsr : IC.int;
|
||||
end record;
|
||||
pragma Convention (C, FP_CONTEXT);
|
||||
|
||||
Num_HW_Interrupts : constant := 256;
|
||||
-- Number of entries in hardware interrupt vector table
|
||||
|
||||
end System.VxWorks;
|
||||
@ -3187,7 +3187,7 @@ package body Sem_Util is
|
||||
-----------------------------
|
||||
|
||||
procedure Check_Part_Of_Reference (Var_Id : Entity_Id; Ref : Node_Id) is
|
||||
Conc_Typ : constant Entity_Id := Encapsulating_State (Var_Id);
|
||||
Conc_Obj : constant Entity_Id := Encapsulating_State (Var_Id);
|
||||
Decl : Node_Id;
|
||||
OK_Use : Boolean := False;
|
||||
Par : Node_Id;
|
||||
@ -3220,7 +3220,7 @@ package body Sem_Util is
|
||||
Decl := Find_Related_Declaration_Or_Body (Par);
|
||||
|
||||
if Nkind (Decl) = N_Object_Declaration
|
||||
and then Defining_Entity (Decl) = Conc_Typ
|
||||
and then Defining_Entity (Decl) = Conc_Obj
|
||||
then
|
||||
OK_Use := True;
|
||||
exit;
|
||||
@ -3232,7 +3232,7 @@ package body Sem_Util is
|
||||
|
||||
elsif Nkind_In (Par, N_Single_Protected_Declaration,
|
||||
N_Single_Task_Declaration)
|
||||
and then Defining_Entity (Par) = Conc_Typ
|
||||
and then Defining_Entity (Par) = Conc_Obj
|
||||
then
|
||||
OK_Use := True;
|
||||
exit;
|
||||
@ -3248,7 +3248,7 @@ package body Sem_Util is
|
||||
Spec_Id := Unique_Defining_Entity (Par);
|
||||
|
||||
if Present (Anonymous_Object (Spec_Id))
|
||||
and then Anonymous_Object (Spec_Id) = Conc_Typ
|
||||
and then Anonymous_Object (Spec_Id) = Conc_Obj
|
||||
then
|
||||
OK_Use := True;
|
||||
exit;
|
||||
@ -3304,12 +3304,13 @@ package body Sem_Util is
|
||||
Ref, Var_Id);
|
||||
Error_Msg_Name_1 := Chars (Var_Id);
|
||||
|
||||
if Ekind (Conc_Typ) = E_Protected_Type then
|
||||
if Is_Single_Protected_Object (Conc_Obj) then
|
||||
Error_Msg_NE
|
||||
("\% is constituent of single protected type &", Ref, Conc_Typ);
|
||||
("\% is constituent of single protected type &", Ref, Conc_Obj);
|
||||
|
||||
else
|
||||
Error_Msg_NE
|
||||
("\% is constituent of single task type &", Ref, Conc_Typ);
|
||||
("\% is constituent of single task type &", Ref, Conc_Obj);
|
||||
end if;
|
||||
end if;
|
||||
end Check_Part_Of_Reference;
|
||||
|
||||
@ -1,162 +0,0 @@
|
||||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT RUN-TIME COMPONENTS --
|
||||
-- --
|
||||
-- S Y S T E M --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- (VxWorks version M68K) --
|
||||
-- --
|
||||
-- Copyright (C) 1992-2016, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- This specification is derived from the Ada Reference Manual for use with --
|
||||
-- GNAT. The copyright notice above, and the license provisions that follow --
|
||||
-- apply solely to the contents of the part following the private keyword. --
|
||||
-- --
|
||||
-- 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 3, 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. --
|
||||
-- --
|
||||
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
||||
-- additional permissions described in the GCC Runtime Library Exception, --
|
||||
-- version 3.1, as published by the Free Software Foundation. --
|
||||
-- --
|
||||
-- You should have received a copy of the GNU General Public License and --
|
||||
-- a copy of the GCC Runtime Library Exception along with this program; --
|
||||
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
||||
-- <http://www.gnu.org/licenses/>. --
|
||||
-- --
|
||||
-- GNAT was originally developed by the GNAT team at New York University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
package System is
|
||||
pragma Pure;
|
||||
-- Note that we take advantage of the implementation permission to make
|
||||
-- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
|
||||
-- 2005, this is Pure in any case (AI-362).
|
||||
|
||||
pragma No_Elaboration_Code_All;
|
||||
-- Allow the use of that restriction in units that WITH this unit
|
||||
|
||||
type Name is (SYSTEM_NAME_GNAT);
|
||||
System_Name : constant Name := SYSTEM_NAME_GNAT;
|
||||
|
||||
-- System-Dependent Named Numbers
|
||||
|
||||
Min_Int : constant := Long_Long_Integer'First;
|
||||
Max_Int : constant := Long_Long_Integer'Last;
|
||||
|
||||
Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
|
||||
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
|
||||
|
||||
Max_Base_Digits : constant := Long_Long_Float'Digits;
|
||||
Max_Digits : constant := Long_Long_Float'Digits;
|
||||
|
||||
Max_Mantissa : constant := 63;
|
||||
Fine_Delta : constant := 2.0 ** (-Max_Mantissa);
|
||||
|
||||
Tick : constant := 1.0 / 60.0;
|
||||
|
||||
-- Storage-related Declarations
|
||||
|
||||
type Address is private;
|
||||
pragma Preelaborable_Initialization (Address);
|
||||
Null_Address : constant Address;
|
||||
|
||||
Storage_Unit : constant := 8;
|
||||
Word_Size : constant := 32;
|
||||
Memory_Size : constant := 2 ** 32;
|
||||
|
||||
-- Address comparison
|
||||
|
||||
function "<" (Left, Right : Address) return Boolean;
|
||||
function "<=" (Left, Right : Address) return Boolean;
|
||||
function ">" (Left, Right : Address) return Boolean;
|
||||
function ">=" (Left, Right : Address) return Boolean;
|
||||
function "=" (Left, Right : Address) return Boolean;
|
||||
|
||||
pragma Import (Intrinsic, "<");
|
||||
pragma Import (Intrinsic, "<=");
|
||||
pragma Import (Intrinsic, ">");
|
||||
pragma Import (Intrinsic, ">=");
|
||||
pragma Import (Intrinsic, "=");
|
||||
|
||||
-- Other System-Dependent Declarations
|
||||
|
||||
type Bit_Order is (High_Order_First, Low_Order_First);
|
||||
Default_Bit_Order : constant Bit_Order := High_Order_First;
|
||||
pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
|
||||
|
||||
-- Priority-related Declarations (RM D.1)
|
||||
|
||||
-- Ada priorities are mapped to VxWorks priorities using the following
|
||||
-- transformation: 255 - Ada Priority
|
||||
|
||||
-- Ada priorities are used as follows:
|
||||
|
||||
-- 256 is reserved for the VxWorks kernel
|
||||
-- 248 - 255 correspond to hardware interrupt levels 0 .. 7
|
||||
-- 247 is a catchall default "interrupt" priority for signals,
|
||||
-- allowing higher priority than normal tasks, but lower than
|
||||
-- hardware priority levels. Protected Object ceilings can
|
||||
-- override these values.
|
||||
-- 246 is used by the Interrupt_Manager task
|
||||
|
||||
Max_Priority : constant Positive := 245;
|
||||
Max_Interrupt_Priority : constant Positive := 255;
|
||||
|
||||
subtype Any_Priority is Integer range 0 .. 255;
|
||||
subtype Priority is Any_Priority range 0 .. 245;
|
||||
subtype Interrupt_Priority is Any_Priority range 246 .. 255;
|
||||
|
||||
Default_Priority : constant Priority := 122;
|
||||
|
||||
private
|
||||
|
||||
type Address is mod Memory_Size;
|
||||
Null_Address : constant Address := 0;
|
||||
|
||||
--------------------------------------
|
||||
-- System Implementation Parameters --
|
||||
--------------------------------------
|
||||
|
||||
-- These parameters provide information about the target that is used
|
||||
-- by the compiler. They are in the private part of System, where they
|
||||
-- can be accessed using the special circuitry in the Targparm unit
|
||||
-- whose source should be consulted for more detailed descriptions
|
||||
-- of the individual switch values.
|
||||
|
||||
Backend_Divide_Checks : constant Boolean := False;
|
||||
Backend_Overflow_Checks : constant Boolean := True;
|
||||
Command_Line_Args : constant Boolean := False;
|
||||
Configurable_Run_Time : constant Boolean := False;
|
||||
Denorm : constant Boolean := True;
|
||||
Duration_32_Bits : constant Boolean := False;
|
||||
Exit_Status_Supported : constant Boolean := True;
|
||||
Fractional_Fixed_Ops : constant Boolean := False;
|
||||
Frontend_Layout : constant Boolean := False;
|
||||
Machine_Overflows : constant Boolean := False;
|
||||
Machine_Rounds : constant Boolean := True;
|
||||
Preallocated_Stacks : constant Boolean := False;
|
||||
Signed_Zeros : constant Boolean := False;
|
||||
Stack_Check_Default : constant Boolean := False;
|
||||
Stack_Check_Probes : constant Boolean := True;
|
||||
Stack_Check_Limits : constant Boolean := False;
|
||||
Support_Aggregates : constant Boolean := True;
|
||||
Support_Composite_Assign : constant Boolean := True;
|
||||
Support_Composite_Compare : constant Boolean := True;
|
||||
Support_Long_Shifts : constant Boolean := True;
|
||||
Always_Compatible_Rep : constant Boolean := False;
|
||||
Suppress_Standard_Library : constant Boolean := False;
|
||||
Use_Ada_Main_Program_Name : constant Boolean := True;
|
||||
Frontend_Exceptions : constant Boolean := True;
|
||||
ZCX_By_Default : constant Boolean := False;
|
||||
|
||||
Executable_Extension : constant String := ".out";
|
||||
|
||||
end System;
|
||||
@ -1,162 +0,0 @@
|
||||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT RUN-TIME COMPONENTS --
|
||||
-- --
|
||||
-- S Y S T E M --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- (VxWorks Version Mips) --
|
||||
-- --
|
||||
-- Copyright (C) 1992-2016, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- This specification is derived from the Ada Reference Manual for use with --
|
||||
-- GNAT. The copyright notice above, and the license provisions that follow --
|
||||
-- apply solely to the contents of the part following the private keyword. --
|
||||
-- --
|
||||
-- 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 3, 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. --
|
||||
-- --
|
||||
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
||||
-- additional permissions described in the GCC Runtime Library Exception, --
|
||||
-- version 3.1, as published by the Free Software Foundation. --
|
||||
-- --
|
||||
-- You should have received a copy of the GNU General Public License and --
|
||||
-- a copy of the GCC Runtime Library Exception along with this program; --
|
||||
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
||||
-- <http://www.gnu.org/licenses/>. --
|
||||
-- --
|
||||
-- GNAT was originally developed by the GNAT team at New York University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
package System is
|
||||
pragma Pure;
|
||||
-- Note that we take advantage of the implementation permission to make
|
||||
-- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
|
||||
-- 2005, this is Pure in any case (AI-362).
|
||||
|
||||
pragma No_Elaboration_Code_All;
|
||||
-- Allow the use of that restriction in units that WITH this unit
|
||||
|
||||
type Name is (SYSTEM_NAME_GNAT);
|
||||
System_Name : constant Name := SYSTEM_NAME_GNAT;
|
||||
|
||||
-- System-Dependent Named Numbers
|
||||
|
||||
Min_Int : constant := Long_Long_Integer'First;
|
||||
Max_Int : constant := Long_Long_Integer'Last;
|
||||
|
||||
Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
|
||||
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
|
||||
|
||||
Max_Base_Digits : constant := Long_Long_Float'Digits;
|
||||
Max_Digits : constant := Long_Long_Float'Digits;
|
||||
|
||||
Max_Mantissa : constant := 63;
|
||||
Fine_Delta : constant := 2.0 ** (-Max_Mantissa);
|
||||
|
||||
Tick : constant := 1.0 / 60.0;
|
||||
|
||||
-- Storage-related Declarations
|
||||
|
||||
type Address is private;
|
||||
pragma Preelaborable_Initialization (Address);
|
||||
Null_Address : constant Address;
|
||||
|
||||
Storage_Unit : constant := 8;
|
||||
Word_Size : constant := 32;
|
||||
Memory_Size : constant := 2 ** 32;
|
||||
|
||||
-- Address comparison
|
||||
|
||||
function "<" (Left, Right : Address) return Boolean;
|
||||
function "<=" (Left, Right : Address) return Boolean;
|
||||
function ">" (Left, Right : Address) return Boolean;
|
||||
function ">=" (Left, Right : Address) return Boolean;
|
||||
function "=" (Left, Right : Address) return Boolean;
|
||||
|
||||
pragma Import (Intrinsic, "<");
|
||||
pragma Import (Intrinsic, "<=");
|
||||
pragma Import (Intrinsic, ">");
|
||||
pragma Import (Intrinsic, ">=");
|
||||
pragma Import (Intrinsic, "=");
|
||||
|
||||
-- Other System-Dependent Declarations
|
||||
|
||||
type Bit_Order is (High_Order_First, Low_Order_First);
|
||||
Default_Bit_Order : constant Bit_Order := High_Order_First;
|
||||
pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
|
||||
|
||||
-- Priority-related Declarations (RM D.1)
|
||||
|
||||
-- Ada priorities are mapped to VxWorks priorities using the following
|
||||
-- transformation: 255 - Ada Priority
|
||||
|
||||
-- Ada priorities are used as follows:
|
||||
|
||||
-- 256 is reserved for the VxWorks kernel
|
||||
-- 248 - 255 correspond to hardware interrupt levels 0 .. 7
|
||||
-- 247 is a catchall default "interrupt" priority for signals,
|
||||
-- allowing higher priority than normal tasks, but lower than
|
||||
-- hardware priority levels. Protected Object ceilings can
|
||||
-- override these values.
|
||||
-- 246 is used by the Interrupt_Manager task
|
||||
|
||||
Max_Priority : constant Positive := 245;
|
||||
Max_Interrupt_Priority : constant Positive := 255;
|
||||
|
||||
subtype Any_Priority is Integer range 0 .. 255;
|
||||
subtype Priority is Any_Priority range 0 .. 245;
|
||||
subtype Interrupt_Priority is Any_Priority range 246 .. 255;
|
||||
|
||||
Default_Priority : constant Priority := 122;
|
||||
|
||||
private
|
||||
|
||||
type Address is mod Memory_Size;
|
||||
Null_Address : constant Address := 0;
|
||||
|
||||
--------------------------------------
|
||||
-- System Implementation Parameters --
|
||||
--------------------------------------
|
||||
|
||||
-- These parameters provide information about the target that is used
|
||||
-- by the compiler. They are in the private part of System, where they
|
||||
-- can be accessed using the special circuitry in the Targparm unit
|
||||
-- whose source should be consulted for more detailed descriptions
|
||||
-- of the individual switch values.
|
||||
|
||||
Backend_Divide_Checks : constant Boolean := False;
|
||||
Backend_Overflow_Checks : constant Boolean := True;
|
||||
Command_Line_Args : constant Boolean := False;
|
||||
Configurable_Run_Time : constant Boolean := False;
|
||||
Denorm : constant Boolean := False;
|
||||
Duration_32_Bits : constant Boolean := False;
|
||||
Exit_Status_Supported : constant Boolean := True;
|
||||
Fractional_Fixed_Ops : constant Boolean := False;
|
||||
Frontend_Layout : constant Boolean := False;
|
||||
Machine_Overflows : constant Boolean := False;
|
||||
Machine_Rounds : constant Boolean := True;
|
||||
Preallocated_Stacks : constant Boolean := False;
|
||||
Signed_Zeros : constant Boolean := True;
|
||||
Stack_Check_Default : constant Boolean := False;
|
||||
Stack_Check_Probes : constant Boolean := True;
|
||||
Stack_Check_Limits : constant Boolean := False;
|
||||
Support_Aggregates : constant Boolean := True;
|
||||
Support_Composite_Assign : constant Boolean := True;
|
||||
Support_Composite_Compare : constant Boolean := True;
|
||||
Support_Long_Shifts : constant Boolean := True;
|
||||
Always_Compatible_Rep : constant Boolean := False;
|
||||
Suppress_Standard_Library : constant Boolean := False;
|
||||
Use_Ada_Main_Program_Name : constant Boolean := True;
|
||||
Frontend_Exceptions : constant Boolean := True;
|
||||
ZCX_By_Default : constant Boolean := False;
|
||||
|
||||
Executable_Extension : constant String := ".out";
|
||||
|
||||
end System;
|
||||
@ -1,164 +0,0 @@
|
||||
------------------------------------------------------------------------------
|
||||
-- --
|
||||
-- GNAT RUN-TIME COMPONENTS --
|
||||
-- --
|
||||
-- S Y S T E M --
|
||||
-- --
|
||||
-- S p e c --
|
||||
-- (VxWorks Version Sparc/64) --
|
||||
-- --
|
||||
-- Copyright (C) 1992-2016, Free Software Foundation, Inc. --
|
||||
-- --
|
||||
-- This specification is derived from the Ada Reference Manual for use with --
|
||||
-- GNAT. The copyright notice above, and the license provisions that follow --
|
||||
-- apply solely to the contents of the part following the private keyword. --
|
||||
-- --
|
||||
-- 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 3, 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. --
|
||||
-- --
|
||||
-- As a special exception under Section 7 of GPL version 3, you are granted --
|
||||
-- additional permissions described in the GCC Runtime Library Exception, --
|
||||
-- version 3.1, as published by the Free Software Foundation. --
|
||||
-- --
|
||||
-- You should have received a copy of the GNU General Public License and --
|
||||
-- a copy of the GCC Runtime Library Exception along with this program; --
|
||||
-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
|
||||
-- <http://www.gnu.org/licenses/>. --
|
||||
-- --
|
||||
-- GNAT was originally developed by the GNAT team at New York University. --
|
||||
-- Extensive contributions were provided by Ada Core Technologies Inc. --
|
||||
-- --
|
||||
------------------------------------------------------------------------------
|
||||
|
||||
package System is
|
||||
pragma Pure;
|
||||
-- Note that we take advantage of the implementation permission to make
|
||||
-- this unit Pure instead of Preelaborable; see RM 13.7.1(15). In Ada
|
||||
-- 2005, this is Pure in any case (AI-362).
|
||||
|
||||
pragma No_Elaboration_Code_All;
|
||||
-- Allow the use of that restriction in units that WITH this unit
|
||||
|
||||
type Name is (SYSTEM_NAME_GNAT);
|
||||
System_Name : constant Name := SYSTEM_NAME_GNAT;
|
||||
|
||||
-- System-Dependent Named Numbers
|
||||
|
||||
Min_Int : constant := Long_Long_Integer'First;
|
||||
Max_Int : constant := Long_Long_Integer'Last;
|
||||
|
||||
Max_Binary_Modulus : constant := 2 ** Long_Long_Integer'Size;
|
||||
Max_Nonbinary_Modulus : constant := 2 ** Integer'Size - 1;
|
||||
|
||||
Max_Base_Digits : constant := Long_Long_Float'Digits;
|
||||
Max_Digits : constant := Long_Long_Float'Digits;
|
||||
|
||||
Max_Mantissa : constant := 63;
|
||||
Fine_Delta : constant := 2.0 ** (-Max_Mantissa);
|
||||
|
||||
Tick : constant := 1.0 / 60.0;
|
||||
|
||||
-- Storage-related Declarations
|
||||
|
||||
-- VxWorks for UltraSparc uses 64bit words but 32bit pointers
|
||||
|
||||
type Address is private;
|
||||
pragma Preelaborable_Initialization (Address);
|
||||
Null_Address : constant Address;
|
||||
|
||||
Storage_Unit : constant := 8;
|
||||
Word_Size : constant := 64;
|
||||
Memory_Size : constant := 2 ** 32;
|
||||
|
||||
-- Address comparison
|
||||
|
||||
function "<" (Left, Right : Address) return Boolean;
|
||||
function "<=" (Left, Right : Address) return Boolean;
|
||||
function ">" (Left, Right : Address) return Boolean;
|
||||
function ">=" (Left, Right : Address) return Boolean;
|
||||
function "=" (Left, Right : Address) return Boolean;
|
||||
|
||||
pragma Import (Intrinsic, "<");
|
||||
pragma Import (Intrinsic, "<=");
|
||||
pragma Import (Intrinsic, ">");
|
||||
pragma Import (Intrinsic, ">=");
|
||||
pragma Import (Intrinsic, "=");
|
||||
|
||||
-- Other System-Dependent Declarations
|
||||
|
||||
type Bit_Order is (High_Order_First, Low_Order_First);
|
||||
Default_Bit_Order : constant Bit_Order := High_Order_First;
|
||||
pragma Warnings (Off, Default_Bit_Order); -- kill constant condition warning
|
||||
|
||||
-- Priority-related Declarations (RM D.1)
|
||||
|
||||
-- Ada priorities are mapped to VxWorks priorities using the following
|
||||
-- transformation: 255 - Ada Priority
|
||||
|
||||
-- Ada priorities are used as follows:
|
||||
|
||||
-- 256 is reserved for the VxWorks kernel
|
||||
-- 248 - 255 correspond to hardware interrupt levels 0 .. 7
|
||||
-- 247 is a catchall default "interrupt" priority for signals,
|
||||
-- allowing higher priority than normal tasks, but lower than
|
||||
-- hardware priority levels. Protected Object ceilings can
|
||||
-- override these values.
|
||||
-- 246 is used by the Interrupt_Manager task
|
||||
|
||||
Max_Priority : constant Positive := 245;
|
||||
Max_Interrupt_Priority : constant Positive := 255;
|
||||
|
||||
subtype Any_Priority is Integer range 0 .. 255;
|
||||
subtype Priority is Any_Priority range 0 .. 245;
|
||||
subtype Interrupt_Priority is Any_Priority range 246 .. 255;
|
||||
|
||||
Default_Priority : constant Priority := 122;
|
||||
|
||||
private
|
||||
|
||||
type Address is mod Memory_Size;
|
||||
Null_Address : constant Address := 0;
|
||||
|
||||
--------------------------------------
|
||||
-- System Implementation Parameters --
|
||||
--------------------------------------
|
||||
|
||||
-- These parameters provide information about the target that is used
|
||||
-- by the compiler. They are in the private part of System, where they
|
||||
-- can be accessed using the special circuitry in the Targparm unit
|
||||
-- whose source should be consulted for more detailed descriptions
|
||||
-- of the individual switch values.
|
||||
|
||||
Backend_Divide_Checks : constant Boolean := False;
|
||||
Backend_Overflow_Checks : constant Boolean := True;
|
||||
Command_Line_Args : constant Boolean := False;
|
||||
Configurable_Run_Time : constant Boolean := False;
|
||||
Denorm : constant Boolean := True;
|
||||
Duration_32_Bits : constant Boolean := False;
|
||||
Exit_Status_Supported : constant Boolean := True;
|
||||
Fractional_Fixed_Ops : constant Boolean := False;
|
||||
Frontend_Layout : constant Boolean := False;
|
||||
Machine_Overflows : constant Boolean := False;
|
||||
Machine_Rounds : constant Boolean := True;
|
||||
Preallocated_Stacks : constant Boolean := False;
|
||||
Signed_Zeros : constant Boolean := True;
|
||||
Stack_Check_Default : constant Boolean := False;
|
||||
Stack_Check_Probes : constant Boolean := True;
|
||||
Stack_Check_Limits : constant Boolean := False;
|
||||
Support_Aggregates : constant Boolean := True;
|
||||
Support_Composite_Assign : constant Boolean := True;
|
||||
Support_Composite_Compare : constant Boolean := True;
|
||||
Support_Long_Shifts : constant Boolean := True;
|
||||
Always_Compatible_Rep : constant Boolean := False;
|
||||
Suppress_Standard_Library : constant Boolean := False;
|
||||
Use_Ada_Main_Program_Name : constant Boolean := True;
|
||||
Frontend_Exceptions : constant Boolean := True;
|
||||
ZCX_By_Default : constant Boolean := False;
|
||||
|
||||
Executable_Extension : constant String := ".out";
|
||||
|
||||
end System;
|
||||
Loading…
x
Reference in New Issue
Block a user