1  /* PR target/88906 */
       2  /* { dg-do run { target ia32 } } */
       3  /* { dg-options "-O -march=i386 -mtune=k6 -minline-all-stringops -minline-stringops-dynamically -mmemcpy-strategy=libcall:-1:align -Wno-psabi" } */
       4  
       5  typedef unsigned V __attribute__ ((vector_size (16)));
       6  
       7  static inline V
       8  foo (V v)
       9  {
      10    __builtin_sub_overflow (0, 0, &v[0]);
      11    return v;
      12  }
      13  
      14  int
      15  main ()
      16  {
      17    V v = foo ((V) { ~0 });
      18    if (v[0] || v[1] || v[2] || v[3])
      19      __builtin_abort ();
      20    return 0;
      21  }