1 /****************************************************************************
2 * *
3 * GNAT COMPILER COMPONENTS *
4 * *
5 * C U I N T P *
6 * *
7 * C Implementation File *
8 * *
9 * Copyright (C) 1992-2016, 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. See the GNU General Public License *
17 * for more details. You should have received a copy of the GNU General *
18 * Public License along with GCC; see the file COPYING3. If not see *
19 * <http://www.gnu.org/licenses/>. *
20 * *
21 * GNAT was originally developed by the GNAT team at New York University. *
22 * Extensive contributions were provided by Ada Core Technologies Inc. *
23 * *
24 ****************************************************************************/
25
26 /* This file corresponds to the Ada package body Uintp. It was created
27 manually from the files uintp.ads and uintp.adb. */
28
29 #include "config.h"
30 #include "system.h"
31 #include "coretypes.h"
32 #include "tm.h"
33 #include "vec.h"
34 #include "alias.h"
35 #include "tree.h"
36 #include "inchash.h"
37 #include "fold-const.h"
38
39 #include "ada.h"
40 #include "types.h"
41 #include "uintp.h"
42 #include "ada-tree.h"
43 #include "gigi.h"
44
45 /* Universal integers are represented by the Uint type which is an index into
46 the Uints_Ptr table containing Uint_Entry values. A Uint_Entry contains an
47 index and length for getting the "digits" of the universal integer from the
48 Udigits_Ptr table.
49
50 For efficiency, this method is used only for integer values larger than the
51 constant Uint_Bias. If a Uint is less than this constant, then it contains
52 the integer value itself. The origin of the Uints_Ptr table is adjusted so
53 that a Uint value of Uint_Bias indexes the first element.
54
55 First define a utility function that is build_int_cst for integral types and
56 does a conversion for floating-point types. */
57
58 static tree
build_cst_from_int(tree type,HOST_WIDE_INT low)59 build_cst_from_int (tree type, HOST_WIDE_INT low)
60 {
61 if (SCALAR_FLOAT_TYPE_P (type))
62 return convert (type, build_int_cst (gnat_type_for_size (32, 0), low));
63 else
64 return build_int_cst (type, low);
65 }
66
67 /* Similar to UI_To_Int, but return a GCC INTEGER_CST or REAL_CST node,
68 depending on whether TYPE is an integral or real type. Overflow is tested
69 by the constant-folding used to build the node. TYPE is the GCC type of
70 the resulting node. */
71
72 tree
UI_To_gnu(Uint Input,tree type)73 UI_To_gnu (Uint Input, tree type)
74 {
75 /* We might have a TYPE with biased representation and be passed an unbiased
76 value that doesn't fit. We always use an unbiased type to be able to hold
77 any such possible value for intermediate computations and then rely on a
78 conversion back to TYPE to perform the bias adjustment when need be. */
79 tree comp_type
80 = TREE_CODE (type) == INTEGER_TYPE && TYPE_BIASED_REPRESENTATION_P (type)
81 ? get_base_type (type) : type;
82 tree gnu_ret;
83
84 if (Input <= Uint_Direct_Last)
85 gnu_ret = build_cst_from_int (comp_type, Input - Uint_Direct_Bias);
86 else
87 {
88 Int Idx = Uints_Ptr[Input].Loc;
89 Pos Length = Uints_Ptr[Input].Length;
90 Int First = Udigits_Ptr[Idx];
91 tree gnu_base;
92
93 gcc_assert (Length > 0);
94
95 /* The computations we perform below always require a type at least as
96 large as an integer not to overflow. FP types are always fine, but
97 INTEGER or ENUMERAL types we are handed may be too short. We use a
98 base integer type node for the computations in this case and will
99 convert the final result back to the incoming type later on. */
100 if (!SCALAR_FLOAT_TYPE_P (comp_type) && TYPE_PRECISION (comp_type) < 32)
101 comp_type = gnat_type_for_size (32, 0);
102
103 gnu_base = build_cst_from_int (comp_type, Base);
104
105 gnu_ret = build_cst_from_int (comp_type, First);
106 if (First < 0)
107 for (Idx++, Length--; Length; Idx++, Length--)
108 gnu_ret = fold_build2 (MINUS_EXPR, comp_type,
109 fold_build2 (MULT_EXPR, comp_type,
110 gnu_ret, gnu_base),
111 build_cst_from_int (comp_type,
112 Udigits_Ptr[Idx]));
113 else
114 for (Idx++, Length--; Length; Idx++, Length--)
115 gnu_ret = fold_build2 (PLUS_EXPR, comp_type,
116 fold_build2 (MULT_EXPR, comp_type,
117 gnu_ret, gnu_base),
118 build_cst_from_int (comp_type,
119 Udigits_Ptr[Idx]));
120 }
121
122 gnu_ret = convert (type, gnu_ret);
123
124 /* We don't need any NOP_EXPR or NON_LVALUE_EXPR on GNU_RET. */
125 while ((TREE_CODE (gnu_ret) == NOP_EXPR
126 || TREE_CODE (gnu_ret) == NON_LVALUE_EXPR)
127 && TREE_TYPE (TREE_OPERAND (gnu_ret, 0)) == TREE_TYPE (gnu_ret))
128 gnu_ret = TREE_OPERAND (gnu_ret, 0);
129
130 return gnu_ret;
131 }
132
133 /* Similar to UI_From_Int, but take a GCC INTEGER_CST. We use UI_From_Int
134 when possible, i.e. for a 32-bit signed value, to take advantage of its
135 built-in caching mechanism. For values of larger magnitude, we compute
136 digits into a vector and call Vector_To_Uint. */
137
138 Uint
UI_From_gnu(tree Input)139 UI_From_gnu (tree Input)
140 {
141 tree gnu_type = TREE_TYPE (Input), gnu_base, gnu_temp;
142 /* UI_Base is defined so that 5 Uint digits is sufficient to hold the
143 largest possible signed 64-bit value. */
144 const int Max_For_Dint = 5;
145 int v[Max_For_Dint], i;
146 Vector_Template temp;
147 Int_Vector vec;
148
149 #if HOST_BITS_PER_WIDE_INT == 64
150 /* On 64-bit hosts, tree_fits_shwi_p tells whether the input fits in a
151 signed 64-bit integer. Then a truncation tells whether it fits
152 in a signed 32-bit integer. */
153 if (tree_fits_shwi_p (Input))
154 {
155 HOST_WIDE_INT hw_input = tree_to_shwi (Input);
156 if (hw_input == (int) hw_input)
157 return UI_From_Int (hw_input);
158 }
159 else
160 return No_Uint;
161 #else
162 /* On 32-bit hosts, tree_fits_shwi_p tells whether the input fits in a
163 signed 32-bit integer. Then a sign test tells whether it fits
164 in a signed 64-bit integer. */
165 if (tree_fits_shwi_p (Input))
166 return UI_From_Int (tree_to_shwi (Input));
167
168 gcc_assert (TYPE_PRECISION (gnu_type) <= 64);
169 if (TYPE_UNSIGNED (gnu_type)
170 && TYPE_PRECISION (gnu_type) == 64
171 && wi::neg_p (Input, SIGNED))
172 return No_Uint;
173 #endif
174
175 gnu_base = build_int_cst (gnu_type, UI_Base);
176 gnu_temp = Input;
177
178 for (i = Max_For_Dint - 1; i >= 0; i--)
179 {
180 v[i] = tree_to_shwi (fold_build1 (ABS_EXPR, gnu_type,
181 fold_build2 (TRUNC_MOD_EXPR, gnu_type,
182 gnu_temp, gnu_base)));
183 gnu_temp = fold_build2 (TRUNC_DIV_EXPR, gnu_type, gnu_temp, gnu_base);
184 }
185
186 temp.Low_Bound = 1;
187 temp.High_Bound = Max_For_Dint;
188 vec.Bounds = &temp;
189 vec.Array = v;
190 return Vector_To_Uint (vec, tree_int_cst_sgn (Input) < 0);
191 }
192