1 /* Test arithmetics on bitfields. */
2 /* { dg-require-effective-target int32plus } */
3
4 extern void abort (void);
5 extern void exit (int);
6
7 unsigned int
myrnd(void)8 myrnd (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) \
17 struct S s##S; \
18 struct S retme##S (struct S x) \
19 { \
20 return x; \
21 } \
22 \
23 unsigned 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 \
31 unsigned 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 \
39 unsigned int retit##S (void) \
40 { \
41 return s##S.k; \
42 } \
43 \
44 unsigned int fn3##S (unsigned int x) \
45 { \
46 s##S.k += x; \
47 return retit##S (); \
48 } \
49 \
50 void 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))
92 struct pck A { unsigned short i : 1, l : 1, j : 3, k : 11; }; T(A)
93 struct pck B { unsigned short i : 4, j : 1, k : 11; unsigned int l; }; T(B)
94 struct pck C { unsigned int l; unsigned short i : 4, j : 1, k : 11; }; T(C)
95 struct pck D { unsigned long long l : 6, i : 6, j : 23, k : 29; }; T(D)
96 struct pck E { unsigned long long l, i : 12, j : 23, k : 29; }; T(E)
97 struct pck F { unsigned long long i : 12, j : 23, k : 29, l; }; T(F)
98 struct pck G { unsigned short i : 1, j : 1, k : 6; unsigned long long l; }; T(G)
99 struct pck H { unsigned short i : 6, j : 2, k : 8; unsigned long long l; }; T(H)
100 struct pck I { unsigned short i : 1, j : 6, k : 1; unsigned long long l; }; T(I)
101 struct pck J { unsigned short i : 1, j : 8, k : 7; unsigned short l; }; T(J)
102 struct pck K { unsigned int k : 6, l : 1, j : 10, i : 15; }; T(K)
103 struct pck L { unsigned int k : 6, j : 11, i : 15; unsigned int l; }; T(L)
104 struct pck M { unsigned int l; unsigned short k : 6, j : 11, i : 15; }; T(M)
105 struct pck N { unsigned long long l : 6, k : 6, j : 23, i : 29; }; T(N)
106 struct pck O { unsigned long long l, k : 12, j : 23, i : 29; }; T(O)
107 struct pck P { unsigned long long k : 12, j : 23, i : 29, l; }; T(P)
108 struct pck Q { unsigned short k : 12, j : 1, i : 3; unsigned long long l; }; T(Q)
109 struct pck R { unsigned short k : 2, j : 11, i : 3; unsigned long long l; }; T(R)
110 struct pck S { unsigned short k : 1, j : 6, i : 9; unsigned long long l; }; T(S)
111 struct pck T { unsigned short k : 1, j : 8, i : 7; unsigned short l; }; T(T)
112 struct pck U { unsigned short j : 6, k : 1, i : 9; unsigned long long l; }; T(U)
113 struct pck V { unsigned short j : 8, k : 1, i : 7; unsigned short l; }; T(V)
114 struct pck W { long double l; unsigned int k : 12, j : 13, i : 7; }; T(W)
115 struct pck X { unsigned int k : 12, j : 13, i : 7; long double l; }; T(X)
116 struct pck Y { unsigned int k : 12, j : 11, i : 9; long double l; }; T(Y)
T(Z)117 struct pck Z { long double l; unsigned int j : 13, i : 7, k : 12; }; T(Z)
118
119 int
120 main (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