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

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