diff options
| author | Dan Albert <danalbert@google.com> | 2016-02-04 18:51:25 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2016-02-04 18:51:25 +0000 |
| commit | edbbe53c4ffa154a5f9ae3f89ba8105993d8800e (patch) | |
| tree | 4cedb380a14027d9c4d1e531c2340c43cbd79175 /gcc-4.8.1/gcc/ada/s-expllu.ads | |
| parent | a4ca82cac69c3147143d7b4b4d7cdeb5e02f20ef (diff) | |
| parent | 3186be22b6598fbd467b126347d1c7f48ccb7f71 (diff) | |
| download | toolchain_gcc-edbbe53c4ffa154a5f9ae3f89ba8105993d8800e.tar.gz toolchain_gcc-edbbe53c4ffa154a5f9ae3f89ba8105993d8800e.tar.bz2 toolchain_gcc-edbbe53c4ffa154a5f9ae3f89ba8105993d8800e.zip | |
Merge "Check in a pristine copy of GCC 4.8.1."
Diffstat (limited to 'gcc-4.8.1/gcc/ada/s-expllu.ads')
| -rw-r--r-- | gcc-4.8.1/gcc/ada/s-expllu.ads | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/gcc-4.8.1/gcc/ada/s-expllu.ads b/gcc-4.8.1/gcc/ada/s-expllu.ads new file mode 100644 index 000000000..e4c1ce915 --- /dev/null +++ b/gcc-4.8.1/gcc/ada/s-expllu.ads @@ -0,0 +1,47 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME COMPONENTS -- +-- -- +-- S Y S T E M . E X P _ L L U -- +-- -- +-- S p e c -- +-- -- +-- Copyright (C) 1992-2009 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 3, 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. -- +-- -- +-- As a special exception under Section 7 of GPL version 3, you are granted -- +-- additional permissions described in the GCC Runtime Library Exception, -- +-- version 3.1, as published by the Free Software Foundation. -- +-- -- +-- You should have received a copy of the GNU General Public License and -- +-- a copy of the GCC Runtime Library Exception along with this program; -- +-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- +-- <http://www.gnu.org/licenses/>. -- +-- -- +-- GNAT was originally developed by the GNAT team at New York University. -- +-- Extensive contributions were provided by Ada Core Technologies Inc. -- +-- -- +------------------------------------------------------------------------------ + +-- This procedure performs exponentiation of unsigned types (with binary +-- modulus values exceeding that of Unsigned_Types.Unsigned). The result +-- is always full width, the caller must do a masking operation if the +-- modulus is less than 2 ** (Long_Long_Unsigned'Size). + +with System.Unsigned_Types; + +package System.Exp_LLU is + pragma Pure; + + function Exp_Long_Long_Unsigned + (Left : System.Unsigned_Types.Long_Long_Unsigned; + Right : Natural) + return System.Unsigned_Types.Long_Long_Unsigned; + +end System.Exp_LLU; |