// CHECK: test_vcvtad_u64_f64
uint64_t test_vcvtad_u64_f64(float64_t a) {
  return vcvtad_u64_f64(a);
// CHECK: fcvtau {{x[0-9]+}}, {{d[0-9]+}}
}
// CHECK-LABEL: define i64 @test_vcvtad_u64_f64(double %a) #0 {
// CHECK:   [[VCVTAD_U64_F64_I:%.*]] = call i64 @llvm.aarch64.neon.fcvtau.i64.f64(double %a) #2
// CHECK:   ret i64 [[VCVTAD_U64_F64_I]]
uint64_t test_vcvtad_u64_f64(float64_t a) {
  return (uint64_t)vcvtad_u64_f64(a);
}
uint64_t test_vcvtad_u64_f64(float64_t a) {
// CHECK-LABEL: test_vcvtad_u64_f64
// CHECK: fcvtau {{[xd][0-9]+}}, {{d[0-9]+}}
  return (uint64_t)vcvtad_u64_f64(a);
}