Package Name: system.aux_dec
------------------------------------------------------------------------------
-- --
-- GNAT COMPILER COMPONENTS --
-- --
-- S Y S T E M . A U X _ D E C --
-- --
-- S p e c --
-- --
-- $Revision: 1.6 $ --
-- --
-- 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, 59 Temple Place - Suite 330, Boston, --
-- MA 02111-1307, USA. --
-- --
-- As a special exception, if other files instantiate generics from this --
-- unit, Or you link this unit with other files to produce an executable, --
-- this unit does not by itself cause the resulting executable to be --
-- covered by the GNU General Public License. This exception does not --
-- however invalidate any other reasons why the executable file might be --
-- covered by the GNU Public License. --
-- --
-- GNAT was Originally developed by the GNAT team at New YOrk University. --
-- It is now maintained by Ada COre Technologies Inc (http://www.gnat.com). --
-- --
------------------------------------------------------------------------------
-- This package contains definitions that are designed to be compatible
-- with the extra definitions in package System for DEC Ada implementations.
-- These definitions can be used directly by withing this package, or merged
-- with System using pragma Extend_System (Aux_DEC)
with Unchecked_Conversion;
package System.Aux_DEC is
pragma Preelaborate (Aux_DEC);
type Integer_8 is range -2 ** (8 - 1) .. +2 ** (8 - 1) - 1;
for Integer_8'Size use 8;
type Integer_16 is range -2 ** (16 - 1) .. +2 ** (16 - 1) - 1;
for Integer_16'Size use 16;
type Integer_32 is range -2 ** (32 - 1) .. +2 ** (32 - 1) - 1;
for Integer_32'Size use 32;
type Integer_64 is range -2 ** (64 - 1) .. +2 ** (64 - 1) - 1;
for Integer_64'Size use 64;
type Largest_Integer is range Min_Int .. Max_Int;
type AST_Handler is limited private;
No_AST_Handler : constant AST_Handler;
type Type_Class is
(Type_Class_Enumeration,
Type_Class_Integer,
Type_Class_Fixed_Point,
Type_Class_Floating_Point,
Type_Class_Array,
Type_Class_Record,
Type_Class_Access,
Type_Class_Task, -- also in Ada 95 protected
Type_Class_Address);
function "not" (Left : Largest_Integer) return Largest_Integer;
function "and" (Left, Right : Largest_Integer) return Largest_Integer;
function "or" (Left, Right : Largest_Integer) return Largest_Integer;
function "xor" (Left, Right : Largest_Integer) return Largest_Integer;
Address_Zero : constant Address;
No_Addr : constant Address;
Address_Size : constant := Standard'Address_Size;
function "+" (Left : Address; Right : Integer) return Address;
function "+" (Left : Integer; Right : Address) return Address;
function "-" (Left : Address; Right : Address) return Integer;
function "-" (Left : Address; Right : Integer) return Address;
-- Note that because Address is a private type the functions "=" and
-- "/=" are already available and do not have to be explicitly defined.
function "<" (Left, Right : Address) return Boolean;
function "<=" (Left, Right : Address) return Boolean;
function ">" (Left, Right : Address) return Boolean;
function ">=" (Left, Right : Address) return Boolean;
generic
type Target is private;
function Fetch_From_Address (A : Address) return Target;
generic
type Target is private;
procedure Assign_To_Address (A : Address; T : Target);
-- Floating point type declarations for VAX floating point data types
-- The following are temporary definitions ???
type F_Float is new Float;
type D_Float is new Long_Float;
type G_Float is new Long_Long_Float;
-- Floating point type declarations for IEEE floating point data types
type IEEE_Single_Float is new Short_Float;
type IEEE_Double_Float is new Long_Float;
Non_Ada_Error : exception;
-- Hardware-oriented types and functions
type Bit_Array is array (Integer range <>) of Boolean;
pragma Pack (Bit_Array);
subtype Bit_Array_8 is Bit_Array (0 .. 7);
subtype Bit_Array_16 is Bit_Array (0 .. 15);
subtype Bit_Array_32 is Bit_Array (0 .. 31);
subtype Bit_Array_64 is Bit_Array (0 .. 63);
type Unsigned_Byte is range 0 .. 255;
for Unsigned_Byte'Size use 8;
function "not" (Left : Unsigned_Byte) return Unsigned_Byte;
function "and" (Left, Right : Unsigned_Byte) return Unsigned_Byte;
function "or" (Left, Right : Unsigned_Byte) return Unsigned_Byte;
function "xor" (Left, Right : Unsigned_Byte) return Unsigned_Byte;
function To_Unsigned_Byte (X : Bit_Array_8) return Unsigned_Byte;
function To_Bit_Array_8 (X : Unsigned_Byte) return Bit_Array_8;
type Unsigned_Byte_Array is array (Integer range <>) of Unsigned_Byte;
type Unsigned_Word is range 0 .. 65535;
for Unsigned_Word'Size use 16;
function "not" (Left : Unsigned_Word) return Unsigned_Word;
function "and" (Left, Right : Unsigned_Word) return Unsigned_Word;
function "or" (Left, Right : Unsigned_Word) return Unsigned_Word;
function "xor" (Left, Right : Unsigned_Word) return Unsigned_Word;
function To_Unsigned_Word (X : Bit_Array_16) return Unsigned_Word;
function To_Bit_Array_16 (X : Unsigned_Word) return Bit_Array_16;
type Unsigned_Word_Array is array (Integer range <>) of Unsigned_Word;
type Unsigned_Longword is range -2_147_483_648 .. 2_147_483_647;
for Unsigned_Longword'Size use 32;
function "not" (Left : Unsigned_Longword) return Unsigned_Longword;
function "and" (Left, Right : Unsigned_Longword) return Unsigned_Longword;
function "or" (Left, Right : Unsigned_Longword) return Unsigned_Longword;
function "xor" (Left, Right : Unsigned_Longword) return Unsigned_Longword;
function To_Unsigned_Longword (X : Bit_Array_32) return Unsigned_Longword;
function To_Bit_Array_32 (X : Unsigned_Longword) return Bit_Array_32;
type Unsigned_Longword_Array is
array (Integer range <>) of Unsigned_Longword;
type Unsigned_32 is range 0 .. 4_294_967_295;
for Unsigned_32'Size use 32;
function "not" (Left : Unsigned_32) return Unsigned_32;
function "and" (Left, Right : Unsigned_32) return Unsigned_32;
function "or" (Left, Right : Unsigned_32) return Unsigned_32;
function "xor" (Left, Right : Unsigned_32) return Unsigned_32;
function To_Unsigned_32 (X : Bit_Array_32) return Unsigned_32;
function To_Bit_Array_32 (X : Unsigned_32) return Bit_Array_32;
type Unsigned_Quadword is record
L0 : Unsigned_Longword;
L1 : Unsigned_Longword;
end record;
for Unsigned_Quadword'Size use 64;
for Unsigned_Quadword'Alignment use
Integer'Min (8, Standard'Maximum_Alignment);
function "not" (Left : Unsigned_Quadword) return Unsigned_Quadword;
function "and" (Left, Right : Unsigned_Quadword) return Unsigned_Quadword;
function "or" (Left, Right : Unsigned_Quadword) return Unsigned_Quadword;
function "xor" (Left, Right : Unsigned_Quadword) return Unsigned_Quadword;
function To_Unsigned_Quadword (X : Bit_Array_64) return Unsigned_Quadword;
function To_Bit_Array_64 (X : Unsigned_Quadword) return Bit_Array_64;
type Unsigned_Quadword_Array is
array (Integer range <>) of Unsigned_Quadword;
function To_Address (X : Integer) return Address;
function To_Address (X : Unsigned_Longword) return Address;
function To_Integer (X : Address) return Integer;
function To_Unsigned_Longword (X : Address) return Unsigned_Longword;
function To_Unsigned_Longword (X : AST_Handler) return Unsigned_Longword;
-- Conventional names for static subtypes of type UNSIGNED_LONGWORD
subtype Unsigned_1 is Unsigned_Longword range 0 .. 2** 1-1;
subtype Unsigned_2 is Unsigned_Longword range 0 .. 2** 2-1;
subtype Unsigned_3 is Unsigned_Longword range 0 .. 2** 3-1;
subtype Unsigned_4 is Unsigned_Longword range 0 .. 2** 4-1;
subtype Unsigned_5 is Unsigned_Longword range 0 .. 2** 5-1;
subtype Unsigned_6 is Unsigned_Longword range 0 .. 2** 6-1;
subtype Unsigned_7 is Unsigned_Longword range 0 .. 2** 7-1;
subtype Unsigned_8 is Unsigned_Longword range 0 .. 2** 8-1;
subtype Unsigned_9 is Unsigned_Longword range 0 .. 2** 9-1;
subtype Unsigned_10 is Unsigned_Longword range 0 .. 2**10-1;
subtype Unsigned_11 is Unsigned_Longword range 0 .. 2**11-1;
subtype Unsigned_12 is Unsigned_Longword range 0 .. 2**12-1;
subtype Unsigned_13 is Unsigned_Longword range 0 .. 2**13-1;
subtype Unsigned_14 is Unsigned_Longword range 0 .. 2**14-1;
subtype Unsigned_15 is Unsigned_Longword range 0 .. 2**15-1;
subtype Unsigned_16 is Unsigned_Longword range 0 .. 2**16-1;
subtype Unsigned_17 is Unsigned_Longword range 0 .. 2**17-1;
subtype Unsigned_18 is Unsigned_Longword range 0 .. 2**18-1;
subtype Unsigned_19 is Unsigned_Longword range 0 .. 2**19-1;
subtype Unsigned_20 is Unsigned_Longword range 0 .. 2**20-1;
subtype Unsigned_21 is Unsigned_Longword range 0 .. 2**21-1;
subtype Unsigned_22 is Unsigned_Longword range 0 .. 2**22-1;
subtype Unsigned_23 is Unsigned_Longword range 0 .. 2**23-1;
subtype Unsigned_24 is Unsigned_Longword range 0 .. 2**24-1;
subtype Unsigned_25 is Unsigned_Longword range 0 .. 2**25-1;
subtype Unsigned_26 is Unsigned_Longword range 0 .. 2**26-1;
subtype Unsigned_27 is Unsigned_Longword range 0 .. 2**27-1;
subtype Unsigned_28 is Unsigned_Longword range 0 .. 2**28-1;
subtype Unsigned_29 is Unsigned_Longword range 0 .. 2**29-1;
subtype Unsigned_30 is Unsigned_Longword range 0 .. 2**30-1;
subtype Unsigned_31 is Unsigned_Longword range 0 .. 2**31-1;
-- Function for obtaining global symbol values
function Import_Value (Symbol : String) return Unsigned_Longword;
function Import_Address (Symbol : String) return Address;
function Import_Largest_Value (Symbol : String) return Largest_Integer;
-- For the following declarations, note that the declaration without
-- a Retry_Count parameter means to retry infinitely. A value of zero
-- for the Retry_Count parameter means do not retry.
-- Interlocked-instruction procedures
procedure Clear_Interlocked
(Bit : in out Boolean;
Old_Value : out Boolean);
procedure Set_Interlocked
(Bit : in out Boolean;
Old_Value : out Boolean);
type Aligned_Word is record
Value : Short_Integer;
end record;
for Aligned_Word'Alignment use 2;
procedure Clear_Interlocked
(Bit : in out Boolean;
Old_Value : out Boolean;
Retry_Count : in Natural;
Success_Flag : out Boolean);
procedure Set_Interlocked
(Bit : in out Boolean;
Old_Value : out Boolean;
Retry_Count : in Natural;
Success_Flag : out Boolean);
procedure Add_Interlocked
(Addend : in Short_Integer;
Augend : in out Aligned_Word;
Sign : out Integer);
type Aligned_Integer is record
Value : Integer;
end record;
for Aligned_Integer'Alignment use
Integer'Min (4, Standard'Maximum_Alignment);
type Aligned_Long_Integer is record
Value : Long_Integer;
end record;
for Aligned_Long_Integer'Alignment use
Integer'Min (8, Standard'Maximum_Alignment);
-- For the following declarations, note that the declaration without
-- a Retry_Count parameter mean to retry infinitely. A value of zero
-- for the Retry_Count means do not retry.
procedure Add_Atomic
(To : in out Aligned_Integer;
Amount : in Integer);
procedure Add_Atomic
(To : in out Aligned_Integer;
Amount : in Integer;
Retry_Count : in Natural;
Old_Value : out Integer;
Success_Flag : out Boolean);
procedure Add_Atomic
(To : in out Aligned_Long_Integer;
Amount : in Long_Integer);
procedure Add_Atomic
(To : in out Aligned_Long_Integer;
Amount : in Long_Integer;
Retry_Count : in Natural;
Old_Value : out Long_Integer;
Success_Flag : out Boolean);
procedure And_Atomic
(To : in out Aligned_Integer;
From : in Integer);
procedure And_Atomic
(To : in out Aligned_Integer;
From : in Integer;
Retry_Count : in Natural;
Old_Value : out Integer;
Success_Flag : out Boolean);
procedure And_Atomic
(To : in out Aligned_Long_Integer;
From : in Long_Integer);
procedure And_Atomic
(To : in out Aligned_Long_Integer;
From : in Long_Integer;
Retry_Count : in Natural;
Old_Value : out Long_Integer;
Success_Flag : out Boolean);
procedure Or_Atomic
(To : in out Aligned_Integer;
From : in Integer);
procedure Or_Atomic
(To : in out Aligned_Integer;
From : in Integer;
Retry_Count : in Natural;
Old_Value : out Integer;
Success_Flag : out Boolean);
procedure Or_Atomic
(To : in out Aligned_Long_Integer;
From : in Long_Integer);
procedure Or_Atomic
(To : in out Aligned_Long_Integer;
From : in Long_Integer;
Retry_Count : in Natural;
Old_Value : out Long_Integer;
Success_Flag : out Boolean);
type Insq_Status is
(Fail_No_Lock, OK_Not_First, OK_First);
for Insq_Status use
(Fail_No_Lock => -1,
OK_Not_First => 0,
OK_First => +1);
type Remq_Status is (
Fail_No_Lock,
Fail_Was_Empty,
OK_Not_Empty,
OK_Empty);
for Remq_Status use
(Fail_No_Lock => -1,
Fail_Was_Empty => 0,
OK_Not_Empty => +1,
OK_Empty => +2);
procedure Insqhi
(Item : in Address;
Header : in Address;
Status : out Insq_Status);
procedure Remqhi
(Header : in Address;
Item : out Address;
Status : out Remq_Status);
procedure Insqti
(Item : in Address;
Header : in Address;
Status : out Insq_Status);
procedure Remqti
(Header : in Address;
Item : out Address;
Status : out Remq_Status);
private
Address_Zero : constant Address := Null_Address;
No_Addr : constant Address := Null_Address;
type AST_Handler is access procedure;
No_AST_Handler : constant AST_Handler := null;
-- Comparisons can be made intrinsic
pragma Import (Intrinsic, "<");
pragma Import (Intrinsic, "<=");
pragma Import (Intrinsic, ">");
pragma Import (Intrinsic, ">=");
-- Other operators have incorrect profiles. It would be nice to make
-- them intrinsic, since the backend can handle them, but the front
-- end is not prepared to deal with them, so make them at least inline
pragma Inline ("+");
pragma Inline ("-");
pragma Inline ("not");
pragma Inline ("and");
pragma Inline ("or");
pragma Inline ("xor");
-- Other inlined subprograms
pragma Inline (Fetch_From_Address);
pragma Inline (Assign_To_Address);
-- Provide proper unchecked conversion definitions for transfer
-- functions. Note that we need this level of indirection because
-- the formal parameter name is X and not Source (and this is indeed
-- detectable by a program)
function To_Address_A is new
Unchecked_Conversion (Integer, Address);
function To_Address (X : Integer) return Address
renames To_Address_A;
function To_Unsigned_Byte_A is new
Unchecked_Conversion (Bit_Array_8, Unsigned_Byte);
function To_Unsigned_Byte (X : Bit_Array_8) return Unsigned_Byte
renames To_Unsigned_Byte_A;
function To_Bit_Array_8_A is new
Unchecked_Conversion (Unsigned_Byte, Bit_Array_8);
function To_Bit_Array_8 (X : Unsigned_Byte) return Bit_Array_8
renames To_Bit_Array_8_A;
function To_Unsigned_Word_A is new
Unchecked_Conversion (Bit_Array_16, Unsigned_Word);
function To_Unsigned_Word (X : Bit_Array_16) return Unsigned_Word
renames To_Unsigned_Word_A;
function To_Bit_Array_16_A is new
Unchecked_Conversion (Unsigned_Word, Bit_Array_16);
function To_Bit_Array_16 (X : Unsigned_Word) return Bit_Array_16
renames To_Bit_Array_16_A;
function To_Unsigned_Longword_A is new
Unchecked_Conversion (Bit_Array_32, Unsigned_Longword);
function To_Unsigned_Longword (X : Bit_Array_32) return Unsigned_Longword
renames To_Unsigned_Longword_A;
function To_Bit_Array_32_A is new
Unchecked_Conversion (Unsigned_Longword, Bit_Array_32);
function To_Bit_Array_32 (X : Unsigned_Longword) return Bit_Array_32
renames To_Bit_Array_32_A;
function To_Unsigned_32_A is new
Unchecked_Conversion (Bit_Array_32, Unsigned_32);
function To_Unsigned_32 (X : Bit_Array_32) return Unsigned_32
renames To_Unsigned_32_A;
function To_Bit_Array_32_A is new
Unchecked_Conversion (Unsigned_32, Bit_Array_32);
function To_Bit_Array_32 (X : Unsigned_32) return Bit_Array_32
renames To_Bit_Array_32_A;
function To_Unsigned_Quadword_A is new
Unchecked_Conversion (Bit_Array_64, Unsigned_Quadword);
function To_Unsigned_Quadword (X : Bit_Array_64) return Unsigned_Quadword
renames To_Unsigned_Quadword_A;
function To_Bit_Array_64_A is new
Unchecked_Conversion (Unsigned_Quadword, Bit_Array_64);
function To_Bit_Array_64 (X : Unsigned_Quadword) return Bit_Array_64
renames To_Bit_Array_64_A;
function To_Address_A is new
Unchecked_Conversion (Integer, Address);
function To_Address (X : Integer) return Address
renames To_Address_A;
function To_Address_A is new
Unchecked_Conversion (Unsigned_Longword, Address);
function To_Address (X : Unsigned_Longword) return Address
renames To_Address_A;
function To_Integer_A is new
Unchecked_Conversion (Address, Integer);
function To_Integer (X : Address) return Integer
renames To_Integer_A;
function To_Unsigned_Longword_A is new
Unchecked_Conversion (Address, Unsigned_Longword);
function To_Unsigned_Longword (X : Address) return Unsigned_Longword
renames To_Unsigned_Longword_A;
function To_Unsigned_Longword_A is new
Unchecked_Conversion (AST_Handler, Unsigned_Longword);
function To_Unsigned_Longword (X : AST_Handler) return Unsigned_Longword
renames To_Unsigned_Longword_A;
end System.Aux_DEC;