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.

3 files changed, 44 insertions, 1 deletions

diff --git a/regress/lib/libc/Makefile b/regress/lib/libc/Makefile
index 016255e9dc3..3109c0c1fdf 100644
--- a/regress/lib/libc/Makefile
+++ b/regress/lib/libc/Makefile
@@ -1,4 +1,4 @@
-#	$OpenBSD: Makefile,v 1.37 2013/08/01 21:26:30 kettenis Exp $
+#	$OpenBSD: Makefile,v 1.38 2013/12/29 01:39:44 martynas Exp $
 
 SUBDIR+= _setjmp alloca atexit basename cephes cxa-atexit db dirname env
 SUBDIR+= fmemopen fnmatch fpclassify getcap getopt_long glob
@@ -10,6 +10,7 @@ SUBDIR+= telldir time vis
 
 .if defined(REGRESS_FULL)
 SUBDIR+= getaddrinfo
+SUBDIR+= setjmp-fpu
 .endif
 
 .if (${MACHINE_ARCH} != "vax")
diff --git a/regress/lib/libc/setjmp-fpu/Makefile b/regress/lib/libc/setjmp-fpu/Makefile
new file mode 100644
index 00000000000..471de4821c8
--- /dev/null
+++ b/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/regress/lib/libc/setjmp-fpu/setjmp-fpu.c b/regress/lib/libc/setjmp-fpu/setjmp-fpu.c
new file mode 100644
index 00000000000..bbc562d6bdd
--- /dev/null
+++ b/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);
+}