void test_vsubs64 (void)
{
int64x1_t out_int64x1_t;
int64x1_t arg0_int64x1_t;
int64x1_t arg1_int64x1_t;
out_int64x1_t = vsub_s64 (arg0_int64x1_t, arg1_int64x1_t);
}
int64x1_t
test_vsub_s64 (int64x1_t a, int64x1_t b)
{
return vsub_s64 (a, b);
}