projects/ldc: gen/toobj.cpp annotate

annotate gen/toobj.cpp @ 119:79c9ac745fbc trunk

[svn r123] Fixed some typeinfo module name mismatches. Fixed D-style varargs returning through pointer. Fixed converting nested function to delegate. Added std.string and std.format to Phobos.

author	lindquist
date	Mon, 26 Nov 2007 06:45:13 +0100
parents	56a21f3e5d3e
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 @ 119:79c9ac745fbc trunk