void test_vpadds8 (void) { int8x8_t out_int8x8_t; int8x8_t arg0_int8x8_t; int8x8_t arg1_int8x8_t; out_int8x8_t = vpadd_s8 (arg0_int8x8_t, arg1_int8x8_t); }
int8x8_t test_vpadd_s8 (int8x8_t __a, int8x8_t __b) { return vpadd_s8(__a, __b); }