1 /* { dg-do compile { target { aarch64*-*-* } } } */
5 uint32x4_t
foo (uint64x2_t a
, uint64x2_t b
)
7 return vrshrn_high_n_u64 (vrshrn_n_u64 (a
, 32), b
, 32);
10 /* { dg-final { scan-assembler-times {\traddhn\t} 1 } } */
11 /* { dg-final { scan-assembler-times {\traddhn2\t} 1 } } */