projects/ldc: gen/toobj.cpp annotate

annotate gen/toobj.cpp @ 132:1700239cab2e trunk

[svn r136] MAJOR UNSTABLE UPDATE!!! Initial commit after moving to Tango instead of Phobos. Lots of bugfixes... This build is not suitable for most things.

author	lindquist
date	Fri, 11 Jan 2008 17:57:40 +0100
parents	5825d48b27d1
children	44a95ac7368a

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
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	46 // in gen/optimize.cpp
c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	47 void llvmdc_optimize_module(llvm::Module* m, char lvl, bool doinline);
c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	48
c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	49 //////////////////////////////////////////////////////////////////////////////////////////
c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	50
c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	51 void Module::genobjfile()
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	52 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	53 Logger::cout() << "Generating module: " << (md ? md->toChars() : toChars()) << '\n';
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	54 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	55
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	56 // start by deleting the old object file
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	57 deleteObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	58
18 c05ef76f1c20 [svn r22] * Forgot to add std.stdio lindquist parents: 17 diff changeset	59 // create a new ir state
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	60 IRState ir;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	61 gIR = &ir;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	62 ir.dmodule = this;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	63
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	64 // name the module
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	65 std::string mname(toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	66 if (md != 0)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	67 mname = md->toChars();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	68 ir.module = new llvm::Module(mname);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	69
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	70 // set target stuff
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	71 std::string target_triple(global.params.tt_arch);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	72 target_triple.append(global.params.tt_os);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	73 ir.module->setTargetTriple(target_triple);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	74 ir.module->setDataLayout(global.params.data_layout);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	75
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	76 // heavily inspired by tools/llc/llc.cpp:200-230
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	77 const llvm::TargetMachineRegistry::Entry* targetEntry;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	78 std::string targetError;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	79 targetEntry = llvm::TargetMachineRegistry::getClosestStaticTargetForModule(*ir.module, targetError);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	80 assert(targetEntry && "Failed to find a static target for module");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	81 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	82 assert(targetPtr.get() && "Could not allocate target machine!");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	83 llvm::TargetMachine &targetMachine = *targetPtr.get();
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	84 gTargetData = targetMachine.getTargetData();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	85
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 // 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	87 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	88 RegisterDwarfSymbols(ir.module);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 89 diff changeset	89 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	90 }
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	91
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	92 // 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	93 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	94 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	95
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	96 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	97 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	98
855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	99 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	100 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	101
106 5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	102 /*if (!Type::typeinfoclass->type->llvmType)
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	103 Type::typeinfoclass->type->llvmType = new llvm::PATypeHolder(llvm::OpaqueType::get());*/
5b5194b25f33 [svn r110] Fixed typeinfo for classes. lindquist parents: 103 diff changeset	104
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	105 // process module members
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	106 for (int k=0; k < members->dim; k++) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	107 Dsymbol* dsym = (Dsymbol*)(members->data[k]);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	108 assert(dsym);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	109 dsym->toObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	110 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	111
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	112 // main driver loop
116 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 // generate ModuleInfo
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	115 genmoduleinfo();
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	116 // do this again as moduleinfo might have pulled something in!
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	117 DtoEmptyAllLists();
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	118
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	119 // 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	120 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	121 DtoMain();
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	122 }
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	123
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	124 // verify the llvm
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	125 if (!global.params.novalidate) {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	126 std::string verifyErr;
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	127 Logger::println("Verifying module...");
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	128 LOG_SCOPE;
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	129 if (llvm::verifyModule(*ir.module,llvm::ReturnStatusAction,&verifyErr))
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	130 {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	131 error("%s", verifyErr.c_str());
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	132 fatal();
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	133 }
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	134 else {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	135 Logger::println("Verification passed!");
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	136 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	137 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	138
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	139 // run optimizer
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 129 diff changeset	140 llvmdc_optimize_module(ir.module, global.params.optimizeLevel, global.params.llvmInline);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	141
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	142 // write bytecode
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	143 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	144 Logger::println("Writing LLVM bitcode\n");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	145 std::ofstream bos(bcfile->name->toChars(), std::ios::binary);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	146 llvm::WriteBitcodeToFile(ir.module, bos);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	147 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	148
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	149 // disassemble ?
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	150 if (global.params.disassemble) {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	151 Logger::println("Writing LLVM asm to: %s\n", llfile->name->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	152 std::ofstream aos(llfile->name->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	153 ir.module->print(aos);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	154 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	155
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	156 delete ir.module;
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	157 gTargetData = 0;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	158 gIR = NULL;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	159 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	160
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	161 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	162
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	163 // build module ctor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	164
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	165 static llvm::Function* build_module_ctor()
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 if (gIR->ctors.empty())
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	168 return NULL;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	169
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	170 size_t n = gIR->ctors.size();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	171 if (n == 1)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	172 return llvm::cast<llvm::Function>(gIR->ctors[0]->llvmValue);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	173
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	174 std::string name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	175 name.append(gIR->dmodule->mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	176 name.append("6__ctorZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	177
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	178 std::vector<const llvm::Type*> argsTy;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	179 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	180 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	181 fn->setCallingConv(llvm::CallingConv::Fast);
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 llvm::BasicBlock* bb = new llvm::BasicBlock("entry", fn);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	184 LLVMBuilder builder(bb);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	185
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	186 for (size_t i=0; i<n; i++) {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	187 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	188 llvm::CallInst* call = builder.CreateCall(f,"");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	189 call->setCallingConv(llvm::CallingConv::Fast);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	190 }
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 builder.CreateRetVoid();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	193 return fn;
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
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	196 // build module dtor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	197
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	198 static llvm::Function* build_module_dtor()
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 if (gIR->dtors.empty())
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	201 return NULL;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	202
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	203 size_t n = gIR->dtors.size();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	204 if (n == 1)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	205 return llvm::cast<llvm::Function>(gIR->dtors[0]->llvmValue);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	206
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	207 std::string name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	208 name.append(gIR->dmodule->mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	209 name.append("6__dtorZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	210
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	211 std::vector<const llvm::Type*> argsTy;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	212 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	213 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	214 fn->setCallingConv(llvm::CallingConv::Fast);
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 llvm::BasicBlock* bb = new llvm::BasicBlock("entry", fn);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	217 LLVMBuilder builder(bb);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	218
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	219 for (size_t i=0; i<n; i++) {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	220 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	221 llvm::CallInst* call = builder.CreateCall(f,"");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	222 call->setCallingConv(llvm::CallingConv::Fast);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	223 }
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 builder.CreateRetVoid();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	226 return fn;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	227 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	228
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	229 // build module unittest
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	230
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	231 static llvm::Function* build_module_unittest()
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	232 {
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	233 if (gIR->unitTests.empty())
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	234 return NULL;
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	235
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	236 size_t n = gIR->unitTests.size();
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	237 if (n == 1)
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	238 return llvm::cast<llvm::Function>(gIR->unitTests[0]->llvmValue);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	239
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	240 std::string name("_D");
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	241 name.append(gIR->dmodule->mangle());
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	242 name.append("10__unittestZ");
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	243
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	244 std::vector<const llvm::Type*> argsTy;
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	245 const llvm::FunctionType* fnTy = llvm::FunctionType::get(llvm::Type::VoidTy,argsTy,false);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	246 llvm::Function* fn = new llvm::Function(fnTy, llvm::GlobalValue::InternalLinkage, name, gIR->module);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	247 fn->setCallingConv(llvm::CallingConv::Fast);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	248
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	249 llvm::BasicBlock* bb = new llvm::BasicBlock("entry", fn);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	250 LLVMBuilder builder(bb);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	251
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	252 for (size_t i=0; i<n; i++) {
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	253 llvm::Function* f = llvm::cast<llvm::Function>(gIR->unitTests[i]->llvmValue);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	254 llvm::CallInst* call = builder.CreateCall(f,"");
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	255 call->setCallingConv(llvm::CallingConv::Fast);
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	256 }
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	257
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	258 builder.CreateRetVoid();
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	259 return fn;
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	260 }
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	261
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	262 // Put out instance of ModuleInfo for this Module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	263
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	264 void Module::genmoduleinfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	265 {
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	266 // The layout is:
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	267 // {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	268 // void **vptr;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	269 // monitor_t monitor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	270 // char[] name; // class name
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	271 // ModuleInfo importedModules[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	272 // ClassInfo localClasses[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	273 // uint flags; // initialization state
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	274 // void *ctor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	275 // void *dtor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	276 // void *unitTest;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	277 // }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	278
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	279 // resolve ModuleInfo
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	280 assert(moduleinfo);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	281 DtoForceConstInitDsymbol(moduleinfo);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	282
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	283 // moduleinfo llvm struct type
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	284 const llvm::StructType* moduleinfoTy = isaStruct(moduleinfo->type->llvmType->get());
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	285
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	286 // classinfo llvm struct type
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	287 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	288
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	289 // initializer vector
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	290 std::vector<llvm::Constant*> initVec;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	291 llvm::Constant* c = 0;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	292
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	293 // vtable
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	294 c = moduleinfo->llvmVtbl;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	295 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	296
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	297 // monitor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	298 c = llvm::ConstantPointerNull::get(llvm::PointerType::get(llvm::Type::Int8Ty));
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	299 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	300
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	301 // name
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	302 char *name = toPrettyChars();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	303 c = DtoConstString(name);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	304 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	305
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	306 // importedModules[]
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	307 int aimports_dim = aimports.dim;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	308 std::vector<llvm::Constant*> importInits;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	309 for (size_t i = 0; i < aimports.dim; i++)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	310 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	311 Module m = (Module )aimports.data[i];
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	312 if (!m->needModuleInfo())
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	313 aimports_dim--;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	314 else { // declare
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	315 // create name
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	316 std::string m_name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	317 m_name.append(m->mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	318 m_name.append("8__ModuleZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	319 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	320 importInits.push_back(m_gvar);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	321 }
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	322 }
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	323 // has import array?
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	324 if (!importInits.empty()) {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	325 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	326 c = llvm::ConstantArray::get(importArrTy, importInits);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	327 std::string m_name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	328 m_name.append(mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	329 m_name.append("9__importsZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	330 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	331 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	332 c = DtoConstSlice(DtoConstSize_t(importInits.size()), c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	333 }
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	334 else
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	335 c = moduleinfo->llvmConstInit->getOperand(3);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	336 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	337
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	338 // localClasses[]
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	339 ClassDeclarations aclasses;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	340 //printf("members->dim = %d\n", members->dim);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	341 for (size_t i = 0; i < members->dim; i++)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	342 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	343 Dsymbol *member;
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	344
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	345 member = (Dsymbol *)members->data[i];
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	346 //printf("\tmember '%s'\n", member->toChars());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	347 member->addLocalClass(&aclasses);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	348 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	349 // fill inits
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	350 std::vector<llvm::Constant*> classInits;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	351 for (size_t i = 0; i < aclasses.dim; i++)
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 ClassDeclaration* cd = (ClassDeclaration*)aclasses.data[i];
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	354 Logger::println("class: %s", cd->toPrettyChars());
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	355 assert(cd->llvmClass);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	356 classInits.push_back(cd->llvmClass);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	357 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	358 // has class array?
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	359 if (!classInits.empty()) {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	360 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	361 c = llvm::ConstantArray::get(classArrTy, classInits);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	362 std::string m_name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	363 m_name.append(mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	364 m_name.append("9__classesZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	365 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	366 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	367 c = DtoConstSlice(DtoConstSize_t(classInits.size()), c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	368 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	369 else
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	370 c = moduleinfo->llvmConstInit->getOperand(4);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	371 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	372
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	373 // flags
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	374 c = DtoConstUint(0);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	375 if (!needmoduleinfo)
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	376 c = DtoConstUint(4); // flags (4 means MIstandalone)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	377 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	378
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	379 // ctor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	380 llvm::Function* fctor = build_module_ctor();
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	381 c = fctor ? fctor : moduleinfo->llvmConstInit->getOperand(6);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	382 initVec.push_back(c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	383
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	384 // dtor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	385 llvm::Function* fdtor = build_module_dtor();
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	386 c = fdtor ? fdtor : moduleinfo->llvmConstInit->getOperand(7);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	387 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	388
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	389 // unitTest
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	390 llvm::Function* unittest = build_module_unittest();
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	391 c = unittest ? unittest : moduleinfo->llvmConstInit->getOperand(8);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	392 initVec.push_back(c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	393
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	394 // xgetMembers
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	395 c = moduleinfo->llvmConstInit->getOperand(9);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	396 initVec.push_back(c);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	397
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	398 // ictor
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	399 c = moduleinfo->llvmConstInit->getOperand(10);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	400 initVec.push_back(c);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	401
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	402 /*Logger::println("MODULE INFO INITIALIZERS");
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	403 for (size_t i=0; i<initVec.size(); ++i)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	404 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	405 Logger::cout() << *initVec[i] << '\n';
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	406 if (initVec[i]->getType() != moduleinfoTy->getElementType(i))
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	407 assert(0);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	408 }*/
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	409
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	410 // create initializer
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	411 llvm::Constant* constMI = llvm::ConstantStruct::get(moduleinfoTy, initVec);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	412
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	413 // create name
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	414 std::string MIname("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	415 MIname.append(mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	416 MIname.append("8__ModuleZ");
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	417
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	418 // declare
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	419 // 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	420 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	421
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	422 // declare the appending array
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	423 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	424 std::vector<llvm::Constant*> appendInits;
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	425 appendInits.push_back(llvm::ConstantExpr::getBitCast(gvar, llvm::PointerType::get(llvm::Type::Int8Ty)));
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	426 llvm::Constant* appendInit = llvm::ConstantArray::get(appendArrTy, appendInits);
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	427 std::string appendName("_d_moduleinfo_array");
56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	428 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	429 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	430
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	431 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	432
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	433 void Dsymbol::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	434 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	435 Logger::println("Ignoring Dsymbol::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	436 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	437
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	438 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	439
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	440 void Declaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	441 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	442 Logger::println("Ignoring Declaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	443 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	444
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	445 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	446
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	447 void InterfaceDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	448 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	449 Logger::println("Ignoring InterfaceDeclaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	450 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	451
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 void StructDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	455 {
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	456 gIR->resolveList.push_back(this);
1 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 ClassDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	462 {
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	463 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	464 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	465
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	466 /******************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	467 * 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	468 * Returns ~0 if not this csym.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	469 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	470
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	471 unsigned ClassDeclaration::baseVtblOffset(BaseClass *bc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	472 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	473 return ~0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	474 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	475
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	476 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	477
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	478 void VarDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	479 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	480 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	481 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	482
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	483 if (aliassym)
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	484 {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	485 Logger::println("alias sym");
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	486 toAlias()->toObjFile();
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	487 return;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	488 }
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	489
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	490 // global variable or magic
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	491 if (isDataseg())
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	492 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	493 // we don't want to touch private static members at all !!!
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	494 if ((prot() & PROTprivate) && getModule() != gIR->dmodule)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	495 return;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	496
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	497 // don't duplicate work
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	498 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	499 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	500 llvmDeclared = true;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	501
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	502 llvmIRGlobal = new IRGlobal(this);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	503
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	504 Logger::println("parent: %s (%s)", parent->toChars(), parent->kind());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	505
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	506 bool _isconst = isConst();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	507 if (parent && parent->isFuncDeclaration() && init && init->isExpInitializer())
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	508 _isconst = false;
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	509
99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	510 llvm::GlobalValue::LinkageTypes _linkage;
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	511 bool istempl = false;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	512 bool static_local = false;
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	513 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	514 _linkage = llvm::GlobalValue::WeakLinkage;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	515 istempl = true;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	516 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	517 else if (parent && parent->isFuncDeclaration()) {
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	518 _linkage = llvm::GlobalValue::InternalLinkage;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	519 static_local = true;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	520 }
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	521 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	522 _linkage = DtoLinkage(protection, storage_class);
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	523
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	524 const llvm::Type* _type = llvmIRGlobal->type.get();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	525
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	526 Logger::println("Creating global variable");
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	527 std::string _name(mangle());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	528
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	529 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	530 llvmValue = gvar;
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	531
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	532 if (static_local)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	533 DtoConstInitGlobal(this);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	534 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	535 gIR->constInitList.push_back(this);
1 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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	538 // inside aggregate declaration. declare a field.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	539 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	540 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	541 Logger::println("Aggregate var declaration: '%s' offset=%d", toChars(), offset);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	542
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	543 const llvm::Type* _type = DtoType(type);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	544
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	545 // add the field in the IRStruct
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	546 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	547 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	548
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	549 Logger::println("VarDeclaration::toObjFile is done");
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 TypedefDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	555 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	556 static int tdi = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	557 Logger::print("TypedefDeclaration::toObjFile(%d): %s\n", tdi++, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	558 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	559
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	560 // generate typeinfo
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 69 diff changeset	561 type->getTypeInfo(NULL);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	562 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	563
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	564 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	565
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	566 void EnumDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	567 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	568 Logger::println("Ignoring EnumDeclaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	569 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	570
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	571 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	572
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	573 void FuncDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	574 {
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	575 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	576 }

Mercurial > projects > ldc

annotate gen/toobj.cpp @ 132:1700239cab2e trunk