6 files changed, 80 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..33d0f7e88a
--- /dev/null
+++ b/src/regress/lib/libc/setjmp-fpu/Makefile
@@ -0,0 +1,8 @@
+#       $OpenBSD: Makefile,v 1.2 2013/12/29 05:46:43 martynas Exp $
+
+PROG=   setjmp-fpu
+SRCS=   _setjmp.c main.c setjmp.c sigsetjmp.c
+
+LDADD=  -lm
+
+.include <bsd.regress.mk>
diff --git a/src/regress/lib/libc/setjmp-fpu/_setjmp.c b/src/regress/lib/libc/setjmp-fpu/_setjmp.c
new file mode 100644
index 0000000000..a10b582f3f
--- /dev/null
+++ b/src/regress/lib/libc/setjmp-fpu/_setjmp.c
@@ -0,0 +1,5 @@
+#define SETJMP(env, savemask)   _setjmp(env)
+#define LONGJMP(env, val)       _longjmp(env, val)
+#define TEST_SETJMP             test__setjmp
+
+#include "setjmp-fpu.c"
diff --git a/src/regress/lib/libc/setjmp-fpu/main.c b/src/regress/lib/libc/setjmp-fpu/main.c
new file mode 100644
index 0000000000..43f9b6216c
--- /dev/null
+++ b/src/regress/lib/libc/setjmp-fpu/main.c
@@ -0,0 +1,11 @@
+int     test__setjmp(void);
+int     test_setjmp(void);
+int     test_sigsetjmp(void);
+
+int
+main(int argc, char *argv[])
+{
+        return (test__setjmp()
+                | test_setjmp()
+                | test_sigsetjmp());
+}
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..45b3c1ee0e
--- /dev/null
+++ b/src/regress/lib/libc/setjmp-fpu/setjmp-fpu.c
@@ -0,0 +1,46 @@
+#include <fenv.h>
+#include <setjmp.h>
+
+int
+TEST_SETJMP(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, 0);
+
+        if (rv == 0) {
+                fexcept_t flag = FE_OVERFLOW;
+
+                /* Mess with the FPU control word. */
+                fesetround(FE_DOWNWARD);
+                fedisableexcept(FE_DIVBYZERO);
+
+                /* Set the FPU exception flags. */
+                fesetexceptflag(&flag, FE_ALL_EXCEPT);
+
+                LONGJMP(env, 1);
+        } else if (rv == 1) {
+                fexcept_t flag = 0;
+
+                /* Verify that the FPU control word is preserved. */
+                if (fegetround() != FE_UPWARD
+                    || fegetexcept() != FE_DIVBYZERO)
+                        return (1);
+
+                /* Verify that the FPU exception flags weren't clobbered. */
+                fegetexceptflag(&flag, FE_ALL_EXCEPT);
+                if (flag != FE_OVERFLOW)
+                        return (1);
+
+                return (0);
+        }
+
+        /* This is not supposed to happen. */
+        return (1);
+}
diff --git a/src/regress/lib/libc/setjmp-fpu/setjmp.c b/src/regress/lib/libc/setjmp-fpu/setjmp.c
new file mode 100644
index 0000000000..04de1df302
--- /dev/null
+++ b/src/regress/lib/libc/setjmp-fpu/setjmp.c
@@ -0,0 +1,5 @@
+#define SETJMP(env, savemask)   setjmp(env)
+#define LONGJMP(env, val)       longjmp(env, val)
+#define TEST_SETJMP             test_setjmp
+
+#include "setjmp-fpu.c"
diff --git a/src/regress/lib/libc/setjmp-fpu/sigsetjmp.c b/src/regress/lib/libc/setjmp-fpu/sigsetjmp.c
new file mode 100644
index 0000000000..8ba80e2612
--- /dev/null
+++ b/src/regress/lib/libc/setjmp-fpu/sigsetjmp.c
@@ -0,0 +1,5 @@
+#define SETJMP(env, savemask)   sigsetjmp(env, savemask)
+#define LONGJMP(env, val)       siglongjmp(env, val)
+#define TEST_SETJMP             test_sigsetjmp
+
+#include "setjmp-fpu.c"