// CHECK-LABEL: define i64 @test_vcvtd_s64_f64(double %a) #0 {
// CHECK:   [[TMP0:%.*]] = fptosi double %a to i64
// CHECK:   ret i64 [[TMP0]]
int64_t test_vcvtd_s64_f64(float64_t a) {
  return (int64_t)vcvtd_s64_f64(a);
}
int64_t test_vcvtd_s64_f64(float64_t a) {
// CHECK-LABEL: test_vcvtd_s64_f64
// CHECK: fcvtzs {{[dx][0-9]+}}, {{d[0-9]+}}
  return (int64_t)vcvtd_s64_f64(a);
}