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