void test_vmvns32 (void) { int32x2_t out_int32x2_t; int32x2_t arg0_int32x2_t; out_int32x2_t = vmvn_s32 (arg0_int32x2_t); }
inline int32x2_t vmvn(const int32x2_t & v) { return vmvn_s32(v); }