projects/ldc: gen/toobj.cpp annotate

annotate gen/toobj.cpp @ 715:30b42a283c8e

Removed TypeOpaque from DMD. Changed runtime functions taking opaque[] to void[]. Implemented proper type painting, to avoid "resizing" array casts in runtime calls that previously took opaque[]. Implemented dynamic arrays as first class types, this implements proper ABI for these types on x86. Added dwarf region end after call to assert function, fixes some problems with llvm not allowing this to be missing. Reverted change to WithStatement from rev [704] it breaks MiniD, mini/with2.d needs to be fixed some other way... Fixed tango bug 1339 in runtime, problem with _adReverseChar on invalid UTF-8. Disabled .bc generation in the compiler runtime part, genobj.d triggers some llvm bug when using debug info. the .o seems to work fine.

author	Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
date	Wed, 22 Oct 2008 14:55:33 +0200
parents	fd5665da3a27
children	7261ff0f95ff

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"
673 37a7688a7494 Add basics for direct assembly output. Christian Kamm <kamm incasoftware de> parents: 663 diff changeset	17 #include "llvm/Target/SubtargetFeature.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	18 #include "llvm/Target/TargetMachine.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	19 #include "llvm/Target/TargetMachineRegistry.h"
673 37a7688a7494 Add basics for direct assembly output. Christian Kamm <kamm incasoftware de> parents: 663 diff changeset	20 #include "llvm/Module.h"
37a7688a7494 Add basics for direct assembly output. Christian Kamm <kamm incasoftware de> parents: 663 diff changeset	21 #include "llvm/ModuleProvider.h"
37a7688a7494 Add basics for direct assembly output. Christian Kamm <kamm incasoftware de> parents: 663 diff changeset	22 #include "llvm/PassManager.h"
689 06c05906b054 Always run SimplifyCFG to workaround LLVM bug 2613. Christian Kamm <kamm incasoftware de> parents: 686 diff changeset	23 #include "llvm/LinkAllPasses.h"
676 1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	24 #include "llvm/System/Program.h"
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	25 #include "llvm/System/Path.h"
673 37a7688a7494 Add basics for direct assembly output. Christian Kamm <kamm incasoftware de> parents: 663 diff changeset	26 #include "llvm/Support/raw_ostream.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	27
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	28 #include "mars.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	29 #include "module.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	30 #include "mtype.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	31 #include "declaration.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	32 #include "statement.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	33 #include "enum.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	34 #include "aggregate.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	35 #include "init.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	36 #include "attrib.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	37 #include "id.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	38 #include "import.h"
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	39 #include "template.h"
18 c05ef76f1c20 [svn r22] * Forgot to add std.stdio lindquist parents: 17 diff changeset	40 #include "scope.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	41
4 e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	42 #include "gen/irstate.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	43 #include "gen/logger.h"
e116aa1488e6 [svn r8] changed backend includes to always use the gen/<foo>.h prefix lindquist parents: 1 diff changeset	44 #include "gen/tollvm.h"
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	45 #include "gen/llvmhelpers.h"
64 b688ad419f8c [svn r68] Added support for multi-dimensional static arrays. lindquist parents: 63 diff changeset	46 #include "gen/arrays.h"
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	47 #include "gen/structs.h"
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	48 #include "gen/classes.h"
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	49 #include "gen/functions.h"
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	50 #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	51 #include "gen/runtime.h"
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	52
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	53 #include "ir/irvar.h"
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 137 diff changeset	54 #include "ir/irmodule.h"
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	55
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	56 //////////////////////////////////////////////////////////////////////////////////////////
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	57
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	58 // in gen/optimize.cpp
663 6aaa3d3c1183 First part of rename to LDC. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	59 void ldc_optimize_module(llvm::Module* m, char lvl, bool doinline);
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	60
674 db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	61 // fwd decl
699 ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	62 void write_asm_to_file(llvm::TargetMachine &Target, llvm::Module& m, llvm::raw_fd_ostream& Out);
676 1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	63 void assemble(const llvm::sys::Path& asmpath, const llvm::sys::Path& objpath, char** envp);
674 db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	64
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	65 //////////////////////////////////////////////////////////////////////////////////////////
c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	66
676 1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	67 void Module::genobjfile(int multiobj, char** envp)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	68 {
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	69 bool logenabled = Logger::enabled();
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	70 if (llvmForceLogging && !logenabled)
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	71 {
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	72 Logger::enable();
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	73 }
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	74
622 26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 605 diff changeset	75 Logger::println("Generating module: %s\n", (md ? md->toChars() : toChars()));
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	76 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	77
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 708 diff changeset	78 //printf("codegen: %s\n", srcfile->toChars());
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	79
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	80 // start by deleting the old object file
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	81 deleteObjFile();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	82
18 c05ef76f1c20 [svn r22] * Forgot to add std.stdio lindquist parents: 17 diff changeset	83 // create a new ir state
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 137 diff changeset	84 // TODO look at making the instance static and moving most functionality into IrModule where it belongs
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	85 IRState ir;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	86 gIR = &ir;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	87 ir.dmodule = this;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	88
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	89 // reset all IR data stored in Dsymbols and Types
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	90 IrDsymbol::resetAll();
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	91 IrType::resetAll();
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	92
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	93 // name the module
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	94 std::string mname(toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	95 if (md != 0)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	96 mname = md->toChars();
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	97 ir.module = new llvm::Module(mname);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	98
683 b411c41a9716 Only allocate the module file name once. Fixes #90. Christian Kamm <kamm incasoftware de> parents: 677 diff changeset	99 // module ir state
b411c41a9716 Only allocate the module file name once. Fixes #90. Christian Kamm <kamm incasoftware de> parents: 677 diff changeset	100 // might already exist via import, just overwrite...
b411c41a9716 Only allocate the module file name once. Fixes #90. Christian Kamm <kamm incasoftware de> parents: 677 diff changeset	101 //FIXME: is there a good reason for overwriting?
b411c41a9716 Only allocate the module file name once. Fixes #90. Christian Kamm <kamm incasoftware de> parents: 677 diff changeset	102 this->ir.irModule = new IrModule(this, srcfile->toChars());
b411c41a9716 Only allocate the module file name once. Fixes #90. Christian Kamm <kamm incasoftware de> parents: 677 diff changeset	103
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	104 // set target stuff
699 ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	105
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	106 ir.module->setTargetTriple(global.params.targetTriple);
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	107
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	108 // get the target machine
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	109 const llvm::TargetMachineRegistry::entry* MArch;
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	110
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	111 std::string Err;
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	112 MArch = llvm::TargetMachineRegistry::getClosestStaticTargetForModule(*ir.module, Err);
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	113 if (MArch == 0) {
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	114 error("error auto-selecting target for module '%s'", Err.c_str());
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	115 fatal();
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	116 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	117
699 ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	118 llvm::SubtargetFeatures Features;
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	119 //TODO: Features?
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	120 // Features.setCPU(MCPU);
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	121 // for (unsigned i = 0; i != MAttrs.size(); ++i)
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	122 // Features.AddFeature(MAttrs[i]);
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	123
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	124 // only generate PIC code when -fPIC switch is used
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	125 if (global.params.pic)
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	126 llvm::TargetMachine::setRelocationModel(llvm::Reloc::PIC_);
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	127
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	128 // allocate the target machine
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	129 std::auto_ptr<llvm::TargetMachine> target(MArch->CtorFn(*ir.module, Features.getString()));
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	130 assert(target.get() && "Could not allocate target machine!");
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	131 llvm::TargetMachine &Target = *target.get();
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	132
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	133 gTargetData = Target.getTargetData();
ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	134 ir.module->setDataLayout(gTargetData->getStringRepresentation());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	135
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	136 // 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	137 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	138 RegisterDwarfSymbols(ir.module);
139 0ab29b838084 [svn r143] Fixed: a few bugs in debug information, still only line info, but should be correct files now :) lindquist parents: 137 diff changeset	139 DtoDwarfCompileUnit(this);
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	140 }
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	141
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	142 // start out by providing opaque for the built-in class types
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	143 if (!ClassDeclaration::object->type->ir.type)
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	144 ClassDeclaration::object->type->ir.type = new llvm::PATypeHolder(llvm::OpaqueType::get());
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	145
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	146 if (!Type::typeinfo->type->ir.type)
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	147 Type::typeinfo->type->ir.type = new llvm::PATypeHolder(llvm::OpaqueType::get());
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	148
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	149 if (!ClassDeclaration::classinfo->type->ir.type)
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	150 ClassDeclaration::classinfo->type->ir.type = new llvm::PATypeHolder(llvm::OpaqueType::get());
103 855adfdb8d38 [svn r107] Getting .classinfo on a class instance now works (classinfo is stored in vtable) lindquist parents: 102 diff changeset	151
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	152 // process module members
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	153 for (int k=0; k < members->dim; k++) {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	154 Dsymbol* dsym = (Dsymbol*)(members->data[k]);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	155 assert(dsym);
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	156 dsym->toObjFile(multiobj);
1 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
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	159 // main driver loop
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	160 DtoEmptyAllLists();
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	161 // generate ModuleInfo
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	162 genmoduleinfo();
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	163 // do this again as moduleinfo might have pulled something in!
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	164 DtoEmptyAllLists();
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	165
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 248 diff changeset	166 // emit usedArray
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	167 if (!ir.usedArray.empty())
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	168 {
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	169 const LLArrayType* usedTy = LLArrayType::get(getVoidPtrType(), ir.usedArray.size());
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	170 LLConstant* usedInit = LLConstantArray::get(usedTy, ir.usedArray);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	171 LLGlobalVariable* usedArray = new LLGlobalVariable(usedTy, true, LLGlobalValue::AppendingLinkage, usedInit, "llvm.used", ir.module);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	172 usedArray->setSection("llvm.metadata");
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	173 }
250 fc9c1a0eabbd [svn r267] Fixed debug info for global variables. lindquist parents: 248 diff changeset	174
6 35d93ce68cf4 [svn r10] Updated for LLVM rev. 20070913 lindquist parents: 4 diff changeset	175 // verify the llvm
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	176 if (!global.params.novalidate) {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	177 std::string verifyErr;
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	178 Logger::println("Verifying module...");
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	179 LOG_SCOPE;
31 2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	180 if (llvm::verifyModule(*ir.module,llvm::ReturnStatusAction,&verifyErr))
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	181 {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	182 error("%s", verifyErr.c_str());
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	183 fatal();
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	184 }
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	185 else {
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	186 Logger::println("Verification passed!");
2841234d2aea [svn r35] * Attributes on struct fields/methods now work lindquist parents: 28 diff changeset	187 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	188 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	189
689 06c05906b054 Always run SimplifyCFG to workaround LLVM bug 2613. Christian Kamm <kamm incasoftware de> parents: 686 diff changeset	190 // always run this pass to eliminate dead code that breaks debug info
06c05906b054 Always run SimplifyCFG to workaround LLVM bug 2613. Christian Kamm <kamm incasoftware de> parents: 686 diff changeset	191 llvm::PassManager pm;
06c05906b054 Always run SimplifyCFG to workaround LLVM bug 2613. Christian Kamm <kamm incasoftware de> parents: 686 diff changeset	192 pm.add(new llvm::TargetData(ir.module));
06c05906b054 Always run SimplifyCFG to workaround LLVM bug 2613. Christian Kamm <kamm incasoftware de> parents: 686 diff changeset	193 pm.add(llvm::createCFGSimplificationPass());
06c05906b054 Always run SimplifyCFG to workaround LLVM bug 2613. Christian Kamm <kamm incasoftware de> parents: 686 diff changeset	194 pm.run(*ir.module);
06c05906b054 Always run SimplifyCFG to workaround LLVM bug 2613. Christian Kamm <kamm incasoftware de> parents: 686 diff changeset	195
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	196 // run optimizer
663 6aaa3d3c1183 First part of rename to LDC. Christian Kamm <kamm incasoftware de> parents: 650 diff changeset	197 ldc_optimize_module(ir.module, global.params.optimizeLevel, global.params.llvmInline);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	198
605 e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	199 // verify the llvm
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	200 if (!global.params.novalidate && (global.params.optimizeLevel >= 0 \|\| global.params.llvmInline)) {
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	201 std::string verifyErr;
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	202 Logger::println("Verifying module... again...");
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	203 LOG_SCOPE;
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	204 if (llvm::verifyModule(*ir.module,llvm::ReturnStatusAction,&verifyErr))
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	205 {
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	206 error("%s", verifyErr.c_str());
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	207 fatal();
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	208 }
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	209 else {
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	210 Logger::println("Verification passed!");
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	211 }
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	212 }
e235b80c92bc Removed useless assert in ArrayLiteralExp::toConstElem Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 583 diff changeset	213
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	214 // eventually do our own path stuff, dmd's is a bit strange.
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	215 typedef llvm::sys::Path LLPath;
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	216
675 bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	217 // write LLVM bitcode
bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	218 if (global.params.output_bc) {
bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	219 LLPath bcpath = LLPath(objfile->name->toChars());
bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	220 bcpath.eraseSuffix();
bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	221 bcpath.appendSuffix(std::string(global.bc_ext));
393 a3f3c2770a0d Added bitcode filename to very verbose logging. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 363 diff changeset	222 Logger::println("Writing LLVM bitcode to: %s\n", bcpath.c_str());
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	223 std::ofstream bos(bcpath.c_str(), std::ios::binary);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	224 llvm::WriteBitcodeToFile(ir.module, bos);
0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	225 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	226
675 bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	227 // write LLVM IR
bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	228 if (global.params.output_ll) {
bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	229 LLPath llpath = LLPath(objfile->name->toChars());
bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	230 llpath.eraseSuffix();
bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	231 llpath.appendSuffix(std::string(global.ll_ext));
580 7824c21a58e3 Restructure path handling a bit. Fixes #66. Christian Kamm <kamm incasoftware de> parents: 565 diff changeset	232 Logger::println("Writing LLVM asm to: %s\n", llpath.c_str());
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	233 std::ofstream aos(llpath.c_str());
565 3c07287765bc Fixed toobj.cpp to compile with latest LLVM, seems a method overload was removed recently. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 511 diff changeset	234 ir.module->print(aos, NULL);
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	235 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	236
675 bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	237 // write native assembly
694 931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	238 if (global.params.output_s \|\| global.params.output_o) {
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	239 LLPath spath = LLPath(objfile->name->toChars());
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	240 spath.eraseSuffix();
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	241 spath.appendSuffix(std::string(global.s_ext));
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	242 if (!global.params.output_s) {
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	243 spath.createTemporaryFileOnDisk();
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	244 }
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	245 Logger::println("Writing native asm to: %s\n", spath.c_str());
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	246 std::string err;
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	247 {
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	248 llvm::raw_fd_ostream out(spath.c_str(), err);
699 ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	249 write_asm_to_file(Target, *ir.module, out);
694 931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	250 }
675 bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	251
694 931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	252 // call gcc to convert assembly to object file
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	253 if (global.params.output_o) {
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	254 LLPath objpath = LLPath(objfile->name->toChars());
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	255 assemble(spath, objpath, envp);
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	256 }
675 bfe5229f9d8e Disable bc output by default. Remove -dis. Add -output-bc, -output-ll, -output-s. Christian Kamm <kamm incasoftware de> parents: 674 diff changeset	257
694 931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	258 if (!global.params.output_s) {
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	259 spath.eraseFromDisk();
931333ea35c6 Allow output of only bc, ll, or s by making -of set the output type depending Christian Kamm <kamm incasoftware de> parents: 689 diff changeset	260 }
673 37a7688a7494 Add basics for direct assembly output. Christian Kamm <kamm incasoftware de> parents: 663 diff changeset	261 }
37a7688a7494 Add basics for direct assembly output. Christian Kamm <kamm incasoftware de> parents: 663 diff changeset	262
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	263 delete ir.module;
125 c42d245468ea [svn r129] Started AA literals. lindquist parents: 121 diff changeset	264 gTargetData = 0;
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	265 gIR = NULL;
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	266
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	267 if (llvmForceLogging && !logenabled)
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	268 {
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	269 Logger::disable();
a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 393 diff changeset	270 }
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	271 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	272
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	273 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	274
676 1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	275 // based on llc code, University of Illinois Open Source License
699 ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	276 void write_asm_to_file(llvm::TargetMachine &Target, llvm::Module& m, llvm::raw_fd_ostream& out)
674 db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	277 {
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	278 using namespace llvm;
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	279
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	280 // Build up all of the passes that we want to do to the module.
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	281 ExistingModuleProvider Provider(&m);
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	282 FunctionPassManager Passes(&Provider);
699 ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	283
674 db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	284 Passes.add(new TargetData(*Target.getTargetData()));
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	285
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	286 // Ask the target to add backend passes as necessary.
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	287 MachineCodeEmitter *MCE = 0;
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	288
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	289 //TODO: May want to switch it on for -O0?
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	290 bool Fast = false;
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	291 FileModel::Model mod = Target.addPassesToEmitFile(Passes, out, TargetMachine::AssemblyFile, Fast);
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	292 assert(mod == FileModel::AsmFile);
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	293
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	294 bool err = Target.addPassesToEmitFileFinish(Passes, MCE, Fast);
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	295 assert(!err);
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	296
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	297 Passes.doInitialization();
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	298
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	299 // Run our queue of passes all at once now, efficiently.
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	300 for (llvm::Module::iterator I = m.begin(), E = m.end(); I != E; ++I)
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	301 if (!I->isDeclaration())
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	302 Passes.run(*I);
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	303
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	304 Passes.doFinalization();
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	305
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	306 // release module from module provider so we can delete it ourselves
699 ed9a9e6dd1cc Started changing target triple stuff, part of fixing #97 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 694 diff changeset	307 std::string Err;
674 db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	308 llvm::Module* rmod = Provider.releaseModule(&Err);
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	309 assert(rmod);
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	310 }
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	311
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	312 /* ================================================================== */
db6a7e574cbd Move to separate function and cleanup. Christian Kamm <kamm incasoftware de> parents: 673 diff changeset	313
676 1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	314 // helper functions for gcc call to assemble
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	315 // based on llvm-ld code, University of Illinois Open Source License
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	316
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	317 /// CopyEnv - This function takes an array of environment variables and makes a
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	318 /// copy of it. This copy can then be manipulated any way the caller likes
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	319 /// without affecting the process's real environment.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	320 ///
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	321 /// Inputs:
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	322 /// envp - An array of C strings containing an environment.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	323 ///
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	324 /// Return value:
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	325 /// NULL - An error occurred.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	326 ///
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	327 /// Otherwise, a pointer to a new array of C strings is returned. Every string
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	328 /// in the array is a duplicate of the one in the original array (i.e. we do
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	329 /// not copy the char *'s from one array to another).
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	330 ///
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	331 static char CopyEnv(char const envp) {
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	332 // Count the number of entries in the old list;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	333 unsigned entries; // The number of entries in the old environment list
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	334 for (entries = 0; envp[entries] != NULL; entries++)
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	335 /empty/;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	336
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	337 // Add one more entry for the NULL pointer that ends the list.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	338 ++entries;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	339
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	340 // If there are no entries at all, just return NULL.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	341 if (entries == 0)
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	342 return NULL;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	343
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	344 // Allocate a new environment list.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	345 char *newenv = new char [entries];
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	346 if ((newenv = new char* [entries]) == NULL)
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	347 return NULL;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	348
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	349 // Make a copy of the list. Don't forget the NULL that ends the list.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	350 entries = 0;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	351 while (envp[entries] != NULL) {
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	352 newenv[entries] = new char[strlen (envp[entries]) + 1];
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	353 strcpy (newenv[entries], envp[entries]);
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	354 ++entries;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	355 }
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	356 newenv[entries] = NULL;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	357
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	358 return newenv;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	359 }
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	360
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	361 // based on llvm-ld code, University of Illinois Open Source License
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	362
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	363 /// RemoveEnv - Remove the specified environment variable from the environment
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	364 /// array.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	365 ///
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	366 /// Inputs:
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	367 /// name - The name of the variable to remove. It cannot be NULL.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	368 /// envp - The array of environment variables. It cannot be NULL.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	369 ///
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	370 /// Notes:
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	371 /// This is mainly done because functions to remove items from the environment
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	372 /// are not available across all platforms. In particular, Solaris does not
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	373 /// seem to have an unsetenv() function or a setenv() function (or they are
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	374 /// undocumented if they do exist).
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	375 ///
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	376 static void RemoveEnv(const char * name, char ** const envp) {
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	377 for (unsigned index=0; envp[index] != NULL; index++) {
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	378 // Find the first equals sign in the array and make it an EOS character.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	379 char *p = strchr (envp[index], '=');
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	380 if (p == NULL)
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	381 continue;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	382 else
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	383 *p = '\0';
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	384
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	385 // Compare the two strings. If they are equal, zap this string.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	386 // Otherwise, restore it.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	387 if (!strcmp(name, envp[index]))
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	388 *envp[index] = '\0';
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	389 else
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	390 *p = '=';
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	391 }
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	392
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	393 return;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	394 }
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	395
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	396 // uses gcc to make an obj out of an assembly file
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	397 // based on llvm-ld code, University of Illinois Open Source License
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	398 void assemble(const llvm::sys::Path& asmpath, const llvm::sys::Path& objpath, char** envp)
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	399 {
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	400 using namespace llvm;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	401
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	402 sys::Path gcc = llvm::sys::Program::FindProgramByName("gcc");
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	403
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	404 // Remove these environment variables from the environment of the
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	405 // programs that we will execute. It appears that GCC sets these
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	406 // environment variables so that the programs it uses can configure
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	407 // themselves identically.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	408 //
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	409 // However, when we invoke GCC below, we want it to use its normal
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	410 // configuration. Hence, we must sanitize its environment.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	411 char ** clean_env = CopyEnv(envp);
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	412 if (clean_env == NULL)
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	413 return;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	414 RemoveEnv("LIBRARY_PATH", clean_env);
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	415 RemoveEnv("COLLECT_GCC_OPTIONS", clean_env);
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	416 RemoveEnv("GCC_EXEC_PREFIX", clean_env);
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	417 RemoveEnv("COMPILER_PATH", clean_env);
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	418 RemoveEnv("COLLECT_GCC", clean_env);
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	419
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	420
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	421 // Run GCC to assemble and link the program into native code.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	422 //
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	423 // Note:
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	424 // We can't just assemble and link the file with the system assembler
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	425 // and linker because we don't know where to put the _start symbol.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	426 // GCC mysteriously knows how to do it.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	427 std::vector<std::string> args;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	428 args.push_back(gcc.toString());
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	429 args.push_back("-fno-strict-aliasing");
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	430 args.push_back("-O3");
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	431 args.push_back("-c");
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	432 args.push_back("-xassembler");
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	433 args.push_back(asmpath.toString());
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	434 args.push_back("-o");
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	435 args.push_back(objpath.toString());
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	436
677 075c1272a01d Link using gcc instead. Christian Kamm <kamm incasoftware de> parents: 676 diff changeset	437 //FIXME: only use this if needed?
075c1272a01d Link using gcc instead. Christian Kamm <kamm incasoftware de> parents: 676 diff changeset	438 args.push_back("-fpic");
676 1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	439
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	440 // Now that "args" owns all the std::strings for the arguments, call the c_str
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	441 // method to get the underlying string array. We do this game so that the
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	442 // std::string array is guaranteed to outlive the const char* array.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	443 std::vector<const char *> Args;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	444 for (unsigned i = 0, e = args.size(); i != e; ++i)
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	445 Args.push_back(args[i].c_str());
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	446 Args.push_back(0);
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	447
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	448 Logger::println("Assembling with: ");
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	449 std::vector<const char*>::const_iterator I = Args.begin(), E = Args.end();
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	450 std::ostream& logstr = Logger::cout();
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	451 for (; I != E; ++I)
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	452 if (*I)
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	453 logstr << "'" << *I << "'" << " ";
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	454 logstr << "\n" << std::flush;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	455
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	456 // Run the compiler to assembly the program.
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	457 std::string ErrMsg;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	458 int R = sys::Program::ExecuteAndWait(
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	459 gcc, &Args[0], (const char**)clean_env, 0, 0, 0, &ErrMsg);
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	460 delete [] clean_env;
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	461 }
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	462
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	463
1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	464 /* ================================================================== */
686 363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	465
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	466 // the following code generates functions and needs to output
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	467 // debug info. these macros are useful for that
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	468 #define DBG_TYPE ( getPtrToType(llvm::StructType::get(NULL,NULL)) )
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	469 #define DBG_CAST(X) ( llvm::ConstantExpr::getBitCast(X, DBG_TYPE) )
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	470
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	471 // build module ctor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	472
676 1f0a78174598 Make ldc call gcc to assemble. Christian Kamm <kamm incasoftware de> parents: 675 diff changeset	473 llvm::Function* build_module_ctor()
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	474 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	475 if (gIR->ctors.empty())
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	476 return NULL;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	477
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	478 size_t n = gIR->ctors.size();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	479 if (n == 1)
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	480 return gIR->ctors[0]->ir.irFunc->func;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	481
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	482 std::string name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	483 name.append(gIR->dmodule->mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	484 name.append("6__ctorZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	485
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	486 std::vector<const LLType*> argsTy;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	487 const llvm::FunctionType* fnTy = llvm::FunctionType::get(LLType::VoidTy,argsTy,false);
184 f5ca6bbbf1d7 [svn r200] Fixed: removed use of std.intrinsic. lindquist parents: 173 diff changeset	488 assert(gIR->module->getFunction(name) == NULL);
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 184 diff changeset	489 llvm::Function* fn = llvm::Function::Create(fnTy, llvm::GlobalValue::InternalLinkage, name, gIR->module);
707 1556a9328ba1 Fixed bug with generated functions having wrong calling conventions. Thanks downs. Christian Kamm <kamm incasoftware de> parents: 699 diff changeset	490 fn->setCallingConv(DtoCallingConv(LINKd));
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	491
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 184 diff changeset	492 llvm::BasicBlock* bb = llvm::BasicBlock::Create("entry", fn);
493 017ca8645a1f Make llvmdc work with llvm 2.4svn revision 54614. Breaks compatibility with llvm 2.3. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	493 IRBuilder<> builder(bb);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	494
686 363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	495 // debug info
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	496 LLGlobalVariable* subprog;
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	497 if(global.params.symdebug) {
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	498 subprog = DtoDwarfSubProgramInternal(name.c_str(), name.c_str());
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	499 builder.CreateCall(gIR->module->getFunction("llvm.dbg.func.start"), DBG_CAST(subprog));
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	500 }
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	501
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	502 for (size_t i=0; i<n; i++) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	503 llvm::Function* f = gIR->ctors[i]->ir.irFunc->func;
316 163cad969791 [svn r337] Reverted changes to toobj.cpp: Module constructor calls can never be invokes. ChristianK parents: 315 diff changeset	504 llvm::CallInst* call = builder.CreateCall(f,"");
707 1556a9328ba1 Fixed bug with generated functions having wrong calling conventions. Thanks downs. Christian Kamm <kamm incasoftware de> parents: 699 diff changeset	505 call->setCallingConv(DtoCallingConv(LINKd));
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	506 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	507
686 363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	508 // debug info end
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	509 if(global.params.symdebug)
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	510 builder.CreateCall(gIR->module->getFunction("llvm.dbg.region.end"), DBG_CAST(subprog));
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	511
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	512 builder.CreateRetVoid();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	513 return fn;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	514 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	515
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	516 // build module dtor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	517
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	518 static llvm::Function* build_module_dtor()
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	519 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	520 if (gIR->dtors.empty())
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	521 return NULL;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	522
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	523 size_t n = gIR->dtors.size();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	524 if (n == 1)
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	525 return gIR->dtors[0]->ir.irFunc->func;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	526
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	527 std::string name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	528 name.append(gIR->dmodule->mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	529 name.append("6__dtorZ");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	530
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	531 std::vector<const LLType*> argsTy;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	532 const llvm::FunctionType* fnTy = llvm::FunctionType::get(LLType::VoidTy,argsTy,false);
184 f5ca6bbbf1d7 [svn r200] Fixed: removed use of std.intrinsic. lindquist parents: 173 diff changeset	533 assert(gIR->module->getFunction(name) == NULL);
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 184 diff changeset	534 llvm::Function* fn = llvm::Function::Create(fnTy, llvm::GlobalValue::InternalLinkage, name, gIR->module);
707 1556a9328ba1 Fixed bug with generated functions having wrong calling conventions. Thanks downs. Christian Kamm <kamm incasoftware de> parents: 699 diff changeset	535 fn->setCallingConv(DtoCallingConv(LINKd));
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	536
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 184 diff changeset	537 llvm::BasicBlock* bb = llvm::BasicBlock::Create("entry", fn);
493 017ca8645a1f Make llvmdc work with llvm 2.4svn revision 54614. Breaks compatibility with llvm 2.3. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	538 IRBuilder<> builder(bb);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	539
686 363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	540 // debug info
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	541 LLGlobalVariable* subprog;
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	542 if(global.params.symdebug) {
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	543 subprog = DtoDwarfSubProgramInternal(name.c_str(), name.c_str());
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	544 builder.CreateCall(gIR->module->getFunction("llvm.dbg.func.start"), DBG_CAST(subprog));
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	545 }
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	546
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	547 for (size_t i=0; i<n; i++) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	548 llvm::Function* f = gIR->dtors[i]->ir.irFunc->func;
316 163cad969791 [svn r337] Reverted changes to toobj.cpp: Module constructor calls can never be invokes. ChristianK parents: 315 diff changeset	549 llvm::CallInst* call = builder.CreateCall(f,"");
707 1556a9328ba1 Fixed bug with generated functions having wrong calling conventions. Thanks downs. Christian Kamm <kamm incasoftware de> parents: 699 diff changeset	550 call->setCallingConv(DtoCallingConv(LINKd));
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	551 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	552
686 363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	553 // debug info end
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	554 if(global.params.symdebug)
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	555 builder.CreateCall(gIR->module->getFunction("llvm.dbg.region.end"), DBG_CAST(subprog));
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	556
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	557 builder.CreateRetVoid();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	558 return fn;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	559 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	560
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	561 // build module unittest
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	562
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	563 static llvm::Function* build_module_unittest()
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	564 {
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	565 if (gIR->unitTests.empty())
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	566 return NULL;
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	567
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	568 size_t n = gIR->unitTests.size();
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	569 if (n == 1)
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	570 return gIR->unitTests[0]->ir.irFunc->func;
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	571
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	572 std::string name("_D");
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	573 name.append(gIR->dmodule->mangle());
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	574 name.append("10__unittestZ");
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	575
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	576 std::vector<const LLType*> argsTy;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	577 const llvm::FunctionType* fnTy = llvm::FunctionType::get(LLType::VoidTy,argsTy,false);
184 f5ca6bbbf1d7 [svn r200] Fixed: removed use of std.intrinsic. lindquist parents: 173 diff changeset	578 assert(gIR->module->getFunction(name) == NULL);
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 184 diff changeset	579 llvm::Function* fn = llvm::Function::Create(fnTy, llvm::GlobalValue::InternalLinkage, name, gIR->module);
707 1556a9328ba1 Fixed bug with generated functions having wrong calling conventions. Thanks downs. Christian Kamm <kamm incasoftware de> parents: 699 diff changeset	580 fn->setCallingConv(DtoCallingConv(LINKd));
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	581
205 9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 184 diff changeset	582 llvm::BasicBlock* bb = llvm::BasicBlock::Create("entry", fn);
493 017ca8645a1f Make llvmdc work with llvm 2.4svn revision 54614. Breaks compatibility with llvm 2.3. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	583 IRBuilder<> builder(bb);
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	584
686 363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	585 // debug info
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	586 LLGlobalVariable* subprog;
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	587 if(global.params.symdebug) {
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	588 subprog = DtoDwarfSubProgramInternal(name.c_str(), name.c_str());
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	589 builder.CreateCall(gIR->module->getFunction("llvm.dbg.func.start"), DBG_CAST(subprog));
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	590 }
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	591
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	592 for (size_t i=0; i<n; i++) {
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	593 llvm::Function* f = gIR->unitTests[i]->ir.irFunc->func;
316 163cad969791 [svn r337] Reverted changes to toobj.cpp: Module constructor calls can never be invokes. ChristianK parents: 315 diff changeset	594 llvm::CallInst* call = builder.CreateCall(f,"");
707 1556a9328ba1 Fixed bug with generated functions having wrong calling conventions. Thanks downs. Christian Kamm <kamm incasoftware de> parents: 699 diff changeset	595 call->setCallingConv(DtoCallingConv(LINKd));
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	596 }
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	597
686 363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	598 // debug info end
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	599 if(global.params.symdebug)
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	600 builder.CreateCall(gIR->module->getFunction("llvm.dbg.region.end"), DBG_CAST(subprog));
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	601
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	602 builder.CreateRetVoid();
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	603 return fn;
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	604 }
9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	605
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	606 // build ModuleReference and register function, to register the module info in the global linked list
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	607 static LLFunction* build_module_reference_and_ctor(LLConstant* moduleinfo)
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	608 {
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	609 // build ctor type
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	610 const LLFunctionType* fty = LLFunctionType::get(LLType::VoidTy, std::vector<const LLType*>(), false);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	611
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	612 // build ctor name
324 c542d12017e5 [svn r345] Fixed the new moduleinfo stuff to have consistent symbol names with the D style. lindquist parents: 323 diff changeset	613 std::string fname = "_D";
c542d12017e5 [svn r345] Fixed the new moduleinfo stuff to have consistent symbol names with the D style. lindquist parents: 323 diff changeset	614 fname += gIR->dmodule->mangle();
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	615 fname += "16__moduleinfoCtorZ";
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	616
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	617 // build a function that registers the moduleinfo in the global moduleinfo linked list
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	618 LLFunction* ctor = LLFunction::Create(fty, LLGlobalValue::InternalLinkage, fname, gIR->module);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	619
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	620 // provide the default initializer
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	621 const LLStructType* modulerefTy = DtoModuleReferenceType();
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	622 std::vector<LLConstant*> mrefvalues;
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	623 mrefvalues.push_back(LLConstant::getNullValue(modulerefTy->getContainedType(0)));
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	624 mrefvalues.push_back(moduleinfo);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	625 LLConstant* thismrefinit = LLConstantStruct::get(modulerefTy, mrefvalues);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	626
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	627 // create the ModuleReference node for this module
324 c542d12017e5 [svn r345] Fixed the new moduleinfo stuff to have consistent symbol names with the D style. lindquist parents: 323 diff changeset	628 std::string thismrefname = "_D";
c542d12017e5 [svn r345] Fixed the new moduleinfo stuff to have consistent symbol names with the D style. lindquist parents: 323 diff changeset	629 thismrefname += gIR->dmodule->mangle();
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	630 thismrefname += "11__moduleRefZ";
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	631 LLGlobalVariable* thismref = new LLGlobalVariable(modulerefTy, false, LLGlobalValue::InternalLinkage, thismrefinit, thismrefname, gIR->module);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	632
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	633 // make sure _Dmodule_ref is declared
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	634 LLGlobalVariable* mref = gIR->module->getNamedGlobal("_Dmodule_ref");
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	635 if (!mref)
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	636 mref = new LLGlobalVariable(getPtrToType(modulerefTy), false, LLGlobalValue::ExternalLinkage, NULL, "_Dmodule_ref", gIR->module);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	637
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	638 // make the function insert this moduleinfo as the beginning of the _Dmodule_ref linked list
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	639 llvm::BasicBlock* bb = llvm::BasicBlock::Create("moduleinfoCtorEntry", ctor);
493 017ca8645a1f Make llvmdc work with llvm 2.4svn revision 54614. Breaks compatibility with llvm 2.3. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	640 IRBuilder<> builder(bb);
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	641
686 363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	642 // debug info
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	643 LLGlobalVariable* subprog;
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	644 if(global.params.symdebug) {
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	645 subprog = DtoDwarfSubProgramInternal(fname.c_str(), fname.c_str());
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	646 builder.CreateCall(gIR->module->getFunction("llvm.dbg.func.start"), DBG_CAST(subprog));
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	647 }
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	648
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	649 // get current beginning
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	650 LLValue* curbeg = builder.CreateLoad(mref, "current");
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	651
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	652 // put current beginning as the next of this one
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	653 LLValue* gep = builder.CreateStructGEP(thismref, 0, "next");
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	654 builder.CreateStore(curbeg, gep);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	655
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	656 // replace beginning
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	657 builder.CreateStore(thismref, mref);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	658
686 363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	659 // debug info end
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	660 if(global.params.symdebug)
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	661 builder.CreateCall(gIR->module->getFunction("llvm.dbg.region.end"), DBG_CAST(subprog));
363bb6c0cc80 Emit stub debug info for generated functions to work around LLVM bug 2172. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	662
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	663 // return
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	664 builder.CreateRetVoid();
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	665
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	666 return ctor;
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	667 }
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	668
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	669 // Put out instance of ModuleInfo for this Module
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	670
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	671 void Module::genmoduleinfo()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	672 {
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	673 // The layout is:
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	674 // {
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	675 // void **vptr;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	676 // monitor_t monitor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	677 // char[] name; // class name
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	678 // ModuleInfo importedModules[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	679 // ClassInfo localClasses[];
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	680 // uint flags; // initialization state
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	681 // void *ctor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	682 // void *dtor;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	683 // void *unitTest;
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	684 // }
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	685
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	686 // resolve ModuleInfo
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	687 assert(moduleinfo);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	688 DtoForceConstInitDsymbol(moduleinfo);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	689
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	690 // moduleinfo llvm struct type
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	691 const llvm::StructType* moduleinfoTy = isaStruct(moduleinfo->type->ir.type->get());
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	692
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	693 // classinfo llvm struct type
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	694 const llvm::StructType* classinfoTy = isaStruct(ClassDeclaration::classinfo->type->ir.type->get());
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	695
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	696 // initializer vector
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	697 std::vector<LLConstant*> initVec;
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	698 LLConstant* c = 0;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	699
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	700 // vtable
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	701 c = moduleinfo->ir.irStruct->vtbl;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	702 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	703
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	704 // monitor
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	705 c = getNullPtr(getPtrToType(LLType::Int8Ty));
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	706 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	707
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	708 // name
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	709 char *name = toPrettyChars();
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	710 c = DtoConstString(name);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	711 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	712
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	713 // importedModules[]
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	714 int aimports_dim = aimports.dim;
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	715 std::vector<LLConstant*> importInits;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	716 for (size_t i = 0; i < aimports.dim; i++)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	717 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	718 Module m = (Module )aimports.data[i];
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	719 if (!m->needModuleInfo())
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	720 aimports_dim--;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	721 else { // declare
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	722 // create name
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	723 std::string m_name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	724 m_name.append(m->mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	725 m_name.append("8__ModuleZ");
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 157 diff changeset	726 llvm::GlobalVariable* m_gvar = gIR->module->getGlobalVariable(m_name);
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 157 diff changeset	727 if (!m_gvar) m_gvar = new llvm::GlobalVariable(moduleinfoTy, false, llvm::GlobalValue::ExternalLinkage, NULL, m_name, gIR->module);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	728 importInits.push_back(m_gvar);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	729 }
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	730 }
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	731 // has import array?
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	732 if (!importInits.empty())
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	733 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	734 const llvm::ArrayType* importArrTy = llvm::ArrayType::get(getPtrToType(moduleinfoTy), importInits.size());
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	735 c = llvm::ConstantArray::get(importArrTy, importInits);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	736 std::string m_name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	737 m_name.append(mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	738 m_name.append("9__importsZ");
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 157 diff changeset	739 llvm::GlobalVariable* m_gvar = gIR->module->getGlobalVariable(m_name);
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 157 diff changeset	740 if (!m_gvar) m_gvar = new llvm::GlobalVariable(importArrTy, true, llvm::GlobalValue::InternalLinkage, c, m_name, gIR->module);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	741 c = llvm::ConstantExpr::getBitCast(m_gvar, getPtrToType(importArrTy->getElementType()));
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	742 c = DtoConstSlice(DtoConstSize_t(importInits.size()), c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	743 }
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	744 else
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	745 c = moduleinfo->ir.irStruct->constInit->getOperand(3);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	746 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	747
ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	748 // localClasses[]
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	749 ClassDeclarations aclasses;
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	750 //printf("members->dim = %d\n", members->dim);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	751 for (size_t i = 0; i < members->dim; i++)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	752 {
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	753 Dsymbol *member;
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	754
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	755 member = (Dsymbol *)members->data[i];
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	756 //printf("\tmember '%s'\n", member->toChars());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	757 member->addLocalClass(&aclasses);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	758 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	759 // fill inits
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	760 std::vector<LLConstant*> classInits;
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	761 for (size_t i = 0; i < aclasses.dim; i++)
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	762 {
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	763 ClassDeclaration* cd = (ClassDeclaration*)aclasses.data[i];
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	764 if (cd->isInterfaceDeclaration())
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	765 {
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	766 Logger::println("skipping interface '%s' in moduleinfo", cd->toPrettyChars());
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	767 continue;
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	768 }
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	769 Logger::println("class: %s", cd->toPrettyChars());
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	770 assert(cd->ir.irStruct->classInfo);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	771 classInits.push_back(cd->ir.irStruct->classInfo);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	772 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	773 // has class array?
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	774 if (!classInits.empty())
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	775 {
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	776 const llvm::ArrayType* classArrTy = llvm::ArrayType::get(getPtrToType(classinfoTy), classInits.size());
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	777 c = llvm::ConstantArray::get(classArrTy, classInits);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	778 std::string m_name("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	779 m_name.append(mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	780 m_name.append("9__classesZ");
184 f5ca6bbbf1d7 [svn r200] Fixed: removed use of std.intrinsic. lindquist parents: 173 diff changeset	781 assert(gIR->module->getGlobalVariable(m_name) == NULL);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	782 llvm::GlobalVariable* m_gvar = new llvm::GlobalVariable(classArrTy, true, llvm::GlobalValue::InternalLinkage, c, m_name, gIR->module);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	783 c = llvm::ConstantExpr::getBitCast(m_gvar, getPtrToType(classArrTy->getElementType()));
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	784 c = DtoConstSlice(DtoConstSize_t(classInits.size()), c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	785 }
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	786 else
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	787 c = moduleinfo->ir.irStruct->constInit->getOperand(4);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	788 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	789
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	790 // flags
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	791 c = DtoConstUint(0);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	792 if (!needmoduleinfo)
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	793 c = DtoConstUint(4); // flags (4 means MIstandalone)
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	794 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	795
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	796 // ctor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	797 llvm::Function* fctor = build_module_ctor();
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	798 c = fctor ? fctor : moduleinfo->ir.irStruct->constInit->getOperand(6);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	799 initVec.push_back(c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	800
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	801 // dtor
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	802 llvm::Function* fdtor = build_module_dtor();
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	803 c = fdtor ? fdtor : moduleinfo->ir.irStruct->constInit->getOperand(7);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	804 initVec.push_back(c);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	805
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	806 // unitTest
121 9c79b61fb638 [svn r125] Renamed/moved a few backend member inside DMD structures for consistency. lindquist parents: 117 diff changeset	807 llvm::Function* unittest = build_module_unittest();
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	808 c = unittest ? unittest : moduleinfo->ir.irStruct->constInit->getOperand(8);
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	809 initVec.push_back(c);
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	810
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	811 // xgetMembers
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	812 c = moduleinfo->ir.irStruct->constInit->getOperand(9);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	813 initVec.push_back(c);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	814
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	815 // ictor
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	816 c = moduleinfo->ir.irStruct->constInit->getOperand(10);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	817 initVec.push_back(c);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	818
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	819 /*Logger::println("MODULE INFO INITIALIZERS");
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	820 for (size_t i=0; i<initVec.size(); ++i)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	821 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	822 Logger::cout() << *initVec[i] << '\n';
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	823 if (initVec[i]->getType() != moduleinfoTy->getElementType(i))
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	824 assert(0);
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	825 }*/
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	826
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	827 // create initializer
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	828 LLConstant* constMI = llvm::ConstantStruct::get(moduleinfoTy, initVec);
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	829
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	830 // create name
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	831 std::string MIname("_D");
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	832 MIname.append(mangle());
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	833 MIname.append("8__ModuleZ");
89 ccca1c13e13a [svn r93] a few fixes, some phobos additions. lindquist parents: 88 diff changeset	834
116 fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	835 // declare
fd7ad91fd713 [svn r120] ModuleInfo implementation is now almost complete. lindquist parents: 115 diff changeset	836 // flags will be modified at runtime so can't make it constant
184 f5ca6bbbf1d7 [svn r200] Fixed: removed use of std.intrinsic. lindquist parents: 173 diff changeset	837
f5ca6bbbf1d7 [svn r200] Fixed: removed use of std.intrinsic. lindquist parents: 173 diff changeset	838 llvm::GlobalVariable* gvar = gIR->module->getGlobalVariable(MIname);
f5ca6bbbf1d7 [svn r200] Fixed: removed use of std.intrinsic. lindquist parents: 173 diff changeset	839 if (!gvar) gvar = new llvm::GlobalVariable(moduleinfoTy, false, llvm::GlobalValue::ExternalLinkage, NULL, MIname, gIR->module);
f5ca6bbbf1d7 [svn r200] Fixed: removed use of std.intrinsic. lindquist parents: 173 diff changeset	840 gvar->setInitializer(constMI);
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	841
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	842 // build the modulereference and ctor for registering it
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	843 LLFunction* mictor = build_module_reference_and_ctor(gvar);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	844
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	845 // register this ctor in the magic llvm.global_ctors appending array
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	846 const LLFunctionType* magicfty = LLFunctionType::get(LLType::VoidTy, std::vector<const LLType*>(), false);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	847 std::vector<const LLType*> magictypes;
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	848 magictypes.push_back(LLType::Int32Ty);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	849 magictypes.push_back(getPtrToType(magicfty));
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	850 const LLStructType* magicsty = LLStructType::get(magictypes);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	851
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	852 // make the constant element
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	853 std::vector<LLConstant*> magicconstants;
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	854 magicconstants.push_back(DtoConstUint(65535));
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	855 magicconstants.push_back(mictor);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	856 LLConstant* magicinit = LLConstantStruct::get(magicsty, magicconstants);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	857
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	858 // declare the appending array
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	859 const llvm::ArrayType* appendArrTy = llvm::ArrayType::get(magicsty, 1);
0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	860 std::vector<LLConstant*> appendInits(1, magicinit);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	861 LLConstant* appendInit = llvm::ConstantArray::get(appendArrTy, appendInits);
323 0d52412d5b1a [svn r344] Fixed some very minor issues with the usage listing when calling llvmdc with no arguments. lindquist parents: 316 diff changeset	862 std::string appendName("llvm.global_ctors");
117 56a21f3e5d3e [svn r121] Finished ModuleInfo implementation. lindquist parents: 116 diff changeset	863 llvm::GlobalVariable* appendVar = new llvm::GlobalVariable(appendArrTy, true, llvm::GlobalValue::AppendingLinkage, appendInit, appendName, gIR->module);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	864 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	865
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	866 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	867
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	868 void Dsymbol::toObjFile(int multiobj)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	869 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	870 Logger::println("Ignoring Dsymbol::toObjFile for %s", toChars());
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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	873 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	874
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	875 void Declaration::toObjFile()
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	876 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	877 Logger::println("Ignoring Declaration::toObjFile for %s", toChars());
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	878 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	879
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	880 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	881
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	882 void InterfaceDeclaration::toObjFile(int multiobj)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	883 {
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	884 //Logger::println("Ignoring InterfaceDeclaration::toObjFile for %s", toChars());
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	885 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	886 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	887
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	888 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	889
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	890 void StructDeclaration::toObjFile(int multiobj)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	891 {
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	892 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	893 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	894
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	895 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	896
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	897 void ClassDeclaration::toObjFile(int multiobj)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	898 {
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	899 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	900 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	901
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	902 /******************************************
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	903 * 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	904 * Returns ~0 if not this csym.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	905 */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	906
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	907 unsigned ClassDeclaration::baseVtblOffset(BaseClass *bc)
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	908 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	909 return ~0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	910 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	911
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	912 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	913
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	914 void VarDeclaration::toObjFile(int multiobj)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	915 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	916 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	917 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	918
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	919 if (aliassym)
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	920 {
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	921 Logger::println("alias sym");
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	922 toAlias()->toObjFile(multiobj);
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	923 return;
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	924 }
f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	925
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	926 // global variable or magic
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	927 if (isDataseg())
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	928 {
511 a0b0676e787d Fixed problem when instantiating a template with private global variables. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 499 diff changeset	929 Logger::println("data segment");
a0b0676e787d Fixed problem when instantiating a template with private global variables. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 499 diff changeset	930
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	931 // don't duplicate work
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	932 if (this->ir.resolved) return;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	933 this->ir.resolved = true;
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	934 this->ir.declared = true;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 38 diff changeset	935
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	936 this->ir.irGlobal = new IrGlobal(this);
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	937
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	938 Logger::println("parent: %s (%s)", parent->toChars(), parent->kind());
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	939
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	940 // handle static local variables
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	941 bool static_local = false;
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	942 bool _isconst = isConst();
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	943 if (parent && parent->isFuncDeclaration())
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	944 {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	945 static_local = true;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	946 if (init && init->isExpInitializer()) {
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	947 _isconst = false;
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	948 }
85 f869c636a113 [svn r89] Fixed a bunch of problems with template instance across multiple modules. lindquist parents: 84 diff changeset	949 }
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	950
4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	951 Logger::println("Creating global variable");
26 99737f94abfb [svn r30] * Fixed static function-local variables. lindquist parents: 24 diff changeset	952
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	953 const LLType* _type = this->ir.irGlobal->type.get();
149 4c577c2b7229 [svn r155] Fixed a bunch of linkage problems (especially with templates) lindquist parents: 139 diff changeset	954 llvm::GlobalValue::LinkageTypes _linkage = DtoLinkage(this);
21 8d45266bbabe [svn r25] * Fixed a lot of problems with string literals lindquist parents: 18 diff changeset	955 std::string _name(mangle());
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	956
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	957 llvm::GlobalVariable* gvar = new llvm::GlobalVariable(_type,_isconst,_linkage,NULL,_name,gIR->module);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	958 this->ir.irGlobal->value = gvar;
88 058d3925950e [svn r92] Fixed support for statically initialized unions. lots of bugfixes as cleanups too. lindquist parents: 86 diff changeset	959
622 26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 605 diff changeset	960 if (Logger::enabled())
26fce59fe80a Wrapped all the most potentially expensive logging calls in a conditional to only do work when actually requested. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 605 diff changeset	961 Logger::cout() << *gvar << '\n';
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 157 diff changeset	962
100 5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	963 if (static_local)
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	964 DtoConstInitGlobal(this);
5071469303d4 [svn r104] TONS OF FIXES. lindquist parents: 98 diff changeset	965 else
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	966 gIR->constInitList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	967 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	968
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	969 // inside aggregate declaration. declare a field.
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	970 else
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	971 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	972 Logger::println("Aggregate var declaration: '%s' offset=%d", toChars(), offset);
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	973
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 205 diff changeset	974 const LLType* _type = DtoType(type);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	975 this->ir.irField = new IrField(this);
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	976
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 72 diff changeset	977 // add the field in the IRStruct
136 0e28624814e8 [svn r140] did a lot of the work towards being able to pass multiple modules on the command line. not complete yet though lindquist parents: 133 diff changeset	978 gIR->topstruct()->offsets.insert(std::make_pair(offset, IrStruct::Offset(this, _type)));
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	979 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	980
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	981 Logger::println("VarDeclaration::toObjFile is done");
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	982 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	983
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	984 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	985
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	986 void TypedefDeclaration::toObjFile(int multiobj)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	987 {
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	988 static int tdi = 0;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	989 Logger::print("TypedefDeclaration::toObjFile(%d): %s\n", tdi++, toChars());
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	990 LOG_SCOPE;
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	991
52 0c77619e803b [svn r56] Initial support for TypeInfo. lindquist parents: 50 diff changeset	992 // generate typeinfo
275 665b81613475 [svn r296] Removed: the 'suite' dir, it never took off! lindquist parents: 251 diff changeset	993 DtoTypeInfoOf(type, false);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	994 }
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	995
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	996 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	997
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	998 void EnumDeclaration::toObjFile(int multiobj)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	999 {
38 27b2f40bdb58 [svn r42] Disabled the extensive logging by default. Use the -vv flag to get it back. lindquist parents: 31 diff changeset	1000 Logger::println("Ignoring EnumDeclaration::toObjFile for %s", toChars());
1 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
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1003 /* ================================================================== */
c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1004
336 aaade6ded589 [svn r357] Merged DMD 1.033 lindquist parents: 324 diff changeset	1005 void FuncDeclaration::toObjFile(int multiobj)
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1006 {
102 027b8d8b71ec [svn r106] Turns out the last commit wasn't enough, now the D->LLVM process is even more split up. lindquist parents: 100 diff changeset	1007 gIR->resolveList.push_back(this);
1 c53b6e3fe49a [svn r5] Initial commit. Most things are very rough. lindquist parents: diff changeset	1008 }

Mercurial > projects > ldc

annotate gen/toobj.cpp @ 715:30b42a283c8e