procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
* 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
This commit is contained in:
Jeff Law 2016-10-21 14:41:34 -06:00 • committed by Jeff Law
parent f75036994f
commit 20276dc9d1
4 changed files with 11 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
gcc/testsuite/ChangeLog
View file

@ -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.

2
gcc/testsuite/gcc.dg/tree-ssa/pr71947-4.c
View file

@ -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;

2
gcc/testsuite/gcc.dg/tree-ssa/pr71947-5.c
View file

@ -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;

3
gcc/testsuite/gcc.dg/tree-ssa/pr71947-6.c
View file

@ -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" } */