// CHECK: test_vqaddd_s64 int64_t test_vqaddd_s64(int64_t a, int64_t b) { return vqaddd_s64(a, b); // CHECK: sqadd {{d[0-9]+}}, {{d[0-9]+}}, {{d[0-9]+}} }
int64_t test_vqaddd_s64 (int64_t a, int64_t b) { return vqaddd_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)); }