Add a regression test for ldexp(3).

3 files changed, 82 insertions, 2 deletions

diff --git a/src/regress/lib/libc/Makefile b/src/regress/lib/libc/Makefile
index c91456d826..0530008c49 100644
--- a/src/regress/lib/libc/Makefile
+++ b/src/regress/lib/libc/Makefile
@@ -1,4 +1,4 @@
-#       $OpenBSD: Makefile,v 1.50 2017/07/27 17:56:35 bluhm Exp $
+#       $OpenBSD: Makefile,v 1.51 2017/10/15 12:15:30 visa Exp $
 
 SUBDIR+= _setjmp
 SUBDIR+= alloca arc4random-fork atexit
@@ -10,7 +10,7 @@ SUBDIR+= fmemopen fnmatch fpclassify
 SUBDIR+= getaddrinfo getcap getopt_long glob
 SUBDIR+= hsearch
 SUBDIR+= ieeefp ifnameindex
-SUBDIR+= longjmp locale
+SUBDIR+= ldexp longjmp locale
 SUBDIR+= malloc mkstemp modf
 SUBDIR+= netdb
 SUBDIR+= open_memstream orientation
diff --git a/src/regress/lib/libc/ldexp/Makefile b/src/regress/lib/libc/ldexp/Makefile
new file mode 100644
index 0000000000..bfe79ac679
--- /dev/null
+++ b/src/regress/lib/libc/ldexp/Makefile
@@ -0,0 +1,5 @@
+#       $OpenBSD: Makefile,v 1.1 2017/10/15 12:15:30 visa Exp $
+
+PROG=ldexp_test
+
+.include <bsd.regress.mk>
diff --git a/src/regress/lib/libc/ldexp/ldexp_test.c b/src/regress/lib/libc/ldexp/ldexp_test.c
new file mode 100644
index 0000000000..75031e3083
--- /dev/null
+++ b/src/regress/lib/libc/ldexp/ldexp_test.c
@@ -0,0 +1,75 @@
+/*      $OpenBSD: ldexp_test.c,v 1.1 2017/10/15 12:15:30 visa Exp $     */
+
+/*
+ * Copyright (c) 2017 Visa Hankala
+ *
+ * Permission to use, copy, modify, and distribute this software for any
+ * purpose with or without fee is hereby granted, provided that the above
+ * copyright notice and this permission notice appear in all copies.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ */
+
+#include <assert.h>
+#include <math.h>
+
+int
+main(int argc, char *argv[])
+{
+        double f;
+
+        /*
+         * Test that the result has the correct sign.
+         * Assumes IEEE 754 double-precision arithmetics.
+         */
+
+        assert(ldexp(1.0, -1022) > 0.0); /* IEEE 754 minimum normal positive */
+        assert(ldexp(1.0, -1023) > 0.0); /* subnormal positive */
+        assert(ldexp(1.0, -1024) > 0.0); /* subnormal positive */
+        assert(ldexp(1.0, -1074) > 0.0); /* minimum subnormal positive */
+        assert(ldexp(1.0, -1075) >= 0.0); /* zero */
+        assert(ldexp(ldexp(1.0, -1022), -53) >= 0.0); /* zero */
+
+        assert(ldexp(1.0, 1023) > 0.0); /* normal positive */
+
+        f = ldexp(1.0, 1024);           /* infinite positive */
+        assert(isinf(f));
+        assert(!signbit(f));
+
+        f = ldexp(ldexp(1.0, 1023), 1); /* infinite positive */
+        assert(isinf(f));
+        assert(!signbit(f));
+
+        assert(ldexp(-1.0, -1022) < 0.0); /* IEEE 754 maximum normal negative */
+        assert(ldexp(-1.0, -1023) < 0.0); /* subnormal negative */
+        assert(ldexp(-1.0, -1024) < 0.0); /* subnormal negative */
+        assert(ldexp(-1.0, -1074) < 0.0); /* maximum subnormal negative */
+        assert(ldexp(-1.0, -1075) <= 0.0); /* zero */
+        assert(ldexp(ldexp(-1.0, -1022), -53) <= 0.0); /* zero */
+
+        assert(ldexp(-1.0, 1023) < 0.0); /* normal negative */
+
+        f = ldexp(-1.0, 1024);          /* infinite negative */
+        assert(isinf(f));
+        assert(signbit(f));
+
+        f = ldexp(ldexp(-1.0, 1023), 1); /* infinite negative */
+        assert(isinf(f));
+        assert(signbit(f));
+
+        f = ldexp(NAN, 0);
+        assert(isnan(f));
+        assert(!signbit(f));
+
+        f = ldexp(-NAN, 0);
+        assert(isnan(f));
+        assert(signbit(f));
+
+        return 0;
+}