1  /* { dg-do compile } */
       2  /* { dg-options "-mvis3" } */
       3  typedef int __v2si __attribute__((vector_size(8)));
       4  typedef int __v1si __attribute__((vector_size(4)));
       5  typedef short __v4hi __attribute__((vector_size(8)));
       6  typedef short __v2hi __attribute__((vector_size(4)));
       7  
       8  __v4hi test_fpadds16 (__v4hi x, __v4hi y)
       9  {
      10    return __builtin_vis_fpadds16 (x, y);
      11  }
      12  
      13  __v2hi test_fpadds16s (__v2hi x, __v2hi y)
      14  {
      15    return __builtin_vis_fpadds16s (x, y);
      16  }
      17  
      18  __v4hi test_fpsubs16 (__v4hi x, __v4hi y)
      19  {
      20    return __builtin_vis_fpsubs16 (x, y);
      21  }
      22  
      23  __v2hi test_fpsubs16s (__v2hi x, __v2hi y)
      24  {
      25    return __builtin_vis_fpsubs16s (x, y);
      26  }
      27  
      28  __v2si test_fpadds32 (__v2si x, __v2si y)
      29  {
      30    return __builtin_vis_fpadds32 (x, y);
      31  }
      32  
      33  __v1si test_fpadds32s (__v1si x, __v1si y)
      34  {
      35    return __builtin_vis_fpadds32s (x, y);
      36  }
      37  
      38  __v2si test_fpsubs32 (__v2si x, __v2si y)
      39  {
      40    return __builtin_vis_fpsubs32 (x, y);
      41  }
      42  
      43  __v1si test_fpsubs32s (__v1si x, __v1si y)
      44  {
      45    return __builtin_vis_fpsubs32s (x, y);
      46  }
      47  
      48  /* { dg-final { scan-assembler "fpadds16\t%" } } */
      49  /* { dg-final { scan-assembler "fpadds16s\t%" } } */
      50  /* { dg-final { scan-assembler "fpsubs16\t%" } } */
      51  /* { dg-final { scan-assembler "fpsubs16s\t%" } } */
      52  /* { dg-final { scan-assembler "fpadds32\t%" } } */
      53  /* { dg-final { scan-assembler "fpadds32s\t%" } } */
      54  /* { dg-final { scan-assembler "fpsubs32\t%" } } */
      55  /* { dg-final { scan-assembler "fpsubs32s\t%" } } */