diff options
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. |