1  /* Functional test for DI right shift.  */
       2  
       3  /* { dg-do run } */
       4  /* { dg-options "-pedantic-errors" } */
       5  
       6  #include <stddef.h>
       7  #include <stdint.h>
       8  
       9  extern void abort (void);
      10  
      11  uint64_t __attribute__((noinline)) lshift_1 (uint64_t a)
      12  {
      13    return a >> 1;
      14  }
      15  
      16  uint64_t __attribute__((noinline)) lshift_10 (uint64_t a)
      17  {
      18    return a >> 10;
      19  }
      20  
      21  uint64_t __attribute__((noinline)) lshift_32 (uint64_t a)
      22  {
      23    return a >> 32;
      24  }
      25  
      26  uint64_t __attribute__((noinline)) lshift_36 (uint64_t a)
      27  {
      28    return a >> 36;
      29  }
      30  
      31  int
      32  main (int argc, char** argv)
      33  {
      34    if (lshift_1 (0xaaaa5555aaaa5555ull) != 0x55552aaad5552aaaull)
      35      abort();
      36    if (lshift_10 (0xaaaa5555aaaa5555ull) != 0x002aaa95556aaa95ull)
      37      abort();
      38    if (lshift_32 (0xaaaa5555aaaa5555ull) != 0x00000000aaaa5555ull)
      39      abort();
      40    if (lshift_36 (0xaaaa5555aaaa5555ull) != 0x000000000aaaa555ull)
      41      abort();
      42  
      43    if (lshift_1 (0x1234567822334455ull) != 0x091a2b3c1119a22aull)
      44      abort();
      45    if (lshift_10 (0x1234567822334455ull) != 0x00048d159e088cd1ull)
      46      abort();
      47    if (lshift_32 (0x1234567822334455ull) != 0x0000000012345678ull)
      48      abort();
      49    if (lshift_36 (0x1234567822334455ull) != 0x0000000001234567ull)
      50      abort();
      51  
      52    return 0;
      53  }