1  /* { dg-require-effective-target vect_int } */
       2  
       3  #include <stdarg.h>
       4  #include "tree-vect.h"
       5  
       6  int __attribute__((noinline,noclone))
       7  main1 (int len)
       8  {  
       9    int s = 0;
      10    int i = len;
      11  
      12    /* vectorization of induction with reduction.  */
      13    for ( ; i > 1; i -=2)
      14      s += i;
      15  
      16    return s;
      17  }
      18  
      19  int main (void)
      20  { 
      21    int s;
      22    check_vect ();
      23    
      24    s = main1 (26);
      25    if (s != 182)
      26      abort ();
      27  
      28    return 0;
      29  } 
      30  
      31  /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */