1typedef unsigned long long ull;
2int global;
3
4int __attribute__((noinline))
5foo (int x1, int x2, int x3, int x4, int x5, int x6, int x7, int x8)
6{
7  global = x1 + x2 + x3 + x4 + x5 + x6 + x7 + x8;
8}
9
10ull __attribute__((noinline))
11bar (ull x)
12{
13  foo (1, 2, 1, 3, 1, 4, 1, 5);
14  return x >> global;
15}
16
17int
18main (void)
19{
20  if (bar (0x123456789abcdefULL) != (0x123456789abcdefULL >> 18))
21    abort ();
22  exit (0);
23}
24