This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Typecasting information in MEM[...] GIMPLE
- From: Uday Khedker <uday at cse dot iitb dot ac dot in>
- To: Richard Biener <richard dot guenther at gmail dot com>
- Cc: Jakub Jelinek <jakub at redhat dot com>, "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>, Vini Kanvar <vini at cse dot iitb dot ac dot in>
- Date: Wed, 29 Jul 2015 23:30:14 +0530
- Subject: Re: Typecasting information in MEM[...] GIMPLE
- Authentication-results: sourceware.org; auth=none
- References: <1437840060 dot 2559 dot 18 dot camel at laptop> <55B60279 dot 5010707 at cse dot iitb dot ac dot in> <20150727102019 dot GK1780 at tucnak dot redhat dot com> <55B643A6 dot 5060608 at cse dot iitb dot ac dot in> <CAFiYyc1ATcQQ0Br7q9ZTFqA_PyBr6gVpEyx66DP-ETnPSQ7oeQ at mail dot gmail dot com>
On 07/28/2015 01:06 PM, Richard Biener wrote:
As Jakub said this is not the full story if you factor in type-based
aliasing. Also
you of course have to account for the offset in operand 1.
Okay. We understood the details after a bit of reading.
For statement involving MEM[...], TREE_TYPE (TREE_OPERAND (t, 1))
serves our purpose.
Thanks a lot to you and Jakub for the pointers :)
Uday.