1  /* { dg-do compile } */
       2  /* { dg-require-effective-target vect_int } */
       3  
       4  int
       5  foo (int * restrict a, int n)
       6  {
       7    int i, result = 0;
       8  
       9    a = __builtin_assume_aligned (a, __BIGGEST_ALIGNMENT__);
      10    for (i = 0; i < n * 16; i++)
      11      result += a[i];
      12    return result;
      13  }
      14  
      15  /* { dg-final { scan-tree-dump-not "epilog loop required" "vect" } } */