projects/ldc: gen/toobj.cpp annotate

annotate gen/toobj.cpp @ 117:56a21f3e5d3e trunk

[svn r121] Finished ModuleInfo implementation. Static ctors/dtors now work according to spec. Changed class vtable types slightly in some cases. Overridden functions now always take the the type of the first class declaring the method as this parameter. This helps when using headers (w. implementation somewhere else)

author	lindquist
date	Mon, 26 Nov 2007 04:49:23 +0100
parents	fd7ad91fd713
children	9c79b61fb638

rev	line source
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	2 // Copyright (c) 1999-2004 by Digital Mars
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	3 // All Rights Reserved
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	4 // written by Walter Bright
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	5 // www.digitalmars.com
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	6 // License for redistribution is by either the Artistic License
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	7 // in artistic.txt, or the GNU General Public License in gnu.txt.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	8 // See the included readme.txt for details.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	9
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	10 #include <cstddef>
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	11 #include <iostream>
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	12 #include <fstream>
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	13
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	14 #include "gen/llvm.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	15 #include "llvm/Analysis/Verifier.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	16 #include "llvm/Bitcode/ReaderWriter.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	17 #include "llvm/Target/TargetMachine.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	18 #include "llvm/Target/TargetMachineRegistry.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	19
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	20 #include "mars.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	21 #include "module.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	22 #include "mtype.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	23 #include "declaration.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	24 #include "statement.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	25 #include "enum.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	26 #include "aggregate.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	27 #include "init.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	28 #include "attrib.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	29 #include "id.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	30 #include "import.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	31 #include "template.h"
18 c05ef76f1c20 [svn r22] * Forgot to add std.stdio lindquist parents: 17 diff changeset	32 #include "scope.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	33
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	34 #include "gen/irstate.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	35 #include "gen/logger.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	36 #include "gen/tollvm.h"
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 63 diff changeset	37 #include "gen/arrays.h"
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	38 #include "gen/structs.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	39 #include "gen/classes.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	40 #include "gen/functions.h"
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	41 #include "gen/todebug.h"
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	42 #include "gen/runtime.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	43
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	44 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	45
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	46 void
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	47 Module::genobjfile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	48 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	49 Logger::cout() << "Generating module: " << (md ? md->toChars() : toChars()) << '\n';
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	50 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	51
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	52 // start by deleting the old object file
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	53 deleteObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	54
18 c05ef76f1c20 [svn r22] * Forgot to add std.stdio lindquist parents: 17 diff changeset	55 // create a new ir state
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	56 IRState ir;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	57 gIR = &ir;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	58 ir.dmodule = this;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	59
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	60 // name the module
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	61 std::string mname(toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	62 if (md != 0)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	63 mname = md->toChars();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	64 ir.module = new llvm::Module(mname);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	65
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	66 // set target stuff
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	67 std::string target_triple(global.params.tt_arch);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	68 target_triple.append(global.params.tt_os);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	69 ir.module->setTargetTriple(target_triple);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	70 ir.module->setDataLayout(global.params.data_layout);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	71
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	72 // heavily inspired by tools/llc/llc.cpp:200-230
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	73 const llvm::TargetMachineRegistry::Entry* targetEntry;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	74 std::string targetError;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	75 targetEntry = llvm::TargetMachineRegistry::getClosestStaticTargetForModule(*ir.module, targetError);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	76 assert(targetEntry && "Failed to find a static target for module");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	77 std::auto_ptr<llvm::TargetMachine> targetPtr(targetEntry->CtorFn(*ir.module, "")); // TODO: replace "" with features
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	78 assert(targetPtr.get() && "Could not allocate target machine!");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	79 llvm::TargetMachine &targetMachine = *targetPtr.get();
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	80 gTargetData = targetMachine.getTargetData();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	81
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	82 // debug info
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	83 if (global.params.symdebug) {
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	84 RegisterDwarfSymbols(ir.module);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 89 diff changeset	85 ir.dmodule->llvmCompileUnit = DtoDwarfCompileUnit(this,true);
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	86 }
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	87
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	88 // start out by providing opaque for the built-in class types
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	89 if (!ClassDeclaration::object->type->llvmType)
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	90 ClassDeclaration::object->type->llvmType = new llvm::PATypeHolder(llvm::OpaqueType::get());
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	91
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	92 if (!Type::typeinfo->type->llvmType)
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	93 Type::typeinfo->type->llvmType = new llvm::PATypeHolder(llvm::OpaqueType::get());
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	94
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	95 if (!ClassDeclaration::classinfo->type->llvmType)
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	96 ClassDeclaration::classinfo->type->llvmType = new llvm::PATypeHolder(llvm::OpaqueType::get());
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	97
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	98 /*if (!Type::typeinfoclass->type->llvmType)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	99 Type::typeinfoclass->type->llvmType = new llvm::PATypeHolder(llvm::OpaqueType::get());*/
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	100
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	101 // process module members
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	102 for (int k=0; k < members->dim; k++) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	103 Dsymbol* dsym = (Dsymbol*)(members->data[k]);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	104 assert(dsym);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	105 dsym->toObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	106 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	107
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	108 // main driver loop
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	109 DtoEmptyAllLists();
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	110 // generate ModuleInfo
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	111 genmoduleinfo();
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	112 // do this again as moduleinfo might have pulled something in!
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	113 DtoEmptyAllLists();
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	114
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	115 gTargetData = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	116
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	117 // emit the llvm main function if necessary
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	118 if (ir.emitMain) {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 77 diff changeset	119 DtoMain();
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	120 }
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	121
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	122 // verify the llvm
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	123 if (!global.params.novalidate) {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	124 std::string verifyErr;
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	125 Logger::println("Verifying module...");
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	126 LOG_SCOPE;
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	127 if (llvm::verifyModule(*ir.module,llvm::ReturnStatusAction,&verifyErr))
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	128 {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	129 error("%s", verifyErr.c_str());
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	130 fatal();
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	131 }
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	132 else {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	133 Logger::println("Verification passed!");
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	134 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	135 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	136
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	137 // run passes
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	138 // TODO
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	139
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	140 // write bytecode
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	141 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	142 Logger::println("Writing LLVM bitcode\n");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	143 std::ofstream bos(bcfile->name->toChars(), std::ios::binary);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	144 llvm::WriteBitcodeToFile(ir.module, bos);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	145 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	146
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	147 // disassemble ?
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	148 if (global.params.disassemble) {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	149 Logger::println("Writing LLVM asm to: %s\n", llfile->name->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	150 std::ofstream aos(llfile->name->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	151 ir.module->print(aos);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	152 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	153
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	154 delete ir.module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	155 gIR = NULL;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	156 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	157
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	158 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	159
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	160 // build module ctor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	161
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	162 static llvm::Function* build_module_ctor()
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	163 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	164 if (gIR->ctors.empty())
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	165 return NULL;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	166
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	167 size_t n = gIR->ctors.size();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	168 if (n == 1)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	169 return llvm::cast<llvm::Function>(gIR->ctors[0]->llvmValue);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	170
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	171 std::string name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	172 name.append(gIR->dmodule->mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	173 name.append("6__ctorZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	174
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	175 std::vector<const llvm::Type*> argsTy;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	176 const llvm::FunctionType* fnTy = llvm::FunctionType::get(llvm::Type::VoidTy,argsTy,false);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	177 llvm::Function* fn = new llvm::Function(fnTy, llvm::GlobalValue::InternalLinkage, name, gIR->module);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	178 fn->setCallingConv(llvm::CallingConv::Fast);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	179
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	180 llvm::BasicBlock* bb = new llvm::BasicBlock("entry", fn);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	181 LLVMBuilder builder(bb);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	182
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	183 for (size_t i=0; i<n; i++) {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	184 llvm::Function* f = llvm::cast<llvm::Function>(gIR->ctors[i]->llvmValue);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	185 llvm::CallInst* call = builder.CreateCall(f,"");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	186 call->setCallingConv(llvm::CallingConv::Fast);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	187 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	188
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	189 builder.CreateRetVoid();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	190 return fn;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	191 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	192
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	193 // build module dtor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	194
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	195 static llvm::Function* build_module_dtor()
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	196 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	197 if (gIR->dtors.empty())
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	198 return NULL;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	199
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	200 size_t n = gIR->dtors.size();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	201 if (n == 1)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	202 return llvm::cast<llvm::Function>(gIR->dtors[0]->llvmValue);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	203
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	204 std::string name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	205 name.append(gIR->dmodule->mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	206 name.append("6__dtorZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	207
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	208 std::vector<const llvm::Type*> argsTy;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	209 const llvm::FunctionType* fnTy = llvm::FunctionType::get(llvm::Type::VoidTy,argsTy,false);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	210 llvm::Function* fn = new llvm::Function(fnTy, llvm::GlobalValue::InternalLinkage, name, gIR->module);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	211 fn->setCallingConv(llvm::CallingConv::Fast);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	212
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	213 llvm::BasicBlock* bb = new llvm::BasicBlock("entry", fn);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	214 LLVMBuilder builder(bb);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	215
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	216 for (size_t i=0; i<n; i++) {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	217 llvm::Function* f = llvm::cast<llvm::Function>(gIR->dtors[i]->llvmValue);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	218 llvm::CallInst* call = builder.CreateCall(f,"");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	219 call->setCallingConv(llvm::CallingConv::Fast);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	220 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	221
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	222 builder.CreateRetVoid();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	223 return fn;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	224 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	225
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	226 // Put out instance of ModuleInfo for this Module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	227
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	228 void Module::genmoduleinfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	229 {
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	230 // The layout is:
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	231 // {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	232 // void **vptr;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	233 // monitor_t monitor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	234 // char[] name; // class name
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	235 // ModuleInfo importedModules[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	236 // ClassInfo localClasses[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	237 // uint flags; // initialization state
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	238 // void *ctor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	239 // void *dtor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	240 // void *unitTest;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	241 // }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	242
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	243 // resolve ModuleInfo
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	244 assert(moduleinfo);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	245 DtoForceConstInitDsymbol(moduleinfo);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	246
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	247 // moduleinfo llvm struct type
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	248 const llvm::StructType* moduleinfoTy = isaStruct(moduleinfo->type->llvmType->get());
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	249
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	250 // classinfo llvm struct type
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	251 const llvm::StructType* classinfoTy = isaStruct(ClassDeclaration::classinfo->type->llvmType->get());
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	252
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	253 // initializer vector
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	254 std::vector<llvm::Constant*> initVec;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	255 llvm::Constant* c = 0;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	256
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	257 // vtable
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	258 c = moduleinfo->llvmVtbl;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	259 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	260
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	261 // monitor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	262 c = llvm::ConstantPointerNull::get(llvm::PointerType::get(llvm::Type::Int8Ty));
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	263 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	264
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	265 // name
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	266 char *name = toPrettyChars();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	267 c = DtoConstString(name);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	268 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	269
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	270 // importedModules[]
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	271 int aimports_dim = aimports.dim;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	272 std::vector<llvm::Constant*> importInits;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	273 for (size_t i = 0; i < aimports.dim; i++)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	274 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	275 Module m = (Module )aimports.data[i];
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	276 if (!m->needModuleInfo())
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	277 aimports_dim--;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	278 else { // declare
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	279 // create name
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	280 std::string m_name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	281 m_name.append(m->mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	282 m_name.append("8__ModuleZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	283 llvm::GlobalVariable* m_gvar = new llvm::GlobalVariable(moduleinfoTy, false, llvm::GlobalValue::ExternalLinkage, NULL, m_name, gIR->module);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	284 importInits.push_back(m_gvar);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	285 }
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	286 }
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	287 // has import array?
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	288 if (!importInits.empty()) {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	289 const llvm::ArrayType* importArrTy = llvm::ArrayType::get(llvm::PointerType::get(moduleinfoTy), importInits.size());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	290 c = llvm::ConstantArray::get(importArrTy, importInits);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	291 std::string m_name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	292 m_name.append(mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	293 m_name.append("9__importsZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	294 llvm::GlobalVariable* m_gvar = new llvm::GlobalVariable(importArrTy, true, llvm::GlobalValue::InternalLinkage, c, m_name, gIR->module);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	295 c = llvm::ConstantExpr::getBitCast(m_gvar, llvm::PointerType::get(importArrTy->getElementType()));
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	296 c = DtoConstSlice(DtoConstSize_t(importInits.size()), c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	297 }
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	298 else
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	299 c = moduleinfo->llvmInitZ->getOperand(3);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	300 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	301
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	302 // localClasses[]
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	303 ClassDeclarations aclasses;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	304 //printf("members->dim = %d\n", members->dim);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	305 for (size_t i = 0; i < members->dim; i++)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	306 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	307 Dsymbol *member;
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	308
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	309 member = (Dsymbol *)members->data[i];
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	310 //printf("\tmember '%s'\n", member->toChars());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	311 member->addLocalClass(&aclasses);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	312 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	313 // fill inits
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	314 std::vector<llvm::Constant*> classInits;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	315 for (size_t i = 0; i < aclasses.dim; i++)
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	316 {
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	317 ClassDeclaration* cd = (ClassDeclaration*)aclasses.data[i];
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	318 assert(cd->llvmClass);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	319 classInits.push_back(cd->llvmClass);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	320 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	321 // has class array?
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	322 if (!classInits.empty()) {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	323 const llvm::ArrayType* classArrTy = llvm::ArrayType::get(llvm::PointerType::get(classinfoTy), classInits.size());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	324 c = llvm::ConstantArray::get(classArrTy, classInits);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	325 std::string m_name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	326 m_name.append(mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	327 m_name.append("9__classesZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	328 llvm::GlobalVariable* m_gvar = new llvm::GlobalVariable(classArrTy, true, llvm::GlobalValue::InternalLinkage, c, m_name, gIR->module);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	329 c = llvm::ConstantExpr::getBitCast(m_gvar, llvm::PointerType::get(classArrTy->getElementType()));
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	330 c = DtoConstSlice(DtoConstSize_t(classInits.size()), c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	331 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	332 else
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	333 c = moduleinfo->llvmInitZ->getOperand(4);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	334 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	335
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	336 // flags
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	337 if (needmoduleinfo)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	338 c = DtoConstUint(0); // flags (4 means MIstandalone)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	339 else
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	340 c = DtoConstUint(4); // flags (4 means MIstandalone)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	341 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	342
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	343 // ctor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	344 llvm::Function* fctor = build_module_ctor();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	345 c = fctor ? fctor : moduleinfo->llvmInitZ->getOperand(6);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	346 initVec.push_back(c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	347
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	348 // dtor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	349 llvm::Function* fdtor = build_module_dtor();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	350 c = fdtor ? fdtor : moduleinfo->llvmInitZ->getOperand(7);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	351 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	352
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	353 // unitTest
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	354 c = moduleinfo->llvmInitZ->getOperand(8);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	355 initVec.push_back(c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	356
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	357 // create initializer
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	358 llvm::Constant* constMI = llvm::ConstantStruct::get(moduleinfoTy, initVec);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	359
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	360 // create name
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	361 std::string MIname("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	362 MIname.append(mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	363 MIname.append("8__ModuleZ");
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	364
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	365 // declare
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	366 // flags will be modified at runtime so can't make it constant
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	367 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(moduleinfoTy, false, llvm::GlobalValue::ExternalLinkage, constMI, MIname, gIR->module);
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	368
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	369 // declare the appending array
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	370 const llvm::ArrayType* appendArrTy = llvm::ArrayType::get(llvm::PointerType::get(llvm::Type::Int8Ty), 1);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	371 std::vector<llvm::Constant*> appendInits;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	372 appendInits.push_back(llvm::ConstantExpr::getBitCast(gvar, llvm::PointerType::get(llvm::Type::Int8Ty)));
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	373 llvm::Constant* appendInit = llvm::ConstantArray::get(appendArrTy, appendInits);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	374 std::string appendName("_d_moduleinfo_array");
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	375 llvm::GlobalVariable* appendVar = new llvm::GlobalVariable(appendArrTy, true, llvm::GlobalValue::AppendingLinkage, appendInit, appendName, gIR->module);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	376 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	377
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	378 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	379
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	380 void Dsymbol::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	381 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	382 Logger::println("Ignoring Dsymbol::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	383 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	384
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	385 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	386
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	387 void Declaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	388 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	389 Logger::println("Ignoring Declaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	390 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	391
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	392 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	393
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	394 void InterfaceDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	395 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	396 Logger::println("Ignoring InterfaceDeclaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	397 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	398
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	399 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	400
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	401 void StructDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	402 {
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	403 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	404 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	405
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	406 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	407
77 714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	408 static unsigned LLVM_ClassOffsetToIndex(ClassDeclaration* cd, unsigned os, unsigned& idx)
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	409 {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	410 // start at the bottom of the inheritance chain
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	411 if (cd->baseClass != 0) {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	412 unsigned o = LLVM_ClassOffsetToIndex(cd->baseClass, os, idx);
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	413 if (o != (unsigned)-1)
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	414 return o;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	415 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	416
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	417 // check this class
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	418 unsigned i;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	419 for (i=0; i<cd->fields.dim; ++i) {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	420 VarDeclaration* vd = (VarDeclaration*)cd->fields.data[i];
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	421 if (os == vd->offset)
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	422 return i+idx;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	423 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	424 idx += i;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	425
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	426 return (unsigned)-1;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	427 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	428
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	429 void ClassDeclaration::offsetToIndex(Type* t, unsigned os, std::vector<unsigned>& result)
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	430 {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	431 unsigned idx = 0;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	432 unsigned r = LLVM_ClassOffsetToIndex(this, os, idx);
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	433 assert(r != (unsigned)-1 && "Offset not found in any aggregate field");
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	434 // vtable is 0, monitor is 1
5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	435 r += 2;
5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	436 // interface offset further
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 106 diff changeset	437 r += vtblInterfaces->dim;
115 5ba6d286c941 [svn r119] Added the monitor data field that comes after the vtable pointer to all classes. Represented as a void* initialized to zero. lindquist parents: 113 diff changeset	438 // the final index was not pushed
113 27b9f749d9fe [svn r117] Initial working implementation of interfaces. lindquist parents: 106 diff changeset	439 result.push_back(r);
77 714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	440 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	441
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	442 /* ================================================================== */
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	443
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	444 void ClassDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	445 {
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	446 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	447 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	448
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	449 /******************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	450 * Get offset of base class's vtbl[] initializer from start of csym.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	451 * Returns ~0 if not this csym.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	452 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	453
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	454 unsigned ClassDeclaration::baseVtblOffset(BaseClass *bc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	455 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	456 return ~0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	457 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	458
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	459 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	460
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	461 void VarDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	462 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	463 Logger::print("VarDeclaration::toObjFile(): %s \| %s\n", toChars(), type->toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	464 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	465
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	466 if (aliassym)
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	467 {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	468 Logger::println("alias sym");
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	469 toAlias()->toObjFile();
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	470 return;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	471 }
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	472
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	473 // global variable or magic
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	474 if (isDataseg())
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	475 {
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	476 if (llvmResolved) return;
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	477 llvmResolved = true;
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	478 llvmDeclared = true;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	479
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	480 llvmIRGlobal = new IRGlobal(this);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	481
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	482 Logger::println("parent: %s (%s)", parent->toChars(), parent->kind());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	483
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	484 bool _isconst = isConst();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	485 if (parent && parent->isFuncDeclaration() && init && init->isExpInitializer())
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	486 _isconst = false;
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	487
99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	488 llvm::GlobalValue::LinkageTypes _linkage;
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	489 bool istempl = false;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	490 bool static_local = false;
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	491 if ((storage_class & STCcomdat) \|\| (parent && DtoIsTemplateInstance(parent))) {
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	492 _linkage = llvm::GlobalValue::WeakLinkage;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	493 istempl = true;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	494 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	495 else if (parent && parent->isFuncDeclaration()) {
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	496 _linkage = llvm::GlobalValue::InternalLinkage;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	497 static_local = true;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	498 }
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	499 else
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 77 diff changeset	500 _linkage = DtoLinkage(protection, storage_class);
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	501
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	502 const llvm::Type* _type = llvmIRGlobal->type.get();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	503
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	504 Logger::println("Creating global variable");
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	505 std::string _name(mangle());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	506
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	507 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(_type,_isconst,_linkage,NULL,_name,gIR->module);
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	508 llvmValue = gvar;
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	509
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	510 if (static_local)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	511 DtoConstInitGlobal(this);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	512 else
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	513 gIR->constInitList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	514
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	515 //if (storage_class & STCprivate)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	516 // gvar->setVisibility(llvm::GlobalValue::ProtectedVisibility);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	517 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	518
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	519 // inside aggregate declaration. declare a field.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	520 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	521 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	522 Logger::println("Aggregate var declaration: '%s' offset=%d", toChars(), offset);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	523
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	524 const llvm::Type* _type = DtoType(type);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	525
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	526 // add the field in the IRStruct
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	527 gIR->topstruct()->offsets.insert(std::make_pair(offset, IRStruct::Offset(this, _type)));
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	528 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	529
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	530 Logger::println("VarDeclaration::toObjFile is done");
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	531 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	532
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	533 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	534
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	535 void TypedefDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	536 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	537 static int tdi = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	538 Logger::print("TypedefDeclaration::toObjFile(%d): %s\n", tdi++, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	539 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	540
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	541 // generate typeinfo
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 69 diff changeset	542 type->getTypeInfo(NULL);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	543 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	544
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	545 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	546
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	547 void EnumDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	548 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	549 Logger::println("Ignoring EnumDeclaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	550 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	551
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	552 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	553
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	554 void FuncDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	555 {
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	556 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	557 }

Mercurial > projects > ldc

annotate gen/toobj.cpp @ 117:56a21f3e5d3e trunk