OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

tree.c (int_fits_type_p): A narrower type always fits in a wider one...

Browse Source 
* tree.c (int_fits_type_p): A narrower type always fits in a
	wider one, except for negative values into unsigned types.

Co-Authored-By: Olivier Hainque <hainque@act-europe.fr>

From-SVN: r92788
This commit is contained in:
Roger Sayle 2005-01-01 20:33:28 +00:00 committed by Roger Sayle
parent 69618c4943
commit 91c537b758
2 changed files with 17 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2005-01-01 Roger Sayle <roger@eyesopen.com>
Olivier Hainque <hainque@act-europe.fr>
* tree.c (int_fits_type_p): A narrower type always fits in a
wider one, except for negative values into unsigned types.
2005-01-01 Roger Sayle <roger@eyesopen.com>
* tree.c (int_fits_type_p): Compare the result of force_fit_type

15
gcc/tree.c
View File

@ -4879,10 +4879,17 @@ int_fits_type_p (tree c, tree type)
/* Perform some generic filtering first, which may allow making a decision
even if the bounds are not constant. First, negative integers never fit
in unsigned types, */
if ((TYPE_UNSIGNED (type) && tree_int_cst_sgn (c) < 0)
/* Also, unsigned integers with top bit set never fit signed types. */
|| (! TYPE_UNSIGNED (type)
&& TYPE_UNSIGNED (TREE_TYPE (c)) && tree_int_cst_msb (c)))
if (TYPE_UNSIGNED (type) && tree_int_cst_sgn (c) < 0)
return 0;
/* Second, narrower types always fit in wider ones. */
if (TYPE_PRECISION (type) > TYPE_PRECISION (TREE_TYPE (c)))
return 1;
/* Third, unsigned integers with top bit set never fit signed types. */
if (! TYPE_UNSIGNED (type)
&& TYPE_UNSIGNED (TREE_TYPE (c))
&& tree_int_cst_msb (c))
return 0;
/* If at least one bound of the type is a constant integer, we can check