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