// 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); }