]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/convert.c
Update copyright years.
[thirdparty/gcc.git] / gcc / convert.c
CommitLineData
5e6908ea 1/* Utility routines for data type conversion for GCC.
7adcbafe 2 Copyright (C) 1987-2022 Free Software Foundation, Inc.
76e616db 3
1322177d 4This file is part of GCC.
76e616db 5
1322177d
LB
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
9dcd6f09 8Software Foundation; either version 3, or (at your option) any later
1322177d 9version.
76e616db 10
1322177d
LB
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
76e616db
BK
15
16You should have received a copy of the GNU General Public License
9dcd6f09
NC
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
76e616db
BK
19
20
21/* These routines are somewhat language-independent utility function
0f41302f 22 intended to be called by the language-specific convert () functions. */
76e616db
BK
23
24#include "config.h"
c5c76735 25#include "system.h"
4977bab6 26#include "coretypes.h"
957060b5 27#include "target.h"
76e616db 28#include "tree.h"
957060b5 29#include "diagnostic-core.h"
40e23961 30#include "fold-const.h"
d8a2d370 31#include "stor-layout.h"
76e616db 32#include "convert.h"
b0c48229 33#include "langhooks.h"
9b2b7279 34#include "builtins.h"
85a16bf8 35#include "ubsan.h"
314e6352
ML
36#include "stringpool.h"
37#include "attribs.h"
45b2222a 38#include "asan.h"
dfd7fdca 39#include "selftest.h"
76e616db 40
269e63b7
KT
41#define maybe_fold_build1_loc(FOLD_P, LOC, CODE, TYPE, EXPR) \
42 ((FOLD_P) ? fold_build1_loc (LOC, CODE, TYPE, EXPR) \
43 : build1_loc (LOC, CODE, TYPE, EXPR))
44#define maybe_fold_build2_loc(FOLD_P, LOC, CODE, TYPE, EXPR1, EXPR2) \
45 ((FOLD_P) ? fold_build2_loc (LOC, CODE, TYPE, EXPR1, EXPR2) \
46 : build2_loc (LOC, CODE, TYPE, EXPR1, EXPR2))
47
0a931ce5 48/* Convert EXPR to some pointer or reference type TYPE.
98c76e3c 49 EXPR must be pointer, reference, integer, enumeral, or literal zero;
269e63b7
KT
50 in other cases error is called. If FOLD_P is true, try to fold the
51 expression. */
76e616db 52
269e63b7
KT
53static tree
54convert_to_pointer_1 (tree type, tree expr, bool fold_p)
76e616db 55{
db3927fb 56 location_t loc = EXPR_LOCATION (expr);
0a931ce5
RS
57 if (TREE_TYPE (expr) == type)
58 return expr;
59
f5963e61 60 switch (TREE_CODE (TREE_TYPE (expr)))
76e616db 61 {
f5963e61
JL
62 case POINTER_TYPE:
63 case REFERENCE_TYPE:
09e881c9
BE
64 {
65 /* If the pointers point to different address spaces, conversion needs
66 to be done via a ADDR_SPACE_CONVERT_EXPR instead of a NOP_EXPR. */
67 addr_space_t to_as = TYPE_ADDR_SPACE (TREE_TYPE (type));
68 addr_space_t from_as = TYPE_ADDR_SPACE (TREE_TYPE (TREE_TYPE (expr)));
69
70 if (to_as == from_as)
269e63b7 71 return maybe_fold_build1_loc (fold_p, loc, NOP_EXPR, type, expr);
09e881c9 72 else
269e63b7
KT
73 return maybe_fold_build1_loc (fold_p, loc, ADDR_SPACE_CONVERT_EXPR,
74 type, expr);
09e881c9 75 }
f5963e61
JL
76
77 case INTEGER_TYPE:
78 case ENUMERAL_TYPE:
79 case BOOLEAN_TYPE:
cf157324
OH
80 {
81 /* If the input precision differs from the target pointer type
82 precision, first convert the input expression to an integer type of
83 the target precision. Some targets, e.g. VMS, need several pointer
84 sizes to coexist so the latter isn't necessarily POINTER_SIZE. */
85 unsigned int pprec = TYPE_PRECISION (type);
86 unsigned int eprec = TYPE_PRECISION (TREE_TYPE (expr));
87
269e63b7
KT
88 if (eprec != pprec)
89 expr
90 = maybe_fold_build1_loc (fold_p, loc, NOP_EXPR,
91 lang_hooks.types.type_for_size (pprec, 0),
92 expr);
cf157324 93 }
269e63b7 94 return maybe_fold_build1_loc (fold_p, loc, CONVERT_EXPR, type, expr);
76e616db 95
f5963e61
JL
96 default:
97 error ("cannot convert to a pointer type");
269e63b7 98 return convert_to_pointer_1 (type, integer_zero_node, fold_p);
f5963e61 99 }
76e616db
BK
100}
101
dfd7fdca
DM
102/* Subroutine of the various convert_to_*_maybe_fold routines.
103
104 If a location wrapper has been folded to a constant (presumably of
105 a different type), re-wrap the new constant with a location wrapper. */
106
107tree
108preserve_any_location_wrapper (tree result, tree orig_expr)
109{
110 if (CONSTANT_CLASS_P (result) && location_wrapper_p (orig_expr))
111 {
112 if (result == TREE_OPERAND (orig_expr, 0))
113 return orig_expr;
114 else
115 return maybe_wrap_with_location (result, EXPR_LOCATION (orig_expr));
116 }
117
118 return result;
119}
120
269e63b7
KT
121/* A wrapper around convert_to_pointer_1 that always folds the
122 expression. */
123
124tree
125convert_to_pointer (tree type, tree expr)
126{
127 return convert_to_pointer_1 (type, expr, true);
128}
129
130/* A wrapper around convert_to_pointer_1 that only folds the
dfd7fdca 131 expression if DOFOLD, or if it is CONSTANT_CLASS_OR_WRAPPER_P. */
269e63b7
KT
132
133tree
415594bb 134convert_to_pointer_maybe_fold (tree type, tree expr, bool dofold)
269e63b7 135{
dfd7fdca
DM
136 tree result
137 = convert_to_pointer_1 (type, expr,
138 dofold || CONSTANT_CLASS_OR_WRAPPER_P (expr));
139 return preserve_any_location_wrapper (result, expr);
269e63b7 140}
4977bab6 141
76e616db
BK
142/* Convert EXPR to some floating-point type TYPE.
143
0f996086 144 EXPR must be float, fixed-point, integer, or enumeral;
269e63b7
KT
145 in other cases error is called. If FOLD_P is true, try to fold
146 the expression. */
76e616db 147
269e63b7
KT
148static tree
149convert_to_real_1 (tree type, tree expr, bool fold_p)
76e616db 150{
27a6aa72 151 enum built_in_function fcode = builtin_mathfn_code (expr);
4977bab6 152 tree itype = TREE_TYPE (expr);
269e63b7 153 location_t loc = EXPR_LOCATION (expr);
4977bab6 154
c05eeebc
JJ
155 if (TREE_CODE (expr) == COMPOUND_EXPR)
156 {
269e63b7 157 tree t = convert_to_real_1 (type, TREE_OPERAND (expr, 1), fold_p);
c05eeebc
JJ
158 if (t == TREE_OPERAND (expr, 1))
159 return expr;
160 return build2_loc (EXPR_LOCATION (expr), COMPOUND_EXPR, TREE_TYPE (t),
161 TREE_OPERAND (expr, 0), t);
162 }
163
4b207444
JH
164 /* Disable until we figure out how to decide whether the functions are
165 present in runtime. */
4977bab6 166 /* Convert (float)sqrt((double)x) where x is float into sqrtf(x) */
78bd5210 167 if (optimize
4977bab6
ZW
168 && (TYPE_MODE (type) == TYPE_MODE (double_type_node)
169 || TYPE_MODE (type) == TYPE_MODE (float_type_node)))
170 {
b3810360
KG
171 switch (fcode)
172 {
173#define CASE_MATHFN(FN) case BUILT_IN_##FN: case BUILT_IN_##FN##L:
1fb7e3af 174 CASE_MATHFN (COSH)
b3810360 175 CASE_MATHFN (EXP)
1fb7e3af
KG
176 CASE_MATHFN (EXP10)
177 CASE_MATHFN (EXP2)
f060a261 178 CASE_MATHFN (EXPM1)
1fb7e3af
KG
179 CASE_MATHFN (GAMMA)
180 CASE_MATHFN (J0)
181 CASE_MATHFN (J1)
182 CASE_MATHFN (LGAMMA)
1fb7e3af 183 CASE_MATHFN (POW10)
1fb7e3af 184 CASE_MATHFN (SINH)
1fb7e3af
KG
185 CASE_MATHFN (TGAMMA)
186 CASE_MATHFN (Y0)
187 CASE_MATHFN (Y1)
f060a261
RG
188 /* The above functions may set errno differently with float
189 input or output so this transformation is not safe with
190 -fmath-errno. */
191 if (flag_errno_math)
192 break;
81fea426 193 gcc_fallthrough ();
f060a261
RG
194 CASE_MATHFN (ACOS)
195 CASE_MATHFN (ACOSH)
196 CASE_MATHFN (ASIN)
197 CASE_MATHFN (ASINH)
198 CASE_MATHFN (ATAN)
199 CASE_MATHFN (ATANH)
200 CASE_MATHFN (CBRT)
201 CASE_MATHFN (COS)
202 CASE_MATHFN (ERF)
203 CASE_MATHFN (ERFC)
f060a261
RG
204 CASE_MATHFN (LOG)
205 CASE_MATHFN (LOG10)
206 CASE_MATHFN (LOG2)
207 CASE_MATHFN (LOG1P)
f060a261 208 CASE_MATHFN (SIN)
f060a261
RG
209 CASE_MATHFN (TAN)
210 CASE_MATHFN (TANH)
247dbcf4
CH
211 /* The above functions are not safe to do this conversion. */
212 if (!flag_unsafe_math_optimizations)
213 break;
81fea426 214 gcc_fallthrough ();
247dbcf4
CH
215 CASE_MATHFN (SQRT)
216 CASE_MATHFN (FABS)
217 CASE_MATHFN (LOGB)
b3810360 218#undef CASE_MATHFN
c2df3c99
JJ
219 if (call_expr_nargs (expr) != 1
220 || !SCALAR_FLOAT_TYPE_P (TREE_TYPE (CALL_EXPR_ARG (expr, 0))))
221 break;
4977bab6 222 {
5039610b 223 tree arg0 = strip_float_extensions (CALL_EXPR_ARG (expr, 0));
b3810360
KG
224 tree newtype = type;
225
c2df3c99
JJ
226 /* We have (outertype)sqrt((innertype)x). Choose the wider mode
227 from the both as the safe type for operation. */
b3810360
KG
228 if (TYPE_PRECISION (TREE_TYPE (arg0)) > TYPE_PRECISION (type))
229 newtype = TREE_TYPE (arg0);
230
247dbcf4
CH
231 /* We consider to convert
232
233 (T1) sqrtT2 ((T2) exprT3)
234 to
235 (T1) sqrtT4 ((T4) exprT3)
236
237 , where T1 is TYPE, T2 is ITYPE, T3 is TREE_TYPE (ARG0),
0ecf545c 238 and T4 is NEWTYPE. All those types are of floating-point types.
247dbcf4
CH
239 T4 (NEWTYPE) should be narrower than T2 (ITYPE). This conversion
240 is safe only if P1 >= P2*2+2, where P1 and P2 are precisions of
241 T2 and T4. See the following URL for a reference:
242 http://stackoverflow.com/questions/9235456/determining-
243 floating-point-square-root
244 */
245 if ((fcode == BUILT_IN_SQRT || fcode == BUILT_IN_SQRTL)
246 && !flag_unsafe_math_optimizations)
247 {
248 /* The following conversion is unsafe even the precision condition
249 below is satisfied:
250
251 (float) sqrtl ((long double) double_val) -> (float) sqrt (double_val)
252 */
253 if (TYPE_MODE (type) != TYPE_MODE (newtype))
254 break;
255
256 int p1 = REAL_MODE_FORMAT (TYPE_MODE (itype))->p;
257 int p2 = REAL_MODE_FORMAT (TYPE_MODE (newtype))->p;
258 if (p1 < p2 * 2 + 2)
259 break;
260 }
261
b3810360
KG
262 /* Be careful about integer to fp conversions.
263 These may overflow still. */
264 if (FLOAT_TYPE_P (TREE_TYPE (arg0))
265 && TYPE_PRECISION (newtype) < TYPE_PRECISION (itype)
266 && (TYPE_MODE (newtype) == TYPE_MODE (double_type_node)
267 || TYPE_MODE (newtype) == TYPE_MODE (float_type_node)))
247dbcf4 268 {
b3810360 269 tree fn = mathfn_built_in (newtype, fcode);
b3810360 270 if (fn)
269e63b7
KT
271 {
272 tree arg = convert_to_real_1 (newtype, arg0, fold_p);
273 expr = build_call_expr (fn, 1, arg);
274 if (newtype == type)
275 return expr;
276 }
b3810360 277 }
4977bab6 278 }
b3810360
KG
279 default:
280 break;
4977bab6
ZW
281 }
282 }
283
284 /* Propagate the cast into the operation. */
285 if (itype != type && FLOAT_TYPE_P (type))
286 switch (TREE_CODE (expr))
287 {
4f76e46b 288 /* Convert (float)-x into -(float)x. This is safe for
18b0ea8f 289 round-to-nearest rounding mode when the inner type is float. */
4977bab6
ZW
290 case ABS_EXPR:
291 case NEGATE_EXPR:
4f76e46b 292 if (!flag_rounding_math
18b0ea8f
MM
293 && FLOAT_TYPE_P (itype)
294 && TYPE_PRECISION (type) < TYPE_PRECISION (itype))
269e63b7
KT
295 {
296 tree arg = convert_to_real_1 (type, TREE_OPERAND (expr, 0),
297 fold_p);
298 return build1 (TREE_CODE (expr), type, arg);
299 }
b1a6f8db 300 break;
4977bab6
ZW
301 default:
302 break;
303 }
304
f5963e61
JL
305 switch (TREE_CODE (TREE_TYPE (expr)))
306 {
307 case REAL_TYPE:
5fc89bfd
JJ
308 /* Ignore the conversion if we don't need to store intermediate
309 results and neither type is a decimal float. */
e87eed2a
DM
310 return build1_loc (loc,
311 (flag_float_store
312 || DECIMAL_FLOAT_TYPE_P (type)
313 || DECIMAL_FLOAT_TYPE_P (itype))
314 ? CONVERT_EXPR : NOP_EXPR, type, expr);
f5963e61
JL
315
316 case INTEGER_TYPE:
317 case ENUMERAL_TYPE:
318 case BOOLEAN_TYPE:
f5963e61
JL
319 return build1 (FLOAT_EXPR, type, expr);
320
0f996086
CF
321 case FIXED_POINT_TYPE:
322 return build1 (FIXED_CONVERT_EXPR, type, expr);
323
f5963e61
JL
324 case COMPLEX_TYPE:
325 return convert (type,
269e63b7
KT
326 maybe_fold_build1_loc (fold_p, loc, REALPART_EXPR,
327 TREE_TYPE (TREE_TYPE (expr)),
328 expr));
f5963e61
JL
329
330 case POINTER_TYPE:
331 case REFERENCE_TYPE:
0ecf545c 332 error ("pointer value used where a floating-point was expected");
269e63b7 333 return convert_to_real_1 (type, integer_zero_node, fold_p);
f5963e61
JL
334
335 default:
0ecf545c 336 error ("aggregate value used where a floating-point was expected");
269e63b7 337 return convert_to_real_1 (type, integer_zero_node, fold_p);
f5963e61 338 }
76e616db
BK
339}
340
269e63b7
KT
341/* A wrapper around convert_to_real_1 that always folds the
342 expression. */
343
344tree
345convert_to_real (tree type, tree expr)
346{
347 return convert_to_real_1 (type, expr, true);
348}
349
350/* A wrapper around convert_to_real_1 that only folds the
dfd7fdca 351 expression if DOFOLD, or if it is CONSTANT_CLASS_OR_WRAPPER_P. */
269e63b7
KT
352
353tree
415594bb 354convert_to_real_maybe_fold (tree type, tree expr, bool dofold)
269e63b7 355{
dfd7fdca
DM
356 tree result
357 = convert_to_real_1 (type, expr,
358 dofold || CONSTANT_CLASS_OR_WRAPPER_P (expr));
359 return preserve_any_location_wrapper (result, expr);
269e63b7
KT
360}
361
2d143ba8
RB
362/* Try to narrow EX_FORM ARG0 ARG1 in narrowed arg types producing a
363 result in TYPE. */
364
365static tree
366do_narrow (location_t loc,
367 enum tree_code ex_form, tree type, tree arg0, tree arg1,
368 tree expr, unsigned inprec, unsigned outprec, bool dofold)
369{
370 /* Do the arithmetic in type TYPEX,
371 then convert result to TYPE. */
372 tree typex = type;
373
374 /* Can't do arithmetic in enumeral types
375 so use an integer type that will hold the values. */
376 if (TREE_CODE (typex) == ENUMERAL_TYPE)
377 typex = lang_hooks.types.type_for_size (TYPE_PRECISION (typex),
378 TYPE_UNSIGNED (typex));
379
8d2b48ae
MP
380 /* The type demotion below might cause doing unsigned arithmetic
381 instead of signed, and thus hide overflow bugs. */
382 if ((ex_form == PLUS_EXPR || ex_form == MINUS_EXPR)
383 && !TYPE_UNSIGNED (typex)
384 && sanitize_flags_p (SANITIZE_SI_OVERFLOW))
385 return NULL_TREE;
386
2d143ba8
RB
387 /* But now perhaps TYPEX is as wide as INPREC.
388 In that case, do nothing special here.
389 (Otherwise would recurse infinitely in convert. */
390 if (TYPE_PRECISION (typex) != inprec)
391 {
392 /* Don't do unsigned arithmetic where signed was wanted,
393 or vice versa.
394 Exception: if both of the original operands were
395 unsigned then we can safely do the work as unsigned.
396 Exception: shift operations take their type solely
397 from the first argument.
398 Exception: the LSHIFT_EXPR case above requires that
399 we perform this operation unsigned lest we produce
400 signed-overflow undefinedness.
401 And we may need to do it as unsigned
402 if we truncate to the original size. */
403 if (TYPE_UNSIGNED (TREE_TYPE (expr))
404 || (TYPE_UNSIGNED (TREE_TYPE (arg0))
405 && (TYPE_UNSIGNED (TREE_TYPE (arg1))
406 || ex_form == LSHIFT_EXPR
407 || ex_form == RSHIFT_EXPR
408 || ex_form == LROTATE_EXPR
409 || ex_form == RROTATE_EXPR))
410 || ex_form == LSHIFT_EXPR
411 /* If we have !flag_wrapv, and either ARG0 or
412 ARG1 is of a signed type, we have to do
413 PLUS_EXPR, MINUS_EXPR or MULT_EXPR in an unsigned
414 type in case the operation in outprec precision
415 could overflow. Otherwise, we would introduce
416 signed-overflow undefinedness. */
87c4dace
RB
417 || ((!(INTEGRAL_TYPE_P (TREE_TYPE (arg0))
418 && TYPE_OVERFLOW_WRAPS (TREE_TYPE (arg0)))
419 || !(INTEGRAL_TYPE_P (TREE_TYPE (arg1))
420 && TYPE_OVERFLOW_WRAPS (TREE_TYPE (arg1))))
2d143ba8
RB
421 && ((TYPE_PRECISION (TREE_TYPE (arg0)) * 2u
422 > outprec)
423 || (TYPE_PRECISION (TREE_TYPE (arg1)) * 2u
424 > outprec))
425 && (ex_form == PLUS_EXPR
426 || ex_form == MINUS_EXPR
427 || ex_form == MULT_EXPR)))
428 {
429 if (!TYPE_UNSIGNED (typex))
430 typex = unsigned_type_for (typex);
431 }
432 else
433 {
434 if (TYPE_UNSIGNED (typex))
435 typex = signed_type_for (typex);
436 }
437 /* We should do away with all this once we have a proper
438 type promotion/demotion pass, see PR45397. */
439 expr = maybe_fold_build2_loc (dofold, loc, ex_form, typex,
440 convert (typex, arg0),
441 convert (typex, arg1));
442 return convert (type, expr);
443 }
444
445 return NULL_TREE;
446}
447
76e616db
BK
448/* Convert EXPR to some integer (or enum) type TYPE.
449
0f996086
CF
450 EXPR must be pointer, integer, discrete (enum, char, or bool), float,
451 fixed-point or vector; in other cases error is called.
76e616db 452
269e63b7
KT
453 If DOFOLD is TRUE, we try to simplify newly-created patterns by folding.
454
76e616db
BK
455 The result of this is always supposed to be a newly created tree node
456 not in use in any existing structure. */
457
269e63b7
KT
458static tree
459convert_to_integer_1 (tree type, tree expr, bool dofold)
76e616db 460{
f5963e61
JL
461 enum tree_code ex_form = TREE_CODE (expr);
462 tree intype = TREE_TYPE (expr);
a5e0cd1d
MG
463 unsigned int inprec = element_precision (intype);
464 unsigned int outprec = element_precision (type);
85a16bf8 465 location_t loc = EXPR_LOCATION (expr);
76e616db 466
9c4cb3a3
MM
467 /* An INTEGER_TYPE cannot be incomplete, but an ENUMERAL_TYPE can
468 be. Consider `enum E = { a, b = (enum E) 3 };'. */
d0f062fb 469 if (!COMPLETE_TYPE_P (type))
9c4cb3a3
MM
470 {
471 error ("conversion to incomplete type");
472 return error_mark_node;
473 }
474
c05eeebc
JJ
475 if (ex_form == COMPOUND_EXPR)
476 {
269e63b7 477 tree t = convert_to_integer_1 (type, TREE_OPERAND (expr, 1), dofold);
c05eeebc
JJ
478 if (t == TREE_OPERAND (expr, 1))
479 return expr;
480 return build2_loc (EXPR_LOCATION (expr), COMPOUND_EXPR, TREE_TYPE (t),
481 TREE_OPERAND (expr, 0), t);
482 }
483
332d782c
KG
484 /* Convert e.g. (long)round(d) -> lround(d). */
485 /* If we're converting to char, we may encounter differing behavior
486 between converting from double->char vs double->long->char.
487 We're in "undefined" territory but we prefer to be conservative,
488 so only proceed in "unsafe" math mode. */
489 if (optimize
490 && (flag_unsafe_math_optimizations
d2be4368
KG
491 || (long_integer_type_node
492 && outprec >= TYPE_PRECISION (long_integer_type_node))))
332d782c
KG
493 {
494 tree s_expr = strip_float_extensions (expr);
495 tree s_intype = TREE_TYPE (s_expr);
496 const enum built_in_function fcode = builtin_mathfn_code (s_expr);
497 tree fn = 0;
b8698a0f 498
332d782c
KG
499 switch (fcode)
500 {
ea6a6627 501 CASE_FLT_FN (BUILT_IN_CEIL):
c6cfa2bf 502 CASE_FLT_FN_FLOATN_NX (BUILT_IN_CEIL):
1c432a0c 503 /* Only convert in ISO C99 mode. */
bae974e6 504 if (!targetm.libc_has_function (function_c99_misc, intype))
1c432a0c 505 break;
6c32ee74
UB
506 if (outprec < TYPE_PRECISION (integer_type_node)
507 || (outprec == TYPE_PRECISION (integer_type_node)
738764ef 508 && !TYPE_UNSIGNED (type)))
6c32ee74
UB
509 fn = mathfn_built_in (s_intype, BUILT_IN_ICEIL);
510 else if (outprec == TYPE_PRECISION (long_integer_type_node)
511 && !TYPE_UNSIGNED (type))
f94b1661 512 fn = mathfn_built_in (s_intype, BUILT_IN_LCEIL);
738764ef
RS
513 else if (outprec == TYPE_PRECISION (long_long_integer_type_node)
514 && !TYPE_UNSIGNED (type))
515 fn = mathfn_built_in (s_intype, BUILT_IN_LLCEIL);
f94b1661
UB
516 break;
517
ea6a6627 518 CASE_FLT_FN (BUILT_IN_FLOOR):
c6cfa2bf 519 CASE_FLT_FN_FLOATN_NX (BUILT_IN_FLOOR):
1c432a0c 520 /* Only convert in ISO C99 mode. */
bae974e6 521 if (!targetm.libc_has_function (function_c99_misc, intype))
1c432a0c 522 break;
6c32ee74
UB
523 if (outprec < TYPE_PRECISION (integer_type_node)
524 || (outprec == TYPE_PRECISION (integer_type_node)
738764ef 525 && !TYPE_UNSIGNED (type)))
6c32ee74
UB
526 fn = mathfn_built_in (s_intype, BUILT_IN_IFLOOR);
527 else if (outprec == TYPE_PRECISION (long_integer_type_node)
528 && !TYPE_UNSIGNED (type))
d8b42d06 529 fn = mathfn_built_in (s_intype, BUILT_IN_LFLOOR);
738764ef
RS
530 else if (outprec == TYPE_PRECISION (long_long_integer_type_node)
531 && !TYPE_UNSIGNED (type))
532 fn = mathfn_built_in (s_intype, BUILT_IN_LLFLOOR);
d8b42d06
UB
533 break;
534
ea6a6627 535 CASE_FLT_FN (BUILT_IN_ROUND):
c6cfa2bf 536 CASE_FLT_FN_FLOATN_NX (BUILT_IN_ROUND):
25be91ac 537 /* Only convert in ISO C99 mode and with -fno-math-errno. */
bae974e6 538 if (!targetm.libc_has_function (function_c99_misc, intype)
c2df3c99 539 || flag_errno_math)
44782c0c 540 break;
6c32ee74
UB
541 if (outprec < TYPE_PRECISION (integer_type_node)
542 || (outprec == TYPE_PRECISION (integer_type_node)
738764ef 543 && !TYPE_UNSIGNED (type)))
6c32ee74
UB
544 fn = mathfn_built_in (s_intype, BUILT_IN_IROUND);
545 else if (outprec == TYPE_PRECISION (long_integer_type_node)
546 && !TYPE_UNSIGNED (type))
332d782c 547 fn = mathfn_built_in (s_intype, BUILT_IN_LROUND);
738764ef
RS
548 else if (outprec == TYPE_PRECISION (long_long_integer_type_node)
549 && !TYPE_UNSIGNED (type))
550 fn = mathfn_built_in (s_intype, BUILT_IN_LLROUND);
332d782c
KG
551 break;
552
65bda21f 553 CASE_FLT_FN (BUILT_IN_NEARBYINT):
c6cfa2bf 554 CASE_FLT_FN_FLOATN_NX (BUILT_IN_NEARBYINT):
65bda21f 555 /* Only convert nearbyint* if we can ignore math exceptions. */
332d782c
KG
556 if (flag_trapping_math)
557 break;
81fea426 558 gcc_fallthrough ();
65bda21f 559 CASE_FLT_FN (BUILT_IN_RINT):
c6cfa2bf 560 CASE_FLT_FN_FLOATN_NX (BUILT_IN_RINT):
371e764d 561 /* Only convert in ISO C99 mode and with -fno-math-errno. */
bae974e6 562 if (!targetm.libc_has_function (function_c99_misc, intype)
c2df3c99 563 || flag_errno_math)
44782c0c 564 break;
6c32ee74
UB
565 if (outprec < TYPE_PRECISION (integer_type_node)
566 || (outprec == TYPE_PRECISION (integer_type_node)
738764ef 567 && !TYPE_UNSIGNED (type)))
6c32ee74 568 fn = mathfn_built_in (s_intype, BUILT_IN_IRINT);
44782c0c 569 else if (outprec == TYPE_PRECISION (long_integer_type_node)
6c32ee74 570 && !TYPE_UNSIGNED (type))
738764ef
RS
571 fn = mathfn_built_in (s_intype, BUILT_IN_LRINT);
572 else if (outprec == TYPE_PRECISION (long_long_integer_type_node)
573 && !TYPE_UNSIGNED (type))
574 fn = mathfn_built_in (s_intype, BUILT_IN_LLRINT);
332d782c 575 break;
2ec76fdb 576
ea6a6627 577 CASE_FLT_FN (BUILT_IN_TRUNC):
c6cfa2bf 578 CASE_FLT_FN_FLOATN_NX (BUILT_IN_TRUNC):
c2df3c99
JJ
579 if (call_expr_nargs (s_expr) != 1
580 || !SCALAR_FLOAT_TYPE_P (TREE_TYPE (CALL_EXPR_ARG (s_expr, 0))))
581 break;
582 return convert_to_integer_1 (type, CALL_EXPR_ARG (s_expr, 0),
583 dofold);
2ec76fdb 584
332d782c
KG
585 default:
586 break;
587 }
b8698a0f 588
c2df3c99
JJ
589 if (fn
590 && call_expr_nargs (s_expr) == 1
591 && SCALAR_FLOAT_TYPE_P (TREE_TYPE (CALL_EXPR_ARG (s_expr, 0))))
592 {
5039610b 593 tree newexpr = build_call_expr (fn, 1, CALL_EXPR_ARG (s_expr, 0));
269e63b7 594 return convert_to_integer_1 (type, newexpr, dofold);
332d782c
KG
595 }
596 }
597
2c2f70e1
UB
598 /* Convert (int)logb(d) -> ilogb(d). */
599 if (optimize
600 && flag_unsafe_math_optimizations
601 && !flag_trapping_math && !flag_errno_math && flag_finite_math_only
602 && integer_type_node
603 && (outprec > TYPE_PRECISION (integer_type_node)
604 || (outprec == TYPE_PRECISION (integer_type_node)
605 && !TYPE_UNSIGNED (type))))
606 {
607 tree s_expr = strip_float_extensions (expr);
608 tree s_intype = TREE_TYPE (s_expr);
609 const enum built_in_function fcode = builtin_mathfn_code (s_expr);
610 tree fn = 0;
b8698a0f 611
2c2f70e1
UB
612 switch (fcode)
613 {
614 CASE_FLT_FN (BUILT_IN_LOGB):
615 fn = mathfn_built_in (s_intype, BUILT_IN_ILOGB);
616 break;
617
618 default:
619 break;
620 }
621
c2df3c99
JJ
622 if (fn
623 && call_expr_nargs (s_expr) == 1
624 && SCALAR_FLOAT_TYPE_P (TREE_TYPE (CALL_EXPR_ARG (s_expr, 0))))
2c2f70e1
UB
625 {
626 tree newexpr = build_call_expr (fn, 1, CALL_EXPR_ARG (s_expr, 0));
269e63b7 627 return convert_to_integer_1 (type, newexpr, dofold);
2c2f70e1
UB
628 }
629 }
630
f5963e61 631 switch (TREE_CODE (intype))
76e616db 632 {
f5963e61
JL
633 case POINTER_TYPE:
634 case REFERENCE_TYPE:
dfd7fdca
DM
635 if (integer_zerop (expr)
636 && !TREE_OVERFLOW (tree_strip_any_location_wrapper (expr)))
97471d8f
RS
637 return build_int_cst (type, 0);
638
c767899e
OH
639 /* Convert to an unsigned integer of the correct width first, and from
640 there widen/truncate to the required type. Some targets support the
641 coexistence of multiple valid pointer sizes, so fetch the one we need
642 from the type. */
269e63b7
KT
643 if (!dofold)
644 return build1 (CONVERT_EXPR, type, expr);
97471d8f 645 expr = fold_build1 (CONVERT_EXPR,
c767899e
OH
646 lang_hooks.types.type_for_size
647 (TYPE_PRECISION (intype), 0),
97471d8f 648 expr);
e7a6c127 649 return fold_convert (type, expr);
76e616db 650
f5963e61
JL
651 case INTEGER_TYPE:
652 case ENUMERAL_TYPE:
653 case BOOLEAN_TYPE:
6175f578 654 case OFFSET_TYPE:
f5963e61 655 /* If this is a logical operation, which just returns 0 or 1, we can
a338ab5a 656 change the type of the expression. */
76e616db 657
6615c446 658 if (TREE_CODE_CLASS (ex_form) == tcc_comparison)
76e616db 659 {
5dfa45d0 660 expr = copy_node (expr);
76e616db
BK
661 TREE_TYPE (expr) = type;
662 return expr;
663 }
f5963e61 664
f5963e61
JL
665 /* If we are widening the type, put in an explicit conversion.
666 Similarly if we are not changing the width. After this, we know
667 we are truncating EXPR. */
668
76e616db 669 else if (outprec >= inprec)
4b0d3cbe
MM
670 {
671 enum tree_code code;
672
673 /* If the precision of the EXPR's type is K bits and the
674 destination mode has more bits, and the sign is changing,
675 it is not safe to use a NOP_EXPR. For example, suppose
676 that EXPR's type is a 3-bit unsigned integer type, the
677 TYPE is a 3-bit signed integer type, and the machine mode
678 for the types is 8-bit QImode. In that case, the
679 conversion necessitates an explicit sign-extension. In
680 the signed-to-unsigned case the high-order bits have to
681 be cleared. */
8df83eae 682 if (TYPE_UNSIGNED (type) != TYPE_UNSIGNED (TREE_TYPE (expr))
2be65d9e 683 && !type_has_mode_precision_p (TREE_TYPE (expr)))
4b0d3cbe
MM
684 code = CONVERT_EXPR;
685 else
686 code = NOP_EXPR;
687
269e63b7 688 return maybe_fold_build1_loc (dofold, loc, code, type, expr);
4b0d3cbe 689 }
76e616db 690
1c013b45
RK
691 /* If TYPE is an enumeral type or a type with a precision less
692 than the number of bits in its mode, do the conversion to the
693 type corresponding to its mode, then do a nop conversion
694 to TYPE. */
695 else if (TREE_CODE (type) == ENUMERAL_TYPE
bb94ec76 696 || maybe_ne (outprec, GET_MODE_PRECISION (TYPE_MODE (type))))
32913637 697 {
c814ac9e
PC
698 expr
699 = convert_to_integer_1 (lang_hooks.types.type_for_mode
700 (TYPE_MODE (type), TYPE_UNSIGNED (type)),
701 expr, dofold);
32913637
NS
702 return maybe_fold_build1_loc (dofold, loc, NOP_EXPR, type, expr);
703 }
1c013b45 704
ab29fdfc
RK
705 /* Here detect when we can distribute the truncation down past some
706 arithmetic. For example, if adding two longs and converting to an
707 int, we can equally well convert both to ints and then add.
708 For the operations handled here, such truncation distribution
709 is always safe.
710 It is desirable in these cases:
711 1) when truncating down to full-word from a larger size
712 2) when truncating takes no work.
713 3) when at least one operand of the arithmetic has been extended
714 (as by C's default conversions). In this case we need two conversions
715 if we do the arithmetic as already requested, so we might as well
716 truncate both and then combine. Perhaps that way we need only one.
717
718 Note that in general we cannot do the arithmetic in a type
719 shorter than the desired result of conversion, even if the operands
720 are both extended from a shorter type, because they might overflow
721 if combined in that type. The exceptions to this--the times when
722 two narrow values can be combined in their narrow type even to
723 make a wider result--are handled by "shorten" in build_binary_op. */
76e616db 724
415594bb 725 if (dofold)
c0328be3 726 switch (ex_form)
d977cb9c 727 {
c0328be3
JM
728 case RSHIFT_EXPR:
729 /* We can pass truncation down through right shifting
730 when the shift count is a nonpositive constant. */
731 if (TREE_CODE (TREE_OPERAND (expr, 1)) == INTEGER_CST
732 && tree_int_cst_sgn (TREE_OPERAND (expr, 1)) <= 0)
d977cb9c
RG
733 goto trunc1;
734 break;
d977cb9c 735
c0328be3
JM
736 case LSHIFT_EXPR:
737 /* We can pass truncation down through left shifting
738 when the shift count is a nonnegative constant and
739 the target type is unsigned. */
740 if (TREE_CODE (TREE_OPERAND (expr, 1)) == INTEGER_CST
741 && tree_int_cst_sgn (TREE_OPERAND (expr, 1)) >= 0
742 && TYPE_UNSIGNED (type)
743 && TREE_CODE (TYPE_SIZE (type)) == INTEGER_CST)
76e616db 744 {
c0328be3
JM
745 /* If shift count is less than the width of the truncated type,
746 really shift. */
747 if (tree_int_cst_lt (TREE_OPERAND (expr, 1), TYPE_SIZE (type)))
748 /* In this case, shifting is like multiplication. */
749 goto trunc1;
750 else
76e616db 751 {
c0328be3
JM
752 /* If it is >= that width, result is zero.
753 Handling this with trunc1 would give the wrong result:
754 (int) ((long long) a << 32) is well defined (as 0)
755 but (int) a << 32 is undefined and would get a
756 warning. */
757
758 tree t = build_int_cst (type, 0);
759
760 /* If the original expression had side-effects, we must
761 preserve it. */
762 if (TREE_SIDE_EFFECTS (expr))
763 return build2 (COMPOUND_EXPR, type, expr, t);
ceef8ce4 764 else
c0328be3 765 return t;
76e616db
BK
766 }
767 }
c0328be3 768 break;
76e616db 769
c0328be3
JM
770 case TRUNC_DIV_EXPR:
771 {
2d143ba8
RB
772 tree arg0 = get_unwidened (TREE_OPERAND (expr, 0), NULL_TREE);
773 tree arg1 = get_unwidened (TREE_OPERAND (expr, 1), NULL_TREE);
c0328be3
JM
774
775 /* Don't distribute unless the output precision is at least as
776 big as the actual inputs and it has the same signedness. */
777 if (outprec >= TYPE_PRECISION (TREE_TYPE (arg0))
778 && outprec >= TYPE_PRECISION (TREE_TYPE (arg1))
779 /* If signedness of arg0 and arg1 don't match,
780 we can't necessarily find a type to compare them in. */
781 && (TYPE_UNSIGNED (TREE_TYPE (arg0))
782 == TYPE_UNSIGNED (TREE_TYPE (arg1)))
783 /* Do not change the sign of the division. */
784 && (TYPE_UNSIGNED (TREE_TYPE (expr))
785 == TYPE_UNSIGNED (TREE_TYPE (arg0)))
786 /* Either require unsigned division or a division by
787 a constant that is not -1. */
788 && (TYPE_UNSIGNED (TREE_TYPE (arg0))
789 || (TREE_CODE (arg1) == INTEGER_CST
790 && !integer_all_onesp (arg1))))
2d143ba8
RB
791 {
792 tree tem = do_narrow (loc, ex_form, type, arg0, arg1,
793 expr, inprec, outprec, dofold);
794 if (tem)
795 return tem;
796 }
c0328be3
JM
797 break;
798 }
76e616db 799
c0328be3
JM
800 case MAX_EXPR:
801 case MIN_EXPR:
802 case MULT_EXPR:
803 {
804 tree arg0 = get_unwidened (TREE_OPERAND (expr, 0), type);
805 tree arg1 = get_unwidened (TREE_OPERAND (expr, 1), type);
806
807 /* Don't distribute unless the output precision is at least as
808 big as the actual inputs. Otherwise, the comparison of the
809 truncated values will be wrong. */
810 if (outprec >= TYPE_PRECISION (TREE_TYPE (arg0))
811 && outprec >= TYPE_PRECISION (TREE_TYPE (arg1))
812 /* If signedness of arg0 and arg1 don't match,
813 we can't necessarily find a type to compare them in. */
814 && (TYPE_UNSIGNED (TREE_TYPE (arg0))
815 == TYPE_UNSIGNED (TREE_TYPE (arg1))))
816 goto trunc1;
817 break;
818 }
819
820 case PLUS_EXPR:
821 case MINUS_EXPR:
822 case BIT_AND_EXPR:
823 case BIT_IOR_EXPR:
824 case BIT_XOR_EXPR:
825 trunc1:
826 {
827 tree arg0 = get_unwidened (TREE_OPERAND (expr, 0), type);
828 tree arg1 = get_unwidened (TREE_OPERAND (expr, 1), type);
829
830 /* Do not try to narrow operands of pointer subtraction;
831 that will interfere with other folding. */
832 if (ex_form == MINUS_EXPR
833 && CONVERT_EXPR_P (arg0)
834 && CONVERT_EXPR_P (arg1)
835 && POINTER_TYPE_P (TREE_TYPE (TREE_OPERAND (arg0, 0)))
836 && POINTER_TYPE_P (TREE_TYPE (TREE_OPERAND (arg1, 0))))
837 break;
838
b8697d0c
RS
839 tree tem = do_narrow (loc, ex_form, type, arg0, arg1,
840 expr, inprec, outprec, dofold);
841 if (tem)
842 return tem;
c0328be3 843 }
3767c0fd 844 break;
c0328be3
JM
845
846 case NEGATE_EXPR:
c253525e
MP
847 /* Using unsigned arithmetic for signed types may hide overflow
848 bugs. */
849 if (!TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (expr, 0)))
850 && sanitize_flags_p (SANITIZE_SI_OVERFLOW))
851 break;
852 /* Fall through. */
c0328be3
JM
853 case BIT_NOT_EXPR:
854 /* This is not correct for ABS_EXPR,
855 since we must test the sign before truncation. */
856 {
857 /* Do the arithmetic in type TYPEX,
858 then convert result to TYPE. */
859 tree typex = type;
860
861 /* Can't do arithmetic in enumeral types
862 so use an integer type that will hold the values. */
863 if (TREE_CODE (typex) == ENUMERAL_TYPE)
864 typex
865 = lang_hooks.types.type_for_size (TYPE_PRECISION (typex),
866 TYPE_UNSIGNED (typex));
867
868 if (!TYPE_UNSIGNED (typex))
c253525e 869 typex = unsigned_type_for (typex);
c0328be3
JM
870 return convert (type,
871 fold_build1 (ex_form, typex,
872 convert (typex,
873 TREE_OPERAND (expr, 0))));
874 }
875
876 CASE_CONVERT:
cf098191
RS
877 {
878 tree argtype = TREE_TYPE (TREE_OPERAND (expr, 0));
879 /* Don't introduce a "can't convert between vector values
880 of different size" error. */
881 if (TREE_CODE (argtype) == VECTOR_TYPE
882 && maybe_ne (GET_MODE_SIZE (TYPE_MODE (argtype)),
883 GET_MODE_SIZE (TYPE_MODE (type))))
884 break;
885 }
c0328be3
JM
886 /* If truncating after truncating, might as well do all at once.
887 If truncating after extending, we may get rid of wasted work. */
888 return convert (type, get_unwidened (TREE_OPERAND (expr, 0), type));
889
890 case COND_EXPR:
891 /* It is sometimes worthwhile to push the narrowing down through
892 the conditional and never loses. A COND_EXPR may have a throw
893 as one operand, which then has void type. Just leave void
894 operands as they are. */
269e63b7
KT
895 return
896 fold_build3 (COND_EXPR, type, TREE_OPERAND (expr, 0),
897 VOID_TYPE_P (TREE_TYPE (TREE_OPERAND (expr, 1)))
898 ? TREE_OPERAND (expr, 1)
899 : convert (type, TREE_OPERAND (expr, 1)),
900 VOID_TYPE_P (TREE_TYPE (TREE_OPERAND (expr, 2)))
901 ? TREE_OPERAND (expr, 2)
902 : convert (type, TREE_OPERAND (expr, 2)));
76e616db 903
c0328be3
JM
904 default:
905 break;
906 }
76e616db 907
c53153e7
JH
908 /* When parsing long initializers, we might end up with a lot of casts.
909 Shortcut this. */
dfd7fdca 910 if (TREE_CODE (tree_strip_any_location_wrapper (expr)) == INTEGER_CST)
c53153e7 911 return fold_convert (type, expr);
0b87eff5 912 return build1 (CONVERT_EXPR, type, expr);
76e616db 913
f5963e61 914 case REAL_TYPE:
f34ebeb2
ML
915 if (sanitize_flags_p (SANITIZE_FLOAT_CAST)
916 && current_function_decl != NULL_TREE)
85a16bf8
MP
917 {
918 expr = save_expr (expr);
6b131d5b 919 tree check = ubsan_instrument_float_cast (loc, type, expr);
85a16bf8 920 expr = build1 (FIX_TRUNC_EXPR, type, expr);
6b131d5b 921 if (check == NULL_TREE)
85a16bf8 922 return expr;
269e63b7
KT
923 return maybe_fold_build2_loc (dofold, loc, COMPOUND_EXPR,
924 TREE_TYPE (expr), check, expr);
85a16bf8
MP
925 }
926 else
927 return build1 (FIX_TRUNC_EXPR, type, expr);
76e616db 928
0f996086
CF
929 case FIXED_POINT_TYPE:
930 return build1 (FIXED_CONVERT_EXPR, type, expr);
931
f5963e61 932 case COMPLEX_TYPE:
269e63b7
KT
933 expr = maybe_fold_build1_loc (dofold, loc, REALPART_EXPR,
934 TREE_TYPE (TREE_TYPE (expr)), expr);
935 return convert (type, expr);
0b127821 936
0b4565c9 937 case VECTOR_TYPE:
3a021db2 938 if (!tree_int_cst_equal (TYPE_SIZE (type), TYPE_SIZE (TREE_TYPE (expr))))
0b4565c9 939 {
a9c697b8 940 error ("cannot convert a vector of type %qT"
b8f75b8c
MG
941 " to type %qT which has different size",
942 TREE_TYPE (expr), type);
0b4565c9
BS
943 return error_mark_node;
944 }
4d3c798d 945 return build1 (VIEW_CONVERT_EXPR, type, expr);
0b4565c9 946
f5963e61
JL
947 default:
948 error ("aggregate value used where an integer was expected");
949 return convert (type, integer_zero_node);
950 }
76e616db 951}
0b127821 952
269e63b7
KT
953/* Convert EXPR to some integer (or enum) type TYPE.
954
955 EXPR must be pointer, integer, discrete (enum, char, or bool), float,
956 fixed-point or vector; in other cases error is called.
957
958 The result of this is always supposed to be a newly created tree node
959 not in use in any existing structure. */
0b127821
RS
960
961tree
269e63b7 962convert_to_integer (tree type, tree expr)
0b127821 963{
269e63b7
KT
964 return convert_to_integer_1 (type, expr, true);
965}
966
415594bb 967/* A wrapper around convert_to_complex_1 that only folds the
dfd7fdca 968 expression if DOFOLD, or if it is CONSTANT_CLASS_OR_WRAPPER_P. */
269e63b7
KT
969
970tree
415594bb 971convert_to_integer_maybe_fold (tree type, tree expr, bool dofold)
269e63b7 972{
dfd7fdca
DM
973 tree result
974 = convert_to_integer_1 (type, expr,
975 dofold || CONSTANT_CLASS_OR_WRAPPER_P (expr));
976 return preserve_any_location_wrapper (result, expr);
269e63b7
KT
977}
978
979/* Convert EXPR to the complex type TYPE in the usual ways. If FOLD_P is
980 true, try to fold the expression. */
981
982static tree
983convert_to_complex_1 (tree type, tree expr, bool fold_p)
984{
985 location_t loc = EXPR_LOCATION (expr);
0b127821 986 tree subtype = TREE_TYPE (type);
159b3be1 987
f5963e61 988 switch (TREE_CODE (TREE_TYPE (expr)))
0b127821 989 {
f5963e61 990 case REAL_TYPE:
0f996086 991 case FIXED_POINT_TYPE:
f5963e61
JL
992 case INTEGER_TYPE:
993 case ENUMERAL_TYPE:
994 case BOOLEAN_TYPE:
3244e67d
RS
995 return build2 (COMPLEX_EXPR, type, convert (subtype, expr),
996 convert (subtype, integer_zero_node));
0b127821 997
f5963e61
JL
998 case COMPLEX_TYPE:
999 {
1000 tree elt_type = TREE_TYPE (TREE_TYPE (expr));
1001
1002 if (TYPE_MAIN_VARIANT (elt_type) == TYPE_MAIN_VARIANT (subtype))
1003 return expr;
c05eeebc
JJ
1004 else if (TREE_CODE (expr) == COMPOUND_EXPR)
1005 {
269e63b7
KT
1006 tree t = convert_to_complex_1 (type, TREE_OPERAND (expr, 1),
1007 fold_p);
c05eeebc
JJ
1008 if (t == TREE_OPERAND (expr, 1))
1009 return expr;
1010 return build2_loc (EXPR_LOCATION (expr), COMPOUND_EXPR,
1011 TREE_TYPE (t), TREE_OPERAND (expr, 0), t);
269e63b7 1012 }
f5963e61 1013 else if (TREE_CODE (expr) == COMPLEX_EXPR)
269e63b7
KT
1014 return maybe_fold_build2_loc (fold_p, loc, COMPLEX_EXPR, type,
1015 convert (subtype,
1016 TREE_OPERAND (expr, 0)),
1017 convert (subtype,
1018 TREE_OPERAND (expr, 1)));
f5963e61
JL
1019 else
1020 {
1021 expr = save_expr (expr);
269e63b7
KT
1022 tree realp = maybe_fold_build1_loc (fold_p, loc, REALPART_EXPR,
1023 TREE_TYPE (TREE_TYPE (expr)),
1024 expr);
1025 tree imagp = maybe_fold_build1_loc (fold_p, loc, IMAGPART_EXPR,
1026 TREE_TYPE (TREE_TYPE (expr)),
1027 expr);
1028 return maybe_fold_build2_loc (fold_p, loc, COMPLEX_EXPR, type,
1029 convert (subtype, realp),
1030 convert (subtype, imagp));
f5963e61
JL
1031 }
1032 }
0b127821 1033
f5963e61
JL
1034 case POINTER_TYPE:
1035 case REFERENCE_TYPE:
1036 error ("pointer value used where a complex was expected");
269e63b7 1037 return convert_to_complex_1 (type, integer_zero_node, fold_p);
f5963e61
JL
1038
1039 default:
1040 error ("aggregate value used where a complex was expected");
269e63b7 1041 return convert_to_complex_1 (type, integer_zero_node, fold_p);
f5963e61 1042 }
0b127821 1043}
0b4565c9 1044
269e63b7
KT
1045/* A wrapper around convert_to_complex_1 that always folds the
1046 expression. */
1047
1048tree
1049convert_to_complex (tree type, tree expr)
1050{
1051 return convert_to_complex_1 (type, expr, true);
1052}
1053
1054/* A wrapper around convert_to_complex_1 that only folds the
dfd7fdca 1055 expression if DOFOLD, or if it is CONSTANT_CLASS_OR_WRAPPER_P. */
269e63b7
KT
1056
1057tree
415594bb 1058convert_to_complex_maybe_fold (tree type, tree expr, bool dofold)
269e63b7 1059{
dfd7fdca
DM
1060 tree result
1061 = convert_to_complex_1 (type, expr,
1062 dofold || CONSTANT_CLASS_OR_WRAPPER_P (expr));
1063 return preserve_any_location_wrapper (result, expr);
269e63b7
KT
1064}
1065
0b4565c9
BS
1066/* Convert EXPR to the vector type TYPE in the usual ways. */
1067
1068tree
159b3be1 1069convert_to_vector (tree type, tree expr)
0b4565c9 1070{
0b4565c9
BS
1071 switch (TREE_CODE (TREE_TYPE (expr)))
1072 {
1073 case INTEGER_TYPE:
1074 case VECTOR_TYPE:
3a021db2 1075 if (!tree_int_cst_equal (TYPE_SIZE (type), TYPE_SIZE (TREE_TYPE (expr))))
0b4565c9 1076 {
a9c697b8 1077 error ("cannot convert a value of type %qT"
b8f75b8c
MG
1078 " to vector type %qT which has different size",
1079 TREE_TYPE (expr), type);
0b4565c9
BS
1080 return error_mark_node;
1081 }
4d3c798d 1082 return build1 (VIEW_CONVERT_EXPR, type, expr);
0b4565c9
BS
1083
1084 default:
a9c697b8 1085 error ("cannot convert value to a vector");
273d67e7 1086 return error_mark_node;
0b4565c9
BS
1087 }
1088}
0f996086
CF
1089
1090/* Convert EXPR to some fixed-point type TYPE.
1091
1092 EXPR must be fixed-point, float, integer, or enumeral;
1093 in other cases error is called. */
1094
1095tree
1096convert_to_fixed (tree type, tree expr)
1097{
1098 if (integer_zerop (expr))
1099 {
1100 tree fixed_zero_node = build_fixed (type, FCONST0 (TYPE_MODE (type)));
1101 return fixed_zero_node;
1102 }
1103 else if (integer_onep (expr) && ALL_SCALAR_ACCUM_MODE_P (TYPE_MODE (type)))
1104 {
1105 tree fixed_one_node = build_fixed (type, FCONST1 (TYPE_MODE (type)));
1106 return fixed_one_node;
1107 }
1108
1109 switch (TREE_CODE (TREE_TYPE (expr)))
1110 {
1111 case FIXED_POINT_TYPE:
1112 case INTEGER_TYPE:
1113 case ENUMERAL_TYPE:
1114 case BOOLEAN_TYPE:
1115 case REAL_TYPE:
1116 return build1 (FIXED_CONVERT_EXPR, type, expr);
1117
1118 case COMPLEX_TYPE:
1119 return convert (type,
1120 fold_build1 (REALPART_EXPR,
1121 TREE_TYPE (TREE_TYPE (expr)), expr));
1122
1123 default:
1124 error ("aggregate value used where a fixed-point was expected");
1125 return error_mark_node;
1126 }
1127}
dfd7fdca
DM
1128
1129#if CHECKING_P
1130
1131namespace selftest {
1132
1133/* Selftests for conversions. */
1134
1135static void
1136test_convert_to_integer_maybe_fold (tree orig_type, tree new_type)
1137{
1138 /* Calling convert_to_integer_maybe_fold on an INTEGER_CST. */
1139
1140 tree orig_cst = build_int_cst (orig_type, 42);
1141
1142 /* Verify that convert_to_integer_maybe_fold on a constant returns a new
1143 constant of the new type, unless the types are the same, in which
1144 case verify it's a no-op. */
1145 {
1146 tree result = convert_to_integer_maybe_fold (new_type,
1147 orig_cst, false);
1148 if (orig_type != new_type)
1149 {
1150 ASSERT_EQ (TREE_TYPE (result), new_type);
1151 ASSERT_EQ (TREE_CODE (result), INTEGER_CST);
1152 }
1153 else
1154 ASSERT_EQ (result, orig_cst);
1155 }
1156
1157 /* Calling convert_to_integer_maybe_fold on a location wrapper around
1158 an INTEGER_CST.
1159
1160 Verify that convert_to_integer_maybe_fold on a location wrapper
1161 around a constant returns a new location wrapper around an equivalent
1162 constant, both of the new type, unless the types are the same,
1163 in which case the original wrapper should be returned. */
1164 {
1165 const location_t loc = BUILTINS_LOCATION;
1166 tree wrapped_orig_cst = maybe_wrap_with_location (orig_cst, loc);
1167 tree result
1168 = convert_to_integer_maybe_fold (new_type, wrapped_orig_cst, false);
1169 ASSERT_EQ (TREE_TYPE (result), new_type);
1170 ASSERT_EQ (EXPR_LOCATION (result), loc);
1171 ASSERT_TRUE (location_wrapper_p (result));
1172 ASSERT_EQ (TREE_TYPE (TREE_OPERAND (result, 0)), new_type);
1173 ASSERT_EQ (TREE_CODE (TREE_OPERAND (result, 0)), INTEGER_CST);
1174
1175 if (orig_type == new_type)
1176 ASSERT_EQ (result, wrapped_orig_cst);
1177 }
1178}
1179
1180/* Verify that convert_to_integer_maybe_fold preserves locations. */
1181
1182static void
1183test_convert_to_integer_maybe_fold ()
1184{
1185 /* char -> long. */
1186 test_convert_to_integer_maybe_fold (char_type_node, long_integer_type_node);
1187
1188 /* char -> char. */
1189 test_convert_to_integer_maybe_fold (char_type_node, char_type_node);
1190
1191 /* long -> char. */
1192 test_convert_to_integer_maybe_fold (char_type_node, long_integer_type_node);
1193
1194 /* long -> long. */
1195 test_convert_to_integer_maybe_fold (long_integer_type_node,
1196 long_integer_type_node);
1197}
1198
1199/* Run all of the selftests within this file. */
1200
1201void
1202convert_c_tests ()
1203{
1204 test_convert_to_integer_maybe_fold ();
1205}
1206
1207} // namespace selftest
1208
1209#endif /* CHECKING_P */