Re: Extend tree code folds to IFN_COND_*

2018-07-09 Thread Richard Biener
On Wed, Jul 4, 2018 at 8:46 PM Richard Sandiford wrote: > > Finally getting back to this... > > Richard Biener writes: > > On Wed, Jun 6, 2018 at 10:16 PM Richard Sandiford > > wrote: > >> > >> > On Thu, May 24, 2018 at 11:36 AM Richard Sandiford > >> > wrote: > >> >> > >> >> This patch adds ma

Re: Extend tree code folds to IFN_COND_*

2018-07-04 Thread Richard Sandiford
Finally getting back to this... Richard Biener writes: > On Wed, Jun 6, 2018 at 10:16 PM Richard Sandiford > wrote: >> >> > On Thu, May 24, 2018 at 11:36 AM Richard Sandiford >> > wrote: >> >> >> >> This patch adds match.pd support for applying normal folds to their >> >> IFN_COND_* forms. E.g

Re: Extend tree code folds to IFN_COND_*

2018-06-07 Thread Richard Biener
On Wed, Jun 6, 2018 at 10:16 PM Richard Sandiford wrote: > > > On Thu, May 24, 2018 at 11:36 AM Richard Sandiford > > wrote: > >> > >> This patch adds match.pd support for applying normal folds to their > >> IFN_COND_* forms. E.g. the rule: > >> > >> (plus @0 (negate @1)) -> (minus @0 @1) > >>

Re: Extend tree code folds to IFN_COND_*

2018-06-06 Thread Richard Sandiford
> On Thu, May 24, 2018 at 11:36 AM Richard Sandiford > wrote: >> >> This patch adds match.pd support for applying normal folds to their >> IFN_COND_* forms. E.g. the rule: >> >> (plus @0 (negate @1)) -> (minus @0 @1) >> >> also allows the fold: >> >> (IFN_COND_ADD @0 @1 (negate @2) @3) -> (IF

Re: Extend tree code folds to IFN_COND_*

2018-06-06 Thread Richard Biener
On Thu, May 24, 2018 at 11:36 AM Richard Sandiford wrote: > > This patch adds match.pd support for applying normal folds to their > IFN_COND_* forms. E.g. the rule: > > (plus @0 (negate @1)) -> (minus @0 @1) > > also allows the fold: > > (IFN_COND_ADD @0 @1 (negate @2) @3) -> (IFN_COND_SUB @0