void test_vandQs64 (void)
{
int64x2_t out_int64x2_t;
int64x2_t arg0_int64x2_t;
int64x2_t arg1_int64x2_t;
out_int64x2_t = vandq_s64 (arg0_int64x2_t, arg1_int64x2_t);
}
int64x2_t test_vandq_s64(int64x2_t a, int64x2_t b) {
// CHECK-LABEL: test_vandq_s64
return vandq_s64(a, b);
// CHECK: and {{v[0-9]+}}.16b, {{v[0-9]+}}.16b, {{v[0-9]+}}.16b
}