|
9 | 9 | #include "test/UnitTest/Test.h" |
10 | 10 |
|
11 | 11 | #include "src/__support/fixed_point/fx_rep.h" |
| 12 | +#include "src/__support/macros/sanitizer.h" |
| 13 | + |
| 14 | +#include <signal.h> |
12 | 15 |
|
13 | 16 | template <typename T, typename XType> |
14 | 17 | class IdivTest : public LIBC_NAMESPACE::testing::Test { |
@@ -45,19 +48,44 @@ class IdivTest : public LIBC_NAMESPACE::testing::Test { |
45 | 48 | EXPECT_EQ(func(4.2, 6.9), static_cast<XType>(0)); |
46 | 49 | EXPECT_EQ(func(4.5, 2.2), static_cast<XType>(2)); |
47 | 50 | EXPECT_EQ(func(2.2, 1.1), static_cast<XType>(2)); |
| 51 | + EXPECT_EQ(func(2.25, 1.0), static_cast<XType>(2)); |
| 52 | + EXPECT_EQ(func(2.25, 3.0), static_cast<XType>(0)); |
48 | 53 |
|
49 | 54 | if constexpr (is_signed) { |
50 | 55 | EXPECT_EQ(func(4.2, -6.9), static_cast<XType>(0)); |
51 | 56 | EXPECT_EQ(func(-6.9, 4.2), static_cast<XType>(-1)); |
52 | 57 | EXPECT_EQ(func(-2.5, 1.25), static_cast<XType>(-2)); |
| 58 | + EXPECT_EQ(func(-2.25, 1.0), static_cast<XType>(-2)); |
| 59 | + EXPECT_EQ(func(2.25, -3.0), static_cast<XType>(0)); |
53 | 60 | } |
54 | 61 | } |
55 | 62 | } |
| 63 | + |
| 64 | + void testInvalidNumbers(IdivFunc func) { |
| 65 | + constexpr bool has_integral = (FXRep::INTEGRAL_LEN > 0); |
| 66 | + |
| 67 | + EXPECT_DEATH([func] { func(0.5, 0.0); }, WITH_SIGNAL(SIGILL)); |
| 68 | + if constexpr (has_integral) { |
| 69 | + EXPECT_DEATH([func] { func(2.5, 0.0); }, WITH_SIGNAL(SIGSEGV)); |
| 70 | + } |
| 71 | + } |
56 | 72 | }; |
57 | 73 |
|
| 74 | +#if defined(LIBC_ADD_NULL_CHECKS) && !defined(LIBC_HAS_SANITIZER) |
| 75 | +#define LIST_IDIV_TESTS(Name, T, XTYpe, func) \ |
| 76 | + using LlvmLibcIdiv##Name##Test = IdivTest<T, XType>; \ |
| 77 | + TEST_F(LlvmLibcIdiv##Name##Test, InvalidNumbers) { \ |
| 78 | + testInvalidNumbers(&func); \ |
| 79 | + } \ |
| 80 | + TEST_F(LlvmLibcIdiv##Name##Test, SpecialNumbers) { \ |
| 81 | + testSpecialNumbers(&func); \ |
| 82 | + } \ |
| 83 | + static_assert(true, "Require semicolon.") |
| 84 | +#else |
58 | 85 | #define LIST_IDIV_TESTS(Name, T, XType, func) \ |
59 | 86 | using LlvmLibcIdiv##Name##Test = IdivTest<T, XType>; \ |
60 | 87 | TEST_F(LlvmLibcIdiv##Name##Test, SpecialNumbers) { \ |
61 | 88 | testSpecialNumbers(&func); \ |
62 | 89 | } \ |
63 | 90 | static_assert(true, "Require semicolon.") |
| 91 | +#endif // LIBC_HAS_ADDRESS_SANITIZER |
0 commit comments