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

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* PR optimization/6475
kono
parents:
diff changeset
2 Distilled from zlib sources. */
kono
parents:
diff changeset
3 /* { dg-do run } */
kono
parents:
diff changeset
4 /* { dg-options "-O2" } */
kono
parents:
diff changeset
5 /* { dg-options "-O2 -frename-registers -fomit-frame-pointer -fPIC -mtune=i686" { target { { i?86-*-* x86_64-*-* } && { ia32 && fpic } } } } */
145
1830386684a0 gcc-9.2.0
anatofuz
parents: 111
diff changeset
6 /* { dg-skip-if "exceeds eBPF stack limit" { bpf-*-* } } */
111
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 extern void exit (int);
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 typedef struct
kono
parents:
diff changeset
11 {
kono
parents:
diff changeset
12 union
kono
parents:
diff changeset
13 {
kono
parents:
diff changeset
14 struct
kono
parents:
diff changeset
15 {
kono
parents:
diff changeset
16 unsigned char a3;
kono
parents:
diff changeset
17 unsigned char a4;
kono
parents:
diff changeset
18 } a2;
kono
parents:
diff changeset
19 unsigned int a5;
kono
parents:
diff changeset
20 } a0;
kono
parents:
diff changeset
21 unsigned int a1;
kono
parents:
diff changeset
22 } A;
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 static int
kono
parents:
diff changeset
25 foo (unsigned int *b, unsigned int n, unsigned int s, const unsigned int *d,
kono
parents:
diff changeset
26 const unsigned int *e, A **t, unsigned int *m, A *hp, unsigned int *hn,
kono
parents:
diff changeset
27 unsigned int *v)
kono
parents:
diff changeset
28 {
kono
parents:
diff changeset
29 unsigned int a, c[15 + 1], f;
kono
parents:
diff changeset
30 int g, h;
kono
parents:
diff changeset
31 unsigned int i, j, k;
kono
parents:
diff changeset
32 int l;
kono
parents:
diff changeset
33 unsigned int ee;
kono
parents:
diff changeset
34 unsigned int *p;
kono
parents:
diff changeset
35 A *q, r, *u[15];
kono
parents:
diff changeset
36 int w;
kono
parents:
diff changeset
37 unsigned int x[15 + 1], *xx;
kono
parents:
diff changeset
38 int y;
kono
parents:
diff changeset
39 unsigned int z;
kono
parents:
diff changeset
40 p = c;
kono
parents:
diff changeset
41 *p++ = 0; *p++ = 0; *p++ = 0; *p++ = 0;
kono
parents:
diff changeset
42 *p++ = 0; *p++ = 0; *p++ = 0; *p++ = 0;
kono
parents:
diff changeset
43 *p++ = 0; *p++ = 0; *p++ = 0; *p++ = 0;
kono
parents:
diff changeset
44 *p++ = 0; *p++ = 0; *p++ = 0; *p++ = 0;
kono
parents:
diff changeset
45 p = b;
kono
parents:
diff changeset
46 i = n;
kono
parents:
diff changeset
47 do
kono
parents:
diff changeset
48 c[*p++]++;
kono
parents:
diff changeset
49 while (--i);
kono
parents:
diff changeset
50 if (c[0] == n)
kono
parents:
diff changeset
51 {
kono
parents:
diff changeset
52 *t = (A *) 0;
kono
parents:
diff changeset
53 *m = 0;
kono
parents:
diff changeset
54 return 0;
kono
parents:
diff changeset
55 }
kono
parents:
diff changeset
56 l = *m;
kono
parents:
diff changeset
57 for (j = 1; j <= 15; j++)
kono
parents:
diff changeset
58 if (c[j])
kono
parents:
diff changeset
59 break;
kono
parents:
diff changeset
60 k = j;
kono
parents:
diff changeset
61 if ((unsigned int) l < j)
kono
parents:
diff changeset
62 l = j;
kono
parents:
diff changeset
63 for (i = 15; i; i--)
kono
parents:
diff changeset
64 if (c[i])
kono
parents:
diff changeset
65 break;
kono
parents:
diff changeset
66 g = i;
kono
parents:
diff changeset
67 if ((unsigned int) l > i)
kono
parents:
diff changeset
68 l = i;
kono
parents:
diff changeset
69 *m = l;
kono
parents:
diff changeset
70 for (y = 1 << j; j < i; j++, y <<= 1)
kono
parents:
diff changeset
71 if ((y -= c[j]) < 0)
kono
parents:
diff changeset
72 return -3;
kono
parents:
diff changeset
73 if ((y -= c[i]) < 0)
kono
parents:
diff changeset
74 return -3;
kono
parents:
diff changeset
75 c[i] += y;
kono
parents:
diff changeset
76 x[1] = j = 0;
kono
parents:
diff changeset
77 p = c + 1;
kono
parents:
diff changeset
78 xx = x + 2;
kono
parents:
diff changeset
79 while (--i)
kono
parents:
diff changeset
80 *xx++ = (j += *p++);
kono
parents:
diff changeset
81 p = b;
kono
parents:
diff changeset
82 i = 0;
kono
parents:
diff changeset
83 do
kono
parents:
diff changeset
84 if ((j = *p++) != 0)
kono
parents:
diff changeset
85 v[x[j]++] = i;
kono
parents:
diff changeset
86 while (++i < n);
kono
parents:
diff changeset
87 n = x[g];
kono
parents:
diff changeset
88 x[0] = i = 0;
kono
parents:
diff changeset
89 p = v;
kono
parents:
diff changeset
90 h = -1;
kono
parents:
diff changeset
91 w = -l;
kono
parents:
diff changeset
92 u[0] = (A *) 0;
kono
parents:
diff changeset
93 q = (A *) 0;
kono
parents:
diff changeset
94 z = 0;
kono
parents:
diff changeset
95 for (; k <= g; k++)
kono
parents:
diff changeset
96 {
kono
parents:
diff changeset
97 a = c[k];
kono
parents:
diff changeset
98 while (a--)
kono
parents:
diff changeset
99 {
kono
parents:
diff changeset
100 while (k > w + l)
kono
parents:
diff changeset
101 {
kono
parents:
diff changeset
102 h++;
kono
parents:
diff changeset
103 w += l;
kono
parents:
diff changeset
104 z = g - w;
kono
parents:
diff changeset
105 z = z > (unsigned int) l ? l : z;
kono
parents:
diff changeset
106 if ((f = 1 << (j = k - w)) > a + 1)
kono
parents:
diff changeset
107 {
kono
parents:
diff changeset
108 f -= a + 1;
kono
parents:
diff changeset
109 xx = c + k;
kono
parents:
diff changeset
110 if (j < z)
kono
parents:
diff changeset
111 while (++j < z)
kono
parents:
diff changeset
112 {
kono
parents:
diff changeset
113 if ((f <<= 1) <= *++xx)
kono
parents:
diff changeset
114 break;
kono
parents:
diff changeset
115 f -= *xx;
kono
parents:
diff changeset
116 }
kono
parents:
diff changeset
117 }
kono
parents:
diff changeset
118 z = 1 << j;
kono
parents:
diff changeset
119 if (*hn + z > 1440)
kono
parents:
diff changeset
120 return -3;
kono
parents:
diff changeset
121 u[h] = q = hp + *hn;
kono
parents:
diff changeset
122 *hn += z;
kono
parents:
diff changeset
123 if (h)
kono
parents:
diff changeset
124 {
kono
parents:
diff changeset
125 x[h] = i;
kono
parents:
diff changeset
126 r.a0.a2.a4 = (unsigned char) l;
kono
parents:
diff changeset
127 r.a0.a2.a3 = (unsigned char) j;
kono
parents:
diff changeset
128 j = i >> (w - l);
kono
parents:
diff changeset
129 r.a1 = (unsigned int) (q - u[h - 1] - j);
kono
parents:
diff changeset
130 u[h - 1][j] = r;
kono
parents:
diff changeset
131 }
kono
parents:
diff changeset
132 else
kono
parents:
diff changeset
133 *t = q;
kono
parents:
diff changeset
134 }
kono
parents:
diff changeset
135 r.a0.a2.a4 = (unsigned char) (k - w);
kono
parents:
diff changeset
136 if (p >= v + n)
kono
parents:
diff changeset
137 r.a0.a2.a3 = 128 + 64;
kono
parents:
diff changeset
138 else if (*p < s)
kono
parents:
diff changeset
139 {
kono
parents:
diff changeset
140 r.a0.a2.a3 = (unsigned char) (*p < 256 ? 0 : 32 + 64);
kono
parents:
diff changeset
141 r.a1 = *p++;
kono
parents:
diff changeset
142 }
kono
parents:
diff changeset
143 else
kono
parents:
diff changeset
144 {
kono
parents:
diff changeset
145 r.a0.a2.a3 = (unsigned char) (e[*p - s] + 16 + 64);
kono
parents:
diff changeset
146 r.a1 = d[*p++ - s];
kono
parents:
diff changeset
147 }
kono
parents:
diff changeset
148 f = 1 << (k - w);
kono
parents:
diff changeset
149 for (j = i >> w; j < z; j += f)
kono
parents:
diff changeset
150 q[j] = r;
kono
parents:
diff changeset
151 for (j = 1 << (k - 1); i & j; j >>= 1)
kono
parents:
diff changeset
152 i ^= j;
kono
parents:
diff changeset
153 i ^= j;
kono
parents:
diff changeset
154 ee = (1 << w) - 1;
kono
parents:
diff changeset
155 while ((i & ee) != x[h])
kono
parents:
diff changeset
156 {
kono
parents:
diff changeset
157 h--;
kono
parents:
diff changeset
158 w -= l;
kono
parents:
diff changeset
159 ee = (1 << w) - 1;
kono
parents:
diff changeset
160 }
kono
parents:
diff changeset
161 }
kono
parents:
diff changeset
162 }
kono
parents:
diff changeset
163 return y != 0 && g != 1 ? (-5) : 0;
kono
parents:
diff changeset
164 }
kono
parents:
diff changeset
165
kono
parents:
diff changeset
166 unsigned int a[19] = { 3, 4, 0, 2, 2, [17] = 3, 3 };
kono
parents:
diff changeset
167 unsigned int d[19];
kono
parents:
diff changeset
168 A h[1440];
kono
parents:
diff changeset
169
kono
parents:
diff changeset
170 int
kono
parents:
diff changeset
171 main (void)
kono
parents:
diff changeset
172 {
kono
parents:
diff changeset
173 unsigned int b = 0, c = 0;
kono
parents:
diff changeset
174 A *e = 0;
kono
parents:
diff changeset
175 foo (a, 19, 19, 0, 0, &e, &b, h, &c, d);
kono
parents:
diff changeset
176 exit (0);
kono
parents:
diff changeset
177 }