This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH] Use propagate_threaded_block_debug_into even in loop header copying pass (PR debug/54693)

From: Jeff Law <law at redhat dot com>
To: Jakub Jelinek <jakub at redhat dot com>
Cc: gcc-patches at gcc dot gnu dot org, Alexandre Oliva <aoliva at redhat dot com>
Date: Tue, 06 Nov 2012 09:43:45 -0700
Subject: Re: [PATCH] Use propagate_threaded_block_debug_into even in loop header copying pass (PR debug/54693)
References: <20121106110008.GS1881@tucnak.redhat.com>

On 11/06/2012 04:00 AM, Jakub Jelinek wrote:

Hi!

This patch fixes
-FAIL: gcc.dg/guality/pr54693-2.c  -O1  line 21 i == v + 1
-FAIL: gcc.dg/guality/pr54693-2.c  -O2  line 21 i == v + 1
-FAIL: gcc.dg/guality/pr54693-2.c  -O3 -fomit-frame-pointer  line 21 i == v + 1
-FAIL: gcc.dg/guality/pr54693-2.c  -O3 -g  line 21 i == v + 1
-FAIL: gcc.dg/guality/pr54693.c  -O1  line 22 i == c - 48
on both x86_64-linux and i686-linux (and the x/y/z tests in the new testcase
from UNSUPPORTED to PASS) by copying the debug stmt in ch pass similarly to
how jump threading does that.

Ok for trunk?

2012-11-06 Jakub Jelinek <jakub@redhat.com>

	PR debug/54693
	* tree-flow.h (propagate_threaded_block_debug_into): New prototype.
	* tree-ssa-threadedge.c (propagate_threaded_block_debug_into): No
	longer static.
	* tree-ssa-loop-ch.c (copy_loop_headers): Use it.

* gcc.dg/guality/pr54693-2.c: New test.

OK.
jeff

References:
- [PATCH] Use propagate_threaded_block_debug_into even in loop header copying pass (PR debug/54693)
  - From: Jakub Jelinek

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]