File : s-gccshi.ads


   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                    S Y S T E M . G C C . S H I F T S                     --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --         Copyright (C) 2013-2014, Free Software Foundation, Inc.          --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 3,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.                                     --
  17 --                                                                          --
  18 --                                                                          --
  19 --                                                                          --
  20 --                                                                          --
  21 --                                                                          --
  22 -- You should have received a copy of the GNU General Public License and    --
  23 -- a copy of the GCC Runtime Library Exception along with this program;     --
  24 -- see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see    --
  25 -- <http://www.gnu.org/licenses/>.                                          --
  26 --                                                                          --
  27 -- GNAT was originally developed  by the GNAT team at  New York University. --
  28 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  29 --                                                                          --
  30 ------------------------------------------------------------------------------
  31 
  32 --  Ada implementation of libgcc: 64-bit shifts
  33 
  34 pragma Restrictions (No_Elaboration_Code);
  35 
  36 package System.GCC.Shifts is
  37    pragma Pure;
  38 
  39    function Lshrdi3 (Val : Unsigned_64; Count : Integer) return Unsigned_64;
  40    pragma Export (C, Lshrdi3, "__lshrdi3");
  41    --  Logical right rotation of Val by Count position. Return 0 if Count is
  42    --  greater or equal than 64, and Val if less than 1.
  43 
  44    function Ashrdi3 (Val : Unsigned_64; Count : Integer) return Unsigned_64;
  45    pragma Export (C, Ashrdi3, "__ashrdi3");
  46    --  Arithmetic right rotation of Val by Count position. Return 0 or -1 if
  47    --  Count is greater or equal than 64, and Val if less than 1.
  48 
  49    function Ashldi3 (Val : Unsigned_64; Count : Integer) return Unsigned_64;
  50    pragma Export (C, Ashldi3, "__ashldi3");
  51    --  Left rotation of Val by Count position. Return 0 if Count is greater or
  52    --  equal than 64, and Val if less than 1.
  53 
  54 end System.GCC.Shifts;