void test_vabds8 (void) { int8x8_t out_int8x8_t; int8x8_t arg0_int8x8_t; int8x8_t arg1_int8x8_t; out_int8x8_t = vabd_s8 (arg0_int8x8_t, arg1_int8x8_t); }
inline int8x8_t vabd(const int8x8_t & v0, const int8x8_t & v1) { return vabd_s8 (v0, v1); }