1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-Og -fipa-cp -w -Wno-psabi" } */
       3  
       4  typedef unsigned __int128 u128;
       5  typedef unsigned __int128 V __attribute__ ((vector_size (64)));
       6  
       7  V x4;
       8  
       9  static V
      10  bar (u128 x2, u128 x3)
      11  {
      12    while (x4[0]--)
      13      x2 /= x3 >>= 1;
      14    return x2 + x3 + x4;
      15  }
      16  
      17  void
      18  foo (void)
      19  {
      20    bar (0, 0);
      21  }