diff options
| author | John McCall <rjmccall@apple.com> | 2010-08-23 06:56:36 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2010-08-23 06:56:36 +0000 |
| commit | de719f7131e1ece5c9d6b5ffe21b83286d29f10f (patch) | |
| tree | 88d6e14167c90741eaca90a48b22829029d097a0 /lib/CodeGen | |
| parent | 1f58816e6589ef15d1509c6c99bb8fabf2a4cda9 (diff) | |
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
Diffstat (limited to 'lib/CodeGen')
| -rw-r--r-- | lib/CodeGen/ItaniumCXXABI.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/CodeGen/ItaniumCXXABI.cpp b/lib/CodeGen/ItaniumCXXABI.cpp index f6864059de..5e1bb255c9 100644 --- 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. |