| ------------------------------------------------------------------------------ |
| -- -- |
| -- GNAT COMPILER COMPONENTS -- |
| -- -- |
| -- S Y S T E M . A D D R E S S _ O P E R A T I O N S -- |
| -- -- |
| -- B o d y -- |
| -- -- |
| -- Copyright (C) 2004 Free Software Foundation, Inc. -- |
| -- -- |
| -- This specification is derived from the Ada Reference Manual for use with -- |
| -- GNAT. The copyright notice above, and the license provisions that follow -- |
| -- apply solely to the implementation dependent sections of this file. -- |
| -- -- |
| -- 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 2, 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. See the GNU General Public License -- |
| -- for more details. You should have received a copy of the GNU General -- |
| -- Public License distributed with GNAT; see file COPYING. If not, write -- |
| -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, -- |
| -- Boston, MA 02110-1301, USA. -- |
| -- -- |
| -- As a special exception, if other files instantiate generics from this -- |
| -- unit, or you link this unit with other files to produce an executable, -- |
| -- this unit does not by itself cause the resulting executable to be -- |
| -- covered by the GNU General Public License. This exception does not -- |
| -- however invalidate any other reasons why the executable file might be -- |
| -- covered by the GNU Public License. -- |
| -- -- |
| -- GNAT was originally developed by the GNAT team at New York University. -- |
| -- Extensive contributions were provided by Ada Core Technologies Inc. -- |
| -- -- |
| ------------------------------------------------------------------------------ |
| |
| with Unchecked_Conversion; |
| |
| package body System.Address_Operations is |
| |
| type IA is mod 2 ** Address'Size; |
| -- The type used to provide the actual desired operations |
| |
| function I is new Unchecked_Conversion (Address, IA); |
| function A is new Unchecked_Conversion (IA, Address); |
| -- The operations are implemented by unchecked conversion to type IA, |
| -- followed by doing the intrinsic operation on the IA values, followed |
| -- by converting the result back to type Address. |
| |
| ---------- |
| -- AddA -- |
| ---------- |
| |
| function AddA (Left, Right : Address) return Address is |
| begin |
| return A (I (Left) + I (Right)); |
| end AddA; |
| |
| ---------- |
| -- AndA -- |
| ---------- |
| |
| function AndA (Left, Right : Address) return Address is |
| begin |
| return A (I (Left) and I (Right)); |
| end AndA; |
| |
| ---------- |
| -- DivA -- |
| ---------- |
| |
| function DivA (Left, Right : Address) return Address is |
| begin |
| return A (I (Left) / I (Right)); |
| end DivA; |
| |
| ---------- |
| -- ModA -- |
| ---------- |
| |
| function ModA (Left, Right : Address) return Address is |
| begin |
| return A (I (Left) mod I (Right)); |
| end ModA; |
| |
| --------- |
| -- MulA -- |
| --------- |
| |
| function MulA (Left, Right : Address) return Address is |
| begin |
| return A (I (Left) * I (Right)); |
| end MulA; |
| |
| --------- |
| -- OrA -- |
| --------- |
| |
| function OrA (Left, Right : Address) return Address is |
| begin |
| return A (I (Left) or I (Right)); |
| end OrA; |
| |
| ---------- |
| -- SubA -- |
| ---------- |
| |
| function SubA (Left, Right : Address) return Address is |
| begin |
| return A (I (Left) - I (Right)); |
| end SubA; |
| |
| end System.Address_Operations; |