[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.3 -> 1.4
---
Log message:

Add logical operators, shift, and index tests.


---
Diffs of the changes:  (+133 -8)

 gptest.cpp |  141 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++----
 1 files changed, 133 insertions(+), 8 deletions(-)


Index: llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp
diff -u llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp:1.3 llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp:1.4
--- llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp:1.3	Wed Feb 21 19:03:12 2007
+++ llvm-test/SingleSource/UnitTests/Integer/APInt/gptest.cpp	Sat Feb 24 03:51:47 2007
@@ -40,6 +40,10 @@
 }
 
 std::string getResult(const std::string& cmd) {
+#if 0
+  printf("Command: %s", cmd.c_str());
+  fflush(stdout);
+#endif
   const char *command = cmd.c_str();
   if (-1 == write(output, command, cmd.size())) {
     std::string msg = "write: " + cmd;
@@ -47,7 +51,6 @@
     perror(msg.c_str());
     exit(1);
   }
-   usleep(1); // try to switch contexts
   char buf[4096];
   int len = read(input, buf, 4095);
   if (-1 == len) {
@@ -76,13 +79,9 @@
 }
 
 
-bool getCompare(const APInt &v1, const std::string &op, 
-                const APInt &v2, bool wantSigned = false) {
-
-  std::string cmd = v1.toString(10, wantSigned) + op + 
-                    v2.toString(10, wantSigned) + '\n';
-  std::string result = getResult(cmd);
-  return bool(atoi(result.c_str()));
+void report(const std::string& cmd,
+            const std::string& result, const std::string& apresult) {
+  printf("%s = %s (not %s)\n", cmd.c_str(), result.c_str(), apresult.c_str());
 }
 
 void report(const APInt &v1, const APInt &v2, const std::string& op, 
@@ -94,6 +93,14 @@
   fflush(stdout);
 }
 
+void report(const APInt &v1, const std::string &op, 
+            const std::string& result, const std::string& apresult) {
+  printf(op.c_str());
+  print(v1, false, false);
+  printf(" = %s (not %s)\n", result.c_str(), apresult.c_str());
+  fflush(stdout);
+}
+
 void doMultiply(const APInt &v1, const APInt &v2) {
   std::string result = getBinop(v1, "*", v2);
   APInt r = v1 * v2;
@@ -138,6 +145,117 @@
     report(v1,v2," - ", result,apresult);
 }
 
+void doAnd(const APInt &v1, const APInt &v2) {
+  std::string cmd;
+  cmd += "bitand(";
+  cmd += v1.toString(10,false);
+  cmd += ",";
+  cmd += v2.toString(10,false);
+  cmd += ")\n";
+  std::string result = getResult(cmd);
+  APInt r = v1 & v2;
+  std::string apresult = r.toString(10, false);
+  if (result != apresult)
+    report(cmd, result,apresult);
+}
+
+void doOr(const APInt &v1, const APInt &v2) {
+  std::string cmd;
+  cmd += "bitor(";
+  cmd += v1.toString(10,false);
+  cmd += ",";
+  cmd += v2.toString(10,false);
+  cmd += ")\n";
+  std::string result = getResult(cmd);
+  APInt r = v1 | v2;
+  std::string apresult = r.toString(10, false);
+  if (result != apresult)
+    report(cmd, result,apresult);
+}
+
+void doXor(const APInt &v1, const APInt &v2) {
+  std::string cmd;
+  cmd += "bitxor(";
+  cmd += v1.toString(10,false);
+  cmd += ",";
+  cmd += v2.toString(10,false);
+  cmd += ")\n";
+  std::string result = getResult(cmd);
+  APInt r = v1 ^ v2;
+  std::string apresult = r.toString(10, false);
+  if (result != apresult)
+    report(cmd, result,apresult);
+}
+
+void doComplement(const APInt &v1) {
+  std::string cmd;
+  cmd += "bitneg(";
+  cmd += v1.toString(10,false);
+  cmd += "," + utostr(v1.getBitWidth()) + ")\n";
+  std::string result = getResult(cmd);
+  APInt r = ~v1;
+  std::string apresult = r.toString(10, false);
+  if (result != apresult)
+    report(v1," ~ ", result,apresult);
+}
+
+void doBitTest(const APInt &v1) {
+  for (int i = 0; i < v1.getBitWidth(); i++) {
+    std::string cmd;
+    cmd += "bittest(";
+    cmd += v1.toString(10,false);
+    cmd += "," + utostr(i) + ")\n";
+    bool gpresult = atoi(getResult(cmd).c_str());
+    bool apresult = v1[i];
+    if (gpresult != apresult) {
+      print(v1, false, false);
+      printf("[%d] = %s (not %s)\n", i,
+        (gpresult?"true":"false"), (apresult?"true":"false"));
+      fflush(stdout);
+    }
+  }
+}
+
+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(";
+    cmd += v1.toString(10,false);
+    cmd += "," + utostr(unsigned(i)) + ")), ";
+    cmd += "bitneg(0," + utostr(unsigned(v1.getBitWidth())) + "))\n";
+    std::string gpresult = getResult(cmd);
+    APInt R1 = v1.shl(i);
+    std::string apresult = R1.toString(10,false);
+    if (gpresult != apresult) {
+      print(v1, false, false);
+      printf(" << %d = %s (not %s)\n", i, gpresult.c_str(), apresult.c_str());
+      fflush(stdout);
+    }
+    cmd = "bitand(truncate(shift(";
+    cmd += v1.toString(10,false);
+    cmd += ",-" + utostr(i) + ")), ";
+    cmd += "bitneg(0," + utostr(unsigned(v1.getBitWidth())) + "))\n";
+    gpresult = getResult(cmd);
+    R1 = v1.lshr(i);
+    apresult = R1.toString(10,false);
+    if (gpresult != apresult) {
+      print(v1, false, false);
+      printf(" s>> %d = %s (not %s)\n", i, gpresult.c_str(), apresult.c_str());
+      fflush(stdout);
+    }
+  }
+}
+
+bool getCompare(const APInt &v1, const std::string &op, 
+                const APInt &v2, bool wantSigned = false) {
+
+  std::string cmd = v1.toString(10, wantSigned) + op + 
+                    v2.toString(10, wantSigned) + '\n';
+  std::string result = getResult(cmd);
+  return bool(atoi(result.c_str()));
+}
+
 void doComparisons(const APInt &v1, const APInt &v2) {
   bool result = getCompare(v1, "==", v2);
   bool apresult = v1 == v2;
@@ -170,6 +288,10 @@
   doSubtract(v1,v2);
   doMultiply(v1, v2);
   doDivide(v1, v2);
+  doRemainder(v1,v2);
+  doAnd(v1,v2);
+  doOr(v1,v2);
+  doXor(v1,v2);
   doComparisons(v1, v2);
 }
 
@@ -234,6 +356,9 @@
       for (unsigned j = 0; j < 9; ++j) {
         test_binops(*(list[i]), *(list[j]));
       }
+      doComplement(*(list[i]));
+      doBitTest(*(list[i]));
+      doShift(*(list[i]));
     }
   }