From patchwork Mon Feb 11 15:06:38 2013
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: Fix vrp17.c FAIL
From: Richard Guenther <rguenther@suse.de>
X-Patchwork-Id: 219619
Message-Id: <alpine.LNX.2.00.1302111605390.21892@zhemvz.fhfr.qr>
To: gcc-patches@gcc.gnu.org
Date: Mon, 11 Feb 2013 16:06:38 +0100 (CET)

We now optimize it better via tail-merging & reassoc before VRP2
can transform the 2nd test to !=.  The following restores the
input to VRP to match the original testcase expectations.

Committed.

Richard.

2013-02-11  Richard Biener  <rguenther@suse.de>

	* gcc.dg/tree-ssa/vrp17.c: Disable tail-merging.


Index: gcc/testsuite/gcc.dg/tree-ssa/vrp17.c
===================================================================
--- gcc/testsuite/gcc.dg/tree-ssa/vrp17.c	(revision 195940)
+++ gcc/testsuite/gcc.dg/tree-ssa/vrp17.c	(working copy)
@@ -1,5 +1,5 @@
 /* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-vrp2" } */
+/* { dg-options "-O2 -fno-tree-tail-merge -fdump-tree-vrp2" } */
 
 extern void abort (void) __attribute__ ((__noreturn__));
 union tree_node;