1  typedef unsigned long long ull;
       2  int global;
       3  
       4  int __attribute__((noinline))
       5  foo (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  
      10  ull __attribute__((noinline))
      11  bar (ull x)
      12  {
      13    foo (1, 2, 1, 3, 1, 4, 1, 5);
      14    return x >> global;
      15  }
      16  
      17  int
      18  main (void)
      19  {
      20    if (bar (0x123456789abcdefULL) != (0x123456789abcdefULL >> 18))
      21      abort ();
      22    exit (0);
      23  }