nsz Git - libfirm/blob - ir/be/test/compilerhang3.c

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