1  /* { dg-do run { target int128 } } */
       2  /* { dg-options "-std=gnu99" { target c } } */
       3  /* { dg-options "" { target c++ } } */
       4  
       5  #ifndef __cplusplus
       6  extern void abort (void);
       7  #else
       8  extern "C" void abort (void);
       9  #endif
      10  
      11  #define MK_CONST128(A,B,C,D) \
      12          ( (((unsigned __int128) (unsigned int) A) << 96) \
      13           | (((unsigned __int128) (unsigned int) B) << 64) \
      14           | (((unsigned __int128) (unsigned int) C) << 32) \
      15           | ((unsigned __int128) (unsigned int) D) )
      16  
      17  #define MK_CONST128_SIGNED(A,B,C,D) \
      18          ((__int128) MK_CONST128(A, B, C, D))
      19  
      20  #define MINUS_2 MK_CONST128_SIGNED (0xffffffffu, 0xffffffffu, 0xffffffffu, \
      21  		0xfffffffeu)
      22  #define MINUS_3 MK_CONST128_SIGNED (0xffffffffu, 0xffffffffu, 0xffffffffu, \
      23  		0xfffffffdu)
      24  #define MINUS_6 MK_CONST128_SIGNED (0xffffffffu, 0xffffffffu, 0xffffffffu, \
      25  		0xfffffffau)
      26  #define PLUS_1	MK_CONST128_SIGNED (0, 0, 0, 1)
      27  #define PLUS_2	MK_CONST128_SIGNED (0, 0, 0, 2)
      28  #define PLUS_3	MK_CONST128_SIGNED (0, 0, 0, 3)
      29  #define PLUS_6	MK_CONST128_SIGNED (0, 0, 0, 6)
      30  #define PLUS_10	MK_CONST128_SIGNED (0, 0, 0, 10)
      31  
      32  #define U_8	MK_CONST128 (0, 0, 0, 8)
      33  #define U_MAX	MK_CONST128 (0xffffffff,0xffffffff,0xffffffff,0xffffffff)
      34  #define U_CST1	MK_CONST128 (0xbeeffeed, 0xdeafcafe, 0xaffefade, 0x12345678)
      35  #define U_CST2	MK_CONST128 (0x41100112, 0x21503501, 0x50010521, 0xedcba987)
      36  
      37  signed __int128 foo_neg (signed __int128 v)
      38  {
      39    return -v;
      40  }
      41  
      42  unsigned __int128 foo_xor (unsigned __int128 x, unsigned __int128 y)
      43  {
      44    return x ^ y;
      45  }
      46  
      47  unsigned __int128 foo_inv (unsigned __int128 v)
      48  {
      49    return ~v;
      50  }
      51  
      52  unsigned __int128 foo_rotate_left (unsigned __int128 v)
      53  {
      54    unsigned __int128 c;
      55    int i;
      56    for (i = 0; i < 128; i++)
      57      {
      58        c = v >> 127;
      59        v <<= 1;
      60        v |= c;
      61      }
      62    return v;
      63  }
      64  
      65  unsigned __int128 foo_rotate_right (unsigned __int128 v)
      66  {
      67    unsigned __int128 c;
      68    int i;
      69    for (i = 0; i < 128; i++)
      70      {
      71        c = (v & ((unsigned __int128) 1)) << 127;
      72        v >>= 1;
      73        v |= c;
      74      }
      75    return v;
      76  }
      77  
      78  void foo_swap (unsigned __int128 *x, unsigned __int128 *y)
      79  {
      80    unsigned __int128 x1 = x[0];
      81    unsigned __int128 y1 = y[0];
      82    x1 ^= y1 ^= x1 ^= y1;
      83    x[0] = x1;
      84    y[0] = y1;
      85  }
      86  
      87  __int128 foo_add (signed __int128 a, unsigned __int128 b)
      88  {
      89    return (__int128) (a + (__int128) b);
      90  }
      91  
      92  __int128 foo_sub (unsigned __int128 a, signed __int128 b)
      93  {
      94    return (__int128) ((__int128) a - b);
      95  }
      96  
      97  __int128 foo_mul (signed __int128 a, signed __int128 b)
      98  {
      99    return a * b;
     100  }
     101  
     102  __int128 foo_div (signed __int128 a, signed __int128 b)
     103  {
     104    return a / b;
     105  }
     106  
     107  __int128 foo_shl (signed __int128 a, int shift)
     108  {
     109    return a << (shift & 127);
     110  }
     111  
     112  __int128 foo_shr (signed __int128 a, int shift)
     113  {
     114    return a >> (shift & 127);
     115  }
     116  
     117  int main(void)
     118  {
     119    __int128 rslt;
     120    unsigned __int128 u1, u2;
     121  
     122    rslt = foo_add (MINUS_2, U_8);
     123    if (rslt != PLUS_6)
     124      abort ();
     125    rslt = foo_sub (U_8, MINUS_2);
     126    if (rslt != PLUS_10)
     127       abort ();
     128    rslt = foo_sub ((unsigned __int128) foo_mul (MINUS_2, MINUS_2), MINUS_2);
     129    if (rslt != PLUS_6)
     130      abort ();
     131    if (rslt != foo_shl (PLUS_3, 1))
     132      abort ();
     133    rslt = foo_shl (MINUS_3, 1);
     134    if (rslt != MINUS_6)
     135      abort ();
     136    if (foo_shr (MINUS_6, 1) != MINUS_3)
     137      abort ();
     138    if (foo_div (MINUS_6, MINUS_3) != PLUS_2)
     139      abort ();
     140    if (foo_rotate_left (U_CST1) != U_CST1)
     141      abort ();
     142    if (foo_rotate_right (U_CST1) != U_CST1)
     143      abort ();
     144    u1 = U_CST1;
     145    u2 = U_8;
     146    foo_swap (&u1, &u2);
     147    if (u1 != U_8 || u2 != U_CST1)
     148      abort ();
     149  
     150    if (foo_inv (U_CST2) != U_CST1)
     151      abort ();
     152    if (foo_neg (PLUS_2) != MINUS_2)
     153      abort ();
     154    if (foo_neg ((signed __int128) U_CST1) != foo_add (PLUS_1, foo_xor (U_CST1, U_MAX)))
     155      abort ();
     156    return 0;
     157  }