Mercurial > projects > ldc
annotate dmd/aggregate.h @ 132:1700239cab2e trunk
[svn r136] MAJOR UNSTABLE UPDATE!!!
Initial commit after moving to Tango instead of Phobos.
Lots of bugfixes...
This build is not suitable for most things.
| author | lindquist |
|---|---|
| date | Fri, 11 Jan 2008 17:57:40 +0100 |
| parents | 9c79b61fb638 |
| children | 0e28624814e8 |
| rev | line source |
|---|---|
| 1 | 1 |
| 2 // Compiler implementation of the D programming language | |
| 3 // Copyright (c) 1999-2006 by Digital Mars | |
| 4 // All Rights Reserved | |
| 5 // written by Walter Bright | |
| 6 // http://www.digitalmars.com | |
| 7 // License for redistribution is by either the Artistic License | |
| 8 // in artistic.txt, or the GNU General Public License in gnu.txt. | |
| 9 // See the included readme.txt for details. | |
| 10 | |
| 11 #ifndef DMD_AGGREGATE_H | |
| 12 #define DMD_AGGREGATE_H | |
| 13 | |
| 14 #ifdef __DMC__ | |
| 15 #pragma once | |
| 16 #endif /* __DMC__ */ | |
| 17 | |
| 18 #include "root.h" | |
| 19 #include "dsymbol.h" | |
| 20 | |
|
8
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
1
diff
changeset
|
21 #include <vector> |
| 73 | 22 #include <set> |
| 23 #include <map> | |
|
8
5e69b77a5c51
[svn r12] fixed accessing aggregate fields of aggregates
lindquist
parents:
1
diff
changeset
|
24 |
| 1 | 25 struct Identifier; |
| 26 struct Type; | |
| 27 struct TypeFunction; | |
| 28 struct Expression; | |
| 29 struct FuncDeclaration; | |
| 30 struct CtorDeclaration; | |
| 31 struct DtorDeclaration; | |
| 32 struct InvariantDeclaration; | |
| 33 struct NewDeclaration; | |
| 34 struct DeleteDeclaration; | |
| 35 struct InterfaceDeclaration; | |
| 36 struct ClassInfoDeclaration; | |
| 37 struct VarDeclaration; | |
| 38 struct dt_t; | |
| 39 | |
| 40 namespace llvm | |
| 41 { | |
| 42 class Type; | |
| 43 class Value; | |
| 44 class Constant; | |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
35
diff
changeset
|
45 class ConstantStruct; |
| 100 | 46 class GlobalVariable; |
| 1 | 47 } |
| 100 | 48 struct IRStruct; |
|
88
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
77
diff
changeset
|
49 struct DUnion; |
|
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
77
diff
changeset
|
50 |
| 1 | 51 struct AggregateDeclaration : ScopeDsymbol |
| 52 { | |
| 53 Type *type; | |
| 54 unsigned storage_class; | |
| 55 enum PROT protection; | |
| 56 Type *handle; // 'this' type | |
| 57 unsigned structsize; // size of struct | |
| 58 unsigned alignsize; // size of struct for alignment purposes | |
| 59 unsigned structalign; // struct member alignment in effect | |
| 60 int hasUnions; // set if aggregate has overlapping fields | |
| 61 Array fields; // VarDeclaration fields | |
| 62 unsigned sizeok; // set when structsize contains valid data | |
| 63 // 0: no size | |
| 64 // 1: size is correct | |
| 65 // 2: cannot determine size; fwd referenced | |
| 66 int isdeprecated; // !=0 if deprecated | |
| 67 Scope *scope; // !=NULL means context to use | |
| 68 | |
| 69 // Special member functions | |
| 70 InvariantDeclaration *inv; // invariant | |
| 71 NewDeclaration *aggNew; // allocator | |
| 72 DeleteDeclaration *aggDelete; // deallocator | |
| 73 | |
| 74 #ifdef IN_GCC | |
| 75 Array methods; // flat list of all methods for debug information | |
| 76 #endif | |
| 77 | |
| 78 AggregateDeclaration(Loc loc, Identifier *id); | |
| 79 void semantic2(Scope *sc); | |
| 80 void semantic3(Scope *sc); | |
| 81 void inlineScan(); | |
| 82 unsigned size(Loc loc); | |
| 83 static void alignmember(unsigned salign, unsigned size, unsigned *poffset); | |
| 84 Type *getType(); | |
| 85 void addField(Scope *sc, VarDeclaration *v); | |
| 86 int isDeprecated(); // is aggregate deprecated? | |
| 87 | |
| 88 void emitComment(Scope *sc); | |
| 89 void toDocBuffer(OutBuffer *buf); | |
| 90 | |
| 91 // For access checking | |
| 92 virtual PROT getAccess(Dsymbol *smember); // determine access to smember | |
| 93 int isFriendOf(AggregateDeclaration *cd); | |
| 94 int hasPrivateAccess(Dsymbol *smember); // does smember have private access to members of this class? | |
| 95 void accessCheck(Loc loc, Scope *sc, Dsymbol *smember); | |
| 96 | |
| 97 enum PROT prot(); | |
| 98 | |
| 99 // Back end | |
| 100 Symbol *stag; // tag symbol for debug data | |
| 101 Symbol *sinit; | |
| 102 Symbol *toInitializer(); | |
| 103 | |
| 104 bool llvmInProgress; | |
| 100 | 105 llvm::GlobalVariable* llvmVtbl; |
|
54
28e99b04a132
[svn r58] Fixed cond expression resulting in a non-basic type.
lindquist
parents:
35
diff
changeset
|
106 llvm::ConstantStruct* llvmConstVtbl; |
|
121
9c79b61fb638
[svn r125] Renamed/moved a few backend member inside DMD structures for consistency.
lindquist
parents:
102
diff
changeset
|
107 llvm::GlobalVariable* llvmInit; |
|
9c79b61fb638
[svn r125] Renamed/moved a few backend member inside DMD structures for consistency.
lindquist
parents:
102
diff
changeset
|
108 llvm::Constant* llvmConstInit; |
| 100 | 109 llvm::GlobalVariable* llvmClass; |
|
121
9c79b61fb638
[svn r125] Renamed/moved a few backend member inside DMD structures for consistency.
lindquist
parents:
102
diff
changeset
|
110 llvm::Constant* llvmConstClass; |
| 73 | 111 bool llvmHasUnions; |
|
88
058d3925950e
[svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too.
lindquist
parents:
77
diff
changeset
|
112 DUnion* llvmUnion; |
| 100 | 113 IRStruct* llvmIRStruct; |
|
102
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
114 bool llvmClassDeclared; |
|
027b8d8b71ec
[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up.
lindquist
parents:
100
diff
changeset
|
115 bool llvmClassDefined; |
| 1 | 116 |
| 117 AggregateDeclaration *isAggregateDeclaration() { return this; } | |
| 118 }; | |
| 119 | |
| 120 struct AnonymousAggregateDeclaration : AggregateDeclaration | |
| 121 { | |
| 122 AnonymousAggregateDeclaration() | |
| 123 : AggregateDeclaration(0, NULL) | |
| 124 { | |
| 125 } | |
| 126 | |
| 127 AnonymousAggregateDeclaration *isAnonymousAggregateDeclaration() { return this; } | |
| 128 }; | |
| 129 | |
| 130 struct StructDeclaration : AggregateDeclaration | |
| 131 { | |
| 132 int zeroInit; // !=0 if initialize with 0 fill | |
| 133 | |
| 134 StructDeclaration(Loc loc, Identifier *id); | |
| 135 Dsymbol *syntaxCopy(Dsymbol *s); | |
| 136 void semantic(Scope *sc); | |
| 137 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 138 char *mangle(); | |
| 139 char *kind(); | |
| 140 void toDocBuffer(OutBuffer *buf); | |
| 141 | |
| 142 PROT getAccess(Dsymbol *smember); // determine access to smember | |
| 143 | |
| 144 void toObjFile(); // compile to .obj file | |
| 145 void toDt(dt_t **pdt); | |
| 146 void toDebug(); // to symbolic debug info | |
| 147 | |
| 148 StructDeclaration *isStructDeclaration() { return this; } | |
| 149 }; | |
| 150 | |
| 151 struct UnionDeclaration : StructDeclaration | |
| 152 { | |
| 153 UnionDeclaration(Loc loc, Identifier *id); | |
| 154 Dsymbol *syntaxCopy(Dsymbol *s); | |
| 155 char *kind(); | |
| 156 | |
| 157 UnionDeclaration *isUnionDeclaration() { return this; } | |
| 158 }; | |
| 159 | |
| 160 struct BaseClass | |
| 161 { | |
| 162 Type *type; // (before semantic processing) | |
| 163 enum PROT protection; // protection for the base interface | |
| 164 | |
| 165 ClassDeclaration *base; | |
| 166 int offset; // 'this' pointer offset | |
| 167 Array vtbl; // for interfaces: Array of FuncDeclaration's | |
| 168 // making up the vtbl[] | |
| 169 | |
| 170 int baseInterfaces_dim; | |
| 171 BaseClass *baseInterfaces; // if BaseClass is an interface, these | |
| 172 // are a copy of the InterfaceDeclaration::interfaces | |
| 173 | |
| 174 BaseClass(); | |
| 175 BaseClass(Type *type, enum PROT protection); | |
| 176 | |
| 177 int fillVtbl(ClassDeclaration *cd, Array *vtbl, int newinstance); | |
| 178 void copyBaseInterfaces(BaseClasses *); | |
| 179 }; | |
| 180 | |
| 181 #define CLASSINFO_SIZE (0x3C+12) // value of ClassInfo.size | |
| 182 | |
| 183 struct ClassDeclaration : AggregateDeclaration | |
| 184 { | |
| 185 static ClassDeclaration *object; | |
| 186 static ClassDeclaration *classinfo; | |
| 187 | |
| 188 ClassDeclaration *baseClass; // NULL only if this is Object | |
| 189 CtorDeclaration *ctor; | |
| 190 CtorDeclaration *defaultCtor; // default constructor | |
| 191 FuncDeclarations dtors; // Array of destructors | |
| 192 FuncDeclaration *staticCtor; | |
| 193 FuncDeclaration *staticDtor; | |
| 194 Array vtbl; // Array of FuncDeclaration's making up the vtbl[] | |
| 195 Array vtblFinal; // More FuncDeclaration's that aren't in vtbl[] | |
| 196 | |
| 197 BaseClasses baseclasses; // Array of BaseClass's; first is super, | |
| 198 // rest are Interface's | |
| 199 | |
| 200 int interfaces_dim; | |
| 201 BaseClass **interfaces; // interfaces[interfaces_dim] for this class | |
| 202 // (does not include baseClass) | |
| 203 | |
| 204 BaseClasses *vtblInterfaces; // array of base interfaces that have | |
| 205 // their own vtbl[] | |
| 206 | |
| 207 ClassInfoDeclaration *vclassinfo; // the ClassInfo object for this ClassDeclaration | |
| 208 int com; // !=0 if this is a COM class | |
| 209 int isauto; // !=0 if this is an auto class | |
| 210 int isabstract; // !=0 if abstract class | |
| 211 | |
| 212 int isnested; // !=0 if is nested | |
| 213 VarDeclaration *vthis; // 'this' parameter if this class is nested | |
| 214 | |
| 215 ClassDeclaration(Loc loc, Identifier *id, BaseClasses *baseclasses); | |
| 216 Dsymbol *syntaxCopy(Dsymbol *s); | |
| 217 void semantic(Scope *sc); | |
| 218 void toCBuffer(OutBuffer *buf, HdrGenState *hgs); | |
| 219 int isBaseOf2(ClassDeclaration *cd); | |
| 220 | |
| 221 #define OFFSET_RUNTIME 0x76543210 | |
| 222 virtual int isBaseOf(ClassDeclaration *cd, int *poffset); | |
| 223 | |
| 224 Dsymbol *search(Loc, Identifier *ident, int flags); | |
| 225 FuncDeclaration *findFunc(Identifier *ident, TypeFunction *tf); | |
| 226 void interfaceSemantic(Scope *sc); | |
| 227 int isNested(); | |
| 228 int isCOMclass(); | |
|
35
3cfcb944304e
[svn r39] * Updated to DMD 1.022 with the exception of:
lindquist
parents:
24
diff
changeset
|
229 virtual int isCOMinterface(); |
| 1 | 230 int isAbstract(); |
| 231 virtual int vtblOffset(); | |
| 232 char *kind(); | |
| 233 char *mangle(); | |
| 234 void toDocBuffer(OutBuffer *buf); | |
| 235 | |
| 236 PROT getAccess(Dsymbol *smember); // determine access to smember | |
| 237 | |
| 238 void addLocalClass(ClassDeclarations *); | |
| 239 | |
| 240 // Back end | |
| 241 void toObjFile(); // compile to .obj file | |
| 242 void toDebug(); | |
| 243 unsigned baseVtblOffset(BaseClass *bc); | |
| 244 Symbol *toSymbol(); | |
| 245 Symbol *toVtblSymbol(); | |
| 246 void toDt(dt_t **pdt); | |
| 247 void toDt2(dt_t **pdt, ClassDeclaration *cd); | |
| 248 | |
| 249 Symbol *vtblsym; | |
| 250 | |
|
77
714057ff2dbb
[svn r81] Fixed: Union support was very buggy. Should be fairly solid now.
lindquist
parents:
73
diff
changeset
|
251 void offsetToIndex(Type* t, unsigned os, std::vector<unsigned>& result); |
| 1 | 252 |
| 253 ClassDeclaration *isClassDeclaration() { return (ClassDeclaration *)this; } | |
| 254 }; | |
| 255 | |
| 256 struct InterfaceDeclaration : ClassDeclaration | |
| 257 { | |
| 258 InterfaceDeclaration(Loc loc, Identifier *id, BaseClasses *baseclasses); | |
| 259 Dsymbol *syntaxCopy(Dsymbol *s); | |
| 260 void semantic(Scope *sc); | |
| 261 int isBaseOf(ClassDeclaration *cd, int *poffset); | |
| 262 int isBaseOf(BaseClass *bc, int *poffset); | |
| 263 char *kind(); | |
| 264 int vtblOffset(); | |
|
35
3cfcb944304e
[svn r39] * Updated to DMD 1.022 with the exception of:
lindquist
parents:
24
diff
changeset
|
265 virtual int isCOMinterface(); |
| 1 | 266 |
| 267 void toObjFile(); // compile to .obj file | |
| 268 Symbol *toSymbol(); | |
| 269 | |
| 270 InterfaceDeclaration *isInterfaceDeclaration() { return this; } | |
| 271 }; | |
| 272 | |
| 273 #endif /* DMD_AGGREGATE_H */ |