Richard Guenther wrote:

>>   void f(float *f, int *n) {
>>     for (int i = 0; i < *n; ++i) {
>>       f[i] *= 2;
>>     }
>>   }

> The difference is if you want to sink a load from *n beyond the
> store to f[i] - in which case you ask if there is an anti-dependence
> which we cannot exclude in this case (no TBAA is allowed here).

By "not allowed", you don't mean "would be an invalid optimization", but
rather "will no longer be done by GCC", right?

-- 
Mark Mitchell
CodeSourcery
m...@codesourcery.com
(650) 331-3385 x713

Reply via email to