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