------------------------------------------------------------------------------ -- -- -- GNAT COMPILER COMPONENTS -- -- -- -- S Y S T E M . A U X _ D E C -- -- -- -- S p e c -- -- -- -- -- -- Copyright (C) 1996-2001 Free Software Foundation, Inc. -- -- -- -- 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. -- -- Extensive contributions were provided by Ada Core Technologies Inc. -- -- -- ------------------------------------------------------------------------------ -- 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 Elaborate_Body (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; 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 pragma Warnings (Off); type F_Float is digits 6; pragma Float_Representation (VAX_Float, F_Float); type D_Float is digits 9; pragma Float_Representation (Vax_Float, D_Float); type G_Float is digits 15; pragma Float_Representation (Vax_Float, G_Float); -- Floating point type declarations for IEEE floating point data types type IEEE_Single_Float is digits 6; pragma Float_Representation (IEEE_Float, IEEE_Single_Float); type IEEE_Double_Float is digits 15; pragma Float_Representation (IEEE_Float, IEEE_Double_Float); pragma Warnings (On); 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; pragma Pure_Function (To_Address); function To_Address_Long (X : Unsigned_Longword) return Address; pragma Pure_Function (To_Address_Long); 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; pragma Import (Intrinsic, Import_Value); pragma Import (Intrinsic, Import_Address); pragma Import (Intrinsic, Import_Largest_Value); -- 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 Integer'Min (2, Standard'Maximum_Alignment); 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; -- An AST_Handler value is from a typing point of view simply a pointer -- to a procedure taking a single 64bit parameter. However, this -- is a bit misleading, because the data that this pointer references is -- highly stylized. See body of System.AST_Handling for full details. type AST_Handler is access procedure (Param : Long_Integer); No_AST_Handler : constant AST_Handler := null; -- 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 at least inline them. 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_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; pragma Warnings (Off); -- Turn warnings off. This is needed for systems with 64-bit integers, -- where some of these operations are of dubious meaning, but we do not -- want warnings when we compile on such systems. function To_Address_A is new Unchecked_Conversion (Integer, Address); pragma Pure_Function (To_Address_A); function To_Address (X : Integer) return Address renames To_Address_A; pragma Pure_Function (To_Address); function To_Address_Long_A is new Unchecked_Conversion (Unsigned_Longword, Address); pragma Pure_Function (To_Address_Long_A); function To_Address_Long (X : Unsigned_Longword) return Address renames To_Address_Long_A; pragma Pure_Function (To_Address_Long); 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; pragma Warnings (On); end System.Aux_DEC;