chandlerc pointed out that ending a line with /\ is not very friendly. :)

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111797 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/CodeGen/ItaniumCXXABI.cpp b/lib/CodeGen/ItaniumCXXABI.cpp
index f6864059de035dfc04a27d06ac3964aa1e411e34..5e1bb255c91264afc6e2874e730577bb64b03630 100644 (file)
--- a/lib/CodeGen/ItaniumCXXABI.cpp
+++ b/lib/CodeGen/ItaniumCXXABI.cpp
@@ -501,11 +501,11 @@ ItaniumCXXABI::EmitMemberPointerComparison(CodeGenFunction &CGF,
 
   // For member function pointers, the tautologies are more complex.
   // The Itanium tautology is:
-  //   (L == R) <==> (L.ptr == R.ptr /\ (L.ptr == 0 \/ L.adj == R.adj))
+  //   (L == R) <==> (L.ptr == R.ptr && (L.ptr == 0 || L.adj == R.adj))
   // The ARM tautology is:
-  //   (L == R) <==> (L.ptr == R.ptr /\
-  //                  (L.adj == R.adj \/
-  //                   (L.ptr == 0 /\ ((L.adj|R.adj) & 1) == 0)))
+  //   (L == R) <==> (L.ptr == R.ptr &&
+  //                  (L.adj == R.adj ||
+  //                   (L.ptr == 0 && ((L.adj|R.adj) & 1) == 0)))
   // The inequality tautologies have exactly the same structure, except
   // applying De Morgan's laws.