void test_vqmovnu64 (void) { uint32x2_t out_uint32x2_t; uint64x2_t arg0_uint64x2_t; out_uint32x2_t = vqmovn_u64 (arg0_uint64x2_t); }
inline uint32x2_t vqmovn(const uint64x2_t & v) { return vqmovn_u64(v); }