1  /* PR rtl-optimization/78378 */
       2  
       3  unsigned long long __attribute__ ((noinline, noclone))
       4  foo (unsigned long long x)
       5  {
       6    x <<= 41;
       7    x /= 232;
       8    return 1 + (unsigned short) x;
       9  }
      10  
      11  int
      12  main ()
      13  {
      14    unsigned long long x = foo (1);
      15    if (x != 0x2c24)
      16      __builtin_abort();
      17    return 0;
      18  }