diff options
Diffstat (limited to '')
-rw-r--r-- | src/regress/lib/libc/setjmp-fpu/Makefile | 26 | ||||
-rw-r--r-- | src/regress/lib/libc/setjmp-fpu/_setjmp.c | 16 | ||||
-rw-r--r-- | src/regress/lib/libc/setjmp-fpu/fpu.c | 53 | ||||
-rw-r--r-- | src/regress/lib/libc/setjmp-fpu/setjmp-fpu.c | 65 | ||||
-rw-r--r-- | src/regress/lib/libc/setjmp-fpu/setjmp.c | 16 | ||||
-rw-r--r-- | src/regress/lib/libc/setjmp-fpu/sigsetjmp.c | 16 |
6 files changed, 0 insertions, 192 deletions
diff --git a/src/regress/lib/libc/setjmp-fpu/Makefile b/src/regress/lib/libc/setjmp-fpu/Makefile deleted file mode 100644 index 203613931a..0000000000 --- a/src/regress/lib/libc/setjmp-fpu/Makefile +++ /dev/null | |||
@@ -1,26 +0,0 @@ | |||
1 | # $OpenBSD: Makefile,v 1.6 2021/04/19 15:56:37 kettenis Exp $ | ||
2 | |||
3 | PROGS= fpu _setjmp setjmp sigsetjmp | ||
4 | |||
5 | LDADD= -lm | ||
6 | |||
7 | REGRESS_TARGETS = run-fpu | ||
8 | run-fpu: fpu | ||
9 | # check fpu functions without setjmp/longjmp before testing the latter | ||
10 | ./fpu | ||
11 | |||
12 | .for p in ${PROGS:M*jmp} | ||
13 | REGRESS_TARGETS += run-$p | ||
14 | run-$p: $p | ||
15 | ./$p | ||
16 | .endfor | ||
17 | |||
18 | .if ${MACHINE} == powerpc64 | ||
19 | # The powerpc64 ELFv2 ABI explicitly states that exception enable bits | ||
20 | # and rounding control bits are not restored by longjmp(3) | ||
21 | .for p in ${PROGS:M*jmp} | ||
22 | REGRESS_EXPECTED_FAILURES += run-$p | ||
23 | .endfor | ||
24 | .endif | ||
25 | |||
26 | .include <bsd.regress.mk> | ||
diff --git a/src/regress/lib/libc/setjmp-fpu/_setjmp.c b/src/regress/lib/libc/setjmp-fpu/_setjmp.c deleted file mode 100644 index dba5d7259d..0000000000 --- a/src/regress/lib/libc/setjmp-fpu/_setjmp.c +++ /dev/null | |||
@@ -1,16 +0,0 @@ | |||
1 | /* $OpenBSD: _setjmp.c,v 1.4 2020/01/13 14:58:38 bluhm Exp $ */ | ||
2 | |||
3 | int test__setjmp(void); | ||
4 | |||
5 | int | ||
6 | main(int argc, char *argv[]) | ||
7 | { | ||
8 | return test__setjmp(); | ||
9 | } | ||
10 | |||
11 | #define SETJMP(env, savemask) _setjmp(env) | ||
12 | #define LONGJMP(env, val) _longjmp(env, val) | ||
13 | #define TEST_SETJMP test__setjmp | ||
14 | #define JMP_BUF jmp_buf | ||
15 | |||
16 | #include "setjmp-fpu.c" | ||
diff --git a/src/regress/lib/libc/setjmp-fpu/fpu.c b/src/regress/lib/libc/setjmp-fpu/fpu.c deleted file mode 100644 index e585702887..0000000000 --- a/src/regress/lib/libc/setjmp-fpu/fpu.c +++ /dev/null | |||
@@ -1,53 +0,0 @@ | |||
1 | /* $OpenBSD: fpu.c,v 1.3 2021/06/17 12:55:38 kettenis Exp $ */ | ||
2 | |||
3 | #include <err.h> | ||
4 | #include <fenv.h> | ||
5 | #include <stdlib.h> | ||
6 | |||
7 | int | ||
8 | main(int argc, char *argv[]) | ||
9 | { | ||
10 | fexcept_t flag; | ||
11 | int rv; | ||
12 | |||
13 | /* Set up the FPU control word register. */ | ||
14 | rv = fesetround(FE_UPWARD); | ||
15 | if (rv != 0) | ||
16 | errx(2, "fesetround FE_UPWARD returned %d", rv); | ||
17 | fedisableexcept(FE_ALL_EXCEPT); | ||
18 | feenableexcept(FE_DIVBYZERO); | ||
19 | |||
20 | /* Set the FPU exception flags. */ | ||
21 | flag = FE_OVERFLOW; | ||
22 | rv = fesetexceptflag(&flag, FE_ALL_EXCEPT); | ||
23 | if (rv != 0) | ||
24 | errx(2, "fesetexceptflag returned %d", rv); | ||
25 | |||
26 | /* Schedule another process, to check if kernel preserves state. */ | ||
27 | rv = system("true"); | ||
28 | if (rv == -1) | ||
29 | err(2, "system"); | ||
30 | if (rv != 0) | ||
31 | errx(2, "true: %d", rv); | ||
32 | |||
33 | /* Verify that the FPU control word is preserved. */ | ||
34 | rv = fegetround(); | ||
35 | if (rv != FE_UPWARD) | ||
36 | errx(1, "fegetround returned %d, not FE_UPWARD", rv); | ||
37 | #if !defined(__arm__) && !defined(__aarch64__) && !defined(__riscv) | ||
38 | rv = fegetexcept(); | ||
39 | if (rv != FE_DIVBYZERO) | ||
40 | errx(1, "fegetexcept returned %d, not FE_DIVBYZERO", | ||
41 | rv); | ||
42 | #endif | ||
43 | |||
44 | /* Verify that the FPU exception flags weren't clobbered. */ | ||
45 | flag = 0; | ||
46 | rv = fegetexceptflag(&flag, FE_ALL_EXCEPT); | ||
47 | if (rv != 0) | ||
48 | errx(2, "fegetexceptflag returned %d", rv); | ||
49 | if (flag != FE_OVERFLOW) | ||
50 | errx(1, "except flag is %d, no FE_OVERFLOW", rv); | ||
51 | |||
52 | return (0); | ||
53 | } | ||
diff --git a/src/regress/lib/libc/setjmp-fpu/setjmp-fpu.c b/src/regress/lib/libc/setjmp-fpu/setjmp-fpu.c deleted file mode 100644 index b5ffd8948e..0000000000 --- a/src/regress/lib/libc/setjmp-fpu/setjmp-fpu.c +++ /dev/null | |||
@@ -1,65 +0,0 @@ | |||
1 | /* $OpenBSD: setjmp-fpu.c,v 1.7 2021/06/17 12:55:38 kettenis Exp $ */ | ||
2 | |||
3 | #include <err.h> | ||
4 | #include <fenv.h> | ||
5 | #include <setjmp.h> | ||
6 | |||
7 | int | ||
8 | TEST_SETJMP(void) | ||
9 | { | ||
10 | JMP_BUF env; | ||
11 | fexcept_t flag; | ||
12 | int rv; | ||
13 | |||
14 | /* Set up the FPU control word register. */ | ||
15 | rv = fesetround(FE_UPWARD); | ||
16 | if (rv != 0) | ||
17 | errx(2, "fesetround FE_UPWARD returned %d", rv); | ||
18 | fedisableexcept(FE_ALL_EXCEPT); | ||
19 | feenableexcept(FE_DIVBYZERO); | ||
20 | |||
21 | rv = SETJMP(env, 0); | ||
22 | |||
23 | switch(rv) { | ||
24 | case 0: { | ||
25 | /* Mess with the FPU control word. */ | ||
26 | rv = fesetround(FE_DOWNWARD); | ||
27 | if (rv != 0) | ||
28 | errx(2, "fesetround FE_DOWNWARD returned %d", rv); | ||
29 | fedisableexcept(FE_DIVBYZERO); | ||
30 | |||
31 | /* Set the FPU exception flags. */ | ||
32 | flag = FE_OVERFLOW; | ||
33 | rv = fesetexceptflag(&flag, FE_ALL_EXCEPT); | ||
34 | if (rv != 0) | ||
35 | errx(2, "fesetexceptflag returned %d", rv); | ||
36 | |||
37 | LONGJMP(env, 1); | ||
38 | errx(2, "longjmp returned"); | ||
39 | } | ||
40 | case 1: { | ||
41 | /* Verify that the FPU control word is preserved. */ | ||
42 | rv = fegetround(); | ||
43 | if (rv != FE_UPWARD) | ||
44 | errx(1, "fegetround returned %d, not FE_UPWARD", rv); | ||
45 | #if !defined(__arm__) && !defined(__aarch64__) && !defined(__riscv) | ||
46 | rv = fegetexcept(); | ||
47 | if (rv != FE_DIVBYZERO) | ||
48 | errx(1, "fegetexcept returned %d, not FE_DIVBYZERO", | ||
49 | rv); | ||
50 | #endif | ||
51 | |||
52 | /* Verify that the FPU exception flags weren't clobbered. */ | ||
53 | flag = 0; | ||
54 | rv = fegetexceptflag(&flag, FE_ALL_EXCEPT); | ||
55 | if (rv != 0) | ||
56 | errx(2, "fegetexceptflag returned %d", rv); | ||
57 | if (flag != FE_OVERFLOW) | ||
58 | errx(1, "except flag is %d, no FE_OVERFLOW", rv); | ||
59 | |||
60 | return (0); | ||
61 | } | ||
62 | default: | ||
63 | errx(2, "setjmp returned %d", rv); | ||
64 | } | ||
65 | } | ||
diff --git a/src/regress/lib/libc/setjmp-fpu/setjmp.c b/src/regress/lib/libc/setjmp-fpu/setjmp.c deleted file mode 100644 index e12731da37..0000000000 --- a/src/regress/lib/libc/setjmp-fpu/setjmp.c +++ /dev/null | |||
@@ -1,16 +0,0 @@ | |||
1 | /* $OpenBSD: setjmp.c,v 1.4 2020/01/13 14:58:38 bluhm Exp $ */ | ||
2 | |||
3 | int test_setjmp(void); | ||
4 | |||
5 | int | ||
6 | main(int argc, char *argv[]) | ||
7 | { | ||
8 | return test_setjmp(); | ||
9 | } | ||
10 | |||
11 | #define SETJMP(env, savemask) setjmp(env) | ||
12 | #define LONGJMP(env, val) longjmp(env, val) | ||
13 | #define TEST_SETJMP test_setjmp | ||
14 | #define JMP_BUF jmp_buf | ||
15 | |||
16 | #include "setjmp-fpu.c" | ||
diff --git a/src/regress/lib/libc/setjmp-fpu/sigsetjmp.c b/src/regress/lib/libc/setjmp-fpu/sigsetjmp.c deleted file mode 100644 index 8c7a22a92b..0000000000 --- a/src/regress/lib/libc/setjmp-fpu/sigsetjmp.c +++ /dev/null | |||
@@ -1,16 +0,0 @@ | |||
1 | /* $OpenBSD: sigsetjmp.c,v 1.4 2020/01/13 14:58:38 bluhm Exp $ */ | ||
2 | |||
3 | int test_sigsetjmp(void); | ||
4 | |||
5 | int | ||
6 | main(int argc, char *argv[]) | ||
7 | { | ||
8 | return test_sigsetjmp(); | ||
9 | } | ||
10 | |||
11 | #define SETJMP(env, savemask) sigsetjmp(env, savemask) | ||
12 | #define LONGJMP(env, val) siglongjmp(env, val) | ||
13 | #define TEST_SETJMP test_sigsetjmp | ||
14 | #define JMP_BUF sigjmp_buf | ||
15 | |||
16 | #include "setjmp-fpu.c" | ||