void test_vqmovnu32 (void) { uint16x4_t out_uint16x4_t; uint32x4_t arg0_uint32x4_t; out_uint16x4_t = vqmovn_u32 (arg0_uint32x4_t); }
inline uint16x4_t vqmovn(const uint32x4_t & v) { return vqmovn_u32(v); }