1 //===-- Unittests for feclearexcept, feraiseexcept and fetestexpect -------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #include "src/fenv/feclearexcept.h"
10 #include "src/fenv/feraiseexcept.h"
11 #include "src/fenv/fetestexcept.h"
12 
13 #include "src/__support/FPUtil/FEnvUtils.h"
14 #include "utils/UnitTest/Test.h"
15 
16 #include <fenv.h>
17 
18 TEST(LlvmLibcExceptionStatusTest, RaiseAndTest) {
19   // This test raises a set of exceptions and checks that the exception
20   // status flags are updated. The intention is really not to invoke the
21   // exception handler. Hence, we will disable all exceptions at the
22   // beginning.
23   __llvm_libc::fputil::disableExcept(FE_ALL_EXCEPT);
24 
25   int excepts[] = {FE_DIVBYZERO, FE_INVALID, FE_INEXACT, FE_OVERFLOW,
26                    FE_UNDERFLOW};
27 
28   constexpr int allExcepts =
29       FE_DIVBYZERO | FE_INVALID | FE_INEXACT | FE_OVERFLOW | FE_UNDERFLOW;
30 
31   for (int e : excepts) {
32     int r = __llvm_libc::feraiseexcept(e);
33     ASSERT_EQ(r, 0);
34     int s = __llvm_libc::fetestexcept(e);
35     ASSERT_EQ(s, e);
36 
37     r = __llvm_libc::feclearexcept(e);
38     ASSERT_EQ(r, 0);
39     s = __llvm_libc::fetestexcept(e);
40     ASSERT_EQ(s, 0);
41   }
42 
43   for (int e1 : excepts) {
44     for (int e2 : excepts) {
45       int e = e1 | e2;
46       int r = __llvm_libc::feraiseexcept(e);
47       ASSERT_EQ(r, 0);
48       int s = __llvm_libc::fetestexcept(e);
49       ASSERT_EQ(s, e);
50 
51       r = __llvm_libc::feclearexcept(e);
52       ASSERT_EQ(r, 0);
53       s = __llvm_libc::fetestexcept(e);
54       ASSERT_EQ(s, 0);
55     }
56   }
57 
58   for (int e1 : excepts) {
59     for (int e2 : excepts) {
60       for (int e3 : excepts) {
61         int e = e1 | e2 | e3;
62         int r = __llvm_libc::feraiseexcept(e);
63         ASSERT_EQ(r, 0);
64         int s = __llvm_libc::fetestexcept(e);
65         ASSERT_EQ(s, e);
66 
67         r = __llvm_libc::feclearexcept(e);
68         ASSERT_EQ(r, 0);
69         s = __llvm_libc::fetestexcept(e);
70         ASSERT_EQ(s, 0);
71       }
72     }
73   }
74 
75   for (int e1 : excepts) {
76     for (int e2 : excepts) {
77       for (int e3 : excepts) {
78         for (int e4 : excepts) {
79           int e = e1 | e2 | e3 | e4;
80           int r = __llvm_libc::feraiseexcept(e);
81           ASSERT_EQ(r, 0);
82           int s = __llvm_libc::fetestexcept(e);
83           ASSERT_EQ(s, e);
84 
85           r = __llvm_libc::feclearexcept(e);
86           ASSERT_EQ(r, 0);
87           s = __llvm_libc::fetestexcept(e);
88           ASSERT_EQ(s, 0);
89         }
90       }
91     }
92   }
93 
94   for (int e1 : excepts) {
95     for (int e2 : excepts) {
96       for (int e3 : excepts) {
97         for (int e4 : excepts) {
98           for (int e5 : excepts) {
99             int e = e1 | e2 | e3 | e4 | e5;
100             int r = __llvm_libc::feraiseexcept(e);
101             ASSERT_EQ(r, 0);
102             int s = __llvm_libc::fetestexcept(e);
103             ASSERT_EQ(s, e);
104 
105             r = __llvm_libc::feclearexcept(e);
106             ASSERT_EQ(r, 0);
107             s = __llvm_libc::fetestexcept(e);
108             ASSERT_EQ(s, 0);
109           }
110         }
111       }
112     }
113   }
114 
115   int r = __llvm_libc::feraiseexcept(allExcepts);
116   ASSERT_EQ(r, 0);
117   int s = __llvm_libc::fetestexcept(allExcepts);
118   ASSERT_EQ(s, allExcepts);
119 }
120