Re: [PATCH] Amend match.pd syntax with force-simplified results

2020-08-05 Thread Richard Biener
On Wed, 5 Aug 2020, Richard Biener wrote: > On Tue, 4 Aug 2020, Marc Glisse wrote: > > > On Fri, 31 Jul 2020, Richard Biener wrote: > > > > > This adds a ! marker to result expressions that should simplify > > > (and if not fail the simplification). This can for example be > > > used like > > >

Re: [PATCH] Amend match.pd syntax with force-simplified results

2020-08-05 Thread Richard Biener
On Tue, 4 Aug 2020, Marc Glisse wrote: > On Fri, 31 Jul 2020, Richard Biener wrote: > > > This adds a ! marker to result expressions that should simplify > > (and if not fail the simplification). This can for example be > > used like > > > > (simplify > > (plus (vec_cond:s @0 @1 @2) @3) > > (v

Re: [PATCH] Amend match.pd syntax with force-simplified results

2020-08-04 Thread Marc Glisse
On Fri, 31 Jul 2020, Richard Biener wrote: This adds a ! marker to result expressions that should simplify (and if not fail the simplification). This can for example be used like (simplify (plus (vec_cond:s @0 @1 @2) @3) (vec_cond @0 (plus! @1 @3) (plus! @2 @3))) to make the simplification

Re: [PATCH] Amend match.pd syntax with force-simplified results

2020-08-03 Thread Richard Biener
On Fri, 31 Jul 2020, Marc Glisse wrote: > On Fri, 31 Jul 2020, Richard Biener wrote: > > > Or we simply automatically disable those patterns for GENERIC > > (though that would probably be unexpected). > > Since the definition is not clear, whatever we do will be unexpected at least > in some cas

Re: [PATCH] Amend match.pd syntax with force-simplified results

2020-07-31 Thread Marc Glisse
On Fri, 31 Jul 2020, Richard Biener wrote: Or we simply automatically disable those patterns for GENERIC (though that would probably be unexpected). Since the definition is not clear, whatever we do will be unexpected at least in some cases. Disabling it for GENERIC for now seems ok to me, we

Re: [PATCH] Amend match.pd syntax with force-simplified results

2020-07-31 Thread Richard Biener
On Fri, 31 Jul 2020, Marc Glisse wrote: > On Fri, 31 Jul 2020, Richard Biener wrote: > > > This adds a ! marker to result expressions that should simplify > > (and if not fail the simplification). This can for example be > > used like > > > > (simplify > > (plus (vec_cond:s @0 @1 @2) @3) > > (

Re: [PATCH] Amend match.pd syntax with force-simplified results

2020-07-31 Thread Marc Glisse
On Fri, 31 Jul 2020, Richard Biener wrote: This adds a ! marker to result expressions that should simplify (and if not fail the simplification). This can for example be used like (simplify (plus (vec_cond:s @0 @1 @2) @3) (vec_cond @0 (plus! @1 @3) (plus! @2 @3))) to make the simplification

[PATCH] Amend match.pd syntax with force-simplified results

2020-07-31 Thread Richard Biener
This adds a ! marker to result expressions that should simplify (and if not fail the simplification). This can for example be used like (simplify (plus (vec_cond:s @0 @1 @2) @3) (vec_cond @0 (plus! @1 @3) (plus! @2 @3))) to make the simplification only apply in case both plus operations in t