Mercurial > projects > ldc
view ir/irdsymbol.cpp @ 1491:360a8e8eea51
Teach stack promotion to walk the CFG when a potential reuse of an allocation
is found to see if it can actually happen instead of just assuming it will.
This allows it to catch cases like
{{{
int i;
Foo f;
while (cond(i))
f = new Foo(i++);
return f.value;
}}}
where it previously wouldn't because a phi using the allocation would appear in
the condition block to propagate it to the use after the loop.
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Thu, 11 Jun 2009 02:04:44 +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; }