projects/ldc: gen/toobj.cpp annotate

annotate gen/toobj.cpp @ 86:fd32135dca3e trunk

[svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! Lots of bugfixes. Added support for special foreach on strings. Added std.array, std.utf, std.ctype and std.uni to phobos. Changed all the .c files in the gen dir to .cpp (it *is* C++ after all)

author	lindquist
date	Sat, 03 Nov 2007 14:44:58 +0100
parents	gen/toobj.c@f869c636a113
children	058d3925950e

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/elem.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	36 #include "gen/logger.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	37 #include "gen/tollvm.h"
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 63 diff changeset	38 #include "gen/arrays.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	39 #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	40 #include "gen/runtime.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	41
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	42 //////////////////////////////////////////////////////////////////////////////////////////
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 void
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	45 Module::genobjfile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	46 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	47 Logger::cout() << "Generating module: " << (md ? md->toChars() : toChars()) << '\n';
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	48 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	49
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	50 // start by deleting the old object file
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	51 deleteObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	52
18 c05ef76f1c20 [svn r22] * Forgot to add std.stdio lindquist parents: 17 diff changeset	53 // create a new ir state
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	54 IRState ir;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	55 gIR = &ir;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	56 ir.dmodule = this;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	57
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	58 // name the module
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	59 std::string mname(toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	60 if (md != 0)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	61 mname = md->toChars();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	62 ir.module = new llvm::Module(mname);
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 // set target stuff
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	65 std::string target_triple(global.params.tt_arch);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	66 target_triple.append(global.params.tt_os);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	67 ir.module->setTargetTriple(target_triple);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	68 ir.module->setDataLayout(global.params.data_layout);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	69
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	70 // heavily inspired by tools/llc/llc.cpp:200-230
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	71 const llvm::TargetMachineRegistry::Entry* targetEntry;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	72 std::string targetError;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	73 targetEntry = llvm::TargetMachineRegistry::getClosestStaticTargetForModule(*ir.module, targetError);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	74 assert(targetEntry && "Failed to find a static target for module");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	75 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	76 assert(targetPtr.get() && "Could not allocate target machine!");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	77 llvm::TargetMachine &targetMachine = *targetPtr.get();
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	78 gTargetData = targetMachine.getTargetData();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	79
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	80 // 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	81 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	82 RegisterDwarfSymbols(ir.module);
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 ir.dwarfCompileUnit = DtoDwarfCompileUnit(this);
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 }
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	85
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	86 // process module members
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	87 for (int k=0; k < members->dim; k++) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	88 Dsymbol* dsym = (Dsymbol*)(members->data[k]);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	89 assert(dsym);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	90 dsym->toObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	91 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	92
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	93 gTargetData = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	94
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	95 // 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	96 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	97 DtoMain();
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	98 }
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	99
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	100 // verify the llvm
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	101 if (!global.params.novalidate) {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	102 std::string verifyErr;
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	103 Logger::println("Verifying module...");
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	104 if (llvm::verifyModule(*ir.module,llvm::ReturnStatusAction,&verifyErr))
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	105 {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	106 error("%s", verifyErr.c_str());
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	107 fatal();
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	108 }
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	109 else {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	110 Logger::println("Verification passed!");
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	111 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	112 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	113
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	114 // run passes
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	115 // TODO
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	116
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	117 // write bytecode
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	118 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	119 Logger::println("Writing LLVM bitcode\n");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	120 std::ofstream bos(bcfile->name->toChars(), std::ios::binary);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	121 llvm::WriteBitcodeToFile(ir.module, bos);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	122 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	123
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	124 // disassemble ?
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	125 if (global.params.disassemble) {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	126 Logger::println("Writing LLVM asm to: %s\n", llfile->name->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	127 std::ofstream aos(llfile->name->toChars());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	128 ir.module->print(aos);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	129 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	130
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	131 delete ir.module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	132 gIR = NULL;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	133 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	134
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	135 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	136
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	137 // Put out instance of ModuleInfo for this Module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	138
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	139 void Module::genmoduleinfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	140 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	141 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	142
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	143 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	144
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	145 void Dsymbol::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	146 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	147 Logger::println("Ignoring Dsymbol::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	148 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	149
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	150 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	151
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	152 void Declaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	153 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	154 Logger::println("Ignoring Declaration::toObjFile for %s", toChars());
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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	157 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	158
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	159 void InterfaceDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	160 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	161 Logger::println("Ignoring InterfaceDeclaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	162 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	163
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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	166 void StructDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	167 {
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	168 TypeStruct* ts = (TypeStruct*)DtoDType(type);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	169 if (llvmType != 0)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	170 return;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	171
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	172 static int sdi = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	173 Logger::print("StructDeclaration::toObjFile(%d): %s\n", sdi++, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	174 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	175
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	176 gIR->structs.push_back(IRStruct(ts));
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	177
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	178 for (int k=0; k < members->dim; k++) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	179 Dsymbol* dsym = (Dsymbol*)(members->data[k]);
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	180 dsym->toObjFile();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	181 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	182
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	183 Logger::println("doing struct fields");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	184
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	185 llvm::StructType* structtype = 0;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	186 std::vector<llvm::Constant*> fieldinits;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	187
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	188 if (gIR->topstruct().offsets.empty())
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	189 {
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	190 std::vector<const llvm::Type*> fieldtypes;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	191 Logger::println("has no fields");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	192 fieldtypes.push_back(llvm::Type::Int8Ty);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	193 fieldinits.push_back(llvm::ConstantInt::get(llvm::Type::Int8Ty, 0, false));
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	194 structtype = llvm::StructType::get(fieldtypes);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	195 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	196 else
23 77e3d1ddae3f [svn r27] * Fixed bug in aggregate field lookup. lindquist parents: 22 diff changeset	197 {
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	198 Logger::println("has fields");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	199 std::vector<const llvm::Type*> fieldtypes;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	200 unsigned prevsize = (unsigned)-1;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	201 unsigned lastoffset = (unsigned)-1;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	202 const llvm::Type* fieldtype = NULL;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	203 llvm::Constant* fieldinit = NULL;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	204 size_t fieldpad = 0;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	205 int idx = 0;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	206 for (IRStruct::OffsetMap::iterator i=gIR->topstruct().offsets.begin(); i!=gIR->topstruct().offsets.end(); ++i) {
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	207 // first iteration
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	208 if (lastoffset == (unsigned)-1) {
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	209 lastoffset = i->first;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	210 assert(lastoffset == 0);
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	211 fieldtype = DtoType(i->second.var->type);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	212 fieldinit = i->second.init;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	213 prevsize = gTargetData->getTypeSize(fieldtype);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	214 i->second.var->llvmFieldIndex = idx;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	215 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	216 // colliding offset?
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	217 else if (lastoffset == i->first) {
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	218 const llvm::Type* t = DtoType(i->second.var->type);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	219 size_t s = gTargetData->getTypeSize(t);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	220 if (s > prevsize) {
77 714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	221 fieldpad += s - prevsize;
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	222 prevsize = s;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	223 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	224 llvmHasUnions = true;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	225 i->second.var->llvmFieldIndex = idx;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	226 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	227 // intersecting offset?
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	228 else if (i->first < (lastoffset + prevsize)) {
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	229 const llvm::Type* t = DtoType(i->second.var->type);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	230 size_t s = gTargetData->getTypeSize(t);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	231 assert((i->first + s) <= (lastoffset + prevsize)); // this holds because all types are aligned to their size
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	232 llvmHasUnions = true;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	233 i->second.var->llvmFieldIndex = idx;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	234 i->second.var->llvmFieldIndexOffset = (i->first - lastoffset) / s;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	235 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	236 // fresh offset
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	237 else {
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	238 // commit the field
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	239 fieldtypes.push_back(fieldtype);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	240 fieldinits.push_back(fieldinit);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	241 if (fieldpad) {
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	242 // match up with below
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	243 std::vector<llvm::Constant*> vals(fieldpad, llvm::ConstantInt::get(llvm::Type::Int8Ty, 0, false));
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	244 llvm::Constant* c = llvm::ConstantArray::get(llvm::ArrayType::get(llvm::Type::Int8Ty, fieldpad), vals);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	245 fieldtypes.push_back(c->getType());
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	246 fieldinits.push_back(c);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	247 idx++;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	248 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	249
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	250 idx++;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	251
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	252 // start new
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	253 lastoffset = i->first;
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	254 fieldtype = DtoType(i->second.var->type);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	255 fieldinit = i->second.init;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	256 prevsize = gTargetData->getTypeSize(fieldtype);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	257 i->second.var->llvmFieldIndex = idx;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	258 fieldpad = 0;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	259 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	260 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	261 fieldtypes.push_back(fieldtype);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	262 fieldinits.push_back(fieldinit);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	263 if (fieldpad) {
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	264 // match up with above
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	265 std::vector<llvm::Constant*> vals(fieldpad, llvm::ConstantInt::get(llvm::Type::Int8Ty, 0, false));
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	266 llvm::Constant* c = llvm::ConstantArray::get(llvm::ArrayType::get(llvm::Type::Int8Ty, fieldpad), vals);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	267 fieldtypes.push_back(c->getType());
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	268 fieldinits.push_back(c);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	269 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	270
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	271 Logger::println("creating struct type");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	272 structtype = llvm::StructType::get(fieldtypes);
23 77e3d1ddae3f [svn r27] * Fixed bug in aggregate field lookup. lindquist parents: 22 diff changeset	273 }
77e3d1ddae3f [svn r27] * Fixed bug in aggregate field lookup. lindquist parents: 22 diff changeset	274
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	275 // refine abstract types for stuff like: struct S{S* next;}
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	276 if (gIR->topstruct().recty != 0)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	277 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	278 llvm::PATypeHolder& pa = gIR->topstruct().recty;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	279 llvm::cast<llvm::OpaqueType>(pa.get())->refineAbstractTypeTo(structtype);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	280 structtype = llvm::cast<llvm::StructType>(pa.get());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	281 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	282
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	283 ts->llvmType = structtype;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	284 llvmType = structtype;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	285
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	286 if (parent->isModule()) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	287 gIR->module->addTypeName(mangle(),ts->llvmType);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	288 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	289
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	290 // generate static data
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	291 llvm::GlobalValue::LinkageTypes _linkage = llvm::GlobalValue::ExternalLinkage;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	292 llvm::Constant* _init = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	293
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	294 // always generate the constant initalizer
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	295 if (!zeroInit) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	296 Logger::println("Not zero initialized");
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	297 //assert(tk == gIR->gIR->topstruct()().size());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	298 #ifndef LLVMD_NO_LOGGER
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	299 Logger::cout() << "struct type: " << *structtype << '\n';
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	300 for (size_t k=0; k<fieldinits.size(); ++k) {
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	301 Logger::cout() << "Type:" << '\n';
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	302 Logger::cout() << *fieldinits[k]->getType() << '\n';
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	303 Logger::cout() << "Value:" << '\n';
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	304 Logger::cout() << *fieldinits[k] << '\n';
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	305 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	306 Logger::cout() << "Initializer printed" << '\n';
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	307 #endif
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	308 llvmInitZ = llvm::ConstantStruct::get(structtype,fieldinits);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	309 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	310 else {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	311 Logger::println("Zero initialized");
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	312 llvmInitZ = llvm::ConstantAggregateZero::get(structtype);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	313 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	314
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	315 // only provide the constant initializer for the defining module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	316 if (getModule() == gIR->dmodule)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	317 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	318 _init = llvmInitZ;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	319 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	320
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	321 std::string initname("_D");
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	322 initname.append(mangle());
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	323 initname.append("6__initZ");
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	324 llvm::GlobalVariable* initvar = new llvm::GlobalVariable(ts->llvmType, true, _linkage, _init, initname, gIR->module);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	325 ts->llvmInit = initvar;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	326
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	327 // generate member function definitions
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	328 gIR->topstruct().queueFuncs = false;
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	329 IRStruct::FuncDeclVector& mfs = gIR->topstruct().funcs;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	330 size_t n = mfs.size();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	331 for (size_t i=0; i<n; ++i) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	332 mfs[i]->toObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	333 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	334
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	335 llvmDModule = gIR->dmodule;
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 gIR->structs.pop_back();
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 // generate typeinfo
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	340 if (getModule() == gIR->dmodule && llvmInternal != LLVMnotypeinfo)
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 69 diff changeset	341 type->getTypeInfo(NULL);
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
77 714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	346 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	347 {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	348 // 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	349 if (cd->baseClass != 0) {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	350 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	351 if (o != (unsigned)-1)
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	352 return o;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	353 }
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 // check this class
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	356 unsigned i;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	357 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	358 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	359 if (os == vd->offset)
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	360 return i+idx;
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 idx += i;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	363
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	364 return (unsigned)-1;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	365 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	366
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	367 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	368 {
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	369 unsigned idx = 0;
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	370 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	371 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	372 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	373 }
714057ff2dbb [svn r81] Fixed: Union support was very buggy. Should be fairly solid now. lindquist parents: 74 diff changeset	374
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
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	377 static void LLVM_AddBaseClassData(BaseClasses* bcs)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	378 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	379 // add base class data members first
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	380 for (int j=0; j<bcs->dim; j++)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	381 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	382 BaseClass* bc = (BaseClass*)(bcs->data[j]);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	383 assert(bc);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	384 Logger::println("Adding base class members of %s", bc->base->toChars());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	385 LOG_SCOPE;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	386
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	387 LLVM_AddBaseClassData(&bc->base->baseclasses);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	388 for (int k=0; k < bc->base->members->dim; k++) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	389 Dsymbol* dsym = (Dsymbol*)(bc->base->members->data[k]);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	390 if (dsym->isVarDeclaration())
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	391 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	392 dsym->toObjFile();
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 }
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 }
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 void ClassDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	399 {
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	400 TypeClass* ts = (TypeClass*)DtoDType(type);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	401 if (ts->llvmType != 0 \|\| llvmInProgress)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	402 return;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	403
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	404 llvmInProgress = true;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	405
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	406 static int fdi = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	407 Logger::print("ClassDeclaration::toObjFile(%d): %s\n", fdi++, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	408 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	409
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	410 gIR->structs.push_back(IRStruct(ts));
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	411 gIR->classes.push_back(this);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	412
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	413 // add vtable
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	414 llvm::PATypeHolder pa = llvm::OpaqueType::get();
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	415 const llvm::Type* vtabty = llvm::PointerType::get(pa);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	416
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	417 std::vector<const llvm::Type*> fieldtypes;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	418 fieldtypes.push_back(vtabty);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	419
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	420 std::vector<llvm::Constant*> fieldinits;
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	421 fieldinits.push_back(0);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	422
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	423 // base classes first
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	424 LLVM_AddBaseClassData(&baseclasses);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	425
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	426 // then add own members
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	427 for (int k=0; k < members->dim; k++) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	428 Dsymbol* dsym = (Dsymbol*)(members->data[k]);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	429 dsym->toObjFile();
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
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	432 // fill out fieldtypes/inits
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	433 for (IRStruct::OffsetMap::iterator i=gIR->topstruct().offsets.begin(); i!=gIR->topstruct().offsets.end(); ++i) {
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	434 fieldtypes.push_back(DtoType(i->second.var->type));
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	435 fieldinits.push_back(i->second.init);
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	436 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	437
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	438 llvm::StructType* structtype = llvm::StructType::get(fieldtypes);
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	439 // refine abstract types for stuff like: class C {C next;}
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	440 if (gIR->topstruct().recty != 0)
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	441 {
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	442 llvm::PATypeHolder& pa = gIR->topstruct().recty;
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	443 llvm::cast<llvm::OpaqueType>(pa.get())->refineAbstractTypeTo(structtype);
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	444 structtype = llvm::cast<llvm::StructType>(pa.get());
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	445 }
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	446
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	447 ts->llvmType = structtype;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	448 llvmType = structtype;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	449
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	450 bool needs_definition = false;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	451 if (parent->isModule()) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	452 gIR->module->addTypeName(mangle(),ts->llvmType);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	453 needs_definition = (getModule() == gIR->dmodule);
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 else {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	456 assert(0 && "class parent is not a module");
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
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	459 // generate vtable
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	460 llvm::GlobalVariable* svtblVar = 0;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	461 std::vector<llvm::Constant*> sinits;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	462 std::vector<const llvm::Type*> sinits_ty;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	463 sinits.reserve(vtbl.dim);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	464 sinits_ty.reserve(vtbl.dim);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	465
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	466 for (int k=0; k < vtbl.dim; k++)
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	467 {
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	468 Dsymbol* dsym = (Dsymbol*)vtbl.data[k];
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	469 assert(dsym);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	470 //Logger::cout() << "vtblsym: " << dsym->toChars() << '\n';
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	471
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	472 if (FuncDeclaration* fd = dsym->isFuncDeclaration()) {
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	473 fd->toObjFile();
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	474 assert(fd->llvmValue);
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	475 llvm::Constant* c = llvm::cast<llvm::Constant>(fd->llvmValue);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	476 sinits.push_back(c);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	477 sinits_ty.push_back(c->getType());
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	478 }
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	479 else if (ClassDeclaration* cd = dsym->isClassDeclaration()) {
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	480 const llvm::Type* cty = llvm::PointerType::get(llvm::Type::Int8Ty);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	481 llvm::Constant* c = llvm::Constant::getNullValue(cty);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	482 sinits.push_back(c);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	483 sinits_ty.push_back(cty);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	484 }
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	485 else
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	486 assert(0);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	487 }
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	488
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	489 const llvm::StructType* svtbl_ty = 0;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	490 if (!sinits.empty())
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	491 {
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	492 llvm::GlobalValue::LinkageTypes _linkage = llvm::GlobalValue::ExternalLinkage;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	493
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	494 std::string varname("_D");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	495 varname.append(mangle());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	496 varname.append("6__vtblZ");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	497
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	498 std::string styname(mangle());
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	499 styname.append("__vtblTy");
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	500
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	501 svtbl_ty = llvm::StructType::get(sinits_ty);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	502 gIR->module->addTypeName(styname, svtbl_ty);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	503 svtblVar = new llvm::GlobalVariable(svtbl_ty, true, _linkage, 0, varname, gIR->module);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	504
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	505 llvmConstVtbl = llvm::cast<llvm::ConstantStruct>(llvm::ConstantStruct::get(svtbl_ty, sinits));
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	506 if (needs_definition)
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	507 svtblVar->setInitializer(llvmConstVtbl);
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	508 llvmVtbl = svtblVar;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	509 }
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	510
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	511 ////////////////////////////////////////////////////////////////////////////////
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	512
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	513 // refine for final vtable type
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	514 llvm::cast<llvm::OpaqueType>(pa.get())->refineAbstractTypeTo(svtbl_ty);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	515 svtbl_ty = llvm::cast<llvm::StructType>(pa.get());
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	516 structtype = llvm::cast<llvm::StructType>(gIR->topstruct().recty.get());
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	517 ts->llvmType = structtype;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	518 llvmType = structtype;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	519
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	520 // generate initializer
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	521 llvm::GlobalValue::LinkageTypes _linkage = llvm::GlobalValue::ExternalLinkage;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	522 llvm::Constant* _init = 0;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	523
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	524 // first field is always the vtable
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	525 assert(svtblVar != 0);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	526 fieldinits[0] = svtblVar;
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	527
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	528 llvmInitZ = _init = llvm::ConstantStruct::get(structtype,fieldinits);
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	529 assert(_init);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	530
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	531 std::string initname("_D");
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	532 initname.append(mangle());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	533 initname.append("6__initZ");
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	534 //Logger::cout() << *_init << '\n';
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	535 llvm::GlobalVariable* initvar = new llvm::GlobalVariable(ts->llvmType, true, _linkage, NULL, initname, gIR->module);
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	536 ts->llvmInit = initvar;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	537
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	538 if (needs_definition) {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	539 initvar->setInitializer(_init);
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	540 // generate member functions
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	541 gIR->topstruct().queueFuncs = false;
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	542 IRStruct::FuncDeclVector& mfs = gIR->topstruct().funcs;
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	543 size_t n = mfs.size();
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	544 for (size_t i=0; i<n; ++i) {
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	545 mfs[i]->toObjFile();
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 52 diff changeset	546 }
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 gIR->classes.pop_back();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	550 gIR->structs.pop_back();
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 llvmInProgress = false;
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
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 * 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	557 * Returns ~0 if not this csym.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	558 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	559
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	560 unsigned ClassDeclaration::baseVtblOffset(BaseClass *bc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	561 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	562 return ~0;
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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	567 void VarDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	568 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	569 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	570 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	571 llvm::Module* M = gIR->module;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	572
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	573 if (aliassym)
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	574 {
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	575 toAlias()->toObjFile();
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	576 return;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	577 }
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	578
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	579 // global variable or magic
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	580 if (isDataseg())
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	581 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	582 if (llvmTouched) return;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	583 else llvmTouched = true;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	584
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	585 bool _isconst = false;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	586 if (isConst() && (init && !init->isExpInitializer()))
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	587 _isconst = true;
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	588
99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	589 llvm::GlobalValue::LinkageTypes _linkage;
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	590 bool istempl = false;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	591 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	592 _linkage = llvm::GlobalValue::WeakLinkage;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	593 istempl = true;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	594 }
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	595 else if (parent && parent->isFuncDeclaration())
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	596 _linkage = llvm::GlobalValue::InternalLinkage;
99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	597 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	598 _linkage = DtoLinkage(protection, storage_class);
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	599
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	600 Type* t = DtoDType(type);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	601
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	602 const llvm::Type* _type = DtoType(t);
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	603 assert(_type);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	604
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	605 llvm::Constant* _init = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	606 bool _signed = !type->isunsigned();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	607
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	608 Logger::println("Creating global variable");
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	609 std::string _name(mangle());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	610
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	611 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(_type,_isconst,_linkage,0,_name,M);
8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	612 llvmValue = gvar;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	613
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	614 if (!(storage_class & STCextern) && (getModule() == gIR->dmodule \|\| istempl))
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	615 {
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	616 if (parent && parent->isFuncDeclaration() && init && init->isExpInitializer()) {
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	617 _init = DtoConstInitializer(t, NULL);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	618 // create a flag to make sure initialization only happens once
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	619 llvm::GlobalValue::LinkageTypes gflaglink = istempl ? llvm::GlobalValue::WeakLinkage : llvm::GlobalValue::InternalLinkage;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	620 std::string gflagname(_name);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	621 gflagname.append("__initflag");
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	622 llvm::GlobalVariable* gflag = new llvm::GlobalVariable(llvm::Type::Int1Ty,false,gflaglink,DtoConstBool(false),gflagname,M);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	623
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	624 // check flag and do init if not already done
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	625 llvm::BasicBlock* oldend = gIR->scopeend();
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	626 llvm::BasicBlock* initbb = new llvm::BasicBlock("ifnotinit",gIR->topfunc(),oldend);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	627 llvm::BasicBlock* endinitbb = new llvm::BasicBlock("ifnotinitend",gIR->topfunc(),oldend);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	628 llvm::Value* cond = gIR->ir->CreateICmpEQ(gIR->ir->CreateLoad(gflag,"tmp"),DtoConstBool(false));
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	629 gIR->ir->CreateCondBr(cond, initbb, endinitbb);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	630 gIR->scope() = IRScope(initbb,endinitbb);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	631 elem* ie = DtoInitializer(init);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	632 if (!ie->inPlace()) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	633 DValue* dst = new DVarValue(t, gvar, true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	634 DtoAssign(dst, ie);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	635 delete dst;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	636 }
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	637 gIR->ir->CreateStore(DtoConstBool(true), gflag);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	638 gIR->ir->CreateBr(endinitbb);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	639 gIR->scope() = IRScope(endinitbb,oldend);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	640 }
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	641 else {
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	642 _init = DtoConstInitializer(t, init);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	643 }
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	644
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	645 //Logger::cout() << "initializer: " << *_init << '\n';
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	646 if (_type != _init->getType()) {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	647 Logger::cout() << "got type '" << _init->getType() << "' expected '" << _type << "'\n";
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	648 // zero initalizer
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	649 if (_init->isNullValue())
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	650 _init = llvm::Constant::getNullValue(_type);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	651 // pointer to global constant (struct.init)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	652 else if (llvm::isa<llvm::GlobalVariable>(_init))
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	653 {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	654 assert(_init->getType()->getContainedType(0) == _type);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	655 llvm::GlobalVariable* gv = llvm::cast<llvm::GlobalVariable>(_init);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	656 assert(t->ty == Tstruct);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	657 TypeStruct* ts = (TypeStruct*)t;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	658 assert(ts->sym->llvmInitZ);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	659 _init = ts->sym->llvmInitZ;
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	660 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	661 // array single value init
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	662 else if (llvm::isa<llvm::ArrayType>(_type))
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	663 {
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	664 _init = DtoConstStaticArray(_type, _init);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	665 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	666 else {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	667 Logger::cout() << "Unexpected initializer type: " << *_type << '\n';
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	668 //assert(0);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	669 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	670 }
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	671
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 63 diff changeset	672 Logger::cout() << "final init = " << *_init << '\n';
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	673 gvar->setInitializer(_init);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	674 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	675
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	676 llvmDModule = gIR->dmodule;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	677
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	678 //if (storage_class & STCprivate)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	679 // gvar->setVisibility(llvm::GlobalValue::ProtectedVisibility);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	680 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	681
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	682 // inside aggregate declaration. declare a field.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	683 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	684 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	685 Logger::println("Aggregate var declaration: '%s' offset=%d", toChars(), offset);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	686
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	687 Type* t = DtoDType(type);
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	688 const llvm::Type* _type = DtoType(t);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	689
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	690 llvm::Constant*_init = DtoConstInitializer(t, init);
28 1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	691 assert(_init);
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	692 Logger::cout() << "field init is: " << _init << " type should be " << _type << '\n';
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	693 if (_type != _init->getType())
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	694 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	695 if (t->ty == Tsarray)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	696 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	697 const llvm::ArrayType* arrty = llvm::cast<llvm::ArrayType>(_type);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	698 uint64_t n = arrty->getNumElements();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	699 std::vector<llvm::Constant*> vals(n,_init);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	700 _init = llvm::ConstantArray::get(arrty, vals);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	701 }
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	702 else if (t->ty == Tarray)
28 1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	703 {
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	704 assert(llvm::isa<llvm::StructType>(_type));
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	705 _init = llvm::ConstantAggregateZero::get(_type);
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	706 }
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	707 else if (t->ty == Tstruct)
28 1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	708 {
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	709 const llvm::StructType* structty = llvm::cast<llvm::StructType>(_type);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	710 TypeStruct* ts = (TypeStruct*)t;
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	711 assert(ts);
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	712 assert(ts->sym);
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	713 assert(ts->sym->llvmInitZ);
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	714 _init = ts->sym->llvmInitZ;
35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	715 }
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	716 else if (t->ty == Tclass)
28 1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	717 {
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	718 _init = llvm::Constant::getNullValue(_type);
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	719 }
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	720 else {
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	721 Logger::println("failed for type %s", type->toChars());
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	722 assert(0);
1c80c18f3c82 [svn r32] * Fixed problems with arrays members of aggregates lindquist parents: 26 diff changeset	723 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	724 }
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	725
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	726 // add the field in the IRStruct
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	727 gIR->topstruct().offsets.insert(std::make_pair(offset, IRStruct::Offset(this,_init)));
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	728 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	729
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	730 Logger::println("VarDeclaration::toObjFile is done");
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	731 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	732
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	733 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	734
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	735 void TypedefDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	736 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	737 static int tdi = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	738 Logger::print("TypedefDeclaration::toObjFile(%d): %s\n", tdi++, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	739 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	740
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	741 // generate typeinfo
72 d7e764e62462 [svn r76] Fixed: TypeInfo for structs. lindquist parents: 69 diff changeset	742 type->getTypeInfo(NULL);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	743 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	744
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	745 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	746
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	747 void EnumDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	748 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	749 Logger::println("Ignoring EnumDeclaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	750 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	751
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	752 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	753
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	754 void FuncDeclaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	755 {
18 c05ef76f1c20 [svn r22] * Forgot to add std.stdio lindquist parents: 17 diff changeset	756 if (llvmDModule) {
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	757 assert(llvmValue != 0);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	758 return;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	759 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	760
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	761 if (llvmRunTimeHack) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	762 Logger::println("runtime hack func chars: %s", toChars());
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	763 if (!llvmValue)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	764 llvmValue = LLVM_D_GetRuntimeFunction(gIR->module, toChars());
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	765 return;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	766 }
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	767
63 2c39b5292cf3 [svn r67] Fixed ignore unittests instead of failing to compile lindquist parents: 58 diff changeset	768 if (isUnitTestDeclaration()) {
2c39b5292cf3 [svn r67] Fixed ignore unittests instead of failing to compile lindquist parents: 58 diff changeset	769 Logger::println("*** ATTENTION: ignoring unittest declaration: %s", toChars());
2c39b5292cf3 [svn r67] Fixed ignore unittests instead of failing to compile lindquist parents: 58 diff changeset	770 return;
2c39b5292cf3 [svn r67] Fixed ignore unittests instead of failing to compile lindquist parents: 58 diff changeset	771 }
2c39b5292cf3 [svn r67] Fixed ignore unittests instead of failing to compile lindquist parents: 58 diff changeset	772
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	773 Type* t = DtoDType(type);
55 0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	774 TypeFunction* f = (TypeFunction*)t;
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	775
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	776 bool declareOnly = false;
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	777 if (parent)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	778 {
55 0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	779 if (TemplateInstance* tinst = parent->isTemplateInstance()) {
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	780 TemplateDeclaration* tempdecl = tinst->tempdecl;
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	781 if (tempdecl->llvmInternal == LLVMva_start)
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	782 {
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	783 Logger::println("magic va_start found");
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	784 llvmInternal = LLVMva_start;
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	785 declareOnly = true;
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	786 }
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	787 else if (tempdecl->llvmInternal == LLVMva_arg)
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	788 {
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	789 Logger::println("magic va_arg found");
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	790 llvmInternal = LLVMva_arg;
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	791 return;
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	792 }
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	793 }
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	794 }
55 0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	795
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	796 llvm::Function* func = DtoDeclareFunction(this);
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	797
55 0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	798 if (declareOnly)
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	799 return;
0ccfae271c45 [svn r59] Added support for C-style variadic functions. Currently only works on x86, x86-64 va_arg is broken in LLVM 2.1. PPC and PPC64 unknown. lindquist parents: 54 diff changeset	800
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	801 if (!gIR->structs.empty() && gIR->topstruct().queueFuncs) {
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	802 if (!llvmQueued) {
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	803 Logger::println("queueing %s", toChars());
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	804 gIR->topstruct().funcs.push_back(this);
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	805 llvmQueued = true;
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	806 }
10 c0f2c47e5034 [svn r14] Forgot something stupid...y lindquist parents: 9 diff changeset	807 return; // we wait with the definition as they might invoke a virtual method and the vtable is not yet complete
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	808 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	809
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	810 // 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	811 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	812 llvmDwarfSubProgram = DtoDwarfSubProgram(this);
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	813 }
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	814
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	815 assert(f->llvmType);
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	816 const llvm::FunctionType* functype = llvm::cast<llvm::FunctionType>(llvmValue->getType()->getContainedType(0));
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	817
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	818 // template instances should have weak linkage
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 85 diff changeset	819 if (parent && DtoIsTemplateInstance(parent)) {
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	820 func->setLinkage(llvm::GlobalValue::WeakLinkage);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	821 }
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	822
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	823 // only members of the current module maybe be defined
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	824 if (getModule() == gIR->dmodule \|\| DtoIsTemplateInstance(parent))
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	825 {
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	826 llvmDModule = gIR->dmodule;
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	827
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	828 // handle static constructor / destructor
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	829 if (isStaticCtorDeclaration() \|\| isStaticDtorDeclaration()) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	830 const llvm::ArrayType* sctor_type = llvm::ArrayType::get(llvm::PointerType::get(functype),1);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	831 //Logger::cout() << "static ctor type: " << *sctor_type << '\n';
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	832
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	833 llvm::Constant* sctor_func = llvm::cast<llvm::Constant>(llvmValue);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	834 //Logger::cout() << "static ctor func: " << *sctor_func << '\n';
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	835
74 eb379601d445 [svn r78] Removed the useless pragmas lindquist parents: 73 diff changeset	836 llvm::Constant* sctor_init = llvm::ConstantArray::get(sctor_type,&sctor_func,1);
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	837
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	838 //Logger::cout() << "static ctor init: " << *sctor_init << '\n';
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	839
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	840 // output the llvm.global_ctors array
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	841 const char* varname = isStaticCtorDeclaration() ? "_d_module_ctor_array" : "_d_module_dtor_array";
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	842 llvm::GlobalVariable* sctor_arr = new llvm::GlobalVariable(sctor_type, false, llvm::GlobalValue::AppendingLinkage, sctor_init, varname, gIR->module);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	843 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	844
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	845 // function definition
74 eb379601d445 [svn r78] Removed the useless pragmas lindquist parents: 73 diff changeset	846 if (fbody != 0)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	847 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	848 gIR->functions.push_back(IRFunction(this));
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	849 gIR->func().func = func;
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	850
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	851 // first make absolutely sure the type is up to date
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	852 f->llvmType = llvmValue->getType()->getContainedType(0);
d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	853
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	854 //Logger::cout() << "func type: " << *f->llvmType << '\n';
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	855
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	856 // this handling
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	857 if (f->llvmUsesThis) {
50 6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	858 Logger::println("uses this");
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	859 if (f->llvmRetInPtr)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	860 llvmThisVar = ++func->arg_begin();
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	861 else
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	862 llvmThisVar = func->arg_begin();
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	863 assert(llvmThisVar != 0);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	864 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	865
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	866 if (isMain())
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	867 gIR->emitMain = true;
dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	868
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	869 llvm::BasicBlock* beginbb = new llvm::BasicBlock("entry",func);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	870 llvm::BasicBlock* endbb = new llvm::BasicBlock("endentry",func);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	871
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	872 //assert(gIR->scopes.empty());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	873 gIR->scopes.push_back(IRScope(beginbb, endbb));
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	874
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	875 // create alloca point
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	876 f->llvmAllocaPoint = new llvm::BitCastInst(llvm::ConstantInt::get(llvm::Type::Int32Ty,0,false),llvm::Type::Int32Ty,"alloca point",gIR->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	877 gIR->func().allocapoint = f->llvmAllocaPoint;
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	878
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	879 // give arguments storage
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	880 size_t n = Argument::dim(f->parameters);
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	881 for (int i=0; i < n; ++i) {
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	882 Argument* arg = Argument::getNth(f->parameters, i);
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	883 if (arg && arg->vardecl) {
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	884 VarDeclaration* vd = arg->vardecl;
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	885 if (!vd->llvmNeedsStorage \|\| vd->nestedref \|\| vd->isRef() \|\| vd->isOut() \|\| DtoIsPassedByRef(vd->type))
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	886 continue;
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	887 llvm::Value* a = vd->llvmValue;
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	888 assert(a);
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	889 std::string s(a->getName());
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	890 Logger::println("giving argument '%s' storage", s.c_str());
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	891 s.append("_storage");
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	892 llvm::Value* v = new llvm::AllocaInst(a->getType(),s,f->llvmAllocaPoint);
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	893 gIR->ir->CreateStore(a,v);
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	894 vd->llvmValue = v;
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	895 }
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	896 else {
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	897 Logger::println("*** ATTENTION: some unknown argument: %s", arg ? arg->toChars() : 0);
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	898 }
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	899 }
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	900
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	901 // 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	902 if (global.params.symdebug) DtoDwarfFuncStart(this);
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	903
50 6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	904 llvm::Value* parentNested = NULL;
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	905 if (FuncDeclaration* fd = toParent()->isFuncDeclaration()) {
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	906 parentNested = fd->llvmNested;
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	907 }
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	908
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	909 // construct nested variables struct
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	910 if (!llvmNestedVars.empty() \|\| parentNested) {
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	911 std::vector<const llvm::Type*> nestTypes;
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	912 int j = 0;
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	913 if (parentNested) {
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	914 nestTypes.push_back(parentNested->getType());
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	915 j++;
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	916 }
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	917 for (std::set<VarDeclaration*>::iterator i=llvmNestedVars.begin(); i!=llvmNestedVars.end(); ++i) {
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	918 VarDeclaration* vd = *i;
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	919 vd->llvmNestedIndex = j++;
67 f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	920 if (vd->isParameter()) {
f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	921 assert(vd->llvmValue);
f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	922 nestTypes.push_back(vd->llvmValue->getType());
f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	923 }
f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	924 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	925 nestTypes.push_back(DtoType(vd->type));
67 f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	926 }
50 6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	927 }
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	928 const llvm::StructType* nestSType = llvm::StructType::get(nestTypes);
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	929 Logger::cout() << "nested var struct has type:" << '\n' << *nestSType;
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	930 llvmNested = new llvm::AllocaInst(nestSType,"nestedvars",f->llvmAllocaPoint);
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	931 if (parentNested) {
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	932 assert(llvmThisVar);
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	933 llvm::Value* ptr = gIR->ir->CreateBitCast(llvmThisVar, parentNested->getType(), "tmp");
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	934 gIR->ir->CreateStore(ptr, DtoGEPi(llvmNested, 0,0, "tmp"));
50 6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	935 }
67 f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	936 for (std::set<VarDeclaration*>::iterator i=llvmNestedVars.begin(); i!=llvmNestedVars.end(); ++i) {
f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	937 VarDeclaration* vd = *i;
f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	938 if (vd->isParameter()) {
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	939 gIR->ir->CreateStore(vd->llvmValue, DtoGEPi(llvmNested, 0, vd->llvmNestedIndex, "tmp"));
68 c4b3f5d2cd9b [svn r72] Calling a nested function that is not a delegate was not working. lindquist parents: 67 diff changeset	940 vd->llvmValue = llvmNested;
67 f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	941 }
f918f3e2e99e [svn r71] Fixed accessing parent function arguments from inside nested delegates. lindquist parents: 64 diff changeset	942 }
50 6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	943 }
6fcc08a4d406 [svn r54] Added support for nested delegates referencing parent's stack variables. lindquist parents: 40 diff changeset	944
57 a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 55 diff changeset	945 // copy _argptr to a memory location
a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 55 diff changeset	946 if (f->linkage == LINKd && f->varargs == 1)
a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 55 diff changeset	947 {
a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 55 diff changeset	948 llvm::Value* argptrmem = new llvm::AllocaInst(llvmArgPtr->getType(), "_argptrmem", gIR->topallocapoint());
a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 55 diff changeset	949 new llvm::StoreInst(llvmArgPtr, argptrmem, gIR->scopebb());
a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 55 diff changeset	950 llvmArgPtr = argptrmem;
a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 55 diff changeset	951 }
a9d29e9f1fed [svn r61] Added support for D-style variadic functions :) lindquist parents: 55 diff changeset	952
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	953 // output function body
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	954 fbody->toIR(gIR);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	955
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	956 // llvm requires all basic blocks to end with a TerminatorInst but DMD does not put a return statement
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	957 // in automatically, so we do it here.
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	958 if (!isMain()) {
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	959 if (!gIR->scopereturned()) {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	960 // pass the previous block into this block
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	961 if (global.params.symdebug) DtoDwarfFuncEnd(this);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	962 if (func->getReturnType() == llvm::Type::VoidTy) {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	963 new llvm::ReturnInst(gIR->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	964 }
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	965 else {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	966 new llvm::ReturnInst(llvm::UndefValue::get(func->getReturnType()), gIR->scopebb());
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	967 }
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	968 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	969 }
11 d3ee9efe20e2 [svn r15] * Fixed a bunch problems with virtual calls. Seems I did some rather poor testing. lindquist parents: 10 diff changeset	970
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	971 // erase alloca point
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	972 f->llvmAllocaPoint->eraseFromParent();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	973 f->llvmAllocaPoint = 0;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	974 gIR->func().allocapoint = 0;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	975
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	976 gIR->scopes.pop_back();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	977
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	978 // get rid of the endentry block, it's never used
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	979 assert(!func->getBasicBlockList().empty());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	980 func->getBasicBlockList().pop_back();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	981
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	982 // if the last block is empty now, it must be unreachable or it's a bug somewhere else
9 dafae18f9c08 [svn r13] * Updated for LLVM 2.1 lindquist parents: 8 diff changeset	983 // would be nice to figure out how to assert that this is correct
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	984 llvm::BasicBlock* lastbb = &func->getBasicBlockList().back();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	985 if (lastbb->empty()) {
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	986 if (lastbb->getNumUses() == 0)
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	987 lastbb->eraseFromParent();
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	988 else {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	989 new llvm::UnreachableInst(lastbb);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	990 /*if (func->getReturnType() == llvm::Type::VoidTy) {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	991 new llvm::ReturnInst(lastbb);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	992 }
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	993 else {
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	994 new llvm::ReturnInst(llvm::UndefValue::get(func->getReturnType()), lastbb);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	995 }*/
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	996 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	997 }
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	998
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	999 gIR->functions.pop_back();
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1000 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1001 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1002 }

Mercurial > projects > ldc

annotate gen/toobj.cpp @ 86:fd32135dca3e trunk