1 /* { dg-require-effective-target arm_v8_1m_mve_ok } */
2 /* { dg-add-options arm_v8_1m_mve } */
3 /* { dg-additional-options "-O2" } */
4 
5 #include "arm_mve.h"
6 
7 uint64_t
foo(uint64_t a,uint32x4_t b,uint32x4_t c,mve_pred16_t p)8 foo (uint64_t a, uint32x4_t b, uint32x4_t c, mve_pred16_t p)
9 {
10   return vmlaldavaxq_p_u32 (a, b, c, p);
11 }
12 
13 /* { dg-final { scan-assembler "vmlaldavaxt.u32"  }  } */
14 
15 uint64_t
foo1(uint64_t a,uint32x4_t b,uint32x4_t c,mve_pred16_t p)16 foo1 (uint64_t a, uint32x4_t b, uint32x4_t c, mve_pred16_t p)
17 {
18   return vmlaldavaxq_p (a, b, c, p);
19 }
20 
21 /* { dg-final { scan-assembler "vmlaldavaxt.u32"  }  } */
22