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 uint32x4_t
foo(uint32x4_t inactive,uint32x4_t a,uint32x4_t b,unsigned * carry,mve_pred16_t p)8 foo (uint32x4_t inactive, uint32x4_t a, uint32x4_t b, unsigned * carry, mve_pred16_t p)
9 {
10 return vadcq_m_u32 (inactive, a, b, carry, p);
11 }
12
13 /* { dg-final { scan-assembler "vpst" } } */
14 /* { dg-final { scan-assembler "vadct.i32" } } */
15
16 uint32x4_t
foo1(uint32x4_t inactive,uint32x4_t a,uint32x4_t b,unsigned * carry,mve_pred16_t p)17 foo1 (uint32x4_t inactive, uint32x4_t a, uint32x4_t b, unsigned * carry, mve_pred16_t p)
18 {
19 return vadcq_m (inactive, a, b, carry, p);
20 }
21
22 /* { dg-final { scan-assembler "vpst" } } */
23 /* { dg-final { scan-assembler "vadct.i32" } } */
24