Mercurial > projects > ldc
view gen/llvmhelpers.h @ 1479:4f7d50c744ed
Rewrite `StructLiteralExp::toElem` to store individual fields instead of
generating a constant to fill the entire struct with a single `store`.
This is much more efficient at compile time (fixing #320) and vastly reduces
the size of the emitted code. Since LLVM no longer needs to keep the data for
all fields in "registers" until the store happens, it should also be more
efficient at run time in cases where the fields aren't assigned with constants.
There's also some code clean-up by removing duplicated logic.
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Sat, 06 Jun 2009 20:16:13 +0200 |
parents | 3f5ea912149d |
children | cc5fee7836dc 855f188aab7a |
line wrap: on
line source
#ifndef LDC_GEN_LLVMHELPERS_H #define LDC_GEN_LLVMHELPERS_H #include "gen/llvm.h" #include "gen/dvalue.h" #include "statement.h" #include "mtype.h" // this is used for tracking try-finally, synchronized and volatile scopes struct EnclosingHandler { virtual void emitCode(IRState* p) = 0; }; struct EnclosingTryFinally : EnclosingHandler { TryFinallyStatement* tf; llvm::BasicBlock* landingPad; void emitCode(IRState* p); EnclosingTryFinally(TryFinallyStatement* _tf, llvm::BasicBlock* _pad) : tf(_tf), landingPad(_pad) {} }; struct EnclosingVolatile : EnclosingHandler { VolatileStatement* v; void emitCode(IRState* p); EnclosingVolatile(VolatileStatement* _tf) : v(_tf) {} }; struct EnclosingSynchro : EnclosingHandler { SynchronizedStatement* s; void emitCode(IRState* p); EnclosingSynchro(SynchronizedStatement* _tf) : s(_tf) {} }; // dynamic memory helpers LLValue* DtoNew(Type* newtype); void DtoDeleteMemory(LLValue* ptr); void DtoDeleteClass(LLValue* inst); void DtoDeleteInterface(LLValue* inst); void DtoDeleteArray(DValue* arr); // emit an alloca llvm::AllocaInst* DtoAlloca(Type* type, const char* name = ""); llvm::AllocaInst* DtoArrayAlloca(Type* type, unsigned arraysize, const char* name = ""); llvm::AllocaInst* DtoRawAlloca(const llvm::Type* lltype, size_t alignment, const char* name = ""); // assertion generator void DtoAssert(Module* M, Loc loc, DValue* msg); // return the LabelStatement from the current function with the given identifier or NULL if not found LabelStatement* DtoLabelStatement(Identifier* ident); /// emits goto to LabelStatement with the target identifier /// the sourceFinally is only used for error checking void DtoGoto(Loc loc, Identifier* target, TryFinallyStatement* sourceFinally); // Generates IR for enclosing handlers between the current state and // the scope created by the 'target' statement. void DtoEnclosingHandlers(Loc loc, Statement* target); /// Enters a critical section. void DtoEnterCritical(LLValue* g); /// leaves a critical section. void DtoLeaveCritical(LLValue* g); /// Enters a monitor lock. void DtoEnterMonitor(LLValue* v); /// Leaves a monitor lock. void DtoLeaveMonitor(LLValue* v); // basic operations void DtoAssign(Loc& loc, DValue* lhs, DValue* rhs); /// Create a null DValue. DValue* DtoNullValue(Type* t); // casts DValue* DtoCastInt(Loc& loc, DValue* val, Type* to); DValue* DtoCastPtr(Loc& loc, DValue* val, Type* to); DValue* DtoCastFloat(Loc& loc, DValue* val, Type* to); DValue* DtoCastDelegate(Loc& loc, DValue* val, Type* to); DValue* DtoCast(Loc& loc, DValue* val, Type* to); // return the same val as passed in, modified to the target type, if possible, otherwise returns a new DValue DValue* DtoPaintType(Loc& loc, DValue* val, Type* to); // is template instance check, returns module where instantiated TemplateInstance* DtoIsTemplateInstance(Dsymbol* s); /// Generate code for the symbol. /// Dispatches as appropriate. void DtoResolveDsymbol(Dsymbol* dsym); /// Generates the constant initializer for a global variable. void DtoConstInitGlobal(VarDeclaration* vd); // declaration inside a declarationexp DValue* DtoDeclarationExp(Dsymbol* declaration); LLValue* DtoRawVarDeclaration(VarDeclaration* var, LLValue* addr = 0); // initializer helpers LLConstant* DtoConstInitializer(Loc loc, Type* type, Initializer* init); LLConstant* DtoConstExpInit(Loc loc, Type* t, Expression* exp); DValue* DtoInitializer(LLValue* target, Initializer* init); // annotation generator void DtoAnnotation(const char* str); // getting typeinfo of type, base=true casts to object.TypeInfo LLConstant* DtoTypeInfoOf(Type* ty, bool base=true); // binary operations DValue* DtoBinAdd(DValue* lhs, DValue* rhs); DValue* DtoBinSub(DValue* lhs, DValue* rhs); // these binops need an explicit result type to handling // to give 'ifloat op float' and 'float op ifloat' the correct type DValue* DtoBinMul(Type* resulttype, DValue* lhs, DValue* rhs); DValue* DtoBinDiv(Type* resulttype, DValue* lhs, DValue* rhs); DValue* DtoBinRem(Type* resulttype, DValue* lhs, DValue* rhs); // target stuff void findDefaultTarget(); /// Fixup an overloaded intrinsic name string. void DtoOverloadedIntrinsicName(TemplateInstance* ti, TemplateDeclaration* td, std::string& name); /// Returns true if the symbol should be defined in the current module, not just declared. bool mustDefineSymbol(Dsymbol* s); /// Returns true if the symbol needs template linkage, or just external. bool needsTemplateLinkage(Dsymbol* s); /// Returns true if there is any unaligned type inside the aggregate. bool hasUnalignedFields(Type* t); /// DValue* DtoInlineAsmExpr(Loc loc, FuncDeclaration* fd, Expressions* arguments); /// Create the IrModule if necessary and returns it. IrModule* getIrModule(Module* M); /// Update an offset to make sure it follows both the D and LLVM alignments. /// Returns the offset rounded up to the closest safely aligned offset. size_t realignOffset(size_t offset, Type* type); //////////////////////////////////////////// // gen/tocall.cpp stuff below //////////////////////////////////////////// /// convert DMD calling conv to LLVM unsigned DtoCallingConv(Loc loc, LINK l); /// TypeFunction* DtoTypeFunction(DValue* fnval); /// DValue* DtoVaArg(Loc& loc, Type* type, Expression* valistArg); /// LLValue* DtoCallableValue(DValue* fn); /// const LLFunctionType* DtoExtractFunctionType(const LLType* type); /// void DtoBuildDVarArgList(std::vector<LLValue*>& args, llvm::AttrListPtr& palist, TypeFunction* tf, Expressions* arguments, size_t argidx); /// DValue* DtoCallFunction(Loc& loc, Type* resulttype, DValue* fnval, Expressions* arguments); #endif