1  /* { dg-do compile } */
       2  /* { dg-options "-O -fdump-tree-optimized" } */
       3  
       4  #define INT_BITS  (sizeof (int) * __CHAR_BIT__)
       5  #define ROL(x, y) ((x) << (y) | (x) >> (INT_BITS - (y)))
       6  #define ROR(x, y) ((x) >> (y) | (x) << (INT_BITS - (y)))
       7  
       8  unsigned
       9  rol (unsigned a, unsigned b)
      10  {
      11    return ~ROL (~a, b);
      12  }
      13  
      14  unsigned int
      15  ror (unsigned a, unsigned b)
      16  {
      17    return ~ROR (~a, b);
      18  }
      19  
      20  int
      21  rol_conv1 (int a, unsigned b)
      22  {
      23    return ~(int)ROL((unsigned)~a, b);
      24  }
      25  
      26  int
      27  rol_conv2 (int a, unsigned b)
      28  {
      29    return ~ROL((unsigned)~a, b);
      30  }
      31  
      32  int
      33  rol_conv3 (unsigned a, unsigned b)
      34  {
      35    return ~(int)ROL(~a, b);
      36  }
      37  
      38  #define LONG_BITS  (sizeof (long) * __CHAR_BIT__)
      39  #define ROLL(x, y) ((x) << (y) | (x) >> (LONG_BITS - (y)))
      40  #define RORL(x, y) ((x) >> (y) | (x) << (LONG_BITS - (y)))
      41  
      42  unsigned long
      43  roll (unsigned long a, unsigned long b)
      44  {
      45    return ~ROLL (~a, b);
      46  }
      47  
      48  unsigned long
      49  rorl (unsigned long a, unsigned long b)
      50  {
      51    return ~RORL (~a, b);
      52  }
      53  
      54  /* { dg-final { scan-tree-dump-not "~" "optimized" } } */