libc/test/UnitTest/FPExceptMatcher.h

   1 //===-- FPExceptMatcher.h ---------------------------------------*- C++ -*-===//
   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 #ifndef LLVM_LIBC_UTILS_UNITTEST_FPEXCEPTMATCHER_H
  10 #define LLVM_LIBC_UTILS_UNITTEST_FPEXCEPTMATCHER_H
  11
  12 #ifndef LIBC_COPT_TEST_USE_FUCHSIA
  13
  14 #include "test/UnitTest/Test.h"
  15
  16 namespace LIBC_NAMESPACE {
  17 namespace testing {
  18
  19 // TODO: Make the matcher match specific exceptions instead of just identifying
  20 // that an exception was raised.
  21 class FPExceptMatcher : public Matcher<bool> {
  22   bool exceptionRaised;
  23
  24 public:
  25   class FunctionCaller {
  26   public:
  27     virtual ~FunctionCaller(){};
  28     virtual void call() = 0;
  29   };
  30
  31   template <typename Func> static FunctionCaller *getFunctionCaller(Func func) {
  32     struct Callable : public FunctionCaller {
  33       Func f;
  34       explicit Callable(Func theFunc) : f(theFunc) {}
  35       void call() override { f(); }
  36     };
  37
  38     return new Callable(func);
  39   }
  40
  41   // Takes ownership of func.
  42   explicit FPExceptMatcher(FunctionCaller *func);
  43
  44   bool match(bool unused) { return exceptionRaised; }
  45
  46   void explainError() override {
  47     tlog << "A floating point exception should have been raised but it "
  48          << "wasn't\n";
  49   }
  50 };
  51
  52 } // namespace testing
  53 } // namespace LIBC_NAMESPACE
  54
  55 #define ASSERT_RAISES_FP_EXCEPT(func)                                          \
  56   ASSERT_THAT(                                                                 \
  57       true,                                                                    \
  58       LIBC_NAMESPACE::testing::FPExceptMatcher(                                \
  59           LIBC_NAMESPACE::testing::FPExceptMatcher::getFunctionCaller(func)))
  60 #else
  61 #define ASSERT_RAISES_FP_EXCEPT(func) ASSERT_DEATH(func, WITH_SIGNAL(SIGFPE))
  62 #endif // LIBC_COPT_TEST_USE_FUCHSIA
  63
  64 #endif // LLVM_LIBC_UTILS_UNITTEST_FPEXCEPTMATCHER_H