modernc.org/ccgo/v3@v3.16.14/lib/testdata/gcc-9.1.0/gcc/testsuite/gcc.c-torture/execute/20040709-1.c (about)

     1  /* { dg-require-effective-target int32plus } */
     2  
     3  /* Test arithmetics on bitfields.  */
     4  
     5  extern void abort (void);
     6  extern void exit (int);
     7  
     8  unsigned int
     9  myrnd (void)
    10  {
    11    static unsigned int s = 1388815473;
    12    s *= 1103515245;
    13    s += 12345;
    14    return (s / 65536) % 2048;
    15  }
    16  
    17  #define T(S)					\
    18  struct S s##S;					\
    19  struct S retme##S (struct S x)			\
    20  {						\
    21    return x;					\
    22  }						\
    23  						\
    24  unsigned int fn1##S (unsigned int x)		\
    25  {						\
    26    struct S y = s##S;				\
    27    y.k += x;					\
    28    y = retme##S (y);				\
    29    return y.k;					\
    30  }						\
    31  						\
    32  unsigned int fn2##S (unsigned int x)		\
    33  {						\
    34    struct S y = s##S;				\
    35    y.k += x;					\
    36    y.k %= 15;					\
    37    return y.k;					\
    38  }						\
    39  						\
    40  unsigned int retit##S (void)			\
    41  {						\
    42    return s##S.k;				\
    43  }						\
    44  						\
    45  unsigned int fn3##S (unsigned int x)		\
    46  {						\
    47    s##S.k += x;					\
    48    return retit##S ();				\
    49  }						\
    50  						\
    51  void test##S (void)				\
    52  {						\
    53    int i;					\
    54    unsigned int mask, v, a, r;			\
    55    struct S x;					\
    56    char *p = (char *) &s##S;			\
    57    for (i = 0; i < sizeof (s##S); ++i)		\
    58      *p++ = myrnd ();				\
    59    if (__builtin_classify_type (s##S.l) == 8)	\
    60      s##S.l = 5.25;				\
    61    s##S.k = -1;					\
    62    mask = s##S.k;				\
    63    v = myrnd ();					\
    64    a = myrnd ();					\
    65    s##S.k = v;					\
    66    x = s##S;					\
    67    r = fn1##S (a);				\
    68    if (x.i != s##S.i || x.j != s##S.j		\
    69        || x.k != s##S.k || x.l != s##S.l		\
    70        || ((v + a) & mask) != r)			\
    71      abort ();					\
    72    v = myrnd ();					\
    73    a = myrnd ();					\
    74    s##S.k = v;					\
    75    x = s##S;					\
    76    r = fn2##S (a);				\
    77    if (x.i != s##S.i || x.j != s##S.j		\
    78        || x.k != s##S.k || x.l != s##S.l		\
    79        || ((((v + a) & mask) % 15) & mask) != r)	\
    80      abort ();					\
    81    v = myrnd ();					\
    82    a = myrnd ();					\
    83    s##S.k = v;					\
    84    x = s##S;					\
    85    r = fn3##S (a);				\
    86    if (x.i != s##S.i || x.j != s##S.j		\
    87        || s##S.k != r || x.l != s##S.l		\
    88        || ((v + a) & mask) != r)			\
    89      abort ();					\
    90  }
    91  
    92  struct A { unsigned int i : 6, l : 1, j : 10, k : 15; }; T(A)
    93  struct B { unsigned int i : 6, j : 11, k : 15; unsigned int l; }; T(B)
    94  struct C { unsigned int l; unsigned int i : 6, j : 11, k : 15; }; T(C)
    95  struct D { unsigned long long l : 6, i : 6, j : 23, k : 29; }; T(D)
    96  struct E { unsigned long long l, i : 12, j : 23, k : 29; }; T(E)
    97  struct F { unsigned long long i : 12, j : 23, k : 29, l; }; T(F)
    98  struct G { unsigned int i : 12, j : 13, k : 7; unsigned long long l; }; T(G)
    99  struct H { unsigned int i : 12, j : 11, k : 9; unsigned long long l; }; T(H)
   100  struct I { unsigned short i : 1, j : 6, k : 9; unsigned long long l; }; T(I)
   101  struct J { unsigned short i : 1, j : 8, k : 7; unsigned short l; }; T(J)
   102  struct K { unsigned int k : 6, l : 1, j : 10, i : 15; }; T(K)
   103  struct L { unsigned int k : 6, j : 11, i : 15; unsigned int l; }; T(L)
   104  struct M { unsigned int l; unsigned int k : 6, j : 11, i : 15; }; T(M)
   105  struct N { unsigned long long l : 6, k : 6, j : 23, i : 29; }; T(N)
   106  struct O { unsigned long long l, k : 12, j : 23, i : 29; }; T(O)
   107  struct P { unsigned long long k : 12, j : 23, i : 29, l; }; T(P)
   108  struct Q { unsigned int k : 12, j : 13, i : 7; unsigned long long l; }; T(Q)
   109  struct R { unsigned int k : 12, j : 11, i : 9; unsigned long long l; }; T(R)
   110  struct S { unsigned short k : 1, j : 6, i : 9; unsigned long long l; }; T(S)
   111  struct T { unsigned short k : 1, j : 8, i : 7; unsigned short l; }; T(T)
   112  struct U { unsigned short j : 6, k : 1, i : 9; unsigned long long l; }; T(U)
   113  struct V { unsigned short j : 8, k : 1, i : 7; unsigned short l; }; T(V)
   114  struct W { long double l; unsigned int k : 12, j : 13, i : 7; }; T(W)
   115  struct X { unsigned int k : 12, j : 13, i : 7; long double l; }; T(X)
   116  struct Y { unsigned int k : 12, j : 11, i : 9; long double l; }; T(Y)
   117  struct 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  }