gcc/ada/6vinterf.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                           I N T E R F A C E S                            --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 -- This specification is adapted from the Ada Reference Manual for use with --
  10 -- GNAT.  In accordance with the copyright of that document, you can freely --
  11 -- copy and modify this specification,  provided that if you redistribute a --
  12 -- modified version,  any changes that you have made are clearly indicated. --
  13 --                                                                          --
  14 ------------------------------------------------------------------------------
  15
  16 --  This is the OpenVMS version of this package which adds Float_Representation
  17 --  pragmas to the IEEE floating point types to enusre they remain IEEE in
  18 --  thse presence of a VAX_Float Float_Representatin configuration pragma.
  19
  20 --  It assumes integer sizes of 8, 16, 32 and 64 are available, and that IEEE
  21 --  floating-point formats are available.
  22
  23 package Interfaces is
  24 pragma Pure (Interfaces);
  25
  26    type Integer_8  is range -2 **  7 .. 2 **  7 - 1;
  27    for Integer_8'Size use  8;
  28
  29    type Integer_16 is range -2 ** 15 .. 2 ** 15 - 1;
  30    for Integer_16'Size use 16;
  31
  32    type Integer_32 is range -2 ** 31 .. 2 ** 31 - 1;
  33    for Integer_32'Size use 32;
  34
  35    type Integer_64 is range -2 ** 63 .. 2 ** 63 - 1;
  36    for Integer_64'Size use 64;
  37
  38    type Unsigned_8  is mod 2 **  8;
  39    for Unsigned_8'Size use  8;
  40
  41    type Unsigned_16 is mod 2 ** 16;
  42    for Unsigned_16'Size use 16;
  43
  44    type Unsigned_32 is mod 2 ** 32;
  45    for Unsigned_32'Size use 32;
  46
  47    type Unsigned_64 is mod 2 ** 64;
  48    for Unsigned_64'Size use 64;
  49
  50    function Shift_Left
  51      (Value  : Unsigned_8;
  52       Amount : Natural)
  53      return    Unsigned_8;
  54
  55    function Shift_Right
  56      (Value  : Unsigned_8;
  57       Amount : Natural)
  58       return   Unsigned_8;
  59
  60    function Shift_Right_Arithmetic
  61      (Value  : Unsigned_8;
  62       Amount : Natural)
  63       return   Unsigned_8;
  64
  65    function Rotate_Left
  66      (Value  : Unsigned_8;
  67       Amount : Natural)
  68       return   Unsigned_8;
  69
  70    function Rotate_Right
  71      (Value  : Unsigned_8;
  72       Amount : Natural)
  73       return   Unsigned_8;
  74
  75    function Shift_Left
  76      (Value  : Unsigned_16;
  77       Amount : Natural)
  78      return    Unsigned_16;
  79
  80    function Shift_Right
  81      (Value  : Unsigned_16;
  82       Amount : Natural)
  83       return   Unsigned_16;
  84
  85    function Shift_Right_Arithmetic
  86      (Value  : Unsigned_16;
  87       Amount : Natural)
  88       return   Unsigned_16;
  89
  90    function Rotate_Left
  91      (Value  : Unsigned_16;
  92       Amount : Natural)
  93       return   Unsigned_16;
  94
  95    function Rotate_Right
  96      (Value  : Unsigned_16;
  97       Amount : Natural)
  98       return   Unsigned_16;
  99
 100    function Shift_Left
 101      (Value  : Unsigned_32;
 102       Amount : Natural)
 103      return    Unsigned_32;
 104
 105    function Shift_Right
 106      (Value  : Unsigned_32;
 107       Amount : Natural)
 108       return   Unsigned_32;
 109
 110    function Shift_Right_Arithmetic
 111      (Value  : Unsigned_32;
 112       Amount : Natural)
 113       return   Unsigned_32;
 114
 115    function Rotate_Left
 116      (Value  : Unsigned_32;
 117       Amount : Natural)
 118       return   Unsigned_32;
 119
 120    function Rotate_Right
 121      (Value  : Unsigned_32;
 122       Amount : Natural)
 123       return   Unsigned_32;
 124
 125    function Shift_Left
 126      (Value  : Unsigned_64;
 127       Amount : Natural)
 128      return    Unsigned_64;
 129
 130    function Shift_Right
 131      (Value  : Unsigned_64;
 132       Amount : Natural)
 133       return   Unsigned_64;
 134
 135    function Shift_Right_Arithmetic
 136      (Value  : Unsigned_64;
 137       Amount : Natural)
 138       return   Unsigned_64;
 139
 140    function Rotate_Left
 141      (Value  : Unsigned_64;
 142       Amount : Natural)
 143       return   Unsigned_64;
 144
 145    function Rotate_Right
 146      (Value  : Unsigned_64;
 147       Amount : Natural)
 148       return   Unsigned_64;
 149
 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);
 155
 156    --  Floating point types. We use the digits value to define the IEEE
 157    --  forms, otherwise a configuration pragma specifying VAX float can
 158    --  default the digits to an illegal value for IEEE.
 159    --  Note: it is harmless, and explicitly permitted, to include additional
 160    --  types in interfaces, so it is not wrong to have IEEE_Extended_Float
 161    --  defined even if the extended format is not available.
 162
 163    type IEEE_Float_32       is digits 6;
 164    pragma Float_Representation (IEEE_Float, IEEE_Float_32);
 165
 166    type IEEE_Float_64       is digits 15;
 167    pragma Float_Representation (IEEE_Float, IEEE_Float_64);
 168
 169    type IEEE_Extended_Float is digits 15;
 170    pragma Float_Representation (IEEE_Float, IEEE_Extended_Float);
 171
 172 end Interfaces;