1 /* { dg-do compile { target { { i?86-*-* x86_64-*-* s390*-*-* } && lp64 } } } */
2 /* { dg-options "-O2 -fdump-tree-vrp2-details" } */
3 /* { dg-final { scan-tree-dump-times "gimple_simplified to" 4 "vrp2" } } */
4 
v1(unsigned long * in,unsigned long * out,unsigned int n)5 void v1 (unsigned long *in, unsigned long *out, unsigned int n)
6 {
7   int i;
8 
9   for (i = 0; i < n; i++)
10   {
11     out[i] = in[i];
12   }
13 }
14 
v2(unsigned long * in,unsigned long * out,int n)15 void v2 (unsigned long *in, unsigned long *out, int n)
16 {
17   int i;
18 
19   for (i = 0; i < n; i++)
20   {
21     out[i] = in[i];
22   }
23 }
24 
v3(unsigned long * in,unsigned long * out,unsigned int n)25 void v3 (unsigned long *in, unsigned long *out, unsigned int n)
26 {
27   unsigned int i;
28 
29   for (i = 0; i < n; i++)
30   {
31     out[i] = in[i];
32   }
33 }
34 
v4(unsigned long * in,unsigned long * out,int n)35 void v4 (unsigned long *in, unsigned long *out, int n)
36 {
37   unsigned int i;
38 
39   for (i = 0; i < n; i++)
40   {
41     out[i] = in[i];
42   }
43 }
44