void test_vcgts32 (void) { uint32x2_t out_uint32x2_t; int32x2_t arg0_int32x2_t; int32x2_t arg1_int32x2_t; out_uint32x2_t = vcgt_s32 (arg0_int32x2_t, arg1_int32x2_t); }
inline uint32x2_t vcgt(const int32x2_t & v0, const int32x2_t & v1) { return vcgt_s32(v0, v1); }