1 /* { dg-require-effective-target arm_v8_1m_mve_fp_ok } */
2 /* { dg-add-options arm_v8_1m_mve_fp } */
3 /* { dg-additional-options "-O2" } */
4 
5 #include "arm_mve.h"
6 
7 float16x8_t
foo(float16x8_t a,mve_pred16_t p)8 foo (float16x8_t a, mve_pred16_t p)
9 {
10   return vrev32q_x_f16 (a, p);
11 }
12 
13 /* { dg-final { scan-assembler "vpst" } } */
14 /* { dg-final { scan-assembler "vrev32t.16"  }  } */
15 
16 float16x8_t
foo1(float16x8_t a,mve_pred16_t p)17 foo1 (float16x8_t a, mve_pred16_t p)
18 {
19   return vrev32q_x (a, p);
20 }
21 
22 /* { dg-final { scan-assembler "vpst" } } */
23