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