1 // RUN: %clang_builtins %s %librt -o %t && %run %t
2 // REQUIRES: librt_has_adddf3vfp
10 #if defined(__arm__) && defined(__ARM_FP) && (__ARM_FP & 0x8)
11 extern COMPILER_RT_ABI
double __adddf3vfp(double a
, double b
);
13 int test__adddf3vfp(double a
, double b
)
15 double actual
= __adddf3vfp(a
, b
);
16 double expected
= a
+ b
;
17 if (actual
!= expected
)
18 printf("error in test__adddf3vfp(%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__adddf3vfp(1.0, 1.0))
29 if (test__adddf3vfp(HUGE_VAL
, HUGE_VAL
))
31 if (test__adddf3vfp(0.0, HUGE_VAL
))
33 if (test__adddf3vfp(0.0, -0.0))