1  /* { dg-do compile } */
       2  /* { dg-options "-O -fno-tree-fre -w -Wno-psabi" } */
       3  
       4  typedef unsigned v2ti __attribute__ ((vector_size (32)));
       5  
       6  v2ti
       7  foo (v2ti u, v2ti v)
       8  {
       9    u[0] >>= 0xf;
      10    v ^= ~v;
      11    v &= ~u;
      12    v -= -u;
      13    return v;
      14  }