1  /* { dg-do compile { target { aarch64*-*-* } } } */
       2  
       3  #include <arm_neon.h>
       4  
       5  uint32x4_t foo (uint64x2_t a, uint64x2_t b)
       6  {
       7    return vrshrn_high_n_u64 (vrshrn_n_u64 (a, 32), b, 32);
       8  }
       9  
      10  /* { dg-final { scan-assembler-times {\traddhn\t} 1 } } */
      11  /* { dg-final { scan-assembler-times {\traddhn2\t} 1 } } */