1 /* { dg-do compile { target { s390*-*-* } } } */
2 /* { dg-options "-O3 -mzarch -march=z13" } */
3 
4 typedef __attribute__((vector_size(16))) signed int v4si;
5 
6 v4si
adddbl(v4si a,v4si b)7 adddbl (v4si a, v4si b)
8 {
9   return a + b;
10 }
11 
12 v4si
subdbl(v4si a,v4si b)13 subdbl (v4si a, v4si b)
14 {
15   return a - b;
16 }
17 
18 v4si
muldbl(v4si a,v4si b)19 muldbl (v4si a, v4si b)
20 {
21   return a * b;
22 }
23 
24 v4si
divdbl(v4si a,v4si b)25 divdbl (v4si a, v4si b)
26 {
27   return a / b;
28 }
29 
30 v4si
fmadbl(v4si a,v4si b,v4si c)31 fmadbl (v4si a, v4si b, v4si c)
32 {
33   return a * b + c;
34 }
35 
36 v4si
fmsdbl(v4si a,v4si b,v4si c)37 fmsdbl (v4si a, v4si b, v4si c)
38 {
39   return a * b - c;
40 }
41