Re: [PATCH][RFC] Adjust the middle-end memory model

[Mark Mitchell <mark at codesourcery dot com>]

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