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