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 uint32_t
foo(uint32_t a,int32x4_t b,int32x4_t c)8 foo (uint32_t a, int32x4_t b, int32x4_t c)
9 {
10   return vabavq_s32 (a, b, c);
11 }
12 
13 /* { dg-final { scan-assembler "vabav.s32"  }  } */
14 
15 uint32_t
foo1(uint32_t a,int32x4_t b,int32x4_t c)16 foo1 (uint32_t a, int32x4_t b, int32x4_t c)
17 {
18   return vabavq (a, b, c);
19 }
20 
21 /* { dg-final { scan-assembler "vabav.s32"  }  } */
22