From a1a800075c90f989c17fffff6fdbe1d8733b3c73 Mon Sep 17 00:00:00 2001 From: rguenth Date: Wed, 1 Jun 2016 10:31:30 +0000 Subject: 2016-06-01 Richard Biener * 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 --- gcc/match.pd | 45 +++++---------------------------------------- 1 file changed, 5 insertions(+), 40 deletions(-) (limited to 'gcc/match.pd') 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)); })))) -- cgit v1.2.1