Index: lib/Analysis/TempScopInfo.cpp
===================================================================
--- lib/Analysis/TempScopInfo.cpp
+++ lib/Analysis/TempScopInfo.cpp
@@ -50,7 +50,42 @@
 }
 
 void Comparison::print(raw_ostream &OS) const {
-  // Not yet implemented.
+  OS << "Comparison: " << *LHS << " ";
+  switch (getPred()) {
+  case ICmpInst::ICMP_EQ:
+    OS << "==";
+    break;
+  case ICmpInst::ICMP_NE:
+    OS << "!=";
+    break;
+  case ICmpInst::ICMP_SLT:
+    OS << "<";
+    break;
+  case ICmpInst::ICMP_SLE:
+    OS << "<=";
+    break;
+  case ICmpInst::ICMP_SGT:
+    OS << ">";
+    break;
+  case ICmpInst::ICMP_SGE:
+    OS << ">=";
+    break;
+  case ICmpInst::ICMP_ULT:
+    OS << "u<";
+    break;
+  case ICmpInst::ICMP_UGT:
+    OS << "u>";
+    break;
+  case ICmpInst::ICMP_ULE:
+    OS << "u<=";
+    break;
+  case ICmpInst::ICMP_UGE:
+    OS << "u>=";
+    break;
+  default:
+    llvm_unreachable("Non integer predicate not supported");
+  }
+  OS << " " << *RHS << "\n";
 }
 
 /// Helper function to print the condition