//===- unittests/Support/MathExtrasTest.cpp - math utils tests ------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// #include "llvm/Support/MathExtras.h" #include "gtest/gtest.h" #include using namespace llvm; namespace { TEST(MathExtras, onesMask) { EXPECT_EQ(0U, maskLeadingOnes(0)); EXPECT_EQ(0U, maskTrailingOnes(0)); EXPECT_EQ(0U, maskLeadingOnes(0)); EXPECT_EQ(0U, maskTrailingOnes(0)); EXPECT_EQ(0U, maskLeadingOnes(0)); EXPECT_EQ(0U, maskTrailingOnes(0)); EXPECT_EQ(0U, maskLeadingOnes(0)); EXPECT_EQ(0U, maskTrailingOnes(0)); EXPECT_EQ(0x00000003U, maskTrailingOnes(2U)); EXPECT_EQ(0xC0000000U, maskLeadingOnes(2U)); EXPECT_EQ(0x000007FFU, maskTrailingOnes(11U)); EXPECT_EQ(0xFFE00000U, maskLeadingOnes(11U)); EXPECT_EQ(0xFFFFFFFFU, maskTrailingOnes(32U)); EXPECT_EQ(0xFFFFFFFFU, maskLeadingOnes(32U)); EXPECT_EQ(0xFFFFFFFFFFFFFFFFULL, maskTrailingOnes(64U)); EXPECT_EQ(0xFFFFFFFFFFFFFFFFULL, maskLeadingOnes(64U)); EXPECT_EQ(0x0000FFFFFFFFFFFFULL, maskTrailingOnes(48U)); EXPECT_EQ(0xFFFFFFFFFFFF0000ULL, maskLeadingOnes(48U)); } TEST(MathExtras, isIntN) { EXPECT_TRUE(isIntN(16, 32767)); EXPECT_FALSE(isIntN(16, 32768)); EXPECT_TRUE(isIntN(0, 0)); EXPECT_FALSE(isIntN(0, 1)); EXPECT_FALSE(isIntN(0, -1)); } TEST(MathExtras, isUIntN) { EXPECT_TRUE(isUIntN(16, 65535)); EXPECT_FALSE(isUIntN(16, 65536)); EXPECT_TRUE(isUIntN(1, 0)); EXPECT_TRUE(isUIntN(6, 63)); EXPECT_TRUE(isUIntN(0, 0)); EXPECT_FALSE(isUIntN(0, 1)); } TEST(MathExtras, maxIntN) { EXPECT_EQ(32767, maxIntN(16)); EXPECT_EQ(2147483647, maxIntN(32)); EXPECT_EQ(std::numeric_limits::max(), maxIntN(32)); EXPECT_EQ(std::numeric_limits::max(), maxIntN(64)); EXPECT_EQ(0, maxIntN(0)); } TEST(MathExtras, minIntN) { EXPECT_EQ(-32768LL, minIntN(16)); EXPECT_EQ(-64LL, minIntN(7)); EXPECT_EQ(std::numeric_limits::min(), minIntN(32)); EXPECT_EQ(std::numeric_limits::min(), minIntN(64)); EXPECT_EQ(0, minIntN(0)); } TEST(MathExtras, maxUIntN) { EXPECT_EQ(0xffffULL, maxUIntN(16)); EXPECT_EQ(0xffffffffULL, maxUIntN(32)); EXPECT_EQ(0xffffffffffffffffULL, maxUIntN(64)); EXPECT_EQ(1ULL, maxUIntN(1)); EXPECT_EQ(0x0fULL, maxUIntN(4)); EXPECT_EQ(0ULL, maxUIntN(0)); } TEST(MathExtras, reverseBits) { uint8_t NZ8 = 42; uint16_t NZ16 = 42; uint32_t NZ32 = 42; uint64_t NZ64 = 42; EXPECT_EQ(0x54ULL, reverseBits(NZ8)); EXPECT_EQ(0x5400ULL, reverseBits(NZ16)); EXPECT_EQ(0x54000000ULL, reverseBits(NZ32)); EXPECT_EQ(0x5400000000000000ULL, reverseBits(NZ64)); } TEST(MathExtras, isShiftedMask_32) { EXPECT_FALSE(isShiftedMask_32(0x01010101)); EXPECT_TRUE(isShiftedMask_32(0xf0000000)); EXPECT_TRUE(isShiftedMask_32(0xffff0000)); EXPECT_TRUE(isShiftedMask_32(0xff << 1)); unsigned MaskIdx, MaskLen; EXPECT_FALSE(isShiftedMask_32(0x01010101, MaskIdx, MaskLen)); EXPECT_TRUE(isShiftedMask_32(0xf0000000, MaskIdx, MaskLen)); EXPECT_EQ(28, (int)MaskIdx); EXPECT_EQ(4, (int)MaskLen); EXPECT_TRUE(isShiftedMask_32(0xffff0000, MaskIdx, MaskLen)); EXPECT_EQ(16, (int)MaskIdx); EXPECT_EQ(16, (int)MaskLen); EXPECT_TRUE(isShiftedMask_32(0xff << 1, MaskIdx, MaskLen)); EXPECT_EQ(1, (int)MaskIdx); EXPECT_EQ(8, (int)MaskLen); } TEST(MathExtras, isShiftedMask_64) { EXPECT_FALSE(isShiftedMask_64(0x0101010101010101ull)); EXPECT_TRUE(isShiftedMask_64(0xf000000000000000ull)); EXPECT_TRUE(isShiftedMask_64(0xffff000000000000ull)); EXPECT_TRUE(isShiftedMask_64(0xffull << 55)); unsigned MaskIdx, MaskLen; EXPECT_FALSE(isShiftedMask_64(0x0101010101010101ull, MaskIdx, MaskLen)); EXPECT_TRUE(isShiftedMask_64(0xf000000000000000ull, MaskIdx, MaskLen)); EXPECT_EQ(60, (int)MaskIdx); EXPECT_EQ(4, (int)MaskLen); EXPECT_TRUE(isShiftedMask_64(0xffff000000000000ull, MaskIdx, MaskLen)); EXPECT_EQ(48, (int)MaskIdx); EXPECT_EQ(16, (int)MaskLen); EXPECT_TRUE(isShiftedMask_64(0xffull << 55, MaskIdx, MaskLen)); EXPECT_EQ(55, (int)MaskIdx); EXPECT_EQ(8, (int)MaskLen); } TEST(MathExtras, isPowerOf2_32) { EXPECT_FALSE(isPowerOf2_32(0)); EXPECT_TRUE(isPowerOf2_32(1 << 6)); EXPECT_TRUE(isPowerOf2_32(1 << 12)); EXPECT_FALSE(isPowerOf2_32((1 << 19) + 3)); EXPECT_FALSE(isPowerOf2_32(0xABCDEF0)); } TEST(MathExtras, isPowerOf2_64) { EXPECT_FALSE(isPowerOf2_64(0)); EXPECT_TRUE(isPowerOf2_64(1LL << 46)); EXPECT_TRUE(isPowerOf2_64(1LL << 12)); EXPECT_FALSE(isPowerOf2_64((1LL << 53) + 3)); EXPECT_FALSE(isPowerOf2_64(0xABCDEF0ABCDEF0LL)); } TEST(MathExtras, PowerOf2Ceil) { EXPECT_EQ(0U, PowerOf2Ceil(0U)); EXPECT_EQ(8U, PowerOf2Ceil(8U)); EXPECT_EQ(8U, PowerOf2Ceil(7U)); } TEST(MathExtras, CTLog2) { EXPECT_EQ(CTLog2<1ULL << 0>(), 0U); EXPECT_EQ(CTLog2<1ULL << 1>(), 1U); EXPECT_EQ(CTLog2<1ULL << 2>(), 2U); EXPECT_EQ(CTLog2<1ULL << 3>(), 3U); EXPECT_EQ(CTLog2<1ULL << 4>(), 4U); EXPECT_EQ(CTLog2<1ULL << 5>(), 5U); EXPECT_EQ(CTLog2<1ULL << 6>(), 6U); EXPECT_EQ(CTLog2<1ULL << 7>(), 7U); EXPECT_EQ(CTLog2<1ULL << 8>(), 8U); EXPECT_EQ(CTLog2<1ULL << 9>(), 9U); EXPECT_EQ(CTLog2<1ULL << 10>(), 10U); EXPECT_EQ(CTLog2<1ULL << 11>(), 11U); EXPECT_EQ(CTLog2<1ULL << 12>(), 12U); EXPECT_EQ(CTLog2<1ULL << 13>(), 13U); EXPECT_EQ(CTLog2<1ULL << 14>(), 14U); EXPECT_EQ(CTLog2<1ULL << 15>(), 15U); } TEST(MathExtras, MinAlign) { EXPECT_EQ(1u, MinAlign(2, 3)); EXPECT_EQ(2u, MinAlign(2, 4)); EXPECT_EQ(1u, MinAlign(17, 64)); EXPECT_EQ(256u, MinAlign(256, 512)); EXPECT_EQ(2u, MinAlign(0, 2)); } TEST(MathExtras, NextPowerOf2) { EXPECT_EQ(4u, NextPowerOf2(3)); EXPECT_EQ(16u, NextPowerOf2(15)); EXPECT_EQ(256u, NextPowerOf2(128)); } TEST(MathExtras, AlignTo) { EXPECT_EQ(8u, alignTo(5, 8)); EXPECT_EQ(24u, alignTo(17, 8)); EXPECT_EQ(0u, alignTo(~0LL, 8)); EXPECT_EQ(8u, alignTo(5ULL, 8ULL)); EXPECT_EQ(8u, alignTo<8>(5)); EXPECT_EQ(24u, alignTo<8>(17)); EXPECT_EQ(0u, alignTo<8>(~0LL)); EXPECT_EQ(254u, alignTo(127)>(static_cast(200))); EXPECT_EQ(7u, alignTo(5, 8, 7)); EXPECT_EQ(17u, alignTo(17, 8, 1)); EXPECT_EQ(3u, alignTo(~0LL, 8, 3)); EXPECT_EQ(552u, alignTo(321, 255, 42)); EXPECT_EQ(std::numeric_limits::max(), alignTo(std::numeric_limits::max(), 2, 1)); // Overflow. EXPECT_EQ(0u, alignTo(static_cast(200), static_cast(128))); EXPECT_EQ(0u, alignTo(128)>(static_cast(200))); EXPECT_EQ(0u, alignTo(static_cast(200), static_cast(128), static_cast(0))); EXPECT_EQ(0u, alignTo(std::numeric_limits::max(), 2)); } TEST(MathExtras, AlignToPowerOf2) { EXPECT_EQ(0u, alignToPowerOf2(0u, 8)); EXPECT_EQ(8u, alignToPowerOf2(5, 8)); EXPECT_EQ(24u, alignToPowerOf2(17, 8)); EXPECT_EQ(0u, alignToPowerOf2(~0LL, 8)); EXPECT_EQ(240u, alignToPowerOf2(240, 16)); // Overflow. EXPECT_EQ(0u, alignToPowerOf2(static_cast(200), static_cast(128))); EXPECT_EQ(0u, alignToPowerOf2(std::numeric_limits::max(), 2)); } TEST(MathExtras, AlignDown) { EXPECT_EQ(0u, alignDown(5, 8)); EXPECT_EQ(16u, alignDown(17, 8)); EXPECT_EQ(std::numeric_limits::max() - 1, alignDown(std::numeric_limits::max(), 2)); } template void SaturatingAddTestHelper() { const T Max = std::numeric_limits::max(); bool ResultOverflowed; EXPECT_EQ(T(3), SaturatingAdd(T(1), T(2))); EXPECT_EQ(T(3), SaturatingAdd(T(1), T(2), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(Max, T(1))); EXPECT_EQ(Max, SaturatingAdd(Max, T(1), &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(T(1), T(Max - 1))); EXPECT_EQ(Max, SaturatingAdd(T(1), T(Max - 1), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(T(1), Max)); EXPECT_EQ(Max, SaturatingAdd(T(1), Max, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(Max, Max)); EXPECT_EQ(Max, SaturatingAdd(Max, Max, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(T(6), SaturatingAdd(T(1), T(2), T(3))); EXPECT_EQ(T(6), SaturatingAdd(T(1), T(2), T(3), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(T(10), SaturatingAdd(T(1), T(2), T(3), T(4))); EXPECT_EQ(T(10), SaturatingAdd(T(1), T(2), T(3), T(4), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(Max, T(0), T(0))); EXPECT_EQ(Max, SaturatingAdd(Max, T(0), T(0), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(T(0), T(0), Max)); EXPECT_EQ(Max, SaturatingAdd(T(0), T(0), Max, &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(Max, T(0), T(1))); EXPECT_EQ(Max, SaturatingAdd(Max, T(0), T(1), &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(T(0), T(1), Max)); EXPECT_EQ(Max, SaturatingAdd(T(0), T(1), Max, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(T(1), T(Max - 2), T(1))); EXPECT_EQ(Max, SaturatingAdd(T(1), T(Max - 2), T(1), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(T(1), T(1), T(Max - 2))); EXPECT_EQ(Max, SaturatingAdd(T(1), T(1), T(Max - 2), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(Max, SaturatingAdd(Max, Max, Max)); EXPECT_EQ(Max, SaturatingAdd(Max, Max, Max, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); } TEST(MathExtras, SaturatingAdd) { SaturatingAddTestHelper(); SaturatingAddTestHelper(); SaturatingAddTestHelper(); SaturatingAddTestHelper(); } template void SaturatingMultiplyTestHelper() { const T Max = std::numeric_limits::max(); bool ResultOverflowed; // Test basic multiplication. EXPECT_EQ(T(6), SaturatingMultiply(T(2), T(3))); EXPECT_EQ(T(6), SaturatingMultiply(T(2), T(3), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(T(6), SaturatingMultiply(T(3), T(2))); EXPECT_EQ(T(6), SaturatingMultiply(T(3), T(2), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); // Test multiplication by zero. EXPECT_EQ(T(0), SaturatingMultiply(T(0), T(0))); EXPECT_EQ(T(0), SaturatingMultiply(T(0), T(0), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(T(0), SaturatingMultiply(T(1), T(0))); EXPECT_EQ(T(0), SaturatingMultiply(T(1), T(0), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(T(0), SaturatingMultiply(T(0), T(1))); EXPECT_EQ(T(0), SaturatingMultiply(T(0), T(1), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(T(0), SaturatingMultiply(Max, T(0))); EXPECT_EQ(T(0), SaturatingMultiply(Max, T(0), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(T(0), SaturatingMultiply(T(0), Max)); EXPECT_EQ(T(0), SaturatingMultiply(T(0), Max, &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); // Test multiplication by maximum value. EXPECT_EQ(Max, SaturatingMultiply(Max, T(2))); EXPECT_EQ(Max, SaturatingMultiply(Max, T(2), &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(Max, SaturatingMultiply(T(2), Max)); EXPECT_EQ(Max, SaturatingMultiply(T(2), Max, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(Max, SaturatingMultiply(Max, Max)); EXPECT_EQ(Max, SaturatingMultiply(Max, Max, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); // Test interesting boundary conditions for algorithm - // ((1 << A) - 1) * ((1 << B) + K) for K in [-1, 0, 1] // and A + B == std::numeric_limits::digits. // We expect overflow iff A > B and K = 1. const int Digits = std::numeric_limits::digits; for (int A = 1, B = Digits - 1; B >= 1; ++A, --B) { for (int K = -1; K <= 1; ++K) { T X = (T(1) << A) - T(1); T Y = (T(1) << B) + K; bool OverflowExpected = A > B && K == 1; if(OverflowExpected) { EXPECT_EQ(Max, SaturatingMultiply(X, Y)); EXPECT_EQ(Max, SaturatingMultiply(X, Y, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); } else { EXPECT_EQ(X * Y, SaturatingMultiply(X, Y)); EXPECT_EQ(X * Y, SaturatingMultiply(X, Y, &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); } } } } TEST(MathExtras, SaturatingMultiply) { SaturatingMultiplyTestHelper(); SaturatingMultiplyTestHelper(); SaturatingMultiplyTestHelper(); SaturatingMultiplyTestHelper(); } template void SaturatingMultiplyAddTestHelper() { const T Max = std::numeric_limits::max(); bool ResultOverflowed; // Test basic multiply-add. EXPECT_EQ(T(16), SaturatingMultiplyAdd(T(2), T(3), T(10))); EXPECT_EQ(T(16), SaturatingMultiplyAdd(T(2), T(3), T(10), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); // Test multiply overflows, add doesn't overflow EXPECT_EQ(Max, SaturatingMultiplyAdd(Max, Max, T(0), &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); // Test multiply doesn't overflow, add overflows EXPECT_EQ(Max, SaturatingMultiplyAdd(T(1), T(1), Max, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); // Test multiply-add with Max as operand EXPECT_EQ(Max, SaturatingMultiplyAdd(T(1), T(1), Max, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(Max, SaturatingMultiplyAdd(T(1), Max, T(1), &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(Max, SaturatingMultiplyAdd(Max, Max, T(1), &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); EXPECT_EQ(Max, SaturatingMultiplyAdd(Max, Max, Max, &ResultOverflowed)); EXPECT_TRUE(ResultOverflowed); // Test multiply-add with 0 as operand EXPECT_EQ(T(1), SaturatingMultiplyAdd(T(1), T(1), T(0), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(T(1), SaturatingMultiplyAdd(T(1), T(0), T(1), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(T(1), SaturatingMultiplyAdd(T(0), T(0), T(1), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); EXPECT_EQ(T(0), SaturatingMultiplyAdd(T(0), T(0), T(0), &ResultOverflowed)); EXPECT_FALSE(ResultOverflowed); } TEST(MathExtras, SaturatingMultiplyAdd) { SaturatingMultiplyAddTestHelper(); SaturatingMultiplyAddTestHelper(); SaturatingMultiplyAddTestHelper(); SaturatingMultiplyAddTestHelper(); } TEST(MathExtras, IsShiftedUInt) { EXPECT_TRUE((isShiftedUInt<1, 0>(0))); EXPECT_TRUE((isShiftedUInt<1, 0>(1))); EXPECT_FALSE((isShiftedUInt<1, 0>(2))); EXPECT_FALSE((isShiftedUInt<1, 0>(3))); EXPECT_FALSE((isShiftedUInt<1, 0>(0x8000000000000000))); EXPECT_TRUE((isShiftedUInt<1, 63>(0x8000000000000000))); EXPECT_TRUE((isShiftedUInt<2, 62>(0xC000000000000000))); EXPECT_FALSE((isShiftedUInt<2, 62>(0xE000000000000000))); // 0x201 is ten bits long and has a 1 in the MSB and LSB. EXPECT_TRUE((isShiftedUInt<10, 5>(uint64_t(0x201) << 5))); EXPECT_FALSE((isShiftedUInt<10, 5>(uint64_t(0x201) << 4))); EXPECT_FALSE((isShiftedUInt<10, 5>(uint64_t(0x201) << 6))); } TEST(MathExtras, IsShiftedInt) { EXPECT_TRUE((isShiftedInt<1, 0>(0))); EXPECT_TRUE((isShiftedInt<1, 0>(-1))); EXPECT_FALSE((isShiftedInt<1, 0>(2))); EXPECT_FALSE((isShiftedInt<1, 0>(3))); EXPECT_FALSE((isShiftedInt<1, 0>(0x8000000000000000))); EXPECT_TRUE((isShiftedInt<1, 63>(0x8000000000000000))); EXPECT_TRUE((isShiftedInt<2, 62>(0xC000000000000000))); EXPECT_FALSE((isShiftedInt<2, 62>(0xE000000000000000))); // 0x201 is ten bits long and has a 1 in the MSB and LSB. EXPECT_TRUE((isShiftedInt<11, 5>(int64_t(0x201) << 5))); EXPECT_FALSE((isShiftedInt<11, 5>(int64_t(0x201) << 3))); EXPECT_FALSE((isShiftedInt<11, 5>(int64_t(0x201) << 6))); EXPECT_TRUE((isShiftedInt<11, 5>(-(int64_t(0x201) << 5)))); EXPECT_FALSE((isShiftedInt<11, 5>(-(int64_t(0x201) << 3)))); EXPECT_FALSE((isShiftedInt<11, 5>(-(int64_t(0x201) << 6)))); EXPECT_TRUE((isShiftedInt<6, 10>(-(int64_t(1) << 15)))); EXPECT_FALSE((isShiftedInt<6, 10>(int64_t(1) << 15))); } TEST(MathExtras, DivideNearest) { EXPECT_EQ(divideNearest(14, 3), 5u); EXPECT_EQ(divideNearest(15, 3), 5u); EXPECT_EQ(divideNearest(0, 3), 0u); EXPECT_EQ(divideNearest(5, 4), 1u); EXPECT_EQ(divideNearest(6, 4), 2u); EXPECT_EQ(divideNearest(3, 1), 3u); EXPECT_EQ(divideNearest(3, 6), 1u); EXPECT_EQ(divideNearest(3, 7), 0u); EXPECT_EQ(divideNearest(std::numeric_limits::max(), 2), std::numeric_limits::max() / 2 + 1); EXPECT_EQ(divideNearest(std::numeric_limits::max(), 2), std::numeric_limits::max() / 2 + 1); EXPECT_EQ(divideNearest(std::numeric_limits::max(), 1), std::numeric_limits::max()); EXPECT_EQ(divideNearest(std::numeric_limits::max() - 1, std::numeric_limits::max()), 1u); } TEST(MathExtras, DivideCeil) { EXPECT_EQ(divideCeil(14, 3), 5u); EXPECT_EQ(divideCeil(15, 3), 5u); EXPECT_EQ(divideCeil(0, 3), 0u); EXPECT_EQ(divideCeil(5, 4), 2u); EXPECT_EQ(divideCeil(6, 4), 2u); EXPECT_EQ(divideCeil(3, 1), 3u); EXPECT_EQ(divideCeil(3, 6), 1u); EXPECT_EQ(divideCeil(3, 7), 1u); EXPECT_EQ(divideCeil(std::numeric_limits::max(), 2), std::numeric_limits::max() / 2 + 1); EXPECT_EQ(divideCeil(std::numeric_limits::max(), 2), std::numeric_limits::max() / 2 + 1); EXPECT_EQ(divideCeil(std::numeric_limits::max(), 1), std::numeric_limits::max()); EXPECT_EQ(divideCeilSigned(14, 3), 5); EXPECT_EQ(divideCeilSigned(15, 3), 5); EXPECT_EQ(divideCeilSigned(14, -3), -4); EXPECT_EQ(divideCeilSigned(-14, -3), 5); EXPECT_EQ(divideCeilSigned(-14, 3), -4); EXPECT_EQ(divideCeilSigned(-15, 3), -5); EXPECT_EQ(divideCeilSigned(0, 3), 0); EXPECT_EQ(divideCeilSigned(0, -3), 0); EXPECT_EQ(divideCeilSigned(std::numeric_limits::max(), 2), std::numeric_limits::max() / 2 + 1); EXPECT_EQ(divideCeilSigned(std::numeric_limits::max(), 2), std::numeric_limits::max() / 2 + 1); EXPECT_EQ(divideCeilSigned(std::numeric_limits::max(), -2), std::numeric_limits::min() / 2 + 1); EXPECT_EQ(divideCeilSigned(std::numeric_limits::max(), -2), std::numeric_limits::min() / 2 + 1); EXPECT_EQ(divideCeilSigned(std::numeric_limits::min(), 1), std::numeric_limits::min()); // Overflow. EXPECT_TRUE( divideSignedWouldOverflow(std::numeric_limits::min(), -1)); EXPECT_TRUE( divideSignedWouldOverflow(std::numeric_limits::min(), -1)); } TEST(MathExtras, DivideFloorSigned) { EXPECT_EQ(divideFloorSigned(14, 3), 4); EXPECT_EQ(divideFloorSigned(15, 3), 5); EXPECT_EQ(divideFloorSigned(14, -3), -5); EXPECT_EQ(divideFloorSigned(-14, -3), 4); EXPECT_EQ(divideFloorSigned(-14, 3), -5); EXPECT_EQ(divideFloorSigned(-15, 3), -5); EXPECT_EQ(divideFloorSigned(0, 3), 0); EXPECT_EQ(divideFloorSigned(0, -3), 0); EXPECT_EQ(divideFloorSigned(std::numeric_limits::max(), 2), std::numeric_limits::max() / 2); EXPECT_EQ(divideFloorSigned(std::numeric_limits::max(), 2), std::numeric_limits::max() / 2); EXPECT_EQ(divideFloorSigned(std::numeric_limits::max(), -2), std::numeric_limits::min() / 2); EXPECT_EQ(divideFloorSigned(std::numeric_limits::max(), -2), std::numeric_limits::min() / 2); EXPECT_EQ(divideFloorSigned(std::numeric_limits::min(), 1), std::numeric_limits::min()); // Same overflow condition, divideSignedWouldOverflow, applies. } TEST(MathExtras, Mod) { EXPECT_EQ(mod(1, 14), 1); EXPECT_EQ(mod(-1, 14), 13); EXPECT_EQ(mod(14, 3), 2); EXPECT_EQ(mod(15, 3), 0); EXPECT_EQ(mod(-14, 3), 1); EXPECT_EQ(mod(-15, 3), 0); EXPECT_EQ(mod(0, 3), 0); } template class OverflowTest : public ::testing::Test {}; using OverflowTestTypes = ::testing::Types; TYPED_TEST_SUITE(OverflowTest, OverflowTestTypes, ); TYPED_TEST(OverflowTest, AddNoOverflow) { TypeParam Result; EXPECT_FALSE(AddOverflow(1, 2, Result)); EXPECT_EQ(Result, TypeParam(3)); } TYPED_TEST(OverflowTest, AddOverflowToNegative) { TypeParam Result; auto MaxValue = std::numeric_limits::max(); EXPECT_TRUE(AddOverflow(MaxValue, MaxValue, Result)); EXPECT_EQ(Result, TypeParam(-2)); } TYPED_TEST(OverflowTest, AddOverflowToMin) { TypeParam Result; auto MaxValue = std::numeric_limits::max(); EXPECT_TRUE(AddOverflow(MaxValue, TypeParam(1), Result)); EXPECT_EQ(Result, std::numeric_limits::min()); } TYPED_TEST(OverflowTest, AddOverflowToZero) { TypeParam Result; auto MinValue = std::numeric_limits::min(); EXPECT_TRUE(AddOverflow(MinValue, MinValue, Result)); EXPECT_EQ(Result, TypeParam(0)); } TYPED_TEST(OverflowTest, AddOverflowToMax) { TypeParam Result; auto MinValue = std::numeric_limits::min(); EXPECT_TRUE(AddOverflow(MinValue, TypeParam(-1), Result)); EXPECT_EQ(Result, std::numeric_limits::max()); } TYPED_TEST(OverflowTest, SubNoOverflow) { TypeParam Result; EXPECT_FALSE(SubOverflow(1, 2, Result)); EXPECT_EQ(Result, TypeParam(-1)); } TYPED_TEST(OverflowTest, SubOverflowToMax) { TypeParam Result; auto MinValue = std::numeric_limits::min(); EXPECT_TRUE(SubOverflow(0, MinValue, Result)); EXPECT_EQ(Result, MinValue); } TYPED_TEST(OverflowTest, SubOverflowToMin) { TypeParam Result; auto MinValue = std::numeric_limits::min(); EXPECT_TRUE(SubOverflow(0, MinValue, Result)); EXPECT_EQ(Result, MinValue); } TYPED_TEST(OverflowTest, SubOverflowToNegative) { TypeParam Result; auto MaxValue = std::numeric_limits::max(); auto MinValue = std::numeric_limits::min(); EXPECT_TRUE(SubOverflow(MaxValue, MinValue, Result)); EXPECT_EQ(Result, TypeParam(-1)); } TYPED_TEST(OverflowTest, SubOverflowToPositive) { TypeParam Result; auto MaxValue = std::numeric_limits::max(); auto MinValue = std::numeric_limits::min(); EXPECT_TRUE(SubOverflow(MinValue, MaxValue, Result)); EXPECT_EQ(Result, TypeParam(1)); } TYPED_TEST(OverflowTest, MulNoOverflow) { TypeParam Result; EXPECT_FALSE(MulOverflow(1, 2, Result)); EXPECT_EQ(Result, 2); EXPECT_FALSE(MulOverflow(-1, 3, Result)); EXPECT_EQ(Result, -3); EXPECT_FALSE(MulOverflow(4, -2, Result)); EXPECT_EQ(Result, -8); EXPECT_FALSE(MulOverflow(-6, -5, Result)); EXPECT_EQ(Result, 30); } TYPED_TEST(OverflowTest, MulNoOverflowToMax) { TypeParam Result; auto MaxValue = std::numeric_limits::max(); auto MinValue = std::numeric_limits::min(); EXPECT_FALSE(MulOverflow(MinValue + 1, -1, Result)); EXPECT_EQ(Result, MaxValue); } TYPED_TEST(OverflowTest, MulOverflowToMin) { TypeParam Result; auto MinValue = std::numeric_limits::min(); EXPECT_TRUE(MulOverflow(MinValue, -1, Result)); EXPECT_EQ(Result, MinValue); } TYPED_TEST(OverflowTest, MulOverflowMax) { TypeParam Result; auto MinValue = std::numeric_limits::min(); auto MaxValue = std::numeric_limits::max(); EXPECT_TRUE(MulOverflow(MinValue, MinValue, Result)); EXPECT_EQ(Result, 0); EXPECT_TRUE(MulOverflow(MaxValue, MaxValue, Result)); EXPECT_EQ(Result, 1); } TYPED_TEST(OverflowTest, MulResultZero) { TypeParam Result; EXPECT_FALSE(MulOverflow(4, 0, Result)); EXPECT_EQ(Result, TypeParam(0)); EXPECT_FALSE(MulOverflow(-5, 0, Result)); EXPECT_EQ(Result, TypeParam(0)); EXPECT_FALSE(MulOverflow(0, 5, Result)); EXPECT_EQ(Result, TypeParam(0)); EXPECT_FALSE(MulOverflow(0, -5, Result)); EXPECT_EQ(Result, TypeParam(0)); } } // namespace