1  /* { dg-do compile { target { s390*-*-* } } } */
       2  /* { dg-options "-O3 -mzarch -march=z13 --save-temps" } */
       3  
       4  typedef __attribute__((vector_size(16))) double v2df;
       5  
       6  v2df
       7  adddbl (v2df a, v2df b)
       8  {
       9    return a + b;
      10  }
      11  /* { dg-final { scan-assembler-times "vfadb" 1 } } */
      12  
      13  v2df
      14  subdbl (v2df a, v2df b)
      15  {
      16    return a - b;
      17  }
      18  /* { dg-final { scan-assembler-times "vfsdb" 1 } } */
      19  
      20  v2df
      21  muldbl (v2df a, v2df b)
      22  {
      23    return a * b;
      24  }
      25  /* { dg-final { scan-assembler-times "vfmdb" 1 } } */
      26  
      27  v2df
      28  divdbl (v2df a, v2df b)
      29  {
      30    return a / b;
      31  }
      32  /* { dg-final { scan-assembler-times "vfd" 1 } } */
      33  
      34  v2df
      35  fmadbl (v2df a, v2df b, v2df c)
      36  {
      37    return a * b + c;
      38  }
      39  /* { dg-final { scan-assembler-times "vfma" 1 } } */
      40  
      41  v2df
      42  fmsdbl (v2df a, v2df b, v2df c)
      43  {
      44    return a * b - c;
      45  }
      46  /* { dg-final { scan-assembler-times "vfms" 1 } } */
      47