Re: [PATCH][match-and-simplify] Fix comparison pattern

2014-08-20 Thread Richard Biener
On Wed, 20 Aug 2014, Marc Glisse wrote: > On Wed, 20 Aug 2014, Richard Biener wrote: > > > On Wed, 20 Aug 2014, Marc Glisse wrote: > > > > > On Wed, 20 Aug 2014, Richard Biener wrote: > > > > > > > Committed. > > > > > > > > Also makes visible a desirable change I plan for if-exprs. They > >

Re: [PATCH][match-and-simplify] Fix comparison pattern

2014-08-20 Thread Marc Glisse
On Wed, 20 Aug 2014, Richard Biener wrote: On Wed, 20 Aug 2014, Marc Glisse wrote: On Wed, 20 Aug 2014, Richard Biener wrote: Committed. Also makes visible a desirable change I plan for if-exprs. They should behave like outer ifs and allow us to write that series of pattern as (for op in

Re: [PATCH][match-and-simplify] Fix comparison pattern

2014-08-20 Thread Richard Biener
On Wed, 20 Aug 2014, Marc Glisse wrote: > On Wed, 20 Aug 2014, Richard Biener wrote: > > > Committed. > > > > Also makes visible a desirable change I plan for if-exprs. They > > should behave like outer ifs and allow us to write that series > > of pattern as > > > > (for op in eq ne > > /* Si

Re: [PATCH][match-and-simplify] Fix comparison pattern

2014-08-20 Thread Marc Glisse
On Wed, 20 Aug 2014, Richard Biener wrote: Committed. Also makes visible a desirable change I plan for if-exprs. They should behave like outer ifs and allow us to write that series of pattern as (for op in eq ne /* Simplify X * C1 CMP 0 to X CMP 0 if C1 is not zero. */ (simplify (op (mu