void test_vcges16 (void)
{
uint16x4_t out_uint16x4_t;
int16x4_t arg0_int16x4_t;
int16x4_t arg1_int16x4_t;
out_uint16x4_t = vcge_s16 (arg0_int16x4_t, arg1_int16x4_t);
}
inline uint16x4_t vcge(const int16x4_t & v0, const int16x4_t & v1) { return vcge_s16(v0, v1); }