1 // RUN: %clang_builtins %s %librt -o %t && %run %t
2 // REQUIRES: librt_has_divdf3vfp
10 #if defined(__arm__) && defined(__ARM_FP) && (__ARM_FP & 0x8)
11 extern COMPILER_RT_ABI
double __divdf3vfp(double a
, double b
);
13 int test__divdf3vfp(double a
, double b
)
15 double actual
= __divdf3vfp(a
, b
);
16 double expected
= a
/ b
;
17 if (actual
!= expected
)
18 printf("error in test__divdf3vfp(%f, %f) = %f, expected %f\n",
19 a
, b
, actual
, expected
);
20 return actual
!= expected
;
26 #if defined(__arm__) && defined(__ARM_FP) && (__ARM_FP & 0x8)
27 if (test__divdf3vfp(1.0, 1.0))
29 if (test__divdf3vfp(12345.678, 1.23))
31 if (test__divdf3vfp(-10.0, 0.25))
33 if (test__divdf3vfp(10.0, -2.0))