projects/ldc: gen/toobj.cpp annotate

annotate gen/toobj.cpp @ 102:027b8d8b71ec trunk

[svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. Basically it tries to do the following in order: Resolve types, Declare symbols, Create constant initializers, Apply initializers, Generate functions bodies. ClassInfo is now has the most useful(biased?) members working. Probably other stuf...

author	lindquist
date	Sun, 18 Nov 2007 06:52:57 +0100
parents	5071469303d4
children	855adfdb8d38

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
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	88 // process module members
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	89 for (int k=0; k < members->dim; k++) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	90 Dsymbol* dsym = (Dsymbol*)(members->data[k]);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	91 assert(dsym);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	92 dsym->toObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	93 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	94
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	95 // main driver loop
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	96 for(;;)
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	97 {
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	98 Dsymbol* dsym;
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	99 if (!ir.resolveList.empty()) {
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	100 dsym = ir.resolveList.front();
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	101 ir.resolveList.pop_front();
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	102 DtoResolveDsymbol(dsym);
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	103 }
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	104 else if (!ir.declareList.empty()) {
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	105 dsym = ir.declareList.front();
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	106 ir.declareList.pop_front();
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	107 DtoDeclareDsymbol(dsym);
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 }
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	109 else if (!ir.constInitList.empty()) {
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	110 dsym = ir.constInitList.front();
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	111 ir.constInitList.pop_front();
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 DtoConstInitDsymbol(dsym);
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	113 }
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	114 else if (!ir.defineList.empty()) {
027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	115 dsym = ir.defineList.front();
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	116 ir.defineList.pop_front();
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	117 DtoDefineDsymbol(dsym);
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	118 }
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	119 else {
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	120 break;
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	121 }
98 6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	122 }
6789050b5ad1 [svn r102] Further delayed emission of function bodies to avoid problems with circular-forward-references. lindquist parents: 96 diff changeset	123
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	124 // generate ModuleInfo
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	125 genmoduleinfo();
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	126
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	127 gTargetData = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	128
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	129 // 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	130 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	131 DtoMain();
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	132 }
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	133
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	134 // verify the llvm
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	135 if (!global.params.novalidate) {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	136 std::string verifyErr;
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	137 Logger::println("Verifying module...");
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	138 if (llvm::verifyModule(*ir.module,llvm::ReturnStatusAction,&verifyErr))
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	139 {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	140 error("%s", verifyErr.c_str());
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	141 fatal();
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	142 }
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	143 else {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	144 Logger::println("Verification passed!");
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	145 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	146 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	147
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	148 // run passes
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	149 // TODO
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	150
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	151 // write bytecode
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	152 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	153 Logger::println("Writing LLVM bitcode\n");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	154 std::ofstream bos(bcfile->name->toChars(), std::ios::binary);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	155 llvm::WriteBitcodeToFile(ir.module, bos);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	156 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	157
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	158 // disassemble ?
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	159 if (global.params.disassemble) {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	160 Logger::println("Writing LLVM asm to: %s\n", llfile->name->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	161 std::ofstream aos(llfile->name->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	162 ir.module->print(aos);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	163 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	164
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	165 delete ir.module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	166 gIR = NULL;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	167 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	168
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	169 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	170
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	171 // Put out instance of ModuleInfo for this Module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	172
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	173 void Module::genmoduleinfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	174 {
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	175 // The layout is:
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	176 // {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	177 // void **vptr;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	178 // monitor_t monitor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	179 // char[] name; // class name
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	180 // ModuleInfo importedModules[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	181 // ClassInfo localClasses[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	182 // uint flags; // initialization state
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	183 // void *ctor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	184 // void *dtor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	185 // void *unitTest;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	186 // }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	187
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	188 if (moduleinfo) {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	189 Logger::println("moduleinfo");
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	190 }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	191 if (vmoduleinfo) {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	192 Logger::println("vmoduleinfo");
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	193 }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	194 if (needModuleInfo()) {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 89 diff changeset	195 Logger::attention("module info is needed but skipped");
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	196 }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	197
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	198
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	199 /*
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	200 Symbol *msym = toSymbol();
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	201 unsigned offset;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	202 unsigned sizeof_ModuleInfo = 12 * PTRSIZE;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	203
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	204 //////////////////////////////////////////////
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	205
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	206 csym->Sclass = SCglobal;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	207 csym->Sfl = FLdata;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	208
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	209 // The layout is:
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	210 // {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	211 // void **vptr;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	212 // monitor_t monitor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	213 // char[] name; // class name
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	214 // ModuleInfo importedModules[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	215 // ClassInfo localClasses[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	216 // uint flags; // initialization state
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	217 // void *ctor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	218 // void *dtor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	219 // void *unitTest;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	220 // }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	221 dt_t *dt = NULL;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	222
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	223 if (moduleinfo)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	224 dtxoff(&dt, moduleinfo->toVtblSymbol(), 0, TYnptr); // vtbl for ModuleInfo
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	225 else
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	226 dtdword(&dt, 0); // BUG: should be an assert()
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	227 dtdword(&dt, 0); // monitor
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	228
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	229 // name[]
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	230 char *name = toPrettyChars();
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	231 size_t namelen = strlen(name);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	232 dtdword(&dt, namelen);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	233 dtabytes(&dt, TYnptr, 0, namelen + 1, name);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	234
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	235 ClassDeclarations aclasses;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	236 int i;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	237
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	238 //printf("members->dim = %d\n", members->dim);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	239 for (i = 0; i < members->dim; i++)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	240 {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	241 Dsymbol *member;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	242
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	243 member = (Dsymbol *)members->data[i];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	244 //printf("\tmember '%s'\n", member->toChars());
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	245 member->addLocalClass(&aclasses);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	246 }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	247
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	248 // importedModules[]
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	249 int aimports_dim = aimports.dim;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	250 for (i = 0; i < aimports.dim; i++)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	251 { Module m = (Module )aimports.data[i];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	252 if (!m->needModuleInfo())
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	253 aimports_dim--;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	254 }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	255 dtdword(&dt, aimports_dim);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	256 if (aimports.dim)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	257 dtxoff(&dt, csym, sizeof_ModuleInfo, TYnptr);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	258 else
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	259 dtdword(&dt, 0);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	260
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	261 // localClasses[]
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	262 dtdword(&dt, aclasses.dim);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	263 if (aclasses.dim)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	264 dtxoff(&dt, csym, sizeof_ModuleInfo + aimports_dim * PTRSIZE, TYnptr);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	265 else
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	266 dtdword(&dt, 0);
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 if (needmoduleinfo)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	269 dtdword(&dt, 0); // flags (4 means MIstandalone)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	270 else
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	271 dtdword(&dt, 4); // flags (4 means MIstandalone)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	272
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	273 if (sctor)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	274 dtxoff(&dt, sctor, 0, TYnptr);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	275 else
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	276 dtdword(&dt, 0);
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 if (sdtor)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	279 dtxoff(&dt, sdtor, 0, TYnptr);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	280 else
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	281 dtdword(&dt, 0);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	282
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	283 if (stest)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	284 dtxoff(&dt, stest, 0, TYnptr);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	285 else
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	286 dtdword(&dt, 0);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	287
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	288 //////////////////////////////////////////////
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	289
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	290 for (i = 0; i < aimports.dim; i++)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	291 {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	292 Module *m;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	293
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	294 m = (Module *)aimports.data[i];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	295 if (m->needModuleInfo())
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	296 { Symbol *s = m->toSymbol();
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	297 s->Sflags \|= SFLweak;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	298 dtxoff(&dt, s, 0, TYnptr);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	299 }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	300 }
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 for (i = 0; i < aclasses.dim; i++)
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	303 {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	304 ClassDeclaration *cd;
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 cd = (ClassDeclaration *)aclasses.data[i];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	307 dtxoff(&dt, cd->toSymbol(), 0, TYnptr);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	308 }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	309
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	310 csym->Sdt = dt;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	311 #if ELFOBJ
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	312 // Cannot be CONST because the startup code sets flag bits in it
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	313 csym->Sseg = DATA;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	314 #endif
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	315 outdata(csym);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	316
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	317 //////////////////////////////////////////////
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	318
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	319 obj_moduleinfo(msym);
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	320 */
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	321 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	322
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	323 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	324
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	325 void Dsymbol::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	326 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	327 Logger::println("Ignoring Dsymbol::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	328 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	329
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	330 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	331
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	332 void Declaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	333 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	334 Logger::println("Ignoring Declaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	335 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	336
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	337 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	338
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	339 void InterfaceDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	340 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	341 Logger::println("Ignoring InterfaceDeclaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	342 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	343
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	344 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	345
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	346 void StructDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	347 {
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	348 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	349 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	350
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	351 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	352
77 714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	353 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	354 {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	355 // 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	356 if (cd->baseClass != 0) {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	357 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	358 if (o != (unsigned)-1)
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	359 return o;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	360 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	361
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	362 // check this class
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	363 unsigned i;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	364 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	365 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	366 if (os == vd->offset)
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	367 return i+idx;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	368 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	369 idx += i;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	370
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	371 return (unsigned)-1;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	372 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	373
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	374 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	375 {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	376 unsigned idx = 0;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	377 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	378 assert(r != (unsigned)-1 && "Offset not found in any aggregate field");
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	379 result.push_back(r+1); // vtable is 0
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	380 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	381
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	382 /* ================================================================== */
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	383
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	384 void ClassDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	385 {
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	386 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	387 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	388
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	389 /******************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	390 * 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	391 * Returns ~0 if not this csym.
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 unsigned ClassDeclaration::baseVtblOffset(BaseClass *bc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	395 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	396 return ~0;
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 VarDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	402 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	403 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	404 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	405
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	406 if (aliassym)
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	407 {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	408 Logger::println("alias sym");
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	409 toAlias()->toObjFile();
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	410 return;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	411 }
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	412
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	413 // global variable or magic
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	414 if (isDataseg())
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	415 {
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	416 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	417 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	418 llvmDeclared = true;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	419
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	420 llvmIRGlobal = new IRGlobal(this);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	421
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	422 Logger::println("parent: %s (%s)", parent->toChars(), parent->kind());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	423
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	424 bool _isconst = isConst();
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	425 if (parent && parent->isFuncDeclaration() && init && init->isExpInitializer())
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	426 _isconst = false;
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	427
99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	428 llvm::GlobalValue::LinkageTypes _linkage;
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	429 bool istempl = false;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	430 bool static_local = false;
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	431 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	432 _linkage = llvm::GlobalValue::WeakLinkage;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	433 istempl = true;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	434 }
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	435 else if (parent && parent->isFuncDeclaration()) {
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	436 _linkage = llvm::GlobalValue::InternalLinkage;
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	437 static_local = true;
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	438 }
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	439 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	440 _linkage = DtoLinkage(protection, storage_class);
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	441
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	442 const llvm::Type* _type = llvmIRGlobal->type.get();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	443
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	444 Logger::println("Creating global variable");
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	445 std::string _name(mangle());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	446
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	447 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	448 llvmValue = gvar;
058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	449
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	450 if (static_local)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	451 DtoConstInitGlobal(this);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	452 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	453 gIR->constInitList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	454
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	455 //if (storage_class & STCprivate)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	456 // gvar->setVisibility(llvm::GlobalValue::ProtectedVisibility);
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 // inside aggregate declaration. declare a field.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	460 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	461 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	462 Logger::println("Aggregate var declaration: '%s' offset=%d", toChars(), offset);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	463
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	464 const llvm::Type* _type = DtoType(type);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	465
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	466 // add the field in the IRStruct
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	467 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	468 }
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 Logger::println("VarDeclaration::toObjFile is done");
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	471 }
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 /* ================================================================== */
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 void TypedefDeclaration::toObjFile()
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 static int tdi = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	478 Logger::print("TypedefDeclaration::toObjFile(%d): %s\n", tdi++, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	479 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	480
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	481 // generate typeinfo
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 69 diff changeset	482 type->getTypeInfo(NULL);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	483 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	484
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	485 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	486
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	487 void EnumDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	488 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	489 Logger::println("Ignoring EnumDeclaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	490 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	491
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	492 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	493
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	494 void FuncDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	495 {
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	496 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	497 }

Mercurial > projects > ldc

annotate gen/toobj.cpp @ 102:027b8d8b71ec trunk