Mercurial > projects > ldc
view gen/rttibuilder.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 | 1609490c123f |
children |
line wrap: on
line source
#ifndef __LDC_GEN_RTTIBUILDER_H__ #define __LDC_GEN_RTTIBUILDER_H__ #include "llvm/Constant.h" #include "llvm/ADT/SmallVector.h" struct ClassDeclaration; struct TypeClass; struct Type; struct IrStruct; struct RTTIBuilder { ClassDeclaration* base; TypeClass* basetype; IrStruct* baseir; // 10 is enough for any D1 TypeInfo // 14 is enough for any D1 ClassInfo llvm::SmallVector<llvm::Constant*, 14> inits; RTTIBuilder(ClassDeclaration* base_class); void push(llvm::Constant* C); void push_null(Type* T); void push_null_vp(); void push_null_void_array(); void push_uint(unsigned u); void push_size(uint64_t s); void push_string(const char* str); void push_typeinfo(Type* t); void push_classinfo(ClassDeclaration* cd); /// pushes the function pointer or a null void* if it cannot. void push_funcptr(FuncDeclaration* fd, Type* castto = NULL); /// pushes the array slice given. void push_array(uint64_t dim, llvm::Constant * ptr); /// pushes void[] slice, dim is used directly, ptr is cast to void* . void push_void_array(uint64_t dim, llvm::Constant* ptr); /// pushes void[] slice with data. /// CI is the constant initializer the array should point to, the length /// and ptr are resolved automatically void push_void_array(llvm::Constant* CI, Type* valtype, Dsymbol* mangle_sym); /// pushes valtype[] slice with data. /// CI is the constant initializer that .ptr should point to /// dim is .length member directly /// valtype provides the D element type, .ptr is cast to valtype->pointerTo() /// mangle_sym provides the mangle prefix for the symbol generated. void push_array(llvm::Constant* CI, uint64_t dim, Type* valtype, Dsymbol* mangle_sym); /// Creates the initializer constant and assigns it to the global. void finalize(IrGlobal* tid); /// Creates the initializer constant and assigns it to the global. llvm::Constant* get_constant(); }; #endif