Mercurial > projects > ldc
view ir/irmodule.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 | 1714836f2c0b |
children | ad7f2f1862d6 |
line wrap: on
line source
#include "gen/llvm.h" #include "gen/tollvm.h" #include "gen/irstate.h" #include "ir/irmodule.h" IrModule::IrModule(Module* module, const char* srcfilename) { M = module; LLConstant* slice = DtoConstString(srcfilename); fileName = new llvm::GlobalVariable( slice->getType(), true, LLGlobalValue::InternalLinkage, slice, ".modulefilename", gIR->module); } IrModule::~IrModule() { }