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
       7  adddbl (v4si a, v4si b)
       8  {
       9    return a + b;
      10  }
      11  
      12  v4si
      13  subdbl (v4si a, v4si b)
      14  {
      15    return a - b;
      16  }
      17  
      18  v4si
      19  muldbl (v4si a, v4si b)
      20  {
      21    return a * b;
      22  }
      23  
      24  v4si
      25  divdbl (v4si a, v4si b)
      26  {
      27    return a / b;
      28  }
      29  
      30  v4si
      31  fmadbl (v4si a, v4si b, v4si c)
      32  {
      33    return a * b + c;
      34  }
      35  
      36  v4si
      37  fmsdbl (v4si a, v4si b, v4si c)
      38  {
      39    return a * b - c;
      40  }