void test_vcges32 (void) { uint32x2_t out_uint32x2_t; int32x2_t arg0_int32x2_t; int32x2_t arg1_int32x2_t; out_uint32x2_t = vcge_s32 (arg0_int32x2_t, arg1_int32x2_t); }
inline uint32x2_t vcge(const int32x2_t & v0, const int32x2_t & v1) { return vcge_s32(v0, v1); }