|
111
|
1 /* PR middle-end/47893 */
|
|
|
2 /* { dg-do run } */
|
|
|
3 /* { dg-options "-O2" } */
|
|
|
4 /* { dg-additional-options "-mtune=atom -fno-omit-frame-pointer -fno-strict-aliasing" { target { { i?86-*-* x86_64-*-* } && ia32 } } } */
|
|
|
5 /* { dg-skip-if "Too much RAM needed" { "avr-*-*" } } */
|
|
|
6
|
|
|
7 extern void abort (void);
|
|
|
8
|
|
|
9 struct S
|
|
|
10 {
|
|
|
11 unsigned s1:4, s2:2, s3:2, s4:2, s5:2, s6:1, s7:1, s8:1, s9:1, s10:1;
|
|
|
12 int s11:16; unsigned s12:4; int s13:16; unsigned s14:2;
|
|
|
13 int s15:16; unsigned s16:4; int s17:16; unsigned s18:2;
|
|
|
14 };
|
|
|
15
|
|
|
16 struct T
|
|
|
17 {
|
|
|
18 unsigned t[3];
|
|
|
19 };
|
|
|
20
|
|
|
21 struct U
|
|
|
22 {
|
|
|
23 unsigned u1, u2;
|
|
|
24 };
|
|
|
25
|
|
|
26 struct V;
|
|
|
27
|
|
|
28 struct W
|
|
|
29 {
|
|
|
30 char w1[24]; struct V *w2; unsigned w3; char w4[28912];
|
|
|
31 unsigned int w5; char w6[60];
|
|
|
32 };
|
|
|
33
|
|
|
34 struct X
|
|
|
35 {
|
|
|
36 unsigned int x[2];
|
|
|
37 };
|
|
|
38
|
|
|
39 struct V
|
|
|
40 {
|
|
|
41 int v1;
|
|
|
42 struct X v2[3];
|
|
|
43 char v3[28];
|
|
|
44 };
|
|
|
45
|
|
|
46 struct Y
|
|
|
47 {
|
|
|
48 void *y1;
|
|
|
49 char y2[3076];
|
|
|
50 struct T y3[32];
|
|
|
51 char y4[1052];
|
|
|
52 };
|
|
|
53
|
|
|
54 volatile struct S v1 = { .s15 = -1, .s16 = 15, .s17 = -1, .s18 = 3 };
|
|
|
55
|
|
|
56 __attribute__ ((noinline, noclone))
|
|
|
57 int
|
|
|
58 fn1 (int x)
|
|
|
59 {
|
|
|
60 int r;
|
|
|
61 __asm__ volatile ("" : "=r" (r) : "0" (1), "r" (x) : "memory");
|
|
|
62 return r;
|
|
|
63 }
|
|
|
64
|
|
|
65 volatile int cnt;
|
|
|
66
|
|
|
67 __attribute__ ((noinline, noclone))
|
|
|
68 #ifdef __i386__
|
|
|
69 __attribute__ ((regparm (2)))
|
|
|
70 #endif
|
|
|
71 struct S
|
|
|
72 fn2 (struct Y *x, const struct X *y)
|
|
|
73 {
|
|
|
74 if (++cnt > 1)
|
|
|
75 abort ();
|
|
|
76 __asm__ volatile ("" : : "r" (x), "r" (y) : "memory");
|
|
|
77 return v1;
|
|
|
78 }
|
|
|
79
|
|
|
80 __attribute__ ((noinline, noclone))
|
|
|
81 void fn3 (void *x, unsigned y, const struct S *z, unsigned w)
|
|
|
82 {
|
|
|
83 __asm__ volatile ("" : : "r" (x), "r" (y), "r" (z), "r" (w) : "memory");
|
|
|
84 }
|
|
|
85
|
|
|
86 volatile struct U v2;
|
|
|
87
|
|
|
88 __attribute__ ((noinline, noclone))
|
|
|
89 struct U
|
|
|
90 fn4 (void *x, unsigned y)
|
|
|
91 {
|
|
|
92 __asm__ volatile ("" : : "r" (x), "r" (y) : "memory");
|
|
|
93 return v2;
|
|
|
94 }
|
|
|
95
|
|
|
96 __attribute__ ((noinline, noclone))
|
|
|
97 struct S
|
|
|
98 fn5 (void *x)
|
|
|
99 {
|
|
|
100 __asm__ volatile ("" : : "r" (x) : "memory");
|
|
|
101 return v1;
|
|
|
102 }
|
|
|
103
|
|
|
104 volatile struct T v3;
|
|
|
105
|
|
|
106 __attribute__ ((noinline, noclone))
|
|
|
107 struct T fn6 (void *x)
|
|
|
108 {
|
|
|
109 __asm__ volatile ("" : : "r" (x) : "memory");
|
|
|
110 return v3;
|
|
|
111 }
|
|
|
112
|
|
|
113 __attribute__ ((noinline, noclone))
|
|
|
114 struct T fn7 (void *x, unsigned y, unsigned z)
|
|
|
115 {
|
|
|
116 __asm__ volatile ("" : : "r" (x), "r" (y), "r" (z) : "memory");
|
|
|
117 return v3;
|
|
|
118 }
|
|
|
119
|
|
|
120 static void
|
|
|
121 fn8 (struct Y *x, const struct V *y)
|
|
|
122 {
|
|
|
123 void *a = x->y1;
|
|
|
124 struct S b[4];
|
|
|
125 unsigned i, c;
|
|
|
126 c = fn1 (y->v1);
|
|
|
127 for (i = 0; i < c; i++)
|
|
|
128 b[i] = fn2 (x, &y->v2[i]);
|
|
|
129 fn3 (a, y->v1, b, c);
|
|
|
130 }
|
|
|
131
|
|
|
132 static inline void
|
|
|
133 fn9 (void *x, struct S y __attribute__((unused)))
|
|
|
134 {
|
|
|
135 fn4 (x, 8);
|
|
|
136 }
|
|
|
137
|
|
|
138 static void
|
|
|
139 fn10 (struct Y *x)
|
|
|
140 {
|
|
|
141 void *a = x->y1;
|
|
|
142 struct T b __attribute__((unused)) = fn6 (a);
|
|
|
143 fn9 (a, fn5 (a));
|
|
|
144 }
|
|
|
145
|
|
|
146 __attribute__((noinline, noclone))
|
|
|
147 int
|
|
|
148 fn11 (unsigned int x, void *y, const struct W *z,
|
|
|
149 unsigned int w, const char *v, const char *u)
|
|
|
150 {
|
|
|
151 struct Y a, *t;
|
|
|
152 unsigned i;
|
|
|
153 t = &a;
|
|
|
154 __builtin_memset (t, 0, sizeof *t);
|
|
|
155 t->y1 = y;
|
|
|
156 if (x == 0)
|
|
|
157 {
|
|
|
158 if (z->w3 & 1)
|
|
|
159 fn10 (t);
|
|
|
160 for (i = 0; i < w; i++)
|
|
|
161 {
|
|
|
162 if (v[i] == 0)
|
|
|
163 t->y3[i] = fn7 (y, 0, u[i]);
|
|
|
164 else
|
|
|
165 return 0;
|
|
|
166 }
|
|
|
167 }
|
|
|
168 else
|
|
|
169 for (i = 0; i < w; i++)
|
|
|
170 t->y3[i] = fn7 (y, v[i], u[i]);
|
|
|
171 for (i = 0; i < z->w5; i++)
|
|
|
172 fn8 (t, &z->w2[i]);
|
|
|
173 return 0;
|
|
|
174 }
|
|
|
175
|
|
|
176 volatile int i;
|
|
|
177 const char *volatile p = "";
|
|
|
178
|
|
|
179 int
|
|
|
180 main ()
|
|
|
181 {
|
|
|
182 struct V v = { .v1 = 0 };
|
|
|
183 struct W w = { .w5 = 1, .w2 = &v };
|
|
|
184 fn11 (i + 1, (void *) p, &w, i, (const char *) p, (const char *) p);
|
|
|
185 if (cnt != 1)
|
|
|
186 abort ();
|
|
|
187 return 0;
|
|
|
188 }
|
