New file. Test for exception handling functions.
[kopensolaris-gnu/glibc.git] / math / test-fenv.c
1 /* Test for exception handling functions of libm */
2
3 #ifndef _GNU_SOURCE
4 # define _GNU_SOURCE
5 #endif
6
7 #include <complex.h>
8 #include <math.h>
9 #include <float.h>
10 #include <fenv.h>
11
12 #include <errno.h>
13 #include <stdlib.h>
14 #include <stdio.h>
15 #include <string.h>
16
17 /*
18   Since not all architectures might define all exceptions, we define
19   a private set and map accordingly.
20 */
21 #define NO_EXC 0
22 #define INEXACT_EXC 0x1
23 #define DIVBYZERO_EXC 0x2
24 #define UNDERFLOW_EXC 0x04
25 #define OVERFLOW_EXC 0x08
26 #define INVALID_EXC 0x10
27 #define ALL_EXC \
28         (INEXACT_EXC | DIVBYZERO_EXC | UNDERFLOW_EXC | OVERFLOW_EXC | \
29          INVALID_EXC)
30
31 static int count_errors;
32
33 /* Test whether a given exception was raised.  */
34 static void
35 test_single_exception (short int exception,
36                        short int exc_flag,
37                        fexcept_t fe_flag,
38                        const char *flag_name)
39 {
40   if (exception & exc_flag)
41     {
42       if (fetestexcept (fe_flag))
43         printf ("  Pass: Exception \"%s\" is set\n", flag_name);
44       else
45         {
46           printf ("  Fail: Exception \"%s\" is not set\n", flag_name);
47           ++count_errors;
48         }
49     }
50   else
51     {
52       if (fetestexcept (fe_flag))
53         {
54           printf ("  Fail: Exception \"%s\" is set\n", flag_name);
55           ++count_errors;
56         }
57       else
58         {
59           printf ("  Pass: Exception \"%s\" is not set\n", flag_name);
60         }
61     }
62 }
63
64 static void
65 test_exceptions (const char *test_name, short int exception)
66 {
67   printf ("Test: %s\n", test_name);
68 #ifdef FE_DIVBYZERO
69   test_single_exception (exception, DIVBYZERO_EXC, FE_DIVBYZERO,
70                          "DIVBYZERO");
71 #endif
72 #ifdef FE_INVALID
73   test_single_exception (exception, INVALID_EXC, FE_INVALID,
74                          "INVALID");
75 #endif
76 #ifdef FE_INEXACT
77   test_single_exception (exception, INEXACT_EXC, FE_INEXACT,
78                          "INEXACT");
79 #endif
80 #ifdef FE_UNDERFLOW
81   test_single_exception (exception, UNDERFLOW_EXC, FE_UNDERFLOW,
82                          "UNDERFLOW");
83 #endif
84 #ifdef FE_OVERFLOW
85   test_single_exception (exception, OVERFLOW_EXC, FE_OVERFLOW,
86                          "OVERFLOW");
87 #endif
88 }
89
90
91 static void
92 set_single_exc (const char *test_name, int fe_exc, fexcept_t exception)
93 {
94   char str[200];
95
96   strcpy (str, test_name);
97   strcat (str, ": set flag, with rest not set");
98   feclearexcept (FE_ALL_EXCEPT);
99   feraiseexcept (exception);
100   test_exceptions (str, fe_exc);
101
102   strcpy (str, test_name);
103   strcat (str, ": clear flag, rest also unset");
104   feclearexcept (exception);
105   test_exceptions (str, NO_EXC);
106
107   strcpy (str, test_name);
108   strcat (str, ": set flag, with rest set");
109   feraiseexcept (FE_ALL_EXCEPT ^ exception);
110   feraiseexcept (exception);
111   test_exceptions (str, ALL_EXC);
112
113   strcpy (str, test_name);
114   strcat (str, ": clear flag, leave rest set");
115   feclearexcept (exception);
116   test_exceptions (str, ALL_EXC ^ fe_exc);
117 }
118
119 static void
120 fe_tests (void)
121 {
122   /* clear all exceptions and test if all are cleared */
123   feclearexcept (FE_ALL_EXCEPT);
124   test_exceptions ("feclearexcept (FE_ALL_EXCEPT) clears all exceptions",
125                    NO_EXC);
126
127   /* raise all exceptions and test if all are raised */
128   feraiseexcept (FE_ALL_EXCEPT);
129   test_exceptions ("feraiseexcept (FE_ALL_EXCEPT) raises all exceptions",
130                    ALL_EXC);
131   feclearexcept (FE_ALL_EXCEPT);
132
133
134 #ifdef FE_DIVBYZERO
135   set_single_exc ("Set/Clear FE_DIVBYZERO", DIVBYZERO_EXC, FE_DIVBYZERO);
136 #endif
137 #ifdef FE_INVALID
138   set_single_exc ("Set/Clear FE_INVALID", INVALID_EXC, FE_INVALID);
139 #endif
140 #ifdef FE_INEXACT
141   set_single_exc ("Set/Clear FE_INEXACT", INEXACT_EXC, FE_INEXACT);
142 #endif
143 #ifdef FE_UNDERFLOW
144   set_single_exc ("Set/Clear FE_UNDERFLOW", UNDERFLOW_EXC, FE_UNDERFLOW);
145 #endif
146 #ifdef FE_OVERFLOW
147   set_single_exc ("Set/Clear FE_OVERFLOW", OVERFLOW_EXC, FE_OVERFLOW);
148 #endif
149 }
150
151 int
152 main (void)
153 {
154   fe_tests ();
155   /* _LIB_VERSION = _SVID;*/
156
157   if (count_errors)
158     {
159       printf ("\n%d errors occured.\n", count_errors);
160       exit (1);
161     }
162   printf ("\n All tests passed successfully.\n");
163   exit (0);
164 }