Mercurial > projects > ldc

diff gen/aa.cpp @ 1512:09734fb929c0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make == for associative arrays test for equality, not identity. _aaEq was added to runtime/internal/aaA.d which forwards to TypeInfo_AssociativeArray.equals in genobj.d. On the codegen side, DtoAAEquals was added to gen/aa.cpp and is called from EqualExp::toElem in gen/toir.cpp. I assume that the frontend will produce an error if == is used on associative arrays of different type. This fixes DMD bug 1429.
author Christian Kamm <kamm incasoftware de>
date Sun, 21 Jun 2009 19:05:24 +0200
parents f5f8c21ce6ef
children 8ca25bd765a3
line wrap: on
line diff
--- a/gen/aa.cpp	Sun Jun 21 00:12:29 2009 +0200
+++ b/gen/aa.cpp	Sun Jun 21 19:05:24 2009 +0200
@@ -218,3 +218,24 @@
     // call runtime
     gIR->CreateCallOrInvoke(func, args.begin(), args.end());
 }
+
+/////////////////////////////////////////////////////////////////////////////////////
+
+LLValue* DtoAAEquals(Loc& loc, TOK op, DValue* l, DValue* r)
+{
+    Type* t = l->getType()->toBasetype();
+    assert(t == r->getType()->toBasetype() && "aa equality is only defined for aas of same type");
+
+    llvm::Function* func = LLVM_D_GetRuntimeFunction(gIR->module, "_aaEq");
+    const llvm::FunctionType* funcTy = func->getFunctionType();
+    
+    LLValue* aaval = DtoBitCast(l->getRVal(), funcTy->getParamType(0));
+    LLValue* abval = DtoBitCast(r->getRVal(), funcTy->getParamType(1));
+    LLValue* aaTypeInfo = DtoTypeInfoOf(t);
+    LLValue* res = gIR->CreateCallOrInvoke3(func, aaval, abval, aaTypeInfo, "aaEqRes").getInstruction();
+    
+    res = gIR->ir->CreateICmpNE(res, DtoConstInt(0), "tmp");
+    if (op == TOKnotequal)
+        res = gIR->ir->CreateNot(res, "tmp");
+    return res;
+}
\ No newline at end of file