void test_veorQu64 (void)
{
uint64x2_t out_uint64x2_t;
uint64x2_t arg0_uint64x2_t;
uint64x2_t arg1_uint64x2_t;
out_uint64x2_t = veorq_u64 (arg0_uint64x2_t, arg1_uint64x2_t);
}
uint64x2_t test_veorq_u64(uint64x2_t a, uint64x2_t b) {
// CHECK-LABEL: test_veorq_u64
return veorq_u64(a, b);
// CHECK: eor {{v[0-9]+}}.16b, {{v[0-9]+}}.16b, {{v[0-9]+}}.16b
}