This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Transform (m1 > m2) * d into m1> m2 ? d : 0
- From: Jeff Law <law at redhat dot com>
- To: "Hurugalawadi, Naveen" <Naveen dot Hurugalawadi at cavium dot com>, Richard Biener <richard dot guenther at gmail dot com>, Wilco Dijkstra <Wilco dot Dijkstra at arm dot com>
- Cc: nd <nd at arm dot com>, GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 19 Jul 2017 00:09:01 -0600
- Subject: Re: [PATCH] Transform (m1 > m2) * d into m1> m2 ? d : 0
- Authentication-results: sourceware.org; auth=none
- Authentication-results: ext-mx02.extmail.prod.ext.phx2.redhat.com; dmarc=none (p=none dis=none) header.from=redhat.com
- Authentication-results: ext-mx02.extmail.prod.ext.phx2.redhat.com; spf=pass smtp.mailfrom=law at redhat dot com
- Dkim-filter: OpenDKIM Filter v2.11.0 mx1.redhat.com B1F607CB98
- Dmarc-filter: OpenDMARC Filter v1.3.2 mx1.redhat.com B1F607CB98
- References: <AM5PR0802MB2610F55321C5107F420AA98183D20@AM5PR0802MB2610.eurprd08.prod.outlook.com> <CAFiYyc0F+tQrBE85yO+5A+xJiE2GaV5LQUKLTbx4DKsr8t-=rg@mail.gmail.com> <AM5PR0802MB26106831D58FAA22EB773A9D83D20@AM5PR0802MB2610.eurprd08.prod.outlook.com> <CAFiYyc1x4zRedS-1G8aL1OWAhyg1kguUL2iVXhB6P9wPa1G2pA@mail.gmail.com> <CO2PR07MB269360E44C7422C22E2FB51E83D70@CO2PR07MB2693.namprd07.prod.outlook.com>
On 07/04/2017 05:13 AM, Hurugalawadi, Naveen wrote:
> Hi,
>
> Thanks for the review and comments on the patch.
>
>>> The proposed patch handled both the same. This means the pattern
>>> shouldn't use range-info but instead match a more complex
>
> The patch handles as per the discussion by matching the pattern
> in match.pd.
>
> Bootstrapped and Regression tested on AArch64 and X86_64.
> Please review the patch and let us know if its okay?
>
> Thanks,
> Naveen
>
> 2017-07-04 Naveen H.S <Naveen.Hurugalawadi@cavium.com>
>
> gcc
> * match.pd (((m1 >/</>=/<= m2) * d -> (m1 >/</>=/<= m2) ? d : 0) New
> pattern.
>
> gcc/testsuite
> * gcc.dg/tree-ssa/vrp116.c: New Test.
>
OK for the trunk. Sorry for the delay.
Presumably EQ/NE are handled by a different pattern?
Jeff