Mercurial > projects > ldc
view ir/irvar.h @ 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 | 0c03ba6f7c24 |
children |
line wrap: on
line source
#ifndef LDC_IR_IRVAR_H #define LDC_IR_IRVAR_H #include "ir/ir.h" #include "llvm/Type.h" struct IrVar : IrBase { IrVar(VarDeclaration* var); VarDeclaration* V; llvm::Value* value; }; // represents a global variable struct IrGlobal : IrVar { IrGlobal(VarDeclaration* v); llvm::PATypeHolder type; llvm::Constant* constInit; }; // represents a local variable variable struct IrLocal : IrVar { IrLocal(VarDeclaration* v); bool byref; // Not used for -nested-ctx=array int nestedDepth; // ditto int nestedIndex; }; // represents an aggregate field variable struct IrField : IrVar { IrField(VarDeclaration* v); unsigned index; unsigned unionOffset; llvm::Constant* getDefaultInit(); protected: /// FIXME: only used for StructLiteralsExps llvm::Constant* constInit; }; #endif