OSDN Git Service

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