diff options
| author | Andrew Pinski <pinskia@physics.uc.edu> | 2005-06-15 20:13:11 +0000 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2005-06-15 13:13:11 -0700 |
| commit | 2decfada04c98ab3b9764fd39120bad1325443d2 (patch) | |
| tree | e5d81407729063f7882eb62ce9ea677ea38a9217 | |
| parent | 3eee5bf485a0f505356e138b7275b5169b5cff1d (diff) | |
| download | gcc-2decfada04c98ab3b9764fd39120bad1325443d2.zip gcc-2decfada04c98ab3b9764fd39120bad1325443d2.tar.gz gcc-2decfada04c98ab3b9764fd39120bad1325443d2.tar.bz2 | |
re PR tree-optimization/21923 (Ada compiler fails to build on gcc 4.1)
2005-06-15 Andrew Pinski <pinskia@physics.uc.edu>
PR tree-opt/21923
* tree-ssa.c (tree_ssa_useless_type_conversion_1): Conversions between
integer types whos ranges are different are not useless.
From-SVN: r100996
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa.c | 4 |
2 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 2c98836..f0cbb56 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2005-06-15 Andrew Pinski <pinskia@physics.uc.edu> + PR tree-opt/21923 + * tree-ssa.c (tree_ssa_useless_type_conversion_1): Conversions between + integer types whos ranges are different are not useless. + +2005-06-15 Andrew Pinski <pinskia@physics.uc.edu> + PR tree-opt/22024 * tree-ssa-reassoc.c (init_reassoc): Also give chain decl a distint rank. diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 0a83b78..50c6e72 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -902,7 +902,9 @@ tree_ssa_useless_type_conversion_1 (tree outer_type, tree inner_type) else if (INTEGRAL_TYPE_P (inner_type) && INTEGRAL_TYPE_P (outer_type) && TYPE_UNSIGNED (inner_type) == TYPE_UNSIGNED (outer_type) - && TYPE_PRECISION (inner_type) == TYPE_PRECISION (outer_type)) + && TYPE_PRECISION (inner_type) == TYPE_PRECISION (outer_type) + && simple_cst_equal (TYPE_MAX_VALUE (inner_type), TYPE_MAX_VALUE (outer_type)) + && simple_cst_equal (TYPE_MIN_VALUE (inner_type), TYPE_MIN_VALUE (outer_type))) { bool first_boolean = (TREE_CODE (inner_type) == BOOLEAN_TYPE); bool second_boolean = (TREE_CODE (outer_type) == BOOLEAN_TYPE); |