1  /* PR middle-end/85195 */
       2  /* { dg-do compile { target int128 } } */
       3  /* { dg-options "-Wno-psabi -O -fno-tree-ccp" } */
       4  
       5  typedef __int128 V __attribute__ ((vector_size (16)));
       6  
       7  extern int bar (V);
       8  
       9  V v;
      10  int i;
      11  
      12  V
      13  foo (void)
      14  {
      15    do
      16      v *= bar (v & i);
      17    while ((V){}[0]);
      18    return v;
      19  }