uint64_t test_vqaddd_u64 (uint64_t a, uint64_t b) { return vqaddd_u64 (a, b); }
// CHECK: test_vqaddd_u64 uint64_t test_vqaddd_u64(uint64_t a, uint64_t b) { return vqaddd_u64(a, b); // CHECK: uqadd {{d[0-9]+}}, {{d[0-9]+}}, {{d[0-9]+}} }