Add a regression test to verify that the FPU control word state is

preserved by setjmp.  Currently under REGRESS_FULL as this fails
on certain archs.

2 files changed, 42 insertions, 0 deletions

diff --git a/src/regress/lib/libc/setjmp-fpu/Makefile b/src/regress/lib/libc/setjmp-fpu/Makefile
new file mode 100644
index 0000000000..471de4821c
--- /dev/null
+++ b/src/regress/lib/libc/setjmp-fpu/Makefile
@@ -0,0 +1,8 @@
+#       $OpenBSD: Makefile,v 1.1 2013/12/29 01:39:44 martynas Exp $
+
+PROG=   setjmp-fpu
+SRCS=   setjmp-fpu.c
+
+LDADD=  -lm
+
+.include <bsd.regress.mk>
diff --git a/src/regress/lib/libc/setjmp-fpu/setjmp-fpu.c b/src/regress/lib/libc/setjmp-fpu/setjmp-fpu.c
new file mode 100644
index 0000000000..bbc562d6bd
--- /dev/null
+++ b/src/regress/lib/libc/setjmp-fpu/setjmp-fpu.c
@@ -0,0 +1,34 @@
+#include <fenv.h>
+#include <setjmp.h>
+
+int
+main(int argc, char *argv[])
+{
+        jmp_buf env;
+        int rv;
+
+        /* Set up the FPU control word register. */
+        fesetround(FE_UPWARD);
+        fedisableexcept(FE_ALL_EXCEPT);
+        feenableexcept(FE_DIVBYZERO);
+
+        rv = setjmp(env);
+
+        /* Mess with the FPU control word. */
+        if (rv == 0) {
+                fesetround(FE_DOWNWARD);
+                fedisableexcept(FE_DIVBYZERO);
+                longjmp(env, 1);
+        /* Verify that the FPU control word is preserved. */
+        } else if (rv == 1) {
+                if (fegetround() != FE_UPWARD
+                    || fegetexcept() != FE_DIVBYZERO)
+                        return (1);
+                return (0);
+        /* This is not supposed to happen. */
+        } else {
+                return (1);
+        }
+
+        return (1);
+}