In the process of dealing with PR68513, it turned out this test should have been written with GIMPLE in mind.
Tested on x86_64-linux, ok for trunk? Maybe we'll want this even for 5, I don't know yet. 2015-11-27 Marek Polacek <pola...@redhat.com> * gcc.dg/pr63568.c: Convert to GIMPLE. diff --git gcc/testsuite/gcc.dg/pr63568.c gcc/testsuite/gcc.dg/pr63568.c index c6b88e7..5c688b0 100644 --- gcc/testsuite/gcc.dg/pr63568.c +++ gcc/testsuite/gcc.dg/pr63568.c @@ -1,53 +1,69 @@ /* PR middle-end/63568 */ /* { dg-do compile } */ -/* { dg-options "-fdump-tree-original" } */ +/* { dg-options "-O -fdump-tree-cddce1" } */ int fn1 (int a, int b, int m) { - return (a & ~m) | (b & m); + int tem1 = a & ~m; + int tem2 = b & m; + return tem1 | tem2; } int fn2 (int a, int b, int m) { - return (a & ~m) | (m & b); + int tem1 = a & ~m; + int tem2 = m & b; + return tem1 | tem2; } int fn3 (int a, int b, int m) { - return (~m & a) | (m & b); + int tem1 = ~m & a; + int tem2 = m & b; + return tem1 | tem2; } int fn4 (int a, int b, int m) { - return (~m & a) | (b & m); + int tem1 = ~m & a; + int tem2 = b & m; + return tem1 | tem2; } int fn5 (int a, int b, int m) { - return (b & m) | (a & ~m); + int tem1 = b & m; + int tem2 = a & ~m; + return tem1 | tem2; } int fn6 (int a, int b, int m) { - return (m & b) | (a & ~m); + int tem1 = m & b; + int tem2 = a & ~m; + return tem1 | tem2; } int fn7 (int a, int b, int m) { - return (m & b) | (~m & a); + int tem1 = m & b; + int tem2 = ~m & a; + return tem1 | tem2; } int fn8 (int a, int b, int m) { - return (b & m) | (~m & a); + int tem1 = b & m; + int tem2 = ~m & a; + return tem1 | tem2; } -/* { dg-final { scan-tree-dump-not " \\| " "original" } } */ +/* { dg-final { scan-tree-dump-not " \\| " "cddce1" } } */ Marek