Mercurial > projects > ldc
view ir/irdsymbol.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 | 229e02867307 |
children |
line wrap: on
line source
#include "gen/llvm.h" #include "ir/ir.h" #include "ir/irdsymbol.h" #include "ir/irvar.h" #include "gen/logger.h" std::set<IrDsymbol*> IrDsymbol::list; void IrDsymbol::resetAll() { Logger::println("resetting %zu Dsymbols", list.size()); std::set<IrDsymbol*>::iterator it; for(it = list.begin(); it != list.end(); ++it) (*it)->reset(); } IrDsymbol::IrDsymbol() { bool incr = list.insert(this).second; assert(incr); reset(); } IrDsymbol::IrDsymbol(const IrDsymbol& s) { bool incr = list.insert(this).second; assert(incr); DModule = s.DModule; irModule = s.irModule; irStruct = s.irStruct; irFunc = s.irFunc; resolved = s.resolved; declared = s.declared; initialized = s.initialized; defined = s.defined; irGlobal = s.irGlobal; irLocal = s.irLocal; irField = s.irField; } IrDsymbol::~IrDsymbol() { list.erase(this); } void IrDsymbol::reset() { DModule = NULL; irModule = NULL; irStruct = NULL; irFunc = NULL; resolved = declared = initialized = defined = false; irGlobal = NULL; irLocal = NULL; irField = NULL; } bool IrDsymbol::isSet() { return (irStruct || irFunc || irGlobal || irLocal || irField); } IrVar* IrDsymbol::getIrVar() { assert(irGlobal || irLocal || irField); return irGlobal ? (IrVar*)irGlobal : irLocal ? (IrVar*)irLocal : (IrVar*)irField; } llvm::Value*& IrDsymbol::getIrValue() { return getIrVar()->value; }