// CHECK: test_vcvtmd_u64_f64
uint64_t test_vcvtmd_u64_f64(float64_t a) {
  return vcvtmd_u64_f64(a);
// CHECK: fcvtmu {{x[0-9]+}}, {{d[0-9]+}}
}
uint64_t test_vcvtmd_u64_f64(float64_t a) {
// CHECK-LABEL: test_vcvtmd_u64_f64
// CHECK: fcvtmu {{[xd][0-9]+}}, {{d[0-9]+}}
  return (uint64_t)vcvtmd_u64_f64(a);
}