/* { dg-do run } */
/* { dg-options "-O2" } */

#include <stdlib.h>

unsigned long long z = 0x012389ab4567cdefull;

int main ()
{
  unsigned long long z2 = (z << 48) | (z >> 16);
  if (z2 != 0xcdef012389ab4567ull)
    abort ();
  exit (0);
}