1*ca90fc32Smartynas /* $OpenBSD: nextafter.c,v 1.2 2011/07/09 03:33:07 martynas Exp $ */
2b02fe2a4Smartynas
3b02fe2a4Smartynas /*
4b02fe2a4Smartynas * Written by Martynas Venckus. Public domain
5b02fe2a4Smartynas */
6b02fe2a4Smartynas
7b02fe2a4Smartynas #include <assert.h>
8b02fe2a4Smartynas #include <math.h>
9b02fe2a4Smartynas
10b02fe2a4Smartynas #define test(f, r) ( \
11b02fe2a4Smartynas ((f) == (r) && signbit((f)) == signbit((r))) || \
12b02fe2a4Smartynas (isnan((f)) && isnan((r))) \
13b02fe2a4Smartynas )
14b02fe2a4Smartynas
15b02fe2a4Smartynas int
main(int argc,char * argv[])16b02fe2a4Smartynas main(int argc, char *argv[])
17b02fe2a4Smartynas {
18b02fe2a4Smartynas assert(test(nextafter(0.0, 0.0), 0.0));
19b02fe2a4Smartynas assert(test(nextafter(-0.0, 0.0), 0.0));
20b02fe2a4Smartynas assert(test(nextafter(0.0, -0.0), -0.0));
21b02fe2a4Smartynas assert(test(nextafter(-0.0, -0.0), -0.0));
22b02fe2a4Smartynas
23*ca90fc32Smartynas assert(test(nextafterf(0.0F, 0.0F), 0.0F));
24*ca90fc32Smartynas assert(test(nextafterf(-0.0F, 0.0F), 0.0F));
25*ca90fc32Smartynas assert(test(nextafterf(0.0F, -0.0F), -0.0F));
26*ca90fc32Smartynas assert(test(nextafterf(-0.0F, -0.0F), -0.0F));
27*ca90fc32Smartynas
28*ca90fc32Smartynas assert(test(nextafterl(0.0L, 0.0L), 0.0L));
29*ca90fc32Smartynas assert(test(nextafterl(-0.0L, 0.0L), 0.0L));
30*ca90fc32Smartynas assert(test(nextafterl(0.0L, -0.0L), -0.0L));
31*ca90fc32Smartynas assert(test(nextafterf(-0.0L, -0.0L), -0.0L));
32b02fe2a4Smartynas
33b02fe2a4Smartynas assert(test(nextafter(NAN, 1.0), NAN));
34b02fe2a4Smartynas assert(test(nextafter(1.0, NAN), NAN));
35b02fe2a4Smartynas assert(test(nextafter(NAN, NAN), NAN));
36b02fe2a4Smartynas
37*ca90fc32Smartynas assert(test(nextafterf(NAN, 1.0F), NAN));
38*ca90fc32Smartynas assert(test(nextafterf(1.0F, NAN), NAN));
39b02fe2a4Smartynas assert(test(nextafterf(NAN, NAN), NAN));
40b02fe2a4Smartynas
41*ca90fc32Smartynas assert(test(nextafterl(NAN, 1.0L), NAN));
42*ca90fc32Smartynas assert(test(nextafterl(1.0L, NAN), NAN));
43*ca90fc32Smartynas assert(test(nextafterl(NAN, NAN), NAN));
44*ca90fc32Smartynas
45b02fe2a4Smartynas assert(test(nextafter(0x1.fffffffffffffp+0, INFINITY), 0x1p1));
46b02fe2a4Smartynas assert(test(nextafter(0x1p1, -INFINITY), 0x1.fffffffffffffp+0));
47b02fe2a4Smartynas
48b02fe2a4Smartynas assert(test(nextafterf(0x1.fffffep+0f, INFINITY), 0x1p1f));
49b02fe2a4Smartynas assert(test(nextafterf(0x1p1f, -INFINITY), 0x1.fffffep+0f));
50b02fe2a4Smartynas
51b02fe2a4Smartynas return (0);
52b02fe2a4Smartynas }
53