void test_vcgef32 (void) { uint32x2_t out_uint32x2_t; float32x2_t arg0_float32x2_t; float32x2_t arg1_float32x2_t; out_uint32x2_t = vcge_f32 (arg0_float32x2_t, arg1_float32x2_t); }
inline uint32x2_t vcge(const float32x2_t & v0, const float32x2_t & v1) { return vcge_f32(v0, v1); }