1  TYPE char X[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
       2  TYPE char Y[N] __attribute__ ((__aligned__(__BIGGEST_ALIGNMENT__)));
       3  
       4  __attribute__ ((noinline)) int
       5  foo1(int len) {
       6    int i;
       7    TYPE int result = 0;
       8    TYPE short prod;
       9  
      10    for (i=0; i<len; i++) {
      11      prod = X[i] * Y[i];
      12      result += prod;
      13    }
      14    return result;
      15  }
      16