[llvm-commits] CVS: llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp

[Reid Spencer]

Changes in directory llvm-test/SingleSource/UnitTests/Integer/APInt:

gptest.cpp updated: 1.5 -> 1.6
---
Log message:

Add tests for signed comparisons.
Add tests for truncation and extension.
Attempt to test ashr. This doesn't work right because gp doesn't have
the concept of a signed shift right.


---
Diffs of the changes:  (+78 -12)

 gptest.cpp |   90 ++++++++++++++++++++++++++++++++++++++++++++++++++++---------
 1 files changed, 78 insertions(+), 12 deletions(-)


Index: llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp
diff -u llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp:1.5 llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp:1.6
--- llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp:1.5	Sat Feb 24 14:20:46 2007
+++ llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp	Tue Feb 27 11:58:33 2007
@@ -207,7 +207,6 @@
 }
 
 void doShift(const APInt &v1) {
-  APInt mask = APInt::getAllOnesValue(v1.getBitWidth());
   for (int i = 1; i <= v1.getBitWidth(); i++) {
     std::string cmd;
     cmd += "bitand(truncate(shift(";
@@ -234,16 +233,78 @@
       printf(" u>> %d = %s (not %s)\n", i, gpresult.c_str(), apresult.c_str());
       fflush(stdout);
     }
+    if (v1.isNegative())
+      cmd = "shift(" + v1.toString(10,true) + ",-" + utostr(i) + ")-1\n";
+    else
+      cmd = "shift(" + v1.toString(10,false) + ",-" + utostr(i) + ")\n";
+    gpresult = getResult(cmd);
+    R1 = v1.ashr(i);
+    if (v1.isNegative())
+      apresult = R1.toString(10,true);
+    else
+      apresult = R1.toString(10,false);
+    if (gpresult != apresult) {
+      if (v1.isNegative())
+        print(v1, true, false);
+      else
+        print(v1, false, false);
+      printf(" s>> %d = %s (not %s)\n", i, gpresult.c_str(), apresult.c_str());
+      fflush(stdout);
+    }
+  }
+}
+
+void doTruncExt(const APInt &v1) {
+  if (v1.getBitWidth() < 33)
+    return;
+  std::string cmd;
+  for (int i = 1; i < v1.getBitWidth(); i++) {
+    cmd = "bitand(" + v1.toString(10,false) + ",bitneg(0,";
+    cmd += utostr(unsigned(i)) + "))\n";
+    std::string gpresult = getResult(cmd);
+    APInt V1(v1);
+    V1.trunc(i);
+    std::string apresult = V1.toString(10,false);
+    if (gpresult != apresult) {
+      print(v1, false, false);
+      printf(".trunc(%d) = %s (not %s)\n", i, gpresult.c_str(), apresult.c_str());
+      fflush(stdout);
+    }
+  }
+  for (int i = v1.getBitWidth()+1; i < v1.getBitWidth()*2+2; ++i) {
+    cmd = "bitand(" + v1.toString(10,false) + ",bitneg(0,";
+    cmd += utostr(unsigned(i)) + "))\n";
+    std::string gpresult = getResult(cmd);
+    APInt V1(v1);
+    V1.zext(i);
+    std::string apresult = V1.toString(10,false);
+    if (gpresult != apresult) {
+      print(v1, false, false);
+      printf(".zext(%d) = %s (not %s)\n", i, gpresult.c_str(), apresult.c_str());
+      fflush(stdout);
+    }
+    cmd = "bitand(" + v1.toString(10,true) + ",bitneg(0,";
+    cmd += utostr(unsigned(i)) + "))\n";
+    gpresult = getResult(cmd);
+    APInt V2(v1);
+    V2.sext(i);
+    apresult = V2.toString(10,false);
+    if (gpresult != apresult) {
+      print(v1, true, false);
+      printf(".sext(%d) = %s (not %s)\n", i, gpresult.c_str(), apresult.c_str());
+      fflush(stdout);
+    }
   }
 }
 
 void doCompare(const APInt &v1, const std::string &op, 
-                const APInt &v2, bool apresult) {
-  std::string cmd = v1.toString(10, false) + op + 
-                    v2.toString(10, false) + '\n';
+                const APInt &v2, bool isSigned, bool apresult) {
+  std::string cmd = v1.toString(10, isSigned) + op + 
+                    v2.toString(10, isSigned) + '\n';
   bool gpresult = atoi(getResult(cmd).c_str());
   if (gpresult != apresult)
-    report(v1,v2, op, (apresult?"true":"false"), (apresult?"true":"false"));
+    report(v1,v2, (isSigned? " s"+op : " u"+op), 
+        (gpresult?"true":"false"), (apresult?"true":"false"));
 }
 
 void test_binops(const APInt &v1, const APInt &v2) {
@@ -255,13 +316,17 @@
   doAnd(v1,v2);
   doOr(v1,v2);
   doXor(v1,v2);
-  doCompare(v1, "==", v2, v1 == v2);
-  doCompare(v1, "!=", v2, v1 != v2);
-  doCompare(v1, "< ", v2, v1.ult(v2));
-  doCompare(v1, "<=", v2, v1.ule(v2));
-  doCompare(v1, "> ", v2, v1.ugt(v2));
-  doCompare(v1, ">=", v2, v1.uge(v2));
-}
+  doCompare(v1, " == ", v2, false, v1 == v2);
+  doCompare(v1, " != ", v2, false, v1 != v2);
+  doCompare(v1, " <  ", v2, false, v1.ult(v2));
+  doCompare(v1, " <= ", v2, false, v1.ule(v2));
+  doCompare(v1, " >  ", v2, false, v1.ugt(v2));
+  doCompare(v1, " >= ", v2, false, v1.uge(v2));
+  doCompare(v1, " <  ", v2, true,  v1.slt(v2));
+  doCompare(v1, " <= ", v2, true,  v1.sle(v2));
+  doCompare(v1, " >  ", v2, true,  v1.sgt(v2));
+  doCompare(v1, " >= ", v2, true,  v1.sge(v2));
+ }
 
 void Shutdown() {
   // Be nice and tell gp to stop
@@ -327,6 +392,7 @@
       doComplement(*(list[i]));
       doBitTest(*(list[i]));
       doShift(*(list[i]));
+      doTruncExt(*(list[i]));
     }
   }