diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2017-05-25 10:50:54 +0200 |
---|---|---|
committer | Marc Glisse <glisse@gcc.gnu.org> | 2017-05-25 08:50:54 +0000 |
commit | bce8ef718dcafd0251fe338bf952679b803493c3 (patch) | |
tree | 0084056ebea292b4231b2a4593846aa7b7366cc9 /gcc/match.pd | |
parent | 11d6b45d431b0aa30cf5ce3941b01ba4fd342af5 (diff) | |
download | gcc-bce8ef718dcafd0251fe338bf952679b803493c3.zip gcc-bce8ef718dcafd0251fe338bf952679b803493c3.tar.gz gcc-bce8ef718dcafd0251fe338bf952679b803493c3.tar.bz2 |
Relax VIEW_CONVERT_EXPR - CONVERT_EXPR combination
2017-05-25 Marc Glisse <marc.glisse@inria.fr>
gcc/
* match.pd (view_convert (convert@0 @1)): Handle zero-extension.
gcc/testsuite/
* gcc.dg/tree-ssa/vce-1.c: New file.
From-SVN: r248449
Diffstat (limited to 'gcc/match.pd')
-rw-r--r-- | gcc/match.pd | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index 77271a0..b5e5a98 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -1856,13 +1856,16 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) && TYPE_PRECISION (type) == TYPE_PRECISION (TREE_TYPE (@0))) (convert @0))) -/* Strip inner integral conversions that do not change precision or size. */ +/* Strip inner integral conversions that do not change precision or size, or + zero-extend while keeping the same size (for bool-to-char). */ (simplify (view_convert (convert@0 @1)) (if ((INTEGRAL_TYPE_P (TREE_TYPE (@0)) || POINTER_TYPE_P (TREE_TYPE (@0))) && (INTEGRAL_TYPE_P (TREE_TYPE (@1)) || POINTER_TYPE_P (TREE_TYPE (@1))) - && (TYPE_PRECISION (TREE_TYPE (@0)) == TYPE_PRECISION (TREE_TYPE (@1))) - && (TYPE_SIZE (TREE_TYPE (@0)) == TYPE_SIZE (TREE_TYPE (@1)))) + && TYPE_SIZE (TREE_TYPE (@0)) == TYPE_SIZE (TREE_TYPE (@1)) + && (TYPE_PRECISION (TREE_TYPE (@0)) == TYPE_PRECISION (TREE_TYPE (@1)) + || (TYPE_PRECISION (TREE_TYPE (@0)) > TYPE_PRECISION (TREE_TYPE (@1)) + && TYPE_UNSIGNED (TREE_TYPE (@1))))) (view_convert @1))) /* Re-association barriers around constants and other re-association |