📄 test_bignum.cxx
字号:
-b1000000 - (b1000000), -vnl_bignum(2L)*b1000000);
TEST("b1000000 - (-b1000000) == vnl_bignum(2L)*b1000000",
b1000000 - (-b1000000), vnl_bignum(2L)*b1000000);
TEST("zillion - (-zillion) == vnl_bignum(2L)*zillion",
zillion - (-zillion), vnl_bignum(2L)*zillion);
TEST("zillion - b1000 == b1000000*b1000000*b1000000 - b1000",
zillion - b1000, b1000000*b1000000*b1000000 - b1000);
TEST("-zillion - b1000 == -b1000000*b1000000*b1000000 - b1000",
-zillion - b1000, -b1000000*b1000000*b1000000 - b1000);
TEST("zillion - p_inf == m_inf", zillion - p_inf, m_inf);
TEST("zillion - m_inf == p_inf", zillion - m_inf, p_inf);
TEST("p_inf - zillion == p_inf", p_inf - zillion, p_inf);
TEST("m_inf - zillion == m_inf", m_inf - zillion, m_inf);
// example in book
vnl_bignum b2 = "0xffffffff"; // Create vnl_bignum object
vnl_bignum b3 = "12345e30"; // Create vnl_bignum object
TEST("(b2+b3) - b2 = b3", (b2+b3) - b2 == b3, 1);
TEST("(b2+b3) - b3 = b2", (b2+b3) - b3 == b2, 1);
b3.dump();
TEST("b3.dump()", 1, 1);
}
static void run_increment_tests()
{
vcl_cout << "increment special cases:\n";
vnl_bignum b1;
TEST("b1 == 0", b1, 0);
++b1;
TEST("++b1 == 1", b1, 1);
++b1;
TEST("++b1 == 2", b1, 2);
--b1;
TEST("--b1 == 1", b1, 1);
--b1;
TEST("--b1 == 0", b1, 0);
--b1;
TEST("--b1 == -1", b1, -1);
--b1;
TEST("--b1 == -2", b1, -2);
++b1;
TEST("++b1 == -1", b1, -1);
++b1;
TEST("++b1 == 0", b1, 0);
vnl_bignum b2("Infinity");
TEST("b2 == infinity", b2.is_plus_infinity(), true);
++b2;
TEST("++b2 == infinity", b2.is_plus_infinity(), true);
--b2;
TEST("--b2 == infinity", b2.is_plus_infinity(), true);
vnl_bignum b3("-Infinity");
TEST("b3 == -infinity", b3.is_minus_infinity(), true);
++b3;
TEST("++b3 == -infinity", b3.is_minus_infinity(), true);
--b3;
TEST("--b3 == -infinity", b3.is_minus_infinity(), true);
vnl_bignum b4("65534");
TEST("b4 == 65534", b4, 65534);
++b4;
TEST("++b4 == 65535", b4, 65535);
++b4;
TEST("++b4 == 65536", b4, 65536);
++b4;
TEST("++b4 == 65537", b4, 65537);
--b4;
TEST("--b4 == 65536", b4, 65536);
--b4;
TEST("--b4 == 65535", b4, 65535);
--b4;
TEST("--b4 == 65534", b4, 65534);
vnl_bignum b5("-65534");
TEST("b5 == -65534", b5, -65534);
--b5;
TEST("--b5 == -65535", b5, -65535);
--b5;
TEST("--b5 == -65536", b5, -65536);
--b5;
TEST("--b5 == -65537", b5, -65537);
++b5;
TEST("++b5 == -65536", b5, -65536);
++b5;
TEST("++b5 == -65535", b5, -65535);
++b5;
TEST("++b5 == -65534", b5, -65534);
}
static void run_multiplication_tests()
{
vcl_cout << "\nStarting multiplication tests:\n";
vnl_bignum b0(0L), b1000(1000L), b1000000(1000000L),
zillion("1000000000000000000");
vnl_bignum p_inf("+Inf"), m_inf("-Inf");
TEST("b0*b0 == b0", b0*b0, b0);
TEST("b0*b1000 == b0", b0*b1000, b0);
TEST("b1000*b0 == b0", b1000*b0, b0);
TEST("b1000*b1000 == b1000000", b1000*b1000, b1000000);
TEST("b1000*b1000000 == b1000000*b1000", b1000*b1000000, b1000000*b1000);
TEST("-b1000000*b1000000*b1000000 == -zillion", -b1000000*b1000000*b1000000, -zillion);
TEST("zillion*-b1000 == b1000*-zillion", zillion*-b1000, b1000*-zillion);
TEST("p_inf*b1000 == p_inf", p_inf*b1000, p_inf);
TEST("m_inf*b1000 == m_inf", m_inf*b1000, m_inf);
}
static void run_left_shift_tests()
{
vnl_bignum b1(1L);
vnl_bignum p_inf("+Inf"), m_inf("-Inf");
// left shift
TEST("int(b1) == 1",int(b1), 1);
TEST("long(b1 << 1) == 2",long(b1 << 1), 2);
TEST("long(b1 << 2) == 4",long(b1 << 2), 4);
TEST("long(b1 << 3) == 8",long(b1 << 3), 8);
TEST("long(b1 << 4) == 16",long(b1 << 4), 16);
TEST("long(b1 << 5) == 32",long(b1 << 5), 32);
TEST("long(b1 << 6) == 64",long(b1 << 6), 64);
TEST("long(b1 << 7) == 128",long(b1 << 7), 128);
TEST("long(b1 << 8) == 256",long(b1 << 8), 256);
TEST("long(b1 << 9) == 512",long(b1 << 9), 512);
TEST("long(b1 << 10) == 1024",long(b1 << 10), 1024);
TEST("long(b1 << 11) == 2048",long(b1 << 11), 2048);
TEST("long(b1 << 12) == 4096",long(b1 << 12), 4096);
TEST("long(b1 << 13) == 8192",long(b1 << 13), 8192);
TEST("long(b1 << 14) == 16384",long(b1 << 14), 16384);
TEST("long(b1 << 15) == 32768",long(b1 << 15), 32768);
TEST("long(b1 << 16) == 65536",long(b1 << 16), 65536);
TEST("(b1 << 32) == vnl_bignum(\"4294967296\")",
(b1 << 32), vnl_bignum("4294967296"));
TEST("p_inf << 16 == p_inf",p_inf << 16, p_inf);
TEST("long(-b1 << 1) == -2",long(-b1 << 1), -2);
TEST("long(-b1 << 2) == -4",long(-b1 << 2), -4);
TEST("long(-b1 << 3) == -8",long(-b1 << 3), -8);
TEST("long(-b1 << 4) == -16",long(-b1 << 4), -16);
TEST("long(-b1 << 5) == -32",long(-b1 << 5), -32);
TEST("long(-b1 << 6) == -64",long(-b1 << 6), -64);
TEST("long(-b1 << 7) == -128",long(-b1 << 7), -128);
TEST("long(-b1 << 8) == -256",long(-b1 << 8), -256);
TEST("long(-b1 << 9) == -512",long(-b1 << 9), -512);
TEST("long(-b1 << 10) == -1024",long(-b1 << 10), -1024);
TEST("long(-b1 << 11) == -2048",long(-b1 << 11), -2048);
TEST("long(-b1 << 12) == -4096",long(-b1 << 12), -4096);
TEST("long(-b1 << 13) == -8192",long(-b1 << 13), -8192);
TEST("long(-b1 << 14) == -16384",long(-b1 << 14), -16384);
TEST("long(-b1 << 15) == -32768",long(-b1 << 15), -32768);
TEST("long(-b1 << 16) == -65536",long(-b1 << 16), -65536);
TEST("(-b1 << 32) == vnl_bignum(\"-4294967296\")",
(-b1 << 32), vnl_bignum("-4294967296"));
TEST("m_inf << 16 == m_inf",m_inf << 16, m_inf);
TEST("long(b1 << -16) == 0",long(b1 << -16), 0);
TEST("long(-b1 << -16) == 0",long(-b1 << -16), 0);
}
static void run_right_shift_tests()
{
vnl_bignum b2("4294967296");
vnl_bignum p_inf("+Inf"), m_inf("-Inf");
// right shift
TEST("b2 == vnl_bignum(\"4294967296\")",b2, vnl_bignum("4294967296"));
TEST("(b2 >> 1) == vnl_bignum(\"2147483648\")", (b2 >> 1), vnl_bignum("2147483648"));
TEST("long(b2 >> 2) == 1073741824",long(b2 >> 2), 1073741824L);
TEST("long(b2 >> 3) == 536870912",long(b2 >> 3), 536870912L);
TEST("long(b2 >> 4) == 268435456",long(b2 >> 4), 268435456L);
TEST("long(b2 >> 5) == 134217728",long(b2 >> 5), 134217728L);
TEST("long(b2 >> 6) == 67108864",long(b2 >> 6), 67108864L);
TEST("long(b2 >> 7) == 33554432",long(b2 >> 7), 33554432L);
TEST("long(b2 >> 8) == 16777216",long(b2 >> 8), 16777216L);
TEST("long(b2 >> 9) == 8388608",long(b2 >> 9), 8388608L);
TEST("long(b2 >> 10) == 4194304",long(b2 >> 10), 4194304L);
TEST("long(b2 >> 11) == 2097152",long(b2 >> 11), 2097152L);
TEST("long(b2 >> 12) == 1048576",long(b2 >> 12), 1048576L);
TEST("long(b2 >> 13) == 524288",long(b2 >> 13), 524288L);
TEST("long(b2 >> 14) == 262144",long(b2 >> 14), 262144L);
TEST("long(b2 >> 15) == 131072",long(b2 >> 15), 131072L);
TEST("long(b2 >> 16) == 65536",long(b2 >> 16), 65536L);
TEST("long(b2 >> 32) == 1",long(b2 >> 32), 1L);
TEST("long(b2 >> 33) == 0",long(b2 >> 33), 0L);
TEST("long(b2 >> 67) == 0",long(b2 >> 67), 0L);
TEST("p_inf >> 16 == p_inf",p_inf >> 16, p_inf);
TEST("(-b2 >> 1) == vnl_bignum(\"-2147483648\")", (-b2 >> 1), vnl_bignum("-2147483648"));
TEST("long(-b2 >> 2) == -1073741824",long(-b2 >> 2), -1073741824L);
TEST("long(-b2 >> 3) == -536870912",long(-b2 >> 3), -536870912L);
TEST("long(-b2 >> 4) == -268435456",long(-b2 >> 4), -268435456L);
TEST("long(-b2 >> 5) == -134217728",long(-b2 >> 5), -134217728L);
TEST("long(-b2 >> 6) == -67108864",long(-b2 >> 6), -67108864L);
TEST("long(-b2 >> 7) == -33554432",long(-b2 >> 7), -33554432L);
TEST("long(-b2 >> 8) == -16777216",long(-b2 >> 8), -16777216L);
TEST("long(-b2 >> 9) == -8388608",long(-b2 >> 9), -8388608L);
TEST("long(-b2 >> 10) == -4194304",long(-b2 >> 10), -4194304L);
TEST("long(-b2 >> 11) == -2097152",long(-b2 >> 11), -2097152L);
TEST("long(-b2 >> 12) == -1048576",long(-b2 >> 12), -1048576L);
TEST("long(-b2 >> 13) == -524288",long(-b2 >> 13), -524288L);
TEST("long(-b2 >> 14) == -262144",long(-b2 >> 14), -262144L);
TEST("long(-b2 >> 15) == -131072",long(-b2 >> 15), -131072L);
TEST("long(-b2 >> 16) == -65536",long(-b2 >> 16), -65536L);
TEST("long(-b2 >> 32) == -1",long(-b2 >> 32), -1);
TEST("long(-b2 >> 33) == -0",long(-b2 >> 33), 0);
TEST("long(-b2 >> 67) == -0",long(-b2 >> 67), 0);
TEST("m_inf >> 16 == m_inf",m_inf >> 16, m_inf);
}
static void run_shift_tests()
{
vcl_cout << "\nStarting shift tests:\n";
run_left_shift_tests();
run_right_shift_tests();
#ifdef INTERACTIVE
vnl_bignum b;
char s[100];
int sh;
while (true) {
vcl_cout << "Enter next vnl_bignum: ";
vcl_cin >> s;
b = s;
vcl_cout << "Enter shift amount: ";
vcl_cin >> sh;
vcl_cout << "Shift == " << sh << "\n";
b = b << sh;
}
#endif
}
void test_bignum()
{
run_constructor_tests();
run_conversion_operator_tests();
run_assignment_tests();
run_addition_subtraction_tests();
run_increment_tests();
run_multiplication_tests();
run_division_tests();
run_multiplication_division_tests();
run_shift_tests();
run_logical_comparison_tests();
}
TESTMAIN(test_bignum);
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -