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