Re: [PATCH] Clear flow-sensitive info in phiopt (PR tree-optimization/67769)

2015-10-01 Thread Richard Biener
On Thu, 1 Oct 2015, Marek Polacek wrote: > On Thu, Oct 01, 2015 at 03:26:34PM +0200, Richard Biener wrote: > > No, this looks fine. > > Thanks. Let me do proper testing then. (And I suppose we might want this > in gcc-5 as well.) Yes. All the bugs are latent for GCC 5 (and also 4.9), they ar

Re: [PATCH] Clear flow-sensitive info in phiopt (PR tree-optimization/67769)

2015-10-01 Thread Richard Biener
On Thu, 1 Oct 2015, Marek Polacek wrote: > On Thu, Oct 01, 2015 at 09:57:54AM +0200, Richard Biener wrote: > > On Wed, 30 Sep 2015, Marek Polacek wrote: > > > > > Another instance of out of date SSA range info. Before phiopt1 we had > > > > > > : > > > if (N_2(D) >= 0) > > > goto ; > >

Re: [PATCH] Clear flow-sensitive info in phiopt (PR tree-optimization/67769)

2015-10-01 Thread Marek Polacek
On Thu, Oct 01, 2015 at 03:26:34PM +0200, Richard Biener wrote: > No, this looks fine. Thanks. Let me do proper testing then. (And I suppose we might want this in gcc-5 as well.) Marek

Re: [PATCH] Clear flow-sensitive info in phiopt (PR tree-optimization/67769)

2015-10-01 Thread Marek Polacek
On Thu, Oct 01, 2015 at 09:57:54AM +0200, Richard Biener wrote: > On Wed, 30 Sep 2015, Marek Polacek wrote: > > > Another instance of out of date SSA range info. Before phiopt1 we had > > > > : > > if (N_2(D) >= 0) > > goto ; > > else > > goto ; > > > > : > > iftmp.0_3 = MIN_E

Re: [PATCH] Clear flow-sensitive info in phiopt (PR tree-optimization/67769)

2015-10-01 Thread Richard Biener
On Wed, 30 Sep 2015, Marek Polacek wrote: > Another instance of out of date SSA range info. Before phiopt1 we had > > : > if (N_2(D) >= 0) > goto ; > else > goto ; > > : > iftmp.0_3 = MIN_EXPR ; > > : > # iftmp.0_5 = PHI <0(2), iftmp.0_3(3)> > value_4 = (short int) iftm

Re: [PATCH] Clear flow-sensitive info in phiopt (PR tree-optimization/67769)

2015-09-30 Thread Jeff Law
On 09/30/2015 08:17 AM, Marek Polacek wrote: Another instance of out of date SSA range info. Before phiopt1 we had : if (N_2(D) >= 0) goto ; else goto ; : iftmp.0_3 = MIN_EXPR ; : # iftmp.0_5 = PHI <0(2), iftmp.0_3(3)> value_4 = (short int) iftmp.0_5; retu

[PATCH] Clear flow-sensitive info in phiopt (PR tree-optimization/67769)

2015-09-30 Thread Marek Polacek
Another instance of out of date SSA range info. Before phiopt1 we had : if (N_2(D) >= 0) goto ; else goto ; : iftmp.0_3 = MIN_EXPR ; : # iftmp.0_5 = PHI <0(2), iftmp.0_3(3)> value_4 = (short int) iftmp.0_5; return value_4; and after phiop1: : iftmp.0_3 = MIN_EXPR