1  /* { dg-require-effective-target vect_float } */
       2  
       3  #include <stdarg.h>
       4  #include "tree-vect.h"
       5  
       6  #define N 16
       7  
       8  static __attribute__ ((noinline)) int
       9  main1 (void)
      10  {
      11    int i;
      12    float a[N];
      13    float b[N] = {0,3,6,9,12,15,18,21,24,27,30,33,36,39,42,45};
      14    float c[N] = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15};
      15  
      16    /* Too conservative dependence test.  */
      17    for (i = 0; i < N - 1; i++){
      18      a[i] = b[i] + c[i];
      19      a[i+1] = b[i] + c[i];
      20    }
      21  
      22    /* Check results.  */
      23    for (i = 0; i < N - 1; i++){
      24      if (a[i] != b[i] + c[i])
      25  	abort ();
      26    }
      27  
      28    return 0;
      29  }
      30  
      31  int main (void)
      32  {
      33    check_vect ();
      34    return main1 ();
      35  }
      36       
      37  /* { dg-final { scan-tree-dump-times "vectorized 0 loops" 1 "vect" } } */
      38  
      39