7 files changed, 179 insertions, 0 deletions

diff --git a/src/regress/lib/libc/ieeefp/Makefile b/src/regress/lib/libc/ieeefp/Makefile
new file mode 100644
index 0000000000..f9a6035fa9
--- /dev/null
+++ b/src/regress/lib/libc/ieeefp/Makefile
@@ -0,0 +1,8 @@
+#       $OpenBSD: Makefile,v 1.5 2002/02/23 01:25:11 art Exp $
+#       $NetBSD: Makefile,v 1.5 1996/04/09 16:54:18 phil Exp $
+
+SUBDIR+= except inf round
+
+install:
+
+.include <bsd.subdir.mk>
diff --git a/src/regress/lib/libc/ieeefp/except/Makefile b/src/regress/lib/libc/ieeefp/except/Makefile
new file mode 100644
index 0000000000..ff620e016b
--- /dev/null
+++ b/src/regress/lib/libc/ieeefp/except/Makefile
@@ -0,0 +1,5 @@
+#       $OpenBSD: Makefile,v 1.4 2002/02/18 11:22:26 art Exp $
+
+PROG=except
+
+.include <bsd.regress.mk>
diff --git a/src/regress/lib/libc/ieeefp/except/except.c b/src/regress/lib/libc/ieeefp/except/except.c
new file mode 100644
index 0000000000..7df9abea07
--- /dev/null
+++ b/src/regress/lib/libc/ieeefp/except/except.c
@@ -0,0 +1,91 @@
+/*      $OpenBSD: except.c,v 1.5 2003/09/02 23:52:16 david Exp $        */
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <signal.h>
+#include <assert.h>
+#include <ieeefp.h>
+#include <float.h>
+
+volatile sig_atomic_t signal_cought;
+
+static volatile const double one  = 1.0;
+static volatile const double zero = 0.0;
+static volatile const double huge = DBL_MAX;
+static volatile const double tiny = DBL_MIN;
+
+static void
+sigfpe(int signo)
+{
+        signal_cought = 1;
+}
+
+int
+main(int argc, char *argv[])
+{
+        volatile double x;
+
+        /*
+         * check to make sure that all exceptions are masked and 
+         * that the accumulated exception status is clear.
+         */
+        assert(fpgetmask() == 0);
+        assert(fpgetsticky() == 0);
+
+        /* set up signal handler */
+        signal (SIGFPE, sigfpe);
+        signal_cought = 0;
+
+        /* trip divide by zero */
+        x = one / zero;
+        assert (fpgetsticky() & FP_X_DZ);
+        assert (signal_cought == 0);
+        fpsetsticky(0);
+
+        /* trip invalid operation */
+        x = zero / zero;
+        assert (fpgetsticky() & FP_X_INV);
+        assert (signal_cought == 0);
+        fpsetsticky(0);
+
+        /* trip overflow */
+        x = huge * huge;
+        assert (fpgetsticky() & FP_X_OFL);
+        assert (signal_cought == 0);
+        fpsetsticky(0);
+
+        /* trip underflow */
+        x = tiny * tiny;
+        assert (fpgetsticky() & FP_X_UFL);
+        assert (signal_cought == 0);
+        fpsetsticky(0);
+
+#if 0
+        /* unmask and then trip divide by zero */
+        fpsetmask(FP_X_DZ);
+        x = one / zero;
+        assert (signal_cought == 1);
+        signal_cought = 0;
+
+        /* unmask and then trip invalid operation */
+        fpsetmask(FP_X_INV);
+        x = zero / zero;
+        assert (signal_cought == 1);
+        signal_cought = 0;
+
+        /* unmask and then trip overflow */
+        fpsetmask(FP_X_OFL);
+        x = huge * huge;
+        assert (signal_cought == 1);
+        signal_cought = 0;
+
+        /* unmask and then trip underflow */
+        fpsetmask(FP_X_UFL);
+        x = tiny * tiny;
+        assert (signal_cought == 1);
+        signal_cought = 0;
+#endif
+
+        exit(0);
+}
+
diff --git a/src/regress/lib/libc/ieeefp/inf/Makefile b/src/regress/lib/libc/ieeefp/inf/Makefile
new file mode 100644
index 0000000000..b9a50e0ce6
--- /dev/null
+++ b/src/regress/lib/libc/ieeefp/inf/Makefile
@@ -0,0 +1,9 @@
+#       $OpenBSD: Makefile,v 1.1 2002/02/16 17:22:16 pvalchev Exp $
+
+PROG=   inf
+SRCS=   inf.c
+
+LDADD+= -lm
+DPADD+= ${LIBM}
+
+.include <bsd.regress.mk>
diff --git a/src/regress/lib/libc/ieeefp/inf/inf.c b/src/regress/lib/libc/ieeefp/inf/inf.c
new file mode 100644
index 0000000000..a1956145a6
--- /dev/null
+++ b/src/regress/lib/libc/ieeefp/inf/inf.c
@@ -0,0 +1,16 @@
+/*      $OpenBSD: inf.c,v 1.3 2003/07/31 21:48:03 deraadt Exp $ */
+
+/*
+ * Peter Valchev <pvalchev@openbsd.org> Public Domain, 2002.
+ */
+
+#include <math.h>
+
+int
+main(int argc, char *argv[])
+{
+        if (isinf(HUGE_VAL))
+                return 0;
+
+        return 1;
+}
diff --git a/src/regress/lib/libc/ieeefp/round/Makefile b/src/regress/lib/libc/ieeefp/round/Makefile
new file mode 100644
index 0000000000..9ea6dd8c39
--- /dev/null
+++ b/src/regress/lib/libc/ieeefp/round/Makefile
@@ -0,0 +1,5 @@
+#       $OpenBSD: Makefile,v 1.4 2002/02/18 11:25:34 art Exp $
+
+PROG=   round
+
+.include <bsd.regress.mk>
diff --git a/src/regress/lib/libc/ieeefp/round/round.c b/src/regress/lib/libc/ieeefp/round/round.c
new file mode 100644
index 0000000000..807941ea56
--- /dev/null
+++ b/src/regress/lib/libc/ieeefp/round/round.c
@@ -0,0 +1,45 @@
+/*      $OpenBSD: round.c,v 1.3 2003/07/31 21:48:03 deraadt Exp $       */
+/*      $NetBSD: round.c,v 1.1 1995/04/26 00:27:28 jtc Exp $    */
+
+/*
+ * Written by J.T. Conklin, Apr 18, 1995
+ * Public domain.
+ */
+
+#include <assert.h>
+#include <stdlib.h>
+#include <ieeefp.h>
+#include <float.h>
+
+int
+main(int argc, char *argv[])
+{
+        /*
+         * This test would be better if it actually performed some
+         * calculations to verify the selected rounding mode.  But
+         * this is probably acceptable since the fp{get,set}round
+         * functions usually just get or set the processors fpu
+         * control word.
+         */
+
+        assert(fpgetround() == FP_RN);
+        assert(FLT_ROUNDS == 1);
+
+        assert(fpsetround(FP_RP) == FP_RN);
+        assert(fpgetround() == FP_RP);
+        assert(FLT_ROUNDS == 2);
+
+        assert(fpsetround(FP_RM) == FP_RP);
+        assert(fpgetround() == FP_RM);
+        assert(FLT_ROUNDS == 3);
+
+        assert(fpsetround(FP_RZ) == FP_RM);
+        assert(fpgetround() == FP_RZ);
+        assert(FLT_ROUNDS == 0);
+
+        assert(fpsetround(FP_RN) == FP_RZ);
+        assert(fpgetround() == FP_RN);
+        assert(FLT_ROUNDS == 1);
+
+        exit(0);
+}