This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC]: Remove Mem/address type assumption in combiner
- From: Segher Boessenkool <segher at kernel dot crashing dot org>
- To: Matthew Fortune <Matthew dot Fortune at imgtec dot com>
- Cc: Jeff Law <law at redhat dot com>, Steve Ellcey <Steve dot Ellcey at imgtec dot com>, "Kumar, Venkataramanan" <Venkataramanan dot Kumar at amd dot com>, "gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>, "maxim dot kuvyrkov at linaro dot org" <maxim dot kuvyrkov at linaro dot org>, clm <clm at codesourcery dot com>, John David Anglin <dave at hiauly1 dot hia dot nrc dot ca>
- Date: Mon, 11 May 2015 15:30:09 -0500
- Subject: Re: [RFC]: Remove Mem/address type assumption in combiner
- Authentication-results: sourceware.org; auth=none
- References: <7794A52CE4D579448B959EED7DD0A4723DCF68C1 at satlexdag06 dot amd dot com> <1431366602 dot 14613 dot 210 dot camel at ubuntu-sellcey> <20150511182215 dot GF2521 at gate dot crashing dot org> <1431373475 dot 14613 dot 212 dot camel at ubuntu-sellcey> <555106F9 dot 1020408 at redhat dot com> <5551072D dot 90800 at redhat dot com> <6D39441BF12EF246A7ABCE6654B0235321052437 at LEMAIL01 dot le dot imgtec dot org>
On Mon, May 11, 2015 at 08:16:41PM +0000, Matthew Fortune wrote:
> Does this patch effectively change the canonicalization rules? The following
> Still exists in md.texi:
>
> @item
> Within address computations (i.e., inside @code{mem}), a left shift is
> converted into the appropriate multiplication by a power of two.
No, it makes combine *follow* those rules -- this isn't inside a MEM.
Segher