annotate gcc/testsuite/gcc.dg/vect/vect-106.c @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-require-effective-target vect_int } */
kono
parents:
diff changeset
2
kono
parents:
diff changeset
3 #include <stdlib.h>
kono
parents:
diff changeset
4 #include <stdarg.h>
kono
parents:
diff changeset
5 #include "tree-vect.h"
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 #define N 9
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 static int a[N] = {1,2,3,4,5,6,7,8,9};
kono
parents:
diff changeset
10 static int b[N] = {2,3,4,5,6,7,8,9,0};
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 __attribute__ ((noinline))
kono
parents:
diff changeset
13 int main1 () {
kono
parents:
diff changeset
14 int i;
kono
parents:
diff changeset
15 int *p, *q, *p1, *q1;
kono
parents:
diff changeset
16 p = (unsigned int *) malloc (sizeof (unsigned int) * N);
kono
parents:
diff changeset
17 q = (unsigned int *) malloc (sizeof (unsigned int) * N);
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 p1 = p; q1 = q;
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 /* Vectorizable, before pointer plus we would get a redundant cast
kono
parents:
diff changeset
22 (caused by pointer arithmetics), alias analysis fails to distinguish
kono
parents:
diff changeset
23 between the pointers. */
kono
parents:
diff changeset
24 for (i = 0; i < N; i++)
kono
parents:
diff changeset
25 {
kono
parents:
diff changeset
26 *(q + i) = a[i];
kono
parents:
diff changeset
27 *(p + i) = b[i];
kono
parents:
diff changeset
28 }
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 /* check results: */
kono
parents:
diff changeset
31 for (i = 0; i < N; i++)
kono
parents:
diff changeset
32 {
kono
parents:
diff changeset
33 if (*q != a[i] || *p != b[i])
kono
parents:
diff changeset
34 abort();
kono
parents:
diff changeset
35 q++;
kono
parents:
diff changeset
36 p++;
kono
parents:
diff changeset
37 }
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 q = q1;
kono
parents:
diff changeset
40 p = p1;
kono
parents:
diff changeset
41 /* Vectorizable. */
kono
parents:
diff changeset
42 for (i = 0; i < N; i++)
kono
parents:
diff changeset
43 {
kono
parents:
diff changeset
44 *q = b[i];
kono
parents:
diff changeset
45 *p = a[i];
kono
parents:
diff changeset
46 q++;
kono
parents:
diff changeset
47 p++;
kono
parents:
diff changeset
48 }
kono
parents:
diff changeset
49
kono
parents:
diff changeset
50 q = q1;
kono
parents:
diff changeset
51 p = p1;
kono
parents:
diff changeset
52 /* check results: */
kono
parents:
diff changeset
53 for (i = 0; i < N; i++)
kono
parents:
diff changeset
54 {
kono
parents:
diff changeset
55 if (*q != b[i] || *p != a[i])
kono
parents:
diff changeset
56 abort();
kono
parents:
diff changeset
57 q++;
kono
parents:
diff changeset
58 p++;
kono
parents:
diff changeset
59 }
kono
parents:
diff changeset
60
kono
parents:
diff changeset
61 return 0;
kono
parents:
diff changeset
62 }
kono
parents:
diff changeset
63
kono
parents:
diff changeset
64 int main (void)
kono
parents:
diff changeset
65 {
kono
parents:
diff changeset
66 check_vect ();
kono
parents:
diff changeset
67
kono
parents:
diff changeset
68 return main1 ();
kono
parents:
diff changeset
69 }
kono
parents:
diff changeset
70
kono
parents:
diff changeset
71 /* { dg-final { scan-tree-dump-times "vectorized 2 loops" 1 "vect" } } */
kono
parents:
diff changeset
72