libc/test/src/fenv/exception_status_test.cpp

   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/FEnvImpl.h"
  14 #include "test/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::disable_except(FE_ALL_EXCEPT);
  24
  25   int excepts[] = {FE_DIVBYZERO, FE_INVALID, FE_INEXACT, FE_OVERFLOW,
  26                    FE_UNDERFLOW};
  27
  28   constexpr int ALL_EXCEPTS =
  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(ALL_EXCEPTS);
 116   ASSERT_EQ(r, 0);
 117   int s = __llvm_libc::fetestexcept(ALL_EXCEPTS);
 118   ASSERT_EQ(s, ALL_EXCEPTS);
 119 }