You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
234 lines
7.2 KiB
234 lines
7.2 KiB
#include <gtest/gtest.h>
|
|
|
|
#include <fxdiv.h>
|
|
|
|
TEST(uint32_t, cases) {
|
|
EXPECT_EQ(UINT32_C(42) / UINT32_C(7),
|
|
fxdiv_quotient_uint32_t(UINT32_C(42),
|
|
fxdiv_init_uint32_t(UINT32_C(7))));
|
|
EXPECT_EQ(UINT32_C(42) / UINT32_C(6),
|
|
fxdiv_quotient_uint32_t(UINT32_C(42),
|
|
fxdiv_init_uint32_t(UINT32_C(6))));
|
|
EXPECT_EQ(UINT32_C(42) / UINT32_C(5),
|
|
fxdiv_quotient_uint32_t(UINT32_C(42),
|
|
fxdiv_init_uint32_t(UINT32_C(5))));
|
|
EXPECT_EQ(UINT32_C(1) / UINT32_C(1),
|
|
fxdiv_quotient_uint32_t(UINT32_C(1),
|
|
fxdiv_init_uint32_t(UINT32_C(1))));
|
|
EXPECT_EQ(UINT32_MAX / UINT32_C(1),
|
|
fxdiv_quotient_uint32_t(UINT32_MAX,
|
|
fxdiv_init_uint32_t(UINT32_C(1))));
|
|
EXPECT_EQ(UINT32_MAX / UINT32_MAX,
|
|
fxdiv_quotient_uint32_t(UINT32_MAX,
|
|
fxdiv_init_uint32_t(UINT32_MAX)));
|
|
EXPECT_EQ((UINT32_MAX - 1) / UINT32_MAX,
|
|
fxdiv_quotient_uint32_t(UINT32_MAX - 1,
|
|
fxdiv_init_uint32_t(UINT32_MAX)));
|
|
EXPECT_EQ(UINT32_MAX / (UINT32_MAX - 1),
|
|
fxdiv_quotient_uint32_t(UINT32_MAX,
|
|
fxdiv_init_uint32_t(UINT32_MAX - 1)));
|
|
EXPECT_EQ(UINT32_C(0) / UINT32_C(1),
|
|
fxdiv_quotient_uint32_t(UINT32_C(0),
|
|
fxdiv_init_uint32_t(UINT32_C(1))));
|
|
}
|
|
|
|
TEST(uint32_t, divide_by_1) {
|
|
const fxdiv_divisor_uint32_t d = fxdiv_init_uint32_t(UINT32_C(1));
|
|
const uint32_t step = UINT32_C(487);
|
|
for (uint32_t n = 0; n <= UINT32_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(n, fxdiv_quotient_uint32_t(n, d));
|
|
}
|
|
}
|
|
|
|
TEST(uint32_t, divide_zero) {
|
|
const uint32_t step = UINT32_C(491);
|
|
for (uint32_t d = 1; d <= UINT32_MAX - step + 1; d += step) {
|
|
EXPECT_EQ(0,
|
|
fxdiv_quotient_uint32_t(0,
|
|
fxdiv_init_uint32_t(d)));
|
|
}
|
|
}
|
|
|
|
TEST(uint32_t, divide_by_n_minus_1) {
|
|
const uint32_t step = UINT32_C(523);
|
|
for (uint32_t n = 3; n <= UINT32_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(UINT32_C(1),
|
|
fxdiv_quotient_uint32_t(n,
|
|
fxdiv_init_uint32_t(n - 1)));
|
|
}
|
|
}
|
|
|
|
TEST(uint32_t, divide_by_power_of_2) {
|
|
const uint32_t step = UINT32_C(25183);
|
|
for (uint32_t p = 0; p < 32; p += 1) {
|
|
const fxdiv_divisor_uint32_t divisor =
|
|
fxdiv_init_uint32_t(UINT32_C(1) << p);
|
|
for (uint32_t n = 0; n <= UINT32_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(n >> p, fxdiv_quotient_uint32_t(n, divisor));
|
|
}
|
|
}
|
|
}
|
|
|
|
TEST(uint32_t, divide_by_power_of_2_plus_1) {
|
|
const uint32_t step = UINT32_C(25183);
|
|
for (uint32_t p = 0; p < 32; p += 1) {
|
|
const uint32_t d = (UINT32_C(1) << p) + UINT32_C(1);
|
|
const fxdiv_divisor_uint32_t divisor = fxdiv_init_uint32_t(d);
|
|
for (uint32_t n = 0; n <= UINT32_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(n / d, fxdiv_quotient_uint32_t(n, divisor));
|
|
}
|
|
}
|
|
}
|
|
|
|
TEST(uint32_t, divide_by_power_of_2_minus_1) {
|
|
const uint32_t step = UINT64_C(25183);
|
|
for (uint32_t p = 0; p < 32; p += 1) {
|
|
const uint32_t d = (UINT32_C(2) << p) - UINT32_C(1);
|
|
const fxdiv_divisor_uint32_t divisor = fxdiv_init_uint32_t(d);
|
|
for (uint32_t n = 0; n <= UINT32_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(n / d, fxdiv_quotient_uint32_t(n, divisor));
|
|
}
|
|
}
|
|
}
|
|
|
|
TEST(uint32_t, match_native) {
|
|
const uint32_t stepD = UINT32_C(821603);
|
|
const uint32_t stepN = UINT32_C(821641);
|
|
for (uint32_t d = UINT32_MAX; d >= stepD; d -= stepD) {
|
|
const fxdiv_divisor_uint32_t divisor = fxdiv_init_uint32_t(d);
|
|
for (uint32_t n = UINT32_MAX; n >= stepN; n -= stepN) {
|
|
EXPECT_EQ(n / d, fxdiv_quotient_uint32_t(n, divisor));
|
|
}
|
|
}
|
|
}
|
|
|
|
TEST(uint64_t, cases) {
|
|
EXPECT_EQ(UINT64_C(42) / UINT64_C(7),
|
|
fxdiv_quotient_uint64_t(UINT64_C(42),
|
|
fxdiv_init_uint64_t(UINT64_C(7))));
|
|
EXPECT_EQ(UINT64_C(42) / UINT64_C(6),
|
|
fxdiv_quotient_uint64_t(UINT64_C(42),
|
|
fxdiv_init_uint64_t(UINT64_C(6))));
|
|
EXPECT_EQ(UINT64_C(42) / UINT64_C(5),
|
|
fxdiv_quotient_uint64_t(UINT64_C(42),
|
|
fxdiv_init_uint64_t(UINT64_C(5))));
|
|
EXPECT_EQ(UINT64_C(1) / UINT64_C(1),
|
|
fxdiv_quotient_uint64_t(UINT64_C(1),
|
|
fxdiv_init_uint64_t(UINT64_C(1))));
|
|
EXPECT_EQ(UINT64_MAX / UINT64_C(1),
|
|
fxdiv_quotient_uint64_t(UINT64_MAX,
|
|
fxdiv_init_uint64_t(UINT64_C(1))));
|
|
EXPECT_EQ(UINT64_MAX / UINT64_MAX,
|
|
fxdiv_quotient_uint64_t(UINT64_MAX,
|
|
fxdiv_init_uint64_t(UINT64_MAX)));
|
|
EXPECT_EQ((UINT64_MAX - 1) / UINT64_MAX,
|
|
fxdiv_quotient_uint64_t(UINT64_MAX - 1,
|
|
fxdiv_init_uint64_t(UINT64_MAX)));
|
|
EXPECT_EQ(UINT64_MAX / (UINT64_MAX - 1),
|
|
fxdiv_quotient_uint64_t(UINT64_MAX,
|
|
fxdiv_init_uint64_t(UINT64_MAX - 1)));
|
|
EXPECT_EQ(UINT64_C(0) / UINT64_C(1),
|
|
fxdiv_quotient_uint64_t(UINT64_C(0),
|
|
fxdiv_init_uint64_t(UINT64_C(1))));
|
|
}
|
|
|
|
TEST(uint64_t, divide_by_1) {
|
|
const fxdiv_divisor_uint64_t d = fxdiv_init_uint64_t(UINT64_C(1));
|
|
const uint64_t step = UINT64_C(2048116998241);
|
|
for (uint64_t n = 0; n <= UINT64_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(n, fxdiv_quotient_uint64_t(n, d));
|
|
}
|
|
}
|
|
|
|
TEST(uint64_t, divide_zero) {
|
|
const uint64_t step = UINT64_C(8624419641811);
|
|
for (uint64_t d = 1; d <= UINT64_MAX - step + 1; d += step) {
|
|
EXPECT_EQ(0,
|
|
fxdiv_quotient_uint64_t(0,
|
|
fxdiv_init_uint64_t(d)));
|
|
}
|
|
}
|
|
|
|
TEST(uint64_t, divide_by_n_minus_1) {
|
|
const uint64_t step = UINT64_C(8624419641833);
|
|
for (uint64_t n = 3; n <= UINT64_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(UINT64_C(1),
|
|
fxdiv_quotient_uint64_t(n,
|
|
fxdiv_init_uint64_t(n - 1)));
|
|
}
|
|
}
|
|
|
|
TEST(uint64_t, divide_by_power_of_2) {
|
|
const uint64_t step = UINT64_C(93400375993241);
|
|
for (uint32_t p = 0; p < 64; p += 1) {
|
|
const fxdiv_divisor_uint64_t divisor =
|
|
fxdiv_init_uint64_t(UINT64_C(1) << p);
|
|
for (uint64_t n = 0; n <= UINT64_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(n >> p, fxdiv_quotient_uint64_t(n, divisor));
|
|
}
|
|
}
|
|
}
|
|
|
|
TEST(uint64_t, divide_by_power_of_2_plus_1) {
|
|
const uint64_t step = UINT64_C(93400375993241);
|
|
for (uint32_t p = 0; p < 64; p += 1) {
|
|
const uint64_t d = (UINT64_C(1) << p) + UINT64_C(1);
|
|
const fxdiv_divisor_uint64_t divisor = fxdiv_init_uint64_t(d);
|
|
for (uint64_t n = 0; n <= UINT64_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(n / d, fxdiv_quotient_uint64_t(n, divisor));
|
|
}
|
|
}
|
|
}
|
|
|
|
TEST(uint64_t, divide_by_power_of_2_minus_1) {
|
|
const uint64_t step = UINT64_C(93400375993241);
|
|
for (uint32_t p = 0; p < 64; p += 1) {
|
|
const uint64_t d = (UINT64_C(2) << p) - UINT64_C(1);
|
|
const fxdiv_divisor_uint64_t divisor = fxdiv_init_uint64_t(d);
|
|
for (uint64_t n = 0; n <= UINT64_MAX - step + 1; n += step) {
|
|
EXPECT_EQ(n / d, fxdiv_quotient_uint64_t(n, divisor));
|
|
}
|
|
}
|
|
}
|
|
|
|
TEST(uint64_t, match_native) {
|
|
const uint64_t stepD = UINT64_C(7093600525704701);
|
|
const uint64_t stepN = UINT64_C(7093600525704677);
|
|
for (uint64_t d = UINT64_MAX; d >= stepD; d -= stepD) {
|
|
const fxdiv_divisor_uint64_t divisor = fxdiv_init_uint64_t(d);
|
|
for (uint64_t n = UINT64_MAX; n >= stepN; n -= stepN) {
|
|
EXPECT_EQ(n / d, fxdiv_quotient_uint64_t(n, divisor));
|
|
}
|
|
}
|
|
}
|
|
|
|
TEST(size_t, cases) {
|
|
EXPECT_EQ(42 / 7,
|
|
fxdiv_quotient_size_t(42,
|
|
fxdiv_init_size_t(7)));
|
|
EXPECT_EQ(42 / 6,
|
|
fxdiv_quotient_size_t(42,
|
|
fxdiv_init_size_t(6)));
|
|
EXPECT_EQ(42 / 5,
|
|
fxdiv_quotient_size_t(42,
|
|
fxdiv_init_size_t(5)));
|
|
EXPECT_EQ(1 / 1,
|
|
fxdiv_quotient_size_t(1,
|
|
fxdiv_init_size_t(1)));
|
|
EXPECT_EQ(SIZE_MAX / 1,
|
|
fxdiv_quotient_size_t(SIZE_MAX,
|
|
fxdiv_init_size_t(1)));
|
|
EXPECT_EQ(SIZE_MAX / SIZE_MAX,
|
|
fxdiv_quotient_size_t(SIZE_MAX,
|
|
fxdiv_init_size_t(SIZE_MAX)));
|
|
EXPECT_EQ((SIZE_MAX - 1) / SIZE_MAX,
|
|
fxdiv_quotient_size_t(SIZE_MAX - 1,
|
|
fxdiv_init_size_t(SIZE_MAX)));
|
|
EXPECT_EQ(SIZE_MAX / (SIZE_MAX - 1),
|
|
fxdiv_quotient_size_t(SIZE_MAX,
|
|
fxdiv_init_size_t(SIZE_MAX - 1)));
|
|
EXPECT_EQ(0 / 1,
|
|
fxdiv_quotient_size_t(0,
|
|
fxdiv_init_size_t(1)));
|
|
}
|