diff options
author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-06-01 10:31:30 +0000 |
---|---|---|
committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-06-01 10:31:30 +0000 |
commit | a1a800075c90f989c17fffff6fdbe1d8733b3c73 (patch) | |
tree | 8c5a1980e3d57b4f2badc508c6101c7f0a30001f /gcc/match.pd | |
parent | 7f93bd6ec3a8c93496106404efff1e63ed5736cb (diff) | |
download | gcc-a1a800075c90f989c17fffff6fdbe1d8733b3c73.tar.gz |
2016-06-01 Richard Biener <rguenther@suse.de>
* match.pd ((A & B) - (A & ~B) -> B - (A ^ B)): Add missing :c.
(relational patterns): Use :c to avoid pattern duplications.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@236979 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/match.pd')
-rw-r--r-- | gcc/match.pd | 45 |
1 files changed, 5 insertions, 40 deletions
diff --git a/gcc/match.pd b/gcc/match.pd index 24e716e6565..dde6988a6f5 100644 --- a/gcc/match.pd +++ b/gcc/match.pd @@ -493,7 +493,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) /* Fold (A & B) - (A & ~B) into B - (A ^ B). */ (simplify - (minus (bit_and:s @0 @1) (bit_and:cs @0 (bit_not @1))) + (minus (bit_and:cs @0 @1) (bit_and:cs @0 (bit_not @1))) (minus @1 (bit_xor @0 @1))) /* Simplify (X & ~Y) | (~X & Y) -> X ^ Y. */ @@ -2584,18 +2584,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (for cmp (lt le ge gt) out (gt gt le le) (simplify - (cmp (plus@2 @0 INTEGER_CST@1) @0) - (if (TYPE_UNSIGNED (TREE_TYPE (@0)) - && TYPE_OVERFLOW_WRAPS (TREE_TYPE (@0)) - && wi::ne_p (@1, 0) - && single_use (@2)) - (out @0 { wide_int_to_tree (TREE_TYPE (@0), wi::max_value - (TYPE_PRECISION (TREE_TYPE (@0)), UNSIGNED) - @1); })))) -/* A CMP A + CST -> A CMP' CST' */ -(for cmp (gt ge le lt) - out (gt gt le le) - (simplify - (cmp @0 (plus@2 @0 INTEGER_CST@1)) + (cmp:c (plus@2 @0 INTEGER_CST@1) @0) (if (TYPE_UNSIGNED (TREE_TYPE (@0)) && TYPE_OVERFLOW_WRAPS (TREE_TYPE (@0)) && wi::ne_p (@1, 0) @@ -2608,35 +2597,19 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) expects the long form, so we restrict the transformation for now. */ (for cmp (gt le) (simplify - (cmp (minus@2 @0 @1) @0) + (cmp:c (minus@2 @0 @1) @0) (if (single_use (@2) && ANY_INTEGRAL_TYPE_P (TREE_TYPE (@0)) && TYPE_UNSIGNED (TREE_TYPE (@0)) && TYPE_OVERFLOW_WRAPS (TREE_TYPE (@0))) (cmp @1 @0)))) -(for cmp (lt ge) - (simplify - (cmp @0 (minus@2 @0 @1)) - (if (single_use (@2) - && ANY_INTEGRAL_TYPE_P (TREE_TYPE (@0)) - && TYPE_UNSIGNED (TREE_TYPE (@0)) - && TYPE_OVERFLOW_WRAPS (TREE_TYPE (@0))) - (cmp @0 @1)))) /* Testing for overflow is unnecessary if we already know the result. */ -/* A < A - B */ -(for cmp (lt ge) - out (ne eq) - (simplify - (cmp @0 (realpart (IFN_SUB_OVERFLOW@2 @0 @1))) - (if (TYPE_UNSIGNED (TREE_TYPE (@0)) - && types_match (TREE_TYPE (@0), TREE_TYPE (@1))) - (out (imagpart @2) { build_zero_cst (TREE_TYPE (@0)); })))) /* A - B > A */ (for cmp (gt le) out (ne eq) (simplify - (cmp (realpart (IFN_SUB_OVERFLOW@2 @0 @1)) @0) + (cmp:c (realpart (IFN_SUB_OVERFLOW@2 @0 @1)) @0) (if (TYPE_UNSIGNED (TREE_TYPE (@0)) && types_match (TREE_TYPE (@0), TREE_TYPE (@1))) (out (imagpart @2) { build_zero_cst (TREE_TYPE (@0)); })))) @@ -2644,15 +2617,7 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (for cmp (lt ge) out (ne eq) (simplify - (cmp (realpart (IFN_ADD_OVERFLOW:c@2 @0 @1)) @0) - (if (TYPE_UNSIGNED (TREE_TYPE (@0)) - && types_match (TREE_TYPE (@0), TREE_TYPE (@1))) - (out (imagpart @2) { build_zero_cst (TREE_TYPE (@0)); })))) -/* A > A + B */ -(for cmp (gt le) - out (ne eq) - (simplify - (cmp @0 (realpart (IFN_ADD_OVERFLOW:c@2 @0 @1))) + (cmp:c (realpart (IFN_ADD_OVERFLOW:c@2 @0 @1)) @0) (if (TYPE_UNSIGNED (TREE_TYPE (@0)) && types_match (TREE_TYPE (@0), TREE_TYPE (@1))) (out (imagpart @2) { build_zero_cst (TREE_TYPE (@0)); })))) |