annotate gcc/testsuite/gcc.dg/tree-ssa/pr94125.c @ 152:2b5abeee2509

update gcc11
author anatofuz
date Mon, 25 May 2020 07:50:57 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
152
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
1 /* { dg-do run } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
2 /* { dg-options "-O3" } */
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
3
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
4 unsigned char b, f;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
5 short d[1][8][1], *g = &d[0][3][0];
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
6
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
7 void __attribute__((noinline)) foo ()
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
8 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
9 int k[256] = { 0, 0, 0, 4, 0, 0 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
10 for (int c = 252; c >= 0; c--)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
11 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
12 b = f;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
13 *g = k[c + 3];
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
14 k[c + 1] = 0;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
15 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
16 for (int i = 0; i < 8; i++)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
17 if (d[0][i][0] != 0)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
18 __builtin_abort ();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
19 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
20
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
21 void __attribute__((noinline)) bar ()
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
22 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
23 int k[256] = { 0, 0, 0, 4, 0, 0 };
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
24 k[255] = 4;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
25 for (int c = 0; c <=252; c++)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
26 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
27 b = f;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
28 *g = k[c + 3];
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
29 k[c + 1] = 0;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
30 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
31 for (int i = 0; i < 8; i++)
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
32 if ((i == 3 && d[0][i][0] != 4) || (i != 3 && d[0][i][0] != 0))
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
33 __builtin_abort ();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
34 }
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
35
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
36 int main ()
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
37 {
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
38 foo ();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
39 bar ();
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
40 return 0;
2b5abeee2509 update gcc11
anatofuz
parents:
diff changeset
41 }