1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  
       4  #include "rotate.c"
       5  
       6  #define ASSERT(EXPR)				\
       7    do						\
       8      {						\
       9        if (!(EXPR))				\
      10  	__builtin_abort ();			\
      11      } while (0)
      12  
      13  int
      14  main (void)
      15  {
      16    ASSERT (rotl (0x12345678, 8) == 0x34567812);
      17    ASSERT (rotl (0x12345678, 8 + 32) == 0x34567812);
      18  
      19    ASSERT (rotr (0x12345678, 8) == 0x78123456);
      20    ASSERT (rotr (0x12345678, 8 + 32) == 0x78123456);
      21  
      22    return 0;
      23  }