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