1*71db0c75SAndroid Build Coastguard Worker //===-- FPExceptMatcher.h ---------------------------------------*- C++ -*-===// 2*71db0c75SAndroid Build Coastguard Worker // 3*71db0c75SAndroid Build Coastguard Worker // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*71db0c75SAndroid Build Coastguard Worker // See https://llvm.org/LICENSE.txt for license information. 5*71db0c75SAndroid Build Coastguard Worker // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*71db0c75SAndroid Build Coastguard Worker // 7*71db0c75SAndroid Build Coastguard Worker //===----------------------------------------------------------------------===// 8*71db0c75SAndroid Build Coastguard Worker 9*71db0c75SAndroid Build Coastguard Worker #ifndef LLVM_LIBC_TEST_UNITTEST_FPEXCEPTMATCHER_H 10*71db0c75SAndroid Build Coastguard Worker #define LLVM_LIBC_TEST_UNITTEST_FPEXCEPTMATCHER_H 11*71db0c75SAndroid Build Coastguard Worker 12*71db0c75SAndroid Build Coastguard Worker #include "src/__support/macros/config.h" 13*71db0c75SAndroid Build Coastguard Worker #include "test/UnitTest/Test.h" 14*71db0c75SAndroid Build Coastguard Worker #include "test/UnitTest/TestLogger.h" 15*71db0c75SAndroid Build Coastguard Worker 16*71db0c75SAndroid Build Coastguard Worker #if LIBC_TEST_HAS_MATCHERS() 17*71db0c75SAndroid Build Coastguard Worker 18*71db0c75SAndroid Build Coastguard Worker namespace LIBC_NAMESPACE_DECL { 19*71db0c75SAndroid Build Coastguard Worker namespace testing { 20*71db0c75SAndroid Build Coastguard Worker 21*71db0c75SAndroid Build Coastguard Worker // TODO: Make the matcher match specific exceptions instead of just identifying 22*71db0c75SAndroid Build Coastguard Worker // that an exception was raised. 23*71db0c75SAndroid Build Coastguard Worker class FPExceptMatcher : public Matcher<bool> { 24*71db0c75SAndroid Build Coastguard Worker bool exceptionRaised; 25*71db0c75SAndroid Build Coastguard Worker 26*71db0c75SAndroid Build Coastguard Worker public: 27*71db0c75SAndroid Build Coastguard Worker class FunctionCaller { 28*71db0c75SAndroid Build Coastguard Worker public: ~FunctionCaller()29*71db0c75SAndroid Build Coastguard Worker virtual ~FunctionCaller() {} 30*71db0c75SAndroid Build Coastguard Worker virtual void call() = 0; 31*71db0c75SAndroid Build Coastguard Worker }; 32*71db0c75SAndroid Build Coastguard Worker getFunctionCaller(Func func)33*71db0c75SAndroid Build Coastguard Worker template <typename Func> static FunctionCaller *getFunctionCaller(Func func) { 34*71db0c75SAndroid Build Coastguard Worker struct Callable : public FunctionCaller { 35*71db0c75SAndroid Build Coastguard Worker Func f; 36*71db0c75SAndroid Build Coastguard Worker explicit Callable(Func theFunc) : f(theFunc) {} 37*71db0c75SAndroid Build Coastguard Worker void call() override { f(); } 38*71db0c75SAndroid Build Coastguard Worker }; 39*71db0c75SAndroid Build Coastguard Worker 40*71db0c75SAndroid Build Coastguard Worker return new Callable(func); 41*71db0c75SAndroid Build Coastguard Worker } 42*71db0c75SAndroid Build Coastguard Worker 43*71db0c75SAndroid Build Coastguard Worker // Takes ownership of func. 44*71db0c75SAndroid Build Coastguard Worker explicit FPExceptMatcher(FunctionCaller *func); 45*71db0c75SAndroid Build Coastguard Worker match(bool unused)46*71db0c75SAndroid Build Coastguard Worker bool match(bool unused) { return exceptionRaised; } 47*71db0c75SAndroid Build Coastguard Worker explainError()48*71db0c75SAndroid Build Coastguard Worker void explainError() override { 49*71db0c75SAndroid Build Coastguard Worker tlog << "A floating point exception should have been raised but it " 50*71db0c75SAndroid Build Coastguard Worker << "wasn't\n"; 51*71db0c75SAndroid Build Coastguard Worker } 52*71db0c75SAndroid Build Coastguard Worker }; 53*71db0c75SAndroid Build Coastguard Worker 54*71db0c75SAndroid Build Coastguard Worker } // namespace testing 55*71db0c75SAndroid Build Coastguard Worker } // namespace LIBC_NAMESPACE_DECL 56*71db0c75SAndroid Build Coastguard Worker 57*71db0c75SAndroid Build Coastguard Worker #define ASSERT_RAISES_FP_EXCEPT(func) \ 58*71db0c75SAndroid Build Coastguard Worker ASSERT_THAT( \ 59*71db0c75SAndroid Build Coastguard Worker true, \ 60*71db0c75SAndroid Build Coastguard Worker LIBC_NAMESPACE::testing::FPExceptMatcher( \ 61*71db0c75SAndroid Build Coastguard Worker LIBC_NAMESPACE::testing::FPExceptMatcher::getFunctionCaller(func))) 62*71db0c75SAndroid Build Coastguard Worker 63*71db0c75SAndroid Build Coastguard Worker #else // !LIBC_TEST_HAS_MATCHERS() 64*71db0c75SAndroid Build Coastguard Worker 65*71db0c75SAndroid Build Coastguard Worker #define ASSERT_RAISES_FP_EXCEPT(func) ASSERT_DEATH(func, WITH_SIGNAL(SIGFPE)) 66*71db0c75SAndroid Build Coastguard Worker 67*71db0c75SAndroid Build Coastguard Worker #endif // LIBC_TEST_HAS_MATCHERS() 68*71db0c75SAndroid Build Coastguard Worker 69*71db0c75SAndroid Build Coastguard Worker #endif // LLVM_LIBC_TEST_UNITTEST_FPEXCEPTMATCHER_H 70