gcc/testsuite/gcc.target/m68k/pr52573.c

   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
  13 extern void abort (void);
  14 extern void exit (int);
  15
  16 unsigned int
  17 myrnd (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)                                    \
  26 struct S s##S;                                  \
  27 struct S retme##S (struct S x)                  \
  28 {                                               \
  29   return x;                                     \
  30 }                                               \
  31                                                 \
  32 unsigned 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                                                 \
  40 unsigned 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                                                 \
  48 unsigned int retit##S (void)                    \
  49 {                                               \
  50   return s##S.k;                                \
  51 }                                               \
  52                                                 \
  53 unsigned int fn3##S (unsigned int x)            \
  54 {                                               \
  55   s##S.k += x;                                  \
  56   return retit##S ();                           \
  57 }                                               \
  58                                                 \
  59 void 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
 100 struct A { unsigned int i : 6, l : 1, j : 10, k : 15; }; T(A)
 101 struct B { unsigned int i : 6, j : 11, k : 15; unsigned int l; }; T(B)
 102 struct C { unsigned int l; unsigned int i : 6, j : 11, k : 15; }; T(C)
 103 struct D { unsigned long long l : 6, i : 6, j : 23, k : 29; }; T(D)
 104 struct E { unsigned long long l, i : 12, j : 23, k : 29; }; T(E)
 105 struct F { unsigned long long i : 12, j : 23, k : 29, l; }; T(F)
 106 struct G { unsigned int i : 12, j : 13, k : 7; unsigned long long l; }; T(G)
 107 struct H { unsigned int i : 12, j : 11, k : 9; unsigned long long l; }; T(H)
 108 struct I { unsigned short i : 1, j : 6, k : 9; unsigned long long l; }; T(I)
 109 struct J { unsigned short i : 1, j : 8, k : 7; unsigned short l; }; T(J)
 110 struct K { unsigned int k : 6, l : 1, j : 10, i : 15; }; T(K)
 111 struct L { unsigned int k : 6, j : 11, i : 15; unsigned int l; }; T(L)
 112 struct M { unsigned int l; unsigned int k : 6, j : 11, i : 15; }; T(M)
 113 struct N { unsigned long long l : 6, k : 6, j : 23, i : 29; }; T(N)
 114 struct O { unsigned long long l, k : 12, j : 23, i : 29; }; T(O)
 115 struct P { unsigned long long k : 12, j : 23, i : 29, l; }; T(P)
 116 struct Q { unsigned int k : 12, j : 13, i : 7; unsigned long long l; }; T(Q)
 117 struct R { unsigned int k : 12, j : 11, i : 9; unsigned long long l; }; T(R)
 118 struct S { unsigned short k : 1, j : 6, i : 9; unsigned long long l; }; T(S)
 119 struct T { unsigned short k : 1, j : 8, i : 7; unsigned short l; }; T(T)
 120 struct U { unsigned short j : 6, k : 1, i : 9; unsigned long long l; }; T(U)
 121 struct V { unsigned short j : 8, k : 1, i : 7; unsigned short l; }; T(V)
 122 struct W { long double l; unsigned int k : 12, j : 13, i : 7; }; T(W)
 123 struct X { unsigned int k : 12, j : 13, i : 7; long double l; }; T(X)
 124 struct Y { unsigned int k : 12, j : 11, i : 9; long double l; }; T(Y)
 125 struct Z { long double l; unsigned int j : 13, i : 7, k : 12; }; T(Z)
 126
 127 int
 128 main (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 }