void test_vabss16 (void)
{
int16x4_t out_int16x4_t;
int16x4_t arg0_int16x4_t;
out_int16x4_t = vabs_s16 (arg0_int16x4_t);
}
int16x4_t sub_abs_to_vabd_16()
{
int16x4_t val1 = vdup_n_s16 (10);
int16x4_t val2 = vdup_n_s16 (30);
int16x4_t sres = vsub_s16(val1, val2);
int16x4_t res = vabs_s16 (sres);
return res;
}