mirror of
https://github.com/kimwalisch/primecount.git
synced 2026-06-06 02:39:47 +09:00
87 lines
1.9 KiB
C++
87 lines
1.9 KiB
C++
///
|
|
/// @file fast_div.cpp
|
|
/// @brief Test fast_div(x, y) function
|
|
///
|
|
/// Copyright (C) 2024 Kim Walisch, <kim.walisch@gmail.com>
|
|
///
|
|
/// This file is distributed under the BSD License. See the COPYING
|
|
/// file in the top level directory.
|
|
///
|
|
|
|
#include <fast_div.hpp>
|
|
#include <int128_t.hpp>
|
|
|
|
#include <stdint.h>
|
|
#include <cstdlib>
|
|
#include <iostream>
|
|
#include <random>
|
|
|
|
using namespace primecount;
|
|
|
|
void check(bool OK)
|
|
{
|
|
std::cout << " " << (OK ? "OK" : "ERROR") << "\n";
|
|
if (!OK)
|
|
std::exit(1);
|
|
}
|
|
|
|
int main()
|
|
{
|
|
std::random_device rd;
|
|
std::mt19937 gen(rd());
|
|
|
|
std::uniform_int_distribution<int32_t> dist_i32(1, pstd::numeric_limits<int32_t>::max());
|
|
std::uniform_int_distribution<uint64_t> dist_u64(0, pstd::numeric_limits<uint64_t>::max());
|
|
|
|
// Test unsigned/signed
|
|
for (int i = 0; i < 10000; i++)
|
|
{
|
|
uint64_t x = dist_i32(gen);
|
|
int32_t y = dist_i32(gen);
|
|
uint64_t res = fast_div(x, y);
|
|
|
|
std::cout << "fast_div(" << x << ", " << y << ") = " << res;
|
|
check(res == x / y);
|
|
|
|
x = dist_u64(gen);
|
|
y = dist_i32(gen);
|
|
res = fast_div(x, y);
|
|
|
|
std::cout << "fast_div(" << x << ", " << y << ") = " << res;
|
|
check(res == x / y);
|
|
}
|
|
|
|
#ifdef HAVE_INT128_T
|
|
|
|
std::uniform_int_distribution<uint64_t> dist_u62(0, uint64_t(1ull << 62));
|
|
|
|
// Test signed/signed
|
|
for (int i = 0; i < 10000; i++)
|
|
{
|
|
// Test x < 2^64
|
|
int128_t x = dist_u64(gen);
|
|
int32_t y = dist_i32(gen);
|
|
int128_t res = fast_div(x, y);
|
|
|
|
std::cout << "fast_div(" << x << ", " << y << ") = " << res;
|
|
check(res == x / y);
|
|
|
|
// Test x > 2^64
|
|
int128_t low = dist_u64(gen);
|
|
int128_t high = int128_t(dist_u62(gen)) << 64;
|
|
x = high | low;
|
|
y = dist_i32(gen);
|
|
res = fast_div(x, y);
|
|
|
|
std::cout << "fast_div(" << x << ", " << y << ") = " << res;
|
|
check(res == x / y);
|
|
}
|
|
|
|
#endif
|
|
|
|
std::cout << std::endl;
|
|
std::cout << "All tests passed successfully!" << std::endl;
|
|
|
|
return 0;
|
|
}
|