annotate gcc/testsuite/gcc.dg/vect/slp-23.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 1830386684a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
1 /* Disabling epilogues until we find a better way to deal with scans. */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
2 /* { dg-additional-options "--param vect-epilogues-nomask=0" } */
111
kono
parents:
diff changeset
3 /* { dg-require-effective-target vect_int } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 #include <stdarg.h>
kono
parents:
diff changeset
6 #include "tree-vect.h"
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 #define N 128
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 typedef struct {
kono
parents:
diff changeset
11 int a;
kono
parents:
diff changeset
12 int b;
kono
parents:
diff changeset
13 int c;
kono
parents:
diff changeset
14 int d;
kono
parents:
diff changeset
15 int e;
kono
parents:
diff changeset
16 int f;
kono
parents:
diff changeset
17 int g;
kono
parents:
diff changeset
18 int h;
kono
parents:
diff changeset
19 } s;
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 int
kono
parents:
diff changeset
22 main1 (s *arr)
kono
parents:
diff changeset
23 {
kono
parents:
diff changeset
24 int i;
kono
parents:
diff changeset
25 s *ptr = arr;
kono
parents:
diff changeset
26 s res[N];
kono
parents:
diff changeset
27
kono
parents:
diff changeset
28 for (i = 0; i < N; i++)
kono
parents:
diff changeset
29 {
kono
parents:
diff changeset
30 res[i].c = ptr->c + ptr->c;
kono
parents:
diff changeset
31 res[i].a = ptr->a + ptr->a;
kono
parents:
diff changeset
32 res[i].d = ptr->d + ptr->d;
kono
parents:
diff changeset
33 res[i].b = ptr->b + ptr->b;
kono
parents:
diff changeset
34 res[i].f = ptr->f + ptr->f;
kono
parents:
diff changeset
35 res[i].e = ptr->e + ptr->e;
kono
parents:
diff changeset
36 res[i].h = ptr->h + ptr->h;
kono
parents:
diff changeset
37 res[i].g = ptr->g + ptr->g;
kono
parents:
diff changeset
38 ptr++;
kono
parents:
diff changeset
39 }
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 /* check results: */
kono
parents:
diff changeset
42 for (i = 0; i < N; i++)
kono
parents:
diff changeset
43 {
kono
parents:
diff changeset
44 if (res[i].c != arr[i].c + arr[i].c
kono
parents:
diff changeset
45 || res[i].a != arr[i].a + arr[i].a
kono
parents:
diff changeset
46 || res[i].d != arr[i].d + arr[i].d
kono
parents:
diff changeset
47 || res[i].b != arr[i].b + arr[i].b
kono
parents:
diff changeset
48 || res[i].f != arr[i].f + arr[i].f
kono
parents:
diff changeset
49 || res[i].e != arr[i].e + arr[i].e
kono
parents:
diff changeset
50 || res[i].h != arr[i].h + arr[i].h
kono
parents:
diff changeset
51 || res[i].g != arr[i].g + arr[i].g)
kono
parents:
diff changeset
52 abort();
kono
parents:
diff changeset
53 }
kono
parents:
diff changeset
54
kono
parents:
diff changeset
55 ptr = arr;
kono
parents:
diff changeset
56 for (i = 0; i < N; i++)
kono
parents:
diff changeset
57 {
kono
parents:
diff changeset
58 res[i].c = ptr->c + ptr->c;
kono
parents:
diff changeset
59 res[i].a = ptr->a + ptr->a;
kono
parents:
diff changeset
60 res[i].d = ptr->d + ptr->d;
kono
parents:
diff changeset
61 res[i].b = ptr->b + ptr->b;
kono
parents:
diff changeset
62 res[i].f = ptr->f + ptr->f;
kono
parents:
diff changeset
63 res[i].e = ptr->e + ptr->e;
kono
parents:
diff changeset
64 res[i].h = ptr->e + ptr->e;
kono
parents:
diff changeset
65 res[i].g = ptr->g + ptr->g;
kono
parents:
diff changeset
66 ptr++;
kono
parents:
diff changeset
67 }
kono
parents:
diff changeset
68
kono
parents:
diff changeset
69 /* check results: */
kono
parents:
diff changeset
70 for (i = 0; i < N; i++)
kono
parents:
diff changeset
71 {
kono
parents:
diff changeset
72 if (res[i].c != arr[i].c + arr[i].c
kono
parents:
diff changeset
73 || res[i].a != arr[i].a + arr[i].a
kono
parents:
diff changeset
74 || res[i].d != arr[i].d + arr[i].d
kono
parents:
diff changeset
75 || res[i].b != arr[i].b + arr[i].b
kono
parents:
diff changeset
76 || res[i].f != arr[i].f + arr[i].f
kono
parents:
diff changeset
77 || res[i].e != arr[i].e + arr[i].e
kono
parents:
diff changeset
78 || res[i].h != arr[i].e + arr[i].e
kono
parents:
diff changeset
79 || res[i].g != arr[i].g + arr[i].g)
kono
parents:
diff changeset
80 abort();
kono
parents:
diff changeset
81 }
kono
parents:
diff changeset
82
kono
parents:
diff changeset
83 }
kono
parents:
diff changeset
84
kono
parents:
diff changeset
85 int main (void)
kono
parents:
diff changeset
86 {
kono
parents:
diff changeset
87 int i;
kono
parents:
diff changeset
88 s arr[N];
kono
parents:
diff changeset
89
kono
parents:
diff changeset
90 check_vect ();
kono
parents:
diff changeset
91
kono
parents:
diff changeset
92 for (i = 0; i < N; i++)
kono
parents:
diff changeset
93 {
kono
parents:
diff changeset
94 arr[i].a = i;
kono
parents:
diff changeset
95 arr[i].b = i * 2;
kono
parents:
diff changeset
96 arr[i].c = 17;
kono
parents:
diff changeset
97 arr[i].d = i+34;
kono
parents:
diff changeset
98 arr[i].e = i * 3 + 5;
kono
parents:
diff changeset
99 arr[i].f = i * 5;
kono
parents:
diff changeset
100 arr[i].g = i - 3;
kono
parents:
diff changeset
101 arr[i].h = 56;
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
102 asm volatile ("" ::: "memory");
111
kono
parents:
diff changeset
103 }
kono
parents:
diff changeset
104
kono
parents:
diff changeset
105 main1 (arr);
kono
parents:
diff changeset
106
kono
parents:
diff changeset
107 return 0;
kono
parents:
diff changeset
108 }
kono
parents:
diff changeset
109
kono
parents:
diff changeset
110 /* { dg-final { scan-tree-dump-times "vectorized 2 loops" 1 "vect" { target { vect_strided8 && { ! { vect_no_align} } } } } } */
kono
parents:
diff changeset
111 /* { dg-final { scan-tree-dump-times "vectorized 1 loops" 1 "vect" { target { ! { vect_strided8 || vect_no_align } } } } } */
kono
parents:
diff changeset
112 /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 1 "vect" { target { ! vect_perm } } } } */
131
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
113 /* SLP fails for the second loop with variable-length SVE because
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
114 the load size is greater than the minimum vector size. */
84e7813d76e9 gcc-8.2
mir3636
parents: 111
diff changeset
115 /* { dg-final { scan-tree-dump-times "vectorizing stmts using SLP" 2 "vect" { target vect_perm xfail { aarch64_sve && vect_variable_length } } } } */
111
kono
parents:
diff changeset
116