1  /* { dg-do compile { target { s390*-*-* } } } */
       2  /* { dg-options "-O3 -mzarch -march=z13 -mzvector -fno-asynchronous-unwind-tables" } */
       3  
       4  #include <vecintrin.h>
       5  
       6  vector unsigned char test(void)
       7  {
       8     vector unsigned char a = { 0 };
       9     return __builtin_s390_vec_addc_u128 (a, a);
      10  }