1  /* { dg-do compile } */
       2  /* { dg-require-effective-target arm_fp16fml_neon_ok } */
       3  /* { dg-add-options arm_fp16fml_neon }  */
       4  
       5  #include "arm_neon.h"
       6  
       7  float32x2_t
       8  test_vfmlal_high_f16 (float32x2_t r, float16x4_t a, float16x4_t b)
       9  {
      10    return vfmlal_high_f16 (r, a, b);
      11  }
      12  
      13  float32x4_t
      14  test_vfmlalq_high_f16 (float32x4_t r, float16x8_t a, float16x8_t b)
      15  {
      16    return vfmlalq_high_f16 (r, a, b);
      17  }
      18  
      19  float32x2_t
      20  test_vfmlsl_high_f16 (float32x2_t r, float16x4_t a, float16x4_t b)
      21  {
      22    return vfmlsl_high_f16 (r, a, b);
      23  }
      24  
      25  float32x4_t
      26  test_vfmlslq_high_f16 (float32x4_t r, float16x8_t a, float16x8_t b)
      27  {
      28    return vfmlslq_high_f16 (r, a, b);
      29  }
      30  
      31  /* { dg-final { scan-assembler-times {vfmal.f16\td[0-9]+, s[123]?[13579], s[123]?[13579]} 1 } } */
      32  /* { dg-final { scan-assembler-times {vfmal.f16\tq[0-9]+, d[123]?[13579], d[123]?[13579]} 1 } } */
      33  /* { dg-final { scan-assembler-times {vfmsl.f16\td[0-9]+, s[123]?[13579], s[123]?[13579]} 1 } } */
      34  /* { dg-final { scan-assembler-times {vfmsl.f16\tq[0-9]+, d[123]?[13579], d[123]?[13579]} 1 } } */