annotate gcc/testsuite/gcc.dg/vect/pr80631-2.c @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 84e7813d76e9
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" } */
131
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
3 /* PR tree-optimization/80631 */
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
4
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
5 #include "tree-vect.h"
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
6
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
7 int v[8] = { 77, 1, 79, 3, 4, 3, 6, 7 };
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
8
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
9 __attribute__((noipa)) void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
10 f1 (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
11 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
12 int k, r = -1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
13 for (k = 7; k >= 0; k--)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
14 if (v[k] == 77)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
15 r = k;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
16 if (r != 0)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
17 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
18 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
19
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
20 __attribute__((noipa)) void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
21 f2 (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
22 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
23 int k, r = 4;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
24 for (k = 7; k >= 0; k--)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
25 if (v[k] == 79)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
26 r = k;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
27 if (r != 2)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
28 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
29 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
30
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
31 __attribute__((noipa)) void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
32 f3 (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
33 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
34 int k, r = -17;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
35 for (k = 7; k >= 0; k--)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
36 if (v[k] == 78)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
37 r = k;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
38 if (r != -17)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
39 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
40 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
41
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
42 __attribute__((noipa)) void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
43 f4 (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
44 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
45 int k, r = 7;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
46 for (k = 7; k >= 0; k--)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
47 if (v[k] == 78)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
48 r = k;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
49 if (r != 7)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
50 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
51 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
52
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
53 __attribute__((noipa)) void
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
54 f5 (void)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
55 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
56 int k, r = -1;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
57 for (k = 7; k >= 0; k--)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
58 if (v[k] == 3)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
59 r = k;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
60 if (r != 3)
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
61 abort ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
62 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
63
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
64 int
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
65 main ()
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
66 {
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
67 check_vect ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
68 f1 ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
69 f2 ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
70 f3 ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
71 f4 ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
72 f5 ();
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
73 return 0;
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
74 }
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
75
84e7813d76e9 gcc-8.2
mir3636
parents:
diff changeset
76 /* { dg-final { scan-tree-dump-times "LOOP VECTORIZED" 5 "vect" { target vect_condition } } } */
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
77 /* { dg-final { scan-tree-dump-times "condition expression based on integer induction." 5 "vect" { target vect_condition xfail vect_fold_extract_last } } } */
1830386684a0 gcc-9.2.0
anatofuz
parents: 131
diff changeset
78 /* { dg-final { scan-tree-dump-times "optimizing condition reduction with FOLD_EXTRACT_LAST" 5 "vect" { target vect_fold_extract_last } } } */