Re: Add simple sign-stripping cases to match.pd

2015-10-21 Thread Richard Sandiford
Richard Sandiford writes: > Richard Sandiford writes: >> Marc Glisse writes: >>> On Thu, 15 Oct 2015, Richard Sandiford wrote: >>> This patch makes sure that, for every simplification that uses fold_strip_sign_ops, there are associated match.pd rules for the leaf sign ops, i.e. ab

Re: Add simple sign-stripping cases to match.pd

2015-10-19 Thread Richard Biener
On Mon, Oct 19, 2015 at 12:48 PM, Richard Sandiford wrote: > Richard Sandiford writes: >> Richard Sandiford writes: >>> Marc Glisse writes: On Thu, 15 Oct 2015, Richard Sandiford wrote: > This patch makes sure that, for every simplification that uses > fold_strip_sign_ops, the

Re: Add simple sign-stripping cases to match.pd

2015-10-19 Thread Richard Sandiford
Richard Sandiford writes: > Richard Sandiford writes: >> Marc Glisse writes: >>> On Thu, 15 Oct 2015, Richard Sandiford wrote: >>> This patch makes sure that, for every simplification that uses fold_strip_sign_ops, there are associated match.pd rules for the leaf sign ops, i.e. ab

Re: Add simple sign-stripping cases to match.pd

2015-10-19 Thread Richard Sandiford
Richard Sandiford writes: > Marc Glisse writes: >> On Thu, 15 Oct 2015, Richard Sandiford wrote: >> >>> This patch makes sure that, for every simplification that uses >>> fold_strip_sign_ops, there are associated match.pd rules for the >>> leaf sign ops, i.e. abs, negate and copysign. A follow-o

Re: Add simple sign-stripping cases to match.pd

2015-10-15 Thread Richard Sandiford
Marc Glisse writes: > On Thu, 15 Oct 2015, Richard Sandiford wrote: > >> This patch makes sure that, for every simplification that uses >> fold_strip_sign_ops, there are associated match.pd rules for the >> leaf sign ops, i.e. abs, negate and copysign. A follow-on patch >> will add a pass to hand

Re: Add simple sign-stripping cases to match.pd

2015-10-15 Thread Marc Glisse
On Thu, 15 Oct 2015, Richard Sandiford wrote: This patch makes sure that, for every simplification that uses fold_strip_sign_ops, there are associated match.pd rules for the leaf sign ops, i.e. abs, negate and copysign. A follow-on patch will add a pass to handle more complex cases. Tested on

Add simple sign-stripping cases to match.pd

2015-10-15 Thread Richard Sandiford
This patch makes sure that, for every simplification that uses fold_strip_sign_ops, there are associated match.pd rules for the leaf sign ops, i.e. abs, negate and copysign. A follow-on patch will add a pass to handle more complex cases. Tested on x86_64-linux-gnu, aarch64-linux-gnu and arm-linux