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
foo(v4sf a,v4sf b,v4sf c)12 foo (v4sf a, v4sf b, v4sf c) {
13   return vec_madd(a, b, c);
14 }
15