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.

#ifndef LDC_IR_IRMODULE_H
#define LDC_IR_IRMODULE_H

#include "ir/ir.h"

struct Module;

struct IrModule : IrBase
{
    IrModule(Module* module, const char* srcfilename);
    virtual ~IrModule();

    Module* M;

    LLGlobalVariable* fileName;
    llvm::DICompileUnit diCompileUnit;
};

#endif