int64_t
test_vaddd_s64_2 (int64_t a, int64_t b)
{
int64_t res;
force_simd (a);
force_simd (b);
res = vaddd_s64 (a, b);
force_simd (res);
return res;
}
int64_t
test_vaddd_s64 (int64_t a, int64_t b)
{
return vaddd_s64 (a, b);
}
int64x1_t
test_vaddd_s64_2 (int64x1_t a, int64x1_t b, int64x1_t c, int64x1_t d)
{
return vqaddd_s64 (vaddd_s64 (vqaddd_s64 (a, b), vqaddd_s64 (c, d)),
vqaddd_s64 (a, d));
}