File : s-addope.adb
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S Y S T E M . A D D R E S S _ O P E R A T I O N S --
6 -- --
7 -- B o d y --
8 -- --
9 -- Copyright (C) 2004-2013, 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 pragma Compiler_Unit_Warning;
33
34 with Ada.Unchecked_Conversion;
35
36 package body System.Address_Operations is
37
38 type IA is mod 2 ** Address'Size;
39 -- The type used to provide the actual desired operations
40
41 function I is new Ada.Unchecked_Conversion (Address, IA);
42 function A is new Ada.Unchecked_Conversion (IA, Address);
43 -- The operations are implemented by unchecked conversion to type IA,
44 -- followed by doing the intrinsic operation on the IA values, followed
45 -- by converting the result back to type Address.
46
47 ----------
48 -- AddA --
49 ----------
50
51 function AddA (Left, Right : Address) return Address is
52 begin
53 return A (I (Left) + I (Right));
54 end AddA;
55
56 ----------
57 -- AndA --
58 ----------
59
60 function AndA (Left, Right : Address) return Address is
61 begin
62 return A (I (Left) and I (Right));
63 end AndA;
64
65 ----------
66 -- DivA --
67 ----------
68
69 function DivA (Left, Right : Address) return Address is
70 begin
71 return A (I (Left) / I (Right));
72 end DivA;
73
74 ----------
75 -- ModA --
76 ----------
77
78 function ModA (Left, Right : Address) return Address is
79 begin
80 return A (I (Left) mod I (Right));
81 end ModA;
82
83 ---------
84 -- MulA --
85 ---------
86
87 function MulA (Left, Right : Address) return Address is
88 begin
89 return A (I (Left) * I (Right));
90 end MulA;
91
92 ---------
93 -- OrA --
94 ---------
95
96 function OrA (Left, Right : Address) return Address is
97 begin
98 return A (I (Left) or I (Right));
99 end OrA;
100
101 ----------
102 -- SubA --
103 ----------
104
105 function SubA (Left, Right : Address) return Address is
106 begin
107 return A (I (Left) - I (Right));
108 end SubA;
109
110 end System.Address_Operations;