1  /* PR middle-end/60482 */
       2  /* { dg-do compile } */
       3  /* { dg-additional-options "-Ofast" } */
       4  /* { dg-require-effective-target vect_int } */
       5  
       6  double
       7  foo (double *x, int n)
       8  {
       9    double p = 0.0;
      10    int i;
      11    x = __builtin_assume_aligned (x, 128);
      12    if (n % 128)
      13      __builtin_unreachable ();
      14    for (i = 0; i < n; i++)
      15      p += x[i];
      16    return p;
      17  }
      18  
      19  /* { dg-final { scan-tree-dump-not "epilog loop required" "vect" } } */