void test_vmvnu32 (void) { uint32x2_t out_uint32x2_t; uint32x2_t arg0_uint32x2_t; out_uint32x2_t = vmvn_u32 (arg0_uint32x2_t); }
inline uint32x2_t vmvn(const uint32x2_t & v) { return vmvn_u32(v); }