More work on the testsuite.

[bigint/bigint.git] / testsuite.cc

diff --git a/testsuite.cc b/testsuite.cc
index c91c8ad..3796b99 100644 (file)
--- a/testsuite.cc
+++ b/testsuite.cc
@@ -8,10 +8,98 @@
 #include <iostream>
 using namespace std;
 
+const BigUnsigned &check(const BigUnsigned &x) {
+       unsigned int l = x.getLength();
+       if (l != 0 && x.getBlock(l-1) == 0)
+               cout << "Unzapped number!" << endl;
+       if (l > x.getCapacity())
+               cout << "Capacity inconsistent with length!" << endl;
+       return x;
+}
+
+const BigInteger &check(const BigInteger &x) {
+       if (x.getSign() == 0 && !x.getMagnitude().isZero())
+               cout << "Sign should not be zero!" << endl;
+       if (x.getSign() != 0 && x.getMagnitude().isZero())
+               cout << "Sign should be zero!" << endl;
+       check(x.getMagnitude());
+       return x;
+}
+
+#define THROWY(x) try {x; cout << "Expected error not thrown!" << endl; } catch (const char *err) {}
+
 int main() {
-       
+
+try {
+
 BigUnsigned z(0), one(1), ten(10);
 cout << z << ',' << one << ',' << ten << endl; //0,1,10
 
+// TODO: Comprehensively test the general and special cases of each function.
+
+// Addition
+cout << check(BigUnsigned(0) + 0) << endl; //0
+cout << check(BigUnsigned(0) + 1) << endl; //1
+cout << check(BigUnsigned(0xFFFFFFFFU) + 1) << endl; //4294967296
+
+// Negative BigUnsigneds
+THROWY(BigUnsigned(-1));
+THROWY(BigUnsigned(5) - BigUnsigned(6));
+cout << check(BigUnsigned(5) - BigUnsigned(5)) << endl; //0
+
+// Multiplication and division
+BigUnsigned a = check(BigUnsigned(314159265) * 358979323);
+cout << a << ',' << (a / 123) << ',' << (a % 123) << endl;
+//112776680263877595,916883579381118,81
+THROWY(BigUnsigned(5) / 0);
+
+{
+       /* Test that BigInteger division sets the sign to zero.
+        * Bug reported by David Allen. */
+       BigInteger num(3), denom(5), quotient;
+       num.divideWithRemainder(denom, quotient);
+       check(quotient);
+       num = 5;
+       num.divideWithRemainder(denom, quotient);
+       check(num);
+}
+
+{
+       /* Test that BigInteger subtraction sets the sign properly.
+        * Bug reported by Samuel Larkin. */
+       BigInteger zero(0), three(3), ans;
+       ans = zero - three;
+       cout << check(ans).getSign() << endl; //-1
+}
+
+{
+       /* Test that BigInteger multiplication shifts bits properly on systems
+        * where long is bigger than int.  (Obviously, this would only catch the
+        * bug when run on such a system.)
+        * Bug reported by Mohand Mezmaz. */
+       BigInteger f=4; f*=3;
+       cout<<check(f)<<endl; //12
+}
+
+{
+       /* Test that bitwise XOR allocates the larger length.
+        * Bug reported by Sriram Sankararaman. */
+       BigUnsigned a(0), b(3), ans;
+       ans = a ^ b;
+       cout << ans << endl; //3
+}
+
+{
+       /* Test that an aliased multiplication works.
+        * Bug reported by Boris Dessy. */
+       BigInteger num(5);
+       num *= num;
+       cout << check(num) << endl; //25
+}
+
+} catch (const char *err) {
+       cout << "ERROR: " << err << endl;
+}
+
 return 0;
 }