| 1 |
691 |
jeremybenn |
/* Check for ia64 data speculation failure with '-O2 -funroll-loops'. */
|
| 2 |
|
|
|
| 3 |
|
|
/* { dg-do compile } */
|
| 4 |
|
|
/* { dg-options "-O2 -funroll-loops -Wno-overflow" } */
|
| 5 |
|
|
|
| 6 |
|
|
extern void abort (void);
|
| 7 |
|
|
extern void exit (int);
|
| 8 |
|
|
|
| 9 |
|
|
unsigned int
|
| 10 |
|
|
myrnd (void)
|
| 11 |
|
|
{
|
| 12 |
|
|
static unsigned int s = 1388815473;
|
| 13 |
|
|
s *= 1103515245;
|
| 14 |
|
|
s += 12345;
|
| 15 |
|
|
return (s / 65536) % 2048;
|
| 16 |
|
|
}
|
| 17 |
|
|
|
| 18 |
|
|
#define T(S) \
|
| 19 |
|
|
struct S s##S; \
|
| 20 |
|
|
struct S retme##S (struct S x) \
|
| 21 |
|
|
{ \
|
| 22 |
|
|
return x; \
|
| 23 |
|
|
} \
|
| 24 |
|
|
\
|
| 25 |
|
|
unsigned int fn1##S (unsigned int x) \
|
| 26 |
|
|
{ \
|
| 27 |
|
|
struct S y = s##S; \
|
| 28 |
|
|
y.k += x; \
|
| 29 |
|
|
y = retme##S (y); \
|
| 30 |
|
|
return y.k; \
|
| 31 |
|
|
} \
|
| 32 |
|
|
\
|
| 33 |
|
|
unsigned int fn2##S (unsigned int x) \
|
| 34 |
|
|
{ \
|
| 35 |
|
|
struct S y = s##S; \
|
| 36 |
|
|
y.k += x; \
|
| 37 |
|
|
y.k %= 15; \
|
| 38 |
|
|
return y.k; \
|
| 39 |
|
|
} \
|
| 40 |
|
|
\
|
| 41 |
|
|
unsigned int retit##S (void) \
|
| 42 |
|
|
{ \
|
| 43 |
|
|
return s##S.k; \
|
| 44 |
|
|
} \
|
| 45 |
|
|
\
|
| 46 |
|
|
unsigned int fn3##S (unsigned int x) \
|
| 47 |
|
|
{ \
|
| 48 |
|
|
s##S.k += x; \
|
| 49 |
|
|
return retit##S (); \
|
| 50 |
|
|
} \
|
| 51 |
|
|
\
|
| 52 |
|
|
void test##S (void) \
|
| 53 |
|
|
{ \
|
| 54 |
|
|
int i; \
|
| 55 |
|
|
unsigned int mask, v, a, r; \
|
| 56 |
|
|
struct S x; \
|
| 57 |
|
|
char *p = (char *) &s##S; \
|
| 58 |
|
|
for (i = 0; i < sizeof (s##S); ++i) \
|
| 59 |
|
|
*p++ = myrnd (); \
|
| 60 |
|
|
if (__builtin_classify_type (s##S.l) == 8) \
|
| 61 |
|
|
s##S.l = 5.25; \
|
| 62 |
|
|
s##S.k = -1; \
|
| 63 |
|
|
mask = s##S.k; \
|
| 64 |
|
|
v = myrnd (); \
|
| 65 |
|
|
a = myrnd (); \
|
| 66 |
|
|
s##S.k = v; \
|
| 67 |
|
|
x = s##S; \
|
| 68 |
|
|
r = fn1##S (a); \
|
| 69 |
|
|
if (x.i != s##S.i || x.j != s##S.j \
|
| 70 |
|
|
|| x.k != s##S.k || x.l != s##S.l \
|
| 71 |
|
|
|| ((v + a) & mask) != r) \
|
| 72 |
|
|
abort (); \
|
| 73 |
|
|
v = myrnd (); \
|
| 74 |
|
|
a = myrnd (); \
|
| 75 |
|
|
s##S.k = v; \
|
| 76 |
|
|
x = s##S; \
|
| 77 |
|
|
r = fn2##S (a); \
|
| 78 |
|
|
if (x.i != s##S.i || x.j != s##S.j \
|
| 79 |
|
|
|| x.k != s##S.k || x.l != s##S.l \
|
| 80 |
|
|
|| ((((v + a) & mask) % 15) & mask) != r) \
|
| 81 |
|
|
abort (); \
|
| 82 |
|
|
v = myrnd (); \
|
| 83 |
|
|
a = myrnd (); \
|
| 84 |
|
|
s##S.k = v; \
|
| 85 |
|
|
x = s##S; \
|
| 86 |
|
|
r = fn3##S (a); \
|
| 87 |
|
|
if (x.i != s##S.i || x.j != s##S.j \
|
| 88 |
|
|
|| s##S.k != r || x.l != s##S.l \
|
| 89 |
|
|
|| ((v + a) & mask) != r) \
|
| 90 |
|
|
abort (); \
|
| 91 |
|
|
}
|
| 92 |
|
|
|
| 93 |
|
|
#define pck __attribute__((packed))
|
| 94 |
|
|
struct pck A { unsigned short i : 1, l : 1, j : 3, k : 11; }; T(A)
|
| 95 |
|
|
struct pck B { unsigned short i : 4, j : 1, k : 11; unsigned int l; }; T(B)
|
| 96 |
|
|
struct pck C { unsigned int l; unsigned short i : 4, j : 1, k : 11; }; T(C)
|
| 97 |
|
|
struct pck D { unsigned long long l : 6, i : 6, j : 23, k : 29; }; T(D)
|
| 98 |
|
|
struct pck E { unsigned long long l, i : 12, j : 23, k : 29; }; T(E)
|
| 99 |
|
|
struct pck F { unsigned long long i : 12, j : 23, k : 29, l; }; T(F)
|
| 100 |
|
|
struct pck G { unsigned short i : 1, j : 1, k : 6; unsigned long long l; }; T(G)
|
| 101 |
|
|
struct pck H { unsigned short i : 6, j : 2, k : 8; unsigned long long l; }; T(H)
|
| 102 |
|
|
struct pck I { unsigned short i : 1, j : 6, k : 1; unsigned long long l; }; T(I)
|
| 103 |
|
|
struct pck J { unsigned short i : 1, j : 8, k : 7; unsigned short l; }; T(J)
|
| 104 |
|
|
struct pck K { unsigned int k : 6, l : 1, j : 10, i : 15; }; T(K)
|
| 105 |
|
|
struct pck L { unsigned int k : 6, j : 11, i : 15; unsigned int l; }; T(L)
|
| 106 |
|
|
struct pck M { unsigned int l; unsigned short k : 6, j : 11, i : 15; }; T(M)
|
| 107 |
|
|
struct pck N { unsigned long long l : 6, k : 6, j : 23, i : 29; }; T(N)
|
| 108 |
|
|
struct pck O { unsigned long long l, k : 12, j : 23, i : 29; }; T(O)
|
| 109 |
|
|
struct pck P { unsigned long long k : 12, j : 23, i : 29, l; }; T(P)
|
| 110 |
|
|
struct pck Q { unsigned short k : 12, j : 1, i : 3; unsigned long long l; }; T(Q)
|
| 111 |
|
|
struct pck R { unsigned short k : 2, j : 11, i : 3; unsigned long long l; }; T(R)
|
| 112 |
|
|
struct pck S { unsigned short k : 1, j : 6, i : 9; unsigned long long l; }; T(S)
|
| 113 |
|
|
struct pck T { unsigned short k : 1, j : 8, i : 7; unsigned short l; }; T(T)
|
| 114 |
|
|
struct pck U { unsigned short j : 6, k : 1, i : 9; unsigned long long l; }; T(U)
|
| 115 |
|
|
struct pck V { unsigned short j : 8, k : 1, i : 7; unsigned short l; }; T(V)
|
| 116 |
|
|
struct pck W { long double l; unsigned int k : 12, j : 13, i : 7; }; T(W)
|
| 117 |
|
|
struct pck X { unsigned int k : 12, j : 13, i : 7; long double l; }; T(X)
|
| 118 |
|
|
struct pck Y { unsigned int k : 12, j : 11, i : 9; long double l; }; T(Y)
|
| 119 |
|
|
struct pck Z { long double l; unsigned int j : 13, i : 7, k : 12; }; T(Z)
|
| 120 |
|
|
|
| 121 |
|
|
int
|
| 122 |
|
|
main (void)
|
| 123 |
|
|
{
|
| 124 |
|
|
testA ();
|
| 125 |
|
|
testB ();
|
| 126 |
|
|
testC ();
|
| 127 |
|
|
testD ();
|
| 128 |
|
|
testE ();
|
| 129 |
|
|
testF ();
|
| 130 |
|
|
testG ();
|
| 131 |
|
|
testH ();
|
| 132 |
|
|
testI ();
|
| 133 |
|
|
testJ ();
|
| 134 |
|
|
testK ();
|
| 135 |
|
|
testL ();
|
| 136 |
|
|
testM ();
|
| 137 |
|
|
testN ();
|
| 138 |
|
|
testO ();
|
| 139 |
|
|
testP ();
|
| 140 |
|
|
testQ ();
|
| 141 |
|
|
testR ();
|
| 142 |
|
|
testS ();
|
| 143 |
|
|
testT ();
|
| 144 |
|
|
testU ();
|
| 145 |
|
|
testV ();
|
| 146 |
|
|
testW ();
|
| 147 |
|
|
testX ();
|
| 148 |
|
|
testY ();
|
| 149 |
|
|
testZ ();
|
| 150 |
|
|
exit (0);
|
| 151 |
|
|
}
|
