Mercurial > projects > ldc
view ir/irtypefunction.cpp @ 1418:f5f8c21ce6ef
Make "`aa[key]`" use the same runtime call as "`key in aa`". The runtime calls
these were using were different, but with equivalent definitions.
With `ldc -O3`, the following functions now all compile to the exact same code:
{{{
int[int] y;
void foo(int x) {
if (x in y) {
auto z = x in y;
sink(*z);
}
}
void bar(int x) {
if (x in y) {
sink(y[x]);
}
}
void baz(int x) {
if (auto p = x in y) {
sink(*p);
}
}
}}}
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Mon, 25 May 2009 12:50:40 +0200 |
parents | 46f6365a50d7 |
children | 755abafbf25d |
line wrap: on
line source
#include "llvm/DerivedTypes.h" #include "mtype.h" #include "gen/irstate.h" #include "gen/tollvm.h" #include "gen/functions.h" #include "ir/irtypefunction.h" IrTypeFunction::IrTypeFunction(Type * dt) : IrType(dt, llvm::OpaqueType::get()) { irfty = NULL; } const llvm::Type * IrTypeFunction::buildType() { const llvm::Type* T; TypeFunction* tf = (TypeFunction*)dtype; if (tf->funcdecl) T = DtoFunctionType(tf->funcdecl); else T = DtoFunctionType(tf,NULL,NULL); llvm::cast<llvm::OpaqueType>(pa.get())->refineAbstractTypeTo(T); return pa.get(); } ////////////////////////////////////////////////////////////////////////////// IrTypeDelegate::IrTypeDelegate(Type * dt) : IrType(dt, llvm::OpaqueType::get()) { } const llvm::Type * IrTypeDelegate::buildType() { assert(dtype->ty == Tdelegate); const LLType* i8ptr = getVoidPtrType(); const LLType* func = DtoFunctionType(dtype->nextOf(), NULL, Type::tvoid->pointerTo()); const LLType* funcptr = getPtrToType(func); const LLStructType* dgtype = LLStructType::get(i8ptr, funcptr, NULL); gIR->module->addTypeName(dtype->toChars(), dgtype); llvm::cast<llvm::OpaqueType>(pa.get())->refineAbstractTypeTo(dgtype); return pa.get(); }