gcc/testsuite/gcc.c-torture/execute/20040709-2.c

   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
   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)
 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 }