re PR tree-optimization/71947 (x ^ y not folded to 0 if x == y by DOM)

	* PR tree-optimization/71947
	* gcc.dg/tree-ssa/pr71947-4.c: Avoid x86 opcode.
	* gcc.dg/tree-ssa/pr71947-5.c: Likewise.
	* gcc.dg/tree-ssa/pr71947-6.c: Make it opt-in rather than opt-out.

From-SVN: r241429

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 62aa521b596e7044c714bec7da2d8b2819706b7c..09db0f8c0504ca12ec967f0e40e3bcafcffc1884 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2016-10-21  Jeff Law  <law@redhat.com>
+
+       * PR tree-optimization/71947
+       * gcc.dg/tree-ssa/pr71947-4.c: Avoid x86 opcode.
+       * gcc.dg/tree-ssa/pr71947-5.c: Likewise.
+       * gcc.dg/tree-ssa/pr71947-6.c: Make it opt-in rather than opt-out.
+
 2016-10-21  Kugan Vivekanandarajah  <kuganv@linaro.org>
 
        * gcc.dg/ipa/vrp5.c: New test.

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr71947-4.c b/gcc/testsuite/gcc.dg/tree-ssa/pr71947-4.c
index a881f0d52cd7eb1140278ae49039db184b2a3196..a2b19fe9df6478dfc30c11557c8d5ea22e5fd877 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/pr71947-4.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr71947-4.c
@@ -6,7 +6,7 @@
 static inline long load(long *p)
 {
         long ret;
-        asm ("movq      %1,%0\n\t" : "=r" (ret) : "m" (*p));
+        asm ("xyzzy      %1,%0\n\t" : "=r" (ret) : "m" (*p));
         if (ret != *p)
                 __builtin_unreachable();
         return ret;

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr71947-5.c b/gcc/testsuite/gcc.dg/tree-ssa/pr71947-5.c
index fa679f0f9dacce33a0c1f80ebe1a7d6e0db64a66..e7038d0237ffffd424026d747f149511ef480ee9 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/pr71947-5.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr71947-5.c
@@ -5,7 +5,7 @@
 static inline long load(long *p)
 {
         long ret;
-        asm ("movq      %1,%0\n\t" : "=r" (ret) : "m" (*p));
+        asm ("xyzzy      %1,%0\n\t" : "=r" (ret) : "m" (*p));
         if (ret != *p)
                 __builtin_unreachable();
         return ret;

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr71947-6.c b/gcc/testsuite/gcc.dg/tree-ssa/pr71947-6.c
index 9cb89cbfe0357910ecba50fd9feb7bcb323d75e9..9463535c6ca1b2e74861209850097bf08bab7af5 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/pr71947-6.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr71947-6.c
@@ -1,4 +1,5 @@
-/* { dg-do compile } */
+/* This is highly dependent on branch costing, so make it opt-in.  */
+/* { dg-do compile { target { i?86-*-* x86_64-*-* } } } */
 /* { dg-options "-O2 -fno-tree-vrp -fdump-tree-dom-details" } */