void test_vabdu16 (void) { uint16x4_t out_uint16x4_t; uint16x4_t arg0_uint16x4_t; uint16x4_t arg1_uint16x4_t; out_uint16x4_t = vabd_u16 (arg0_uint16x4_t, arg1_uint16x4_t); }
inline uint16x4_t vabd(const uint16x4_t & v0, const uint16x4_t & v1) { return vabd_u16(v0, v1); }