1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-O2 -fno-tree-bit-ccp" } */
       3  
       4  int foo_u64_1;
       5  unsigned __int128 foo_u128_1;
       6  
       7  void
       8  foo (void)
       9  {
      10    foo_u128_1 <<= 127;
      11    foo_u64_1 += __builtin_sub_overflow_p (0, (long) foo_u128_1, 0);
      12    foo_u128_1 =
      13      foo_u128_1 >> (foo_u128_1 & 127) | foo_u128_1 << (-foo_u128_1 & 127);
      14  }