1  /* { dg-do compile { target { s390*-*-* } } } */
       2  /* { dg-options "-march=z14 -mzarch -mzvector" } */
       3  
       4  /* The builtin was not correctly defined in the vecintrin.h header
       5     file.  */
       6  
       7  #include <vecintrin.h>
       8  
       9  typedef __vector float v4sf;
      10  
      11  v4sf
      12  foo (v4sf a, v4sf b, v4sf c) {
      13    return vec_madd(a, b, c);
      14  }