void test_vmaxs8 (void)
{
int8x8_t out_int8x8_t;
int8x8_t arg0_int8x8_t;
int8x8_t arg1_int8x8_t;
out_int8x8_t = vmax_s8 (arg0_int8x8_t, arg1_int8x8_t);
}
inline int8x8_t vmax(const int8x8_t & v0, const int8x8_t & v1) { return vmax_s8 (v0, v1); }
int8x8_t
test_vmax_s8 (int8x8_t __a, int8x8_t __b)
{
return vmax_s8(__a, __b);
}