1/* { dg-require-effective-target vect_int } */
2
3#include <stdarg.h>
4#include "tree-vect.h"
5
6int __attribute__((noinline,noclone))
7main1 (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
19int 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" } } */
32/* { dg-final { cleanup-tree-dump "vect" } } */
33