This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][RFC] Adjust the middle-end memory model
- From: Mark Mitchell <mark at codesourcery dot com>
- To: Richard Guenther <rguenther at suse dot de>
- Cc: gcc-patches at gcc dot gnu dot org, gcc at gcc dot gnu dot org
- Date: Tue, 19 May 2009 10:49:25 -0700
- Subject: Re: [PATCH][RFC] Adjust the middle-end memory model
- References: <alpine.LNX.2.00.0905081221560.25789@zhemvz.fhfr.qr> <alpine.LNX.2.00.0905191620000.25789@zhemvz.fhfr.qr>
Richard Guenther wrote:
>> - The tree alias oracle got similar functionality, refs_anti_dependent
>> and refs_output_dependent and the tree level data dependence
>> analysis code makes use of these.
Do we still use TBAA for the original motivating reason for adding it,
e.g.,:
void f(float *f, int *n) {
for (int i = 0; i < *n; ++i) {
f[i] *= 2;
}
}
where here you want to know that "f[i]" does not modify "*n"?
(Yes, that code is kinda hokey, in that real-world code would probably
not pass n by-reference, but of course this happens with structures and
such...)
Thanks,
--
Mark Mitchell
CodeSourcery
mark@codesourcery.com
(650) 331-3385 x713