This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH] Fix PR67438
- From: Richard Biener <rguenther at suse dot de>
- To: gcc-patches at gcc dot gnu dot org
- Date: Fri, 4 Dec 2015 09:08:46 +0100 (CET)
- Subject: [PATCH] Fix PR67438
- Authentication-results: sourceware.org; auth=none
The following is the only way I currently see to fix PR67438, register
pressure increase over a conditional due to a match pattern applying
to ops with multiple uses.
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard.
2015-12-04 Richard Biener <rguenther@suse.de>
PR middle-end/67438
* match.pd: Guard ~X cmp ~Y -> Y cmp X and the variant with
a constant with single_use.
Index: gcc/match.pd
===================================================================
--- gcc/match.pd (revision 231221)
+++ gcc/match.pd (working copy)
@@ -1855,15 +1879,17 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
/* Fold ~X op ~Y as Y op X. */
(for cmp (simple_comparison)
(simplify
- (cmp (bit_not @0) (bit_not @1))
- (cmp @1 @0)))
+ (cmp (bit_not@2 @0) (bit_not@3 @1))
+ (if (single_use (@2) && single_use (@3))
+ (cmp @1 @0))))
/* Fold ~X op C as X op' ~C, where op' is the swapped comparison. */
(for cmp (simple_comparison)
scmp (swapped_simple_comparison)
(simplify
- (cmp (bit_not @0) CONSTANT_CLASS_P@1)
- (if (TREE_CODE (@1) == INTEGER_CST || TREE_CODE (@1) == VECTOR_CST)
+ (cmp (bit_not@2 @0) CONSTANT_CLASS_P@1)
+ (if (single_use (@2)
+ && (TREE_CODE (@1) == INTEGER_CST || TREE_CODE (@1) == VECTOR_CST))
(scmp @0 (bit_not @1)))))
(for cmp (simple_comparison)