| /* { dg-do compile { target { aarch64*-*-* } } } */ | |
| #include <arm_neon.h> | |
| uint32x4_t foo (uint64x2_t a, uint64x2_t b) | |
| { | |
| return vrshrn_high_n_u64 (vrshrn_n_u64 (a, 32), b, 32); | |
| } | |
| /* { dg-final { scan-assembler-times {\traddhn\t} 1 } } */ | |
| /* { dg-final { scan-assembler-times {\traddhn2\t} 1 } } */ |