Re: [PATCH] Fix PR80281

2017-04-06 Thread Richard Biener
On Wed, 5 Apr 2017, Christophe Lyon wrote: > On 5 April 2017 at 13:41, Bin.Cheng wrote: > > On Wed, Apr 5, 2017 at 12:38 PM, Markus Trippelsdorf > > wrote: > >> On 2017.04.03 at 15:20 +0200, Richard Biener wrote: > >>> I'm re-testing the following variant. > >>> > >>> Richard. > >>> > >>> 2017-0

Re: [PATCH] Fix PR80281

2017-04-05 Thread Christophe Lyon
On 5 April 2017 at 13:41, Bin.Cheng wrote: > On Wed, Apr 5, 2017 at 12:38 PM, Markus Trippelsdorf > wrote: >> On 2017.04.03 at 15:20 +0200, Richard Biener wrote: >>> I'm re-testing the following variant. >>> >>> Richard. >>> >>> 2017-04-03 Richard Biener >>> >>> PR middle-end/80281 >>>

Re: [PATCH] Fix PR80281

2017-04-05 Thread Bin.Cheng
On Wed, Apr 5, 2017 at 12:38 PM, Markus Trippelsdorf wrote: > On 2017.04.03 at 15:20 +0200, Richard Biener wrote: >> I'm re-testing the following variant. >> >> Richard. >> >> 2017-04-03 Richard Biener >> >> PR middle-end/80281 >> * match.pd (A + (-B) -> A - B): Make sure to preserv

Re: [PATCH] Fix PR80281

2017-04-05 Thread Markus Trippelsdorf
On 2017.04.03 at 15:20 +0200, Richard Biener wrote: > I'm re-testing the following variant. > > Richard. > > 2017-04-03 Richard Biener > > PR middle-end/80281 > * match.pd (A + (-B) -> A - B): Make sure to preserve unsigned > arithmetic done for the negate or the plus. Simp

Re: [PATCH] Fix PR80281

2017-04-03 Thread Richard Biener
On Mon, 3 Apr 2017, Marc Glisse wrote: > On Mon, 3 Apr 2017, Richard Biener wrote: > > > --- gcc/match.pd(revision 246642) > > +++ gcc/match.pd(working copy) > > @@ -1153,7 +1153,14 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) > > (if (tree_nop_conversion_p (type, TREE_TYPE (@0)) > >

Re: [PATCH] Fix PR80281

2017-04-03 Thread Marc Glisse
On Mon, 3 Apr 2017, Richard Biener wrote: --- gcc/match.pd(revision 246642) +++ gcc/match.pd(working copy) @@ -1153,7 +1153,14 @@ DEFINE_INT_AND_FLOAT_ROUND_FN (RINT) (if (tree_nop_conversion_p (type, TREE_TYPE (@0)) && tree_nop_conversion_p (type, TREE_TYPE (@1))