diff mbox

[committed] Tweak vrp47.c testcase (PR middle-end/49806)

Message ID 20111215173657.GS1957@tyan-ft48-01.lab.bos.redhat.com
State New
Headers show

Commit Message

Jakub Jelinek Dec. 15, 2011, 5:36 p.m. UTC 
Hi!

As discussed on IRC, we don't currently match the expected pattern
in dom1, but only in dom2, yet we at least generate the same assembly.
Not worth keeping it at P1 failure.

2011-12-15  Jakub Jelinek  <jakub@redhat.com>

	PR middle-end/49806
	* gcc.dg/tree-ssa/vrp47.c: Add -fdump-tree-dom2 to dg-options.
	Check for x_? & y in dom2 dump and xfail the check in dom1 dump.


	Jakub
diff mbox

Patch

--- gcc/testsuite/gcc.dg/tree-ssa/vrp47.c.jj	2011-08-03 18:40:28.000000000 +0200
+++ gcc/testsuite/gcc.dg/tree-ssa/vrp47.c	2011-12-15 13:21:27.160575962 +0100
@@ -4,8 +4,8 @@ 
    jumps when evaluating an && condition.  VRP is not able to optimize
    this.  */
 /* { dg-do compile { target { ! "mips*-*-* s390*-*-*  avr-*-* mn10300-*-*" } } } */
-/* { dg-options "-O2 -fdump-tree-vrp1 -fdump-tree-dom1" } */
-/* { dg-options "-O2 -fdump-tree-vrp1 -fdump-tree-dom1 -march=i586" { target { i?86-*-* && ilp32 } } } */
+/* { dg-options "-O2 -fdump-tree-vrp1 -fdump-tree-dom1 -fdump-tree-dom2" } */
+/* { dg-additional-options "-march=i586" { target { { i?86-*-* x86_64-*-* } && ilp32 } } } */
 
 int h(int x, int y)
 {
@@ -37,7 +37,8 @@  int f(int x)
 /* { dg-final { scan-tree-dump-times "\[xy\]\[^ \]* !=" 0 "vrp1" } } */
 
 /* This one needs more copy propagation that only happens in dom1.  */
-/* { dg-final { scan-tree-dump-times "x\[^ \]* & y" 1 "dom1" } } */
+/* { dg-final { scan-tree-dump-times "x\[^ \]* & y" 1 "dom1" { xfail *-*-* } } } */
+/* { dg-final { scan-tree-dump-times "x\[^ \]* & y" 1 "dom2" } } */
 /* { dg-final { scan-tree-dump-times "x\[^ \]* & y" 1 "vrp1" { xfail *-*-* } } } */
 
 /* These two are fully simplified by VRP.  */
@@ -46,3 +47,4 @@  int f(int x)
 
 /* { dg-final { cleanup-tree-dump "vrp1" } } */
 /* { dg-final { cleanup-tree-dump "dom1" } } */
+/* { dg-final { cleanup-tree-dump "dom2" } } */