Mercurial > projects > ldc
view dmd2/init.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 | 638d16625da2 |
children |
line wrap: on
line source
// Compiler implementation of the D programming language // Copyright (c) 1999-2007 by Digital Mars // All Rights Reserved // written by Walter Bright // http://www.digitalmars.com // License for redistribution is by either the Artistic License // in artistic.txt, or the GNU General Public License in gnu.txt. // See the included readme.txt for details. #ifndef INIT_H #define INIT_H #include "root.h" #include "mars.h" #include "arraytypes.h" struct Identifier; struct Expression; struct Scope; struct Type; struct dt_t; struct AggregateDeclaration; struct VoidInitializer; struct StructInitializer; struct ArrayInitializer; struct ExpInitializer; #ifdef _DH struct HdrGenState; #endif struct Initializer : Object { Loc loc; Initializer(Loc loc); virtual Initializer *syntaxCopy(); virtual Initializer *semantic(Scope *sc, Type *t); virtual Type *inferType(Scope *sc); virtual Expression *toExpression() = 0; virtual void toCBuffer(OutBuffer *buf, HdrGenState *hgs) = 0; char *toChars(); static Initializers *arraySyntaxCopy(Initializers *ai); #if IN_DMD virtual dt_t *toDt(); #endif virtual VoidInitializer *isVoidInitializer() { return NULL; } virtual StructInitializer *isStructInitializer() { return NULL; } virtual ArrayInitializer *isArrayInitializer() { return NULL; } virtual ExpInitializer *isExpInitializer() { return NULL; } }; struct VoidInitializer : Initializer { Type *type; // type that this will initialize to VoidInitializer(Loc loc); Initializer *syntaxCopy(); Initializer *semantic(Scope *sc, Type *t); Expression *toExpression(); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); #if IN_DMD dt_t *toDt(); #endif virtual VoidInitializer *isVoidInitializer() { return this; } }; struct StructInitializer : Initializer { Identifiers field; // of Identifier *'s Initializers value; // parallel array of Initializer *'s Array vars; // parallel array of VarDeclaration *'s AggregateDeclaration *ad; // which aggregate this is for StructInitializer(Loc loc); Initializer *syntaxCopy(); void addInit(Identifier *field, Initializer *value); Initializer *semantic(Scope *sc, Type *t); Expression *toExpression(); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); #if IN_DMD dt_t *toDt(); #endif StructInitializer *isStructInitializer() { return this; } }; struct ArrayInitializer : Initializer { Expressions index; // indices Initializers value; // of Initializer *'s unsigned dim; // length of array being initialized Type *type; // type that array will be used to initialize int sem; // !=0 if semantic() is run ArrayInitializer(Loc loc); Initializer *syntaxCopy(); void addInit(Expression *index, Initializer *value); Initializer *semantic(Scope *sc, Type *t); Type *inferType(Scope *sc); Expression *toExpression(); Initializer *toAssocArrayInitializer(); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); #if IN_DMD dt_t *toDt(); dt_t *toDtBit(); // for bit arrays #endif ArrayInitializer *isArrayInitializer() { return this; } }; struct ExpInitializer : Initializer { Expression *exp; ExpInitializer(Loc loc, Expression *exp); Initializer *syntaxCopy(); Initializer *semantic(Scope *sc, Type *t); Type *inferType(Scope *sc); Expression *toExpression(); void toCBuffer(OutBuffer *buf, HdrGenState *hgs); #if IN_DMD dt_t *toDt(); #endif virtual ExpInitializer *isExpInitializer() { return this; } }; #endif