OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR middle-end/35691 (Missed (a == 0) && (b == 0) into (a|(typeof(a)(b)) == 0 when the types don't match)

Browse Source 
2016-11-07  Prathamesh Kulkarni  <prathamesh.kulkarni@linaro.org>

	PR middle-end/35691
	* match.pd: Add following two patterns:
	(x == 0 & y == 0) -> (x | typeof(x)(y)) == 0.
	(x != 0 | y != 0) -> (x | typeof(x)(y)) != 0.

testsuite/
	* gcc.dg/pr35691-1.c: New test-case.
	* gcc.dg/pr35691-4.c: Likewise.

From-SVN: r241915
This commit is contained in:
Prathamesh Kulkarni 2016-11-07 17:32:17 +00:00 committed by Prathamesh Kulkarni
parent 1581a12c35
commit 7aa13860fb
5 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2016-11-07 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
PR middle-end/35691
* match.pd: Add following two patterns:
(x == 0 & y == 0) -> (x | typeof(x)(y)) == 0.
(x != 0 | y != 0) -> (x | typeof(x)(y)) != 0.
2016-11-07 Bernd Schmidt <bschmidt@redhat.com>
* emit-rtl.c (emit_copy_of_insn_after): Duplicate notes in order.

12
gcc/match.pd
View File

@ -519,6 +519,18 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT)
(if (TYPE_UNSIGNED (type))
(bit_and @0 (bit_not (lshift { build_all_ones_cst (type); } @1)))))
/* PR35691: Transform
(x == 0 & y == 0) -> (x | typeof(x)(y)) == 0.
(x != 0 | y != 0) -> (x | typeof(x)(y)) != 0. */
(for bitop (bit_and bit_ior)
cmp (eq ne)
(simplify
(bitop (cmp @0 integer_zerop@2) (cmp @1 integer_zerop))
(if (INTEGRAL_TYPE_P (TREE_TYPE (@0))
&& INTEGRAL_TYPE_P (TREE_TYPE (@1))
&& TYPE_PRECISION (TREE_TYPE (@0)) == TYPE_PRECISION (TREE_TYPE (@1)))
(cmp (bit_ior @0 (convert @1)) @2))))
/* Fold (A & ~B) - (A & B) into (A ^ B) - B. */
(simplify
(minus (bit_and:cs @0 (bit_not @1)) (bit_and:cs @0 @1))

6
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,9 @@
2016-11-07 Prathamesh Kulkarni <prathamesh.kulkarni@linaro.org>
PR middle-end/35691
* gcc.dg/pr35691-1.c: New test-case.
* gcc.dg/pr35691-2.c: Likewise.
2016-11-07 Bernd Schmidt <bschmidt@redhat.com>
PR rtl-optimization/77309

12
gcc/testsuite/gcc.dg/pr35691-1.c Normal file
View File

@ -0,0 +1,12 @@
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-forwprop-details" } */
int foo(int z0, unsigned z1)
{
int t0 = (z0 == 0);
int t1 = (z1 == 0);
int t2 = (t0 && t1);
return t2;
}
/* { dg-final { scan-tree-dump "gimple_simplified to _\[0-9\]* = \\(int\\) z1_\[0-9\]*\\(D\\);" "forwprop1" } } */

12
gcc/testsuite/gcc.dg/pr35691-2.c Normal file
View File

@ -0,0 +1,12 @@
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-forwprop-details" } */
int foo(int z0, unsigned z1)
{
int t0 = (z0 != 0);
int t1 = (z1 != 0);
int t2 = (t0 || t1);
return t2;
}
/* { dg-final { scan-tree-dump "gimple_simplified to _\[0-9\]* = \\(int\\) z1_\[0-9\]*\\(D\\);" "forwprop1" } } */