Re: [committed][PATCH] Fix bogus propagation in DOM

2017-12-18 Thread Jeff Law
On 11/21/2017 07:56 AM, Richard Biener wrote: >> >> >> I considered trying to key behavior on EDGE_DFS_BACK (6->8). It'd be >> something like don't record equivalences from a degenerate PHI where the >> remaining edge(s) are EDGE_DFS_BACK. But I just couldn't convince >> myself that was actually

Re: [committed][PATCH] Fix bogus propagation in DOM

2017-11-21 Thread Richard Biener
On Mon, Nov 20, 2017 at 7:33 PM, Jeff Law wrote: > On 11/20/2017 03:25 AM, Richard Biener wrote: >> On Sun, Nov 19, 2017 at 9:16 PM, Jeff Law wrote: >>> On my local branch gcc.dg/torture/pr56349.c fails by sending GCC into an >>> infinite loop trying to simplify a self-referring statement. ie >>>

Re: [committed][PATCH] Fix bogus propagation in DOM

2017-11-20 Thread Jeff Law
On 11/20/2017 03:25 AM, Richard Biener wrote: > On Sun, Nov 19, 2017 at 9:16 PM, Jeff Law wrote: >> On my local branch gcc.dg/torture/pr56349.c fails by sending GCC into an >> infinite loop trying to simplify a self-referring statement. ie >> something like >> >> x_1 = x_1 + 10; >> >> That, of cou

Re: [committed][PATCH] Fix bogus propagation in DOM

2017-11-20 Thread Richard Biener
On Sun, Nov 19, 2017 at 9:16 PM, Jeff Law wrote: > On my local branch gcc.dg/torture/pr56349.c fails by sending GCC into an > infinite loop trying to simplify a self-referring statement. ie > something like > > x_1 = x_1 + 10; > > That, of course, shouldn't be happening in SSA form. After some di

[committed][PATCH] Fix bogus propagation in DOM

2017-11-19 Thread Jeff Law
On my local branch gcc.dg/torture/pr56349.c fails by sending GCC into an infinite loop trying to simplify a self-referring statement. ie something like x_1 = x_1 + 10; That, of course, shouldn't be happening in SSA form. After some digging I've found the culprit. Let's say we've got a PHI. a_1