void test_vqmovns64 (void) { int32x2_t out_int32x2_t; int64x2_t arg0_int64x2_t; out_int32x2_t = vqmovn_s64 (arg0_int64x2_t); }
inline int32x2_t vqmovn(const int64x2_t & v) { return vqmovn_s64(v); }