Re: About the is_gimple_min_invariant predicate

[Andrew Pinski]

On 7/5/07, Richard Guenther <[EMAIL PROTECTED]> wrote:

The same reason why we have operands 3 and 4 for ARRAY_REFs.  Ada (I believe
it's only ada right now) has types that have their offsets computed at
compile-time, so
we put gimplified values of this stuff there if it doesn't match what
we can trivially
compute from the type.

GNU C has it too:

int f(int n)
{
 struct s
 {
   struct {
     int i[n];
   } i[n];
   int i1[n];
 } s1;
 int i, j;
 for(i = 0;i<n;i++)
    for(j=0;j<n;j++)
      s1.i[i].i[j] = i+j;
 for(i = 0;i<n;i++)
   s1.i1[i] = i*2;
 return s1.i[n/2].i[n/2] + s1.i[n/2];
}