1 /* { dg-require-effective-target vect_int_mult } */
2 #include <stdarg.h>
3 #include "tree-vect.h"
4 
5 #define N 16
6 
main1(int X)7 __attribute__ ((noinline)) int main1 (int X)
8 {
9   int arr1[N+1];
10   int arr2[N+1];
11   int k = X;
12   int m, i=0;
13 
14    /* Vectorization of induction with non-constant initial condition X.
15       Also we have here two uses of the induction-variable k as defined
16       by the loop-header phi (as opposed to the other uses of k that are
17       defined in the loop), in which case we exercise the fact that we
18       reuse the same vector def-use-cycle for both uses.
19       Peeling to align the store is also applied. This peeling also aligns
20       the load (as they have the same misalignment).  */
21 
22    do {
23 	arr2[i+1] = 2*k;
24         k = k + 2;
25         arr1[i+1] = k;
26         k = k + 4;
27 	i++;
28    } while (i < N);
29 
30   /* check results:  */
31   for (i = 0; i < N; i++)
32     {
33       if (arr1[i+1] != X+6*i+2
34 	  || arr2[i+1] != 2*(X+6*i))
35 	abort ();
36     }
37 
38   return 0;
39 }
40 
main(void)41 int main (void)
42 {
43   check_vect ();
44 
45   return main1 (3);
46 }
47 
48 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" } } */
49