1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-Og -finline-functions-called-once -w -Wno-psabi" } */
       3  
       4  typedef unsigned V __attribute__ ((vector_size (64)));
       5  typedef unsigned __int128 U __attribute__ ((vector_size (64)));
       6  
       7  U
       8  bar4 (U u0, U u1)
       9  {
      10    if (u1[0])
      11      u1 <<= 1;
      12    return u0 + u1;
      13  }
      14  
      15  V
      16  foo (U u, V v)
      17  {
      18    v |= (unsigned)bar4(u, (U){})[0];
      19    return v;
      20  }