1  /* { dg-do run } */
       2  /* { dg-options "-O2" } */
       3  
       4  #include <stdlib.h>
       5  
       6  unsigned long long z = 0x012389ab4567cdefull;
       7  
       8  int main ()
       9  {
      10    unsigned long long z2 = (z << 48) | (z >> 16);
      11    if (z2 != 0xcdef012389ab4567ull)
      12      abort ();
      13    exit (0);
      14  }