1  /* { dg-do run { target int128 } } */
       2  
       3  static unsigned __attribute__((noinline, noclone))
       4  foo (unsigned long long u)
       5  {
       6    unsigned __int128 v = u | 0xffffff81U;
       7    v >>= 64;
       8    return v;
       9  }
      10  
      11  int
      12  main ()
      13  {
      14    unsigned x = foo (27);
      15    if (x != 0)
      16      __builtin_abort ();
      17    return 0;
      18  }