Mercurial > projects > ldc

comparison 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
comparison
equal deleted inserted replaced
1511:5b66008246bb 1512:09734fb929c0
216 args.push_back(pkey); 216 args.push_back(pkey);
217 217
218 // call runtime 218 // call runtime
219 gIR->CreateCallOrInvoke(func, args.begin(), args.end()); 219 gIR->CreateCallOrInvoke(func, args.begin(), args.end());
220 } 220 }
221
222 /////////////////////////////////////////////////////////////////////////////////////
223
224 LLValue* DtoAAEquals(Loc& loc, TOK op, DValue* l, DValue* r)
225 {
226 Type* t = l->getType()->toBasetype();
227 assert(t == r->getType()->toBasetype() && "aa equality is only defined for aas of same type");
228
229 llvm::Function* func = LLVM_D_GetRuntimeFunction(gIR->module, "_aaEq");
230 const llvm::FunctionType* funcTy = func->getFunctionType();
231
232 LLValue* aaval = DtoBitCast(l->getRVal(), funcTy->getParamType(0));
233 LLValue* abval = DtoBitCast(r->getRVal(), funcTy->getParamType(1));
234 LLValue* aaTypeInfo = DtoTypeInfoOf(t);
235 LLValue* res = gIR->CreateCallOrInvoke3(func, aaval, abval, aaTypeInfo, "aaEqRes").getInstruction();
236
237 res = gIR->ir->CreateICmpNE(res, DtoConstInt(0), "tmp");
238 if (op == TOKnotequal)
239 res = gIR->ir->CreateNot(res, "tmp");
240 return res;
241 }