This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Fold some equal to and not equal to patterns in match.pd
- From: Segher Boessenkool <segher at kernel dot crashing dot org>
- To: Andrew Pinski <andrew dot pinski at caviumnetworks dot com>
- Cc: Richard Biener <richard dot guenther at gmail dot com>, Jakub Jelinek <jakub at redhat dot com>, "Hurugalawadi, Naveen" <Naveen dot Hurugalawadi at caviumnetworks dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 22 Jul 2015 07:56:34 -0500
- Subject: Re: Fold some equal to and not equal to patterns in match.pd
- Authentication-results: sourceware.org; auth=none
- References: <DM2PR0701MB1018928F9138DEBCB2A0E9108E840 at DM2PR0701MB1018 dot namprd07 dot prod dot outlook dot com> <20150721093831 dot GF1780 at tucnak dot redhat dot com> <0B875690-DCED-43AB-B964-67CDDCAF6776 at gmail dot com> <CA+=Sn1nELSn3CPMk5YBWpxyRQCUVj6VQEVSD=ZksDD1iLZ_Y8A at mail dot gmail dot com>
On Tue, Jul 21, 2015 at 05:40:07PM -0700, Andrew Pinski wrote:
> The biggest question now becomes which way is the canonical form for
> gimple and we can decide to optimize it on the RTL level (combine)
> instead if it produces better code in those cases.
combine does not do instruction selection in general; it only does
instruction combination. It already handles most cases where shifts
and masks are combined; if you find one where it doesn't, please
report.
Segher