projects/ldc: gen/statements.cpp annotate

annotate gen/statements.cpp @ 1051:dc608dc33081

Make IrFuncTy a member of TypeFunction. Reset between modules compiled in the same LDC call.

author	Christian Kamm <kamm incasoftware de>
date	Sat, 07 Mar 2009 14:25:30 +0100
parents	6bb04dbee21f
children	b30fe7e1dbb9

rev	line source
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1 // Statements: D -> LLVM glue
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	2
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	3 #include <stdio.h>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	4 #include <math.h>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	5 #include <fstream>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	6
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	7 #include "gen/llvm.h"
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	8 #include "llvm/InlineAsm.h"
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	9 #include "llvm/Support/CFG.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	10
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	11 #include "mars.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	12 #include "total.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	13 #include "init.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	14 #include "mtype.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	15 #include "hdrgen.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	16 #include "port.h"
683 b411c41a9716 Only allocate the module file name once. Fixes #90. Christian Kamm <kamm incasoftware de> parents: 652 diff changeset	17 #include "module.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	18
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	19 #include "gen/irstate.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	20 #include "gen/logger.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	21 #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	22 #include "gen/llvmhelpers.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	23 #include "gen/runtime.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	24 #include "gen/arrays.h"
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	25 #include "gen/todebug.h"
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	26 #include "gen/dvalue.h"
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	27 #include "gen/abi.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	28
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	29 #include "ir/irfunction.h"
683 b411c41a9716 Only allocate the module file name once. Fixes #90. Christian Kamm <kamm incasoftware de> parents: 652 diff changeset	30 #include "ir/irmodule.h"
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	31 #include "ir/irlandingpad.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	32
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	33 //////////////////////////////////////////////////////////////////////////////
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	34
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	35 void CompoundStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	36 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	37 Logger::println("CompoundStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	38 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	39
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	40 for (int i=0; i<statements->dim; i++)
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	41 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	42 Statement* s = (Statement*)statements->data[i];
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	43 if (s) {
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	44 s->toIR(p);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	45 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	46 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	47 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	48
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	49
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	50 //////////////////////////////////////////////////////////////////////////////
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	51
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	52 void ReturnStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	53 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	54 Logger::println("ReturnStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	55 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	56
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	57 // is there a return value expression?
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	58 if (exp)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	59 {
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	60 // if the functions return type is void this means that
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	61 // we are returning through a pointer argument
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	62 if (p->topfunc()->getReturnType() == LLType::VoidTy)
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	63 {
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	64 // sanity check
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	65 IrFunction* f = p->func();
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	66 assert(f->decl->ir.irFunc->retArg);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	67
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	68 // emit dbg line
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	69 if (global.params.symdebug) DtoDwarfStopPoint(loc.linnum);
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	70
1042 45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	71 // FIXME: is there ever a case where a sret return needs to be rewritten for the ABI?
45af482e3832 Updated ABI handling to be more flexible with regard to reusing lvalues and allocating fewer temporaries. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1024 diff changeset	72
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	73 // get return pointer
585 fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 519 diff changeset	74 DValue* rvar = new DVarValue(f->type->next, f->decl->ir.irFunc->retArg);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	75 DValue* e = exp->toElem(p);
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	76 // store return value
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: 479 diff changeset	77 DtoAssign(loc, rvar, e);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	78
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	79 // emit scopes
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	80 DtoEnclosingHandlers(enclosinghandler, 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: 201 diff changeset	81
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	82 // emit dbg end function
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	83 if (global.params.symdebug) DtoDwarfFuncEnd(f->decl);
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	84
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	85 // emit ret
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: 201 diff changeset	86 llvm::ReturnInst::Create(p->scopebb());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	87
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	88 }
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	89 // the return type is not void, so this is a normal "register" return
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	90 else
2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	91 {
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	92 if (global.params.symdebug) DtoDwarfStopPoint(loc.linnum);
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: 611 diff changeset	93
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	94 // do abi specific transformations on the return value
1051 dc608dc33081 Make IrFuncTy a member of TypeFunction. Reset between modules compiled in the Christian Kamm <kamm incasoftware de> parents: 1047 diff changeset	95 LLValue* v = p->func()->type->fty.putRet(exp->type, exp->toElem(p));
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	96
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: 611 diff changeset	97 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: 611 diff changeset	98 Logger::cout() << "return value is '" <<*v << "'\n";
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	99
1047 6bb04dbee21f Some calling convention work for x86-64: Frits van Bommel <fvbommel wxs.nl> parents: 1042 diff changeset	100 IrFunction* f = p->func();
6bb04dbee21f Some calling convention work for x86-64: Frits van Bommel <fvbommel wxs.nl> parents: 1042 diff changeset	101 // Hack around LDC assuming structs are in memory:
6bb04dbee21f Some calling convention work for x86-64: Frits van Bommel <fvbommel wxs.nl> parents: 1042 diff changeset	102 // If the function returns a struct, and the return value is a
6bb04dbee21f Some calling convention work for x86-64: Frits van Bommel <fvbommel wxs.nl> parents: 1042 diff changeset	103 // pointer to a struct, load from it before returning.
6bb04dbee21f Some calling convention work for x86-64: Frits van Bommel <fvbommel wxs.nl> parents: 1042 diff changeset	104 if (f->type->next->ty == Tstruct && isaPointer(v->getType())) {
6bb04dbee21f Some calling convention work for x86-64: Frits van Bommel <fvbommel wxs.nl> parents: 1042 diff changeset	105 Logger::println("Loading struct type for return");
6bb04dbee21f Some calling convention work for x86-64: Frits van Bommel <fvbommel wxs.nl> parents: 1042 diff changeset	106 v = DtoLoad(v);
6bb04dbee21f Some calling convention work for x86-64: Frits van Bommel <fvbommel wxs.nl> parents: 1042 diff changeset	107 }
6bb04dbee21f Some calling convention work for x86-64: Frits van Bommel <fvbommel wxs.nl> parents: 1042 diff changeset	108
974 815e1b8c6b00 Allow 'return exp;' for void main(). Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	109 // can happen for classes and void main
185 89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	110 if (v->getType() != p->topfunc()->getReturnType())
89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	111 {
976 fe93215deb82 Fix for fix from [974]. Christian Kamm <kamm incasoftware de> parents: 974 diff changeset	112 // for the main function this only happens if it is declared as void
fe93215deb82 Fix for fix from [974]. Christian Kamm <kamm incasoftware de> parents: 974 diff changeset	113 // and then contains a return (exp); statement. Since the actual
fe93215deb82 Fix for fix from [974]. Christian Kamm <kamm incasoftware de> parents: 974 diff changeset	114 // return type remains i32, we just throw away the exp value
fe93215deb82 Fix for fix from [974]. Christian Kamm <kamm incasoftware de> parents: 974 diff changeset	115 // and return 0 instead
fe93215deb82 Fix for fix from [974]. Christian Kamm <kamm incasoftware de> parents: 974 diff changeset	116 // if we're not in main, just bitcast
fe93215deb82 Fix for fix from [974]. Christian Kamm <kamm incasoftware de> parents: 974 diff changeset	117 if (p->topfunc() == p->mainFunc)
974 815e1b8c6b00 Allow 'return exp;' for void main(). Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	118 v = llvm::Constant::getNullValue(p->mainFunc->getReturnType());
815e1b8c6b00 Allow 'return exp;' for void main(). Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	119 else
815e1b8c6b00 Allow 'return exp;' for void main(). Christian Kamm <kamm incasoftware de> parents: 945 diff changeset	120 v = gIR->ir->CreateBitCast(v, p->topfunc()->getReturnType(), "tmp");
1024 9167d492cbc2 Abstracted more (most) ABI details out of the normal codegen. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 1013 diff changeset	121
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: 611 diff changeset	122 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: 611 diff changeset	123 Logger::cout() << "return value after cast: " << *v << '\n';
185 89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	124 }
89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	125
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	126 DtoEnclosingHandlers(enclosinghandler, 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: 201 diff changeset	127
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	128 if (global.params.symdebug) DtoDwarfFuncEnd(p->func()->decl);
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: 201 diff changeset	129 llvm::ReturnInst::Create(v, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	130 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	131 }
988 2667e3a145be - Fixed LLVM style CL args for D2. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 980 diff changeset	132 // no return value expression means it's a void function
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	133 else
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	134 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	135 assert(p->topfunc()->getReturnType() == LLType::VoidTy);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	136 DtoEnclosingHandlers(enclosinghandler, NULL);
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	137
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	138 if (global.params.symdebug) DtoDwarfFuncEnd(p->func()->decl);
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	139 llvm::ReturnInst::Create(p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	140 }
267 c43911baea21 [svn r288] Let return statements start a new basic block after terminating the current one. ChristianK parents: 263 diff changeset	141
c43911baea21 [svn r288] Let return statements start a new basic block after terminating the current one. ChristianK parents: 263 diff changeset	142 // the return terminated this basicblock, start a new one
c43911baea21 [svn r288] Let return statements start a new basic block after terminating the current one. ChristianK parents: 263 diff changeset	143 llvm::BasicBlock* oldend = gIR->scopeend();
c43911baea21 [svn r288] Let return statements start a new basic block after terminating the current one. ChristianK parents: 263 diff changeset	144 llvm::BasicBlock* bb = llvm::BasicBlock::Create("afterreturn", p->topfunc(), oldend);
c43911baea21 [svn r288] Let return statements start a new basic block after terminating the current one. ChristianK parents: 263 diff changeset	145 p->scope() = IRScope(bb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	146 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	147
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	148 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	149
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	150 void ExpStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	151 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	152 Logger::println("ExpStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	153 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	154
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	155 if (global.params.symdebug)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	156 DtoDwarfStopPoint(loc.linnum);
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	157
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	158 if (exp) {
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	159 if (global.params.llvmAnnotate)
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	160 DtoAnnotation(exp->toChars());
518 243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	161 elem* e;
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	162 // a cast(void) around the expression is allowed, but doesn't require any code
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	163 if(exp->op == TOKcast && exp->type == Type::tvoid) {
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	164 CastExp* cexp = (CastExp*)exp;
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	165 e = cexp->e1->toElem(p);
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	166 }
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	167 else
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	168 e = exp->toElem(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	169 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	170 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	171 /elem e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	172 p->buf.printf("%s", e->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	173 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	174 p->buf.writenl();*/
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	175 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	176
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	177 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	178
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	179 void IfStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	180 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	181 Logger::println("IfStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	182 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	183
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	184 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	185 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	186
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 156 diff changeset	187 if (match)
747 46d0755451a4 Added DtoRawVarDeclaration routine to handle special variables in some statements. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 745 diff changeset	188 DtoRawVarDeclaration(match);
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 156 diff changeset	189
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	190 DValue* cond_e = condition->toElem(p);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	191 LLValue* cond_val = cond_e->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	192
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	193 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	194
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: 201 diff changeset	195 llvm::BasicBlock* ifbb = llvm::BasicBlock::Create("if", gIR->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	196 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("endif", gIR->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	197 llvm::BasicBlock* elsebb = elsebody ? llvm::BasicBlock::Create("else", gIR->topfunc(), endbb) : endbb;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	198
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	199 if (cond_val->getType() != LLType::Int1Ty) {
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: 611 diff changeset	200 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: 611 diff changeset	201 Logger::cout() << "if conditional: " << *cond_val << '\n';
778 4adf0f742896 Get rid of DtoBoolean - use DtoCast(... Type::tbool) instead. Christian Kamm <kamm incasoftware de> parents: 774 diff changeset	202 cond_val = DtoCast(loc, cond_e, Type::tbool)->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	203 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	204 LLValue* ifgoback = llvm::BranchInst::Create(ifbb, elsebb, cond_val, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	205
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	206 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	207 gIR->scope() = IRScope(ifbb,elsebb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	208
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	209 // do scoped statements
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	210 if (ifbody)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	211 ifbody->toIR(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	212 if (!gIR->scopereturned()) {
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: 201 diff changeset	213 llvm::BranchInst::Create(endbb,gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	214 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	215
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	216 if (elsebody) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	217 //assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	218 gIR->scope() = IRScope(elsebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	219 elsebody->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	220 if (!gIR->scopereturned()) {
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: 201 diff changeset	221 llvm::BranchInst::Create(endbb,gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	222 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	223 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	224
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	225 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	226 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	227 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	228
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	229 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	230
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	231 void ScopeStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	232 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	233 Logger::println("ScopeStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	234 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	235
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	236 /llvm::BasicBlock oldend = p->scopeend();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	237
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	238 llvm::BasicBlock* beginbb = 0;
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	239
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	240 // remove useless branches by clearing and reusing the current basicblock
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	241 llvm::BasicBlock* bb = p->scopebb();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	242 if (bb->empty()) {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	243 beginbb = bb;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	244 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	245 else {
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: 201 diff changeset	246 beginbb = llvm::BasicBlock::Create("scope", p->topfunc(), oldend);
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	247 if (!p->scopereturned())
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	248 llvm::BranchInst::Create(beginbb, bb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	249 }
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	250
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: 201 diff changeset	251 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("endscope", p->topfunc(), oldend);
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	252 if (beginbb != bb)
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	253 p->scope() = IRScope(beginbb, endbb);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	254 else
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	255 p->scope().end = endbb;*/
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	256
181 ef4108f34db6 [svn r197] Fixed: empty scope statement segfaulted. lindquist parents: 175 diff changeset	257 if (statement)
ef4108f34db6 [svn r197] Fixed: empty scope statement segfaulted. lindquist parents: 175 diff changeset	258 statement->toIR(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	259
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	260 /*p->scope().end = oldend;
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	261 Logger::println("Erasing scope endbb");
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	262 endbb->eraseFromParent();*/
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	263 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	264
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	265 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	266
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	267 void WhileStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	268 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	269 Logger::println("WhileStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	270 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	271
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	272 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	273 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	274
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	275 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	276 llvm::BasicBlock* oldend = gIR->scopeend();
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: 201 diff changeset	277 llvm::BasicBlock* whilebb = llvm::BasicBlock::Create("whilecond", gIR->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	278 llvm::BasicBlock* whilebodybb = llvm::BasicBlock::Create("whilebody", gIR->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	279 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("endwhile", gIR->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	280
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	281 // move into the while block
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	282 p->ir->CreateBr(whilebb);
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: 201 diff changeset	283 //llvm::BranchInst::Create(whilebb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	284
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	285 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	286 gIR->scope() = IRScope(whilebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	287
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	288 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	289 DValue* cond_e = condition->toElem(p);
778 4adf0f742896 Get rid of DtoBoolean - use DtoCast(... Type::tbool) instead. Christian Kamm <kamm incasoftware de> parents: 774 diff changeset	290 LLValue* cond_val = DtoCast(loc, cond_e, Type::tbool)->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	291 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	292
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	293 // conditional branch
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	294 LLValue* ifbreak = llvm::BranchInst::Create(whilebodybb, endbb, cond_val, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	295
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	296 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	297 gIR->scope() = IRScope(whilebodybb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	298
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	299 // while body code
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	300 p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,whilebb,endbb));
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	301 body->toIR(p);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	302 p->loopbbs.pop_back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	303
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	304 // loop
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	305 if (!gIR->scopereturned())
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: 201 diff changeset	306 llvm::BranchInst::Create(whilebb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	307
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	308 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	309 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	310 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	311
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	312 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	313
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	314 void DoStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	315 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	316 Logger::println("DoStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	317 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	318
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	319 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	320 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	321
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	322 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	323 llvm::BasicBlock* oldend = gIR->scopeend();
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: 201 diff changeset	324 llvm::BasicBlock* dowhilebb = llvm::BasicBlock::Create("dowhile", gIR->topfunc(), oldend);
517 9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	325 llvm::BasicBlock* condbb = llvm::BasicBlock::Create("dowhilecond", gIR->topfunc(), oldend);
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: 201 diff changeset	326 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("enddowhile", gIR->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	327
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	328 // move into the while block
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	329 assert(!gIR->scopereturned());
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: 201 diff changeset	330 llvm::BranchInst::Create(dowhilebb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	331
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	332 // replace current scope
517 9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	333 gIR->scope() = IRScope(dowhilebb,condbb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	334
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	335 // do-while body code
517 9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	336 p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,condbb,endbb));
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	337 body->toIR(p);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	338 p->loopbbs.pop_back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	339
517 9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	340 // branch to condition block
9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	341 llvm::BranchInst::Create(condbb, gIR->scopebb());
9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	342 gIR->scope() = IRScope(condbb,endbb);
9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	343
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	344 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	345 DValue* cond_e = condition->toElem(p);
778 4adf0f742896 Get rid of DtoBoolean - use DtoCast(... Type::tbool) instead. Christian Kamm <kamm incasoftware de> parents: 774 diff changeset	346 LLValue* cond_val = DtoCast(loc, cond_e, Type::tbool)->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	347 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	348
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	349 // conditional branch
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	350 LLValue* ifbreak = llvm::BranchInst::Create(dowhilebb, endbb, cond_val, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	351
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	352 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	353 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	354 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	355
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	356 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	357
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	358 void ForStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	359 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	360 Logger::println("ForStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	361 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	362
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	363 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	364 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	365
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	366 // create for blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	367 llvm::BasicBlock* oldend = gIR->scopeend();
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: 201 diff changeset	368 llvm::BasicBlock* forbb = llvm::BasicBlock::Create("forcond", gIR->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	369 llvm::BasicBlock* forbodybb = llvm::BasicBlock::Create("forbody", gIR->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	370 llvm::BasicBlock* forincbb = llvm::BasicBlock::Create("forinc", gIR->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	371 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("endfor", gIR->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	372
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	373 // init
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	374 if (init != 0)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	375 init->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	376
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	377 // move into the for condition block, ie. start the loop
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	378 assert(!gIR->scopereturned());
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: 201 diff changeset	379 llvm::BranchInst::Create(forbb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	380
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	381 p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,forincbb,endbb));
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	382
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	383 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	384 gIR->scope() = IRScope(forbb,forbodybb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	385
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	386 // create the condition
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	387 LLValue* cond_val;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	388 if (condition)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	389 {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	390 DValue* cond_e = condition->toElem(p);
778 4adf0f742896 Get rid of DtoBoolean - use DtoCast(... Type::tbool) instead. Christian Kamm <kamm incasoftware de> parents: 774 diff changeset	391 cond_val = DtoCast(loc, cond_e, Type::tbool)->getRVal();
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	392 delete cond_e;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	393 }
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	394 else
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	395 {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	396 cond_val = DtoConstBool(true);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	397 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	398
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	399 // conditional branch
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	400 assert(!gIR->scopereturned());
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: 201 diff changeset	401 llvm::BranchInst::Create(forbodybb, endbb, cond_val, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	402
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	403 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	404 gIR->scope() = IRScope(forbodybb,forincbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	405
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	406 // do for body code
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	407 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	408
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	409 // move into the for increment block
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	410 if (!gIR->scopereturned())
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: 201 diff changeset	411 llvm::BranchInst::Create(forincbb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	412 gIR->scope() = IRScope(forincbb, endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	413
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	414 // increment
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	415 if (increment) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	416 DValue* inc = increment->toElem(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	417 delete inc;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	418 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	419
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	420 // loop
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	421 if (!gIR->scopereturned())
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: 201 diff changeset	422 llvm::BranchInst::Create(forbb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	423
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	424 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	425
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	426 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	427 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	428 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	429
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	430 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	431
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	432 void BreakStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	433 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	434 Logger::println("BreakStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	435 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	436
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	437 // don't emit two terminators in a row
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	438 // happens just before DMD generated default statements if the last case terminates
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	439 if (p->scopereturned())
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	440 return;
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	441
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	442 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	443 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	444
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	445 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	446 Logger::println("ident = %s", ident->toChars());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	447
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	448 DtoEnclosingHandlers(enclosinghandler, target->enclosinghandler);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	449
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	450 // get the loop statement the label refers to
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	451 Statement* targetLoopStatement = target->statement;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	452 ScopeStatement* tmp;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	453 while(tmp = targetLoopStatement->isScopeStatement())
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	454 targetLoopStatement = tmp->statement;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	455
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	456 // find the right break block and jump there
270 d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	457 bool found = false;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	458 IRState::LoopScopeVec::reverse_iterator it;
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	459 for(it = p->loopbbs.rbegin(); it != p->loopbbs.rend(); ++it) {
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	460 if(it->s == targetLoopStatement) {
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	461 llvm::BranchInst::Create(it->end, p->scopebb());
270 d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	462 found = true;
d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	463 break;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	464 }
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	465 }
270 d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	466 assert(found);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	467 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	468 else {
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	469 DtoEnclosingHandlers(enclosinghandler, p->loopbbs.back().enclosinghandler);
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	470 llvm::BranchInst::Create(p->loopbbs.back().end, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	471 }
270 d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	472
d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	473 // the break terminated this basicblock, start a new one
d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	474 llvm::BasicBlock* oldend = gIR->scopeend();
d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	475 llvm::BasicBlock* bb = llvm::BasicBlock::Create("afterbreak", p->topfunc(), oldend);
d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	476 p->scope() = IRScope(bb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	477 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	478
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	479 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	480
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	481 void ContinueStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	482 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	483 Logger::println("ContinueStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	484 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	485
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	486 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	487 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	488
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	489 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	490 Logger::println("ident = %s", ident->toChars());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	491
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	492 DtoEnclosingHandlers(enclosinghandler, target->enclosinghandler);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	493
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	494 // get the loop statement the label refers to
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	495 Statement* targetLoopStatement = target->statement;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	496 ScopeStatement* tmp;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	497 while(tmp = targetLoopStatement->isScopeStatement())
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	498 targetLoopStatement = tmp->statement;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	499
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	500 // find the right continue block and jump there
395 71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	501 bool found = false;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	502 IRState::LoopScopeVec::reverse_iterator it;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	503 for(it = gIR->loopbbs.rbegin(); it != gIR->loopbbs.rend(); ++it) {
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	504 if(it->s == targetLoopStatement) {
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: 201 diff changeset	505 llvm::BranchInst::Create(it->begin, gIR->scopebb());
395 71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	506 found = true;
71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	507 break;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	508 }
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	509 }
395 71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	510 assert(found);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	511 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	512 else {
311 9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	513 // can't 'continue' within switch, so omit them
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	514 IRState::LoopScopeVec::reverse_iterator it;
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	515 for(it = gIR->loopbbs.rbegin(); it != gIR->loopbbs.rend(); ++it) {
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	516 if(!it->isSwitch) {
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	517 break;
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	518 }
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	519 }
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	520 DtoEnclosingHandlers(enclosinghandler, it->enclosinghandler);
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	521 llvm::BranchInst::Create(it->begin, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	522 }
395 71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	523
71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	524 // the continue terminated this basicblock, start a new one
71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	525 llvm::BasicBlock* oldend = gIR->scopeend();
71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	526 llvm::BasicBlock* bb = llvm::BasicBlock::Create("aftercontinue", p->topfunc(), oldend);
71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	527 p->scope() = IRScope(bb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	528 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	529
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	530 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	531
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	532 void OnScopeStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	533 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	534 Logger::println("OnScopeStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	535 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	536
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	537 assert(statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	538 //statement->toIR(p); // this seems to be redundant
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	539 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	540
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	541 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	542
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	543 void TryFinallyStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	544 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	545 Logger::println("TryFinallyStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	546 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	547
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	548 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	549 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	550
652 c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	551 // if there's no finalbody or no body, things are simple
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	552 if (!finalbody) {
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	553 if (body)
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	554 body->toIR(p);
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	555 return;
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	556 }
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	557 if (!body) {
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	558 finalbody->toIR(p);
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	559 return;
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	560 }
c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	561
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	562 // create basic blocks
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	563 llvm::BasicBlock* oldend = p->scopeend();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	564
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: 201 diff changeset	565 llvm::BasicBlock* trybb = llvm::BasicBlock::Create("try", p->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	566 llvm::BasicBlock* finallybb = llvm::BasicBlock::Create("finally", p->topfunc(), oldend);
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	567 // the landing pad for statements in the try block
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	568 llvm::BasicBlock* landingpadbb = llvm::BasicBlock::Create("landingpad", p->topfunc(), oldend);
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: 201 diff changeset	569 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("endtryfinally", p->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	570
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	571 // pass the previous BB into this
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	572 assert(!gIR->scopereturned());
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: 201 diff changeset	573 llvm::BranchInst::Create(trybb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	574
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	575 //
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	576 // set up the landing pad
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	577 //
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	578 p->scope() = IRScope(landingpadbb, endbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	579
652 c8fcde3337b0 Fix TryFinally without body or finalbody. Christian Kamm <kamm incasoftware de> parents: 632 diff changeset	580 assert(finalbody);
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	581 gIR->func()->landingPad.addFinally(finalbody);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	582 gIR->func()->landingPad.push(landingpadbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	583
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	584 //
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	585 // do the try block
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	586 //
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	587 p->scope() = IRScope(trybb,finallybb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	588
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	589 assert(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	590 body->toIR(p);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	591
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	592 // terminate try BB
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	593 if (!p->scopereturned())
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: 201 diff changeset	594 llvm::BranchInst::Create(finallybb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	595
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	596 gIR->func()->landingPad.pop();
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	597
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	598 //
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	599 // do finally block
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	600 //
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	601 p->scope() = IRScope(finallybb,landingpadbb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	602 finalbody->toIR(p);
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	603
3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	604 // terminate finally
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	605 //TODO: isn't it an error to have a 'returned' finally block?
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	606 if (!gIR->scopereturned()) {
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: 201 diff changeset	607 llvm::BranchInst::Create(endbb, p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	608 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	609
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	610 // rewrite the scope
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	611 p->scope() = IRScope(endbb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	612 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	613
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	614 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	615
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	616 void TryCatchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	617 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	618 Logger::println("TryCatchStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	619 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	620
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	621 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	622 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	623
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	624 // create basic blocks
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	625 llvm::BasicBlock* oldend = p->scopeend();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	626
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: 201 diff changeset	627 llvm::BasicBlock* trybb = llvm::BasicBlock::Create("try", p->topfunc(), oldend);
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	628 // the landing pad will be responsible for branching to the correct catch block
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	629 llvm::BasicBlock* landingpadbb = llvm::BasicBlock::Create("landingpad", p->topfunc(), oldend);
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: 201 diff changeset	630 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("endtrycatch", p->topfunc(), oldend);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	631
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	632 // pass the previous BB into this
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	633 assert(!gIR->scopereturned());
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: 201 diff changeset	634 llvm::BranchInst::Create(trybb, p->scopebb());
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	635
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	636 //
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	637 // do catches and the landing pad
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	638 //
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	639 assert(catches);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	640 gIR->scope() = IRScope(landingpadbb, endbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	641
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	642 for (int i = 0; i < catches->dim; i++)
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	643 {
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	644 Catch c = (Catch )catches->data[i];
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	645 gIR->func()->landingPad.addCatch(c, endbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	646 }
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	647
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	648 gIR->func()->landingPad.push(landingpadbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	649
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	650 //
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	651 // do the try block
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	652 //
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	653 p->scope() = IRScope(trybb,landingpadbb);
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	654
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	655 assert(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	656 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	657
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	658 if (!gIR->scopereturned())
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: 201 diff changeset	659 llvm::BranchInst::Create(endbb, p->scopebb());
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	660
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	661 gIR->func()->landingPad.pop();
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	662
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	663 // rewrite the scope
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	664 p->scope() = IRScope(endbb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	665 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	666
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	667 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	668
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	669 void ThrowStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	670 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	671 Logger::println("ThrowStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	672 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	673
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	674 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	675 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	676
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	677 assert(exp);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	678 DValue* e = exp->toElem(p);
687 0a682c7805d2 Emit region.end debug calls before a throw. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	679
0a682c7805d2 Emit region.end debug calls before a throw. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	680 if (global.params.symdebug) DtoDwarfFuncEnd(gIR->func()->decl);
0a682c7805d2 Emit region.end debug calls before a throw. Christian Kamm <kamm incasoftware de> parents: 683 diff changeset	681
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	682 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_throw_exception");
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	683 //Logger::cout() << "calling: " << *fn << '\n';
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	684 LLValue* arg = DtoBitCast(e->getRVal(), fn->getFunctionType()->getParamType(0));
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	685 //Logger::cout() << "arg: " << *arg << '\n';
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	686 gIR->CreateCallOrInvoke(fn, arg);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	687 gIR->ir->CreateUnreachable();
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	688
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	689 // need a block after the throw for now
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	690 llvm::BasicBlock* oldend = gIR->scopeend();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	691 llvm::BasicBlock* bb = llvm::BasicBlock::Create("afterthrow", p->topfunc(), oldend);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	692 p->scope() = IRScope(bb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	693 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	694
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	695 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	696
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	697 // used to build the sorted list of cases
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	698 struct Case : Object
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	699 {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	700 StringExp* str;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	701 size_t index;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	702
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	703 Case(StringExp* s, size_t i) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	704 str = s;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	705 index = i;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	706 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	707
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	708 int compare(Object *obj) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	709 Case* c2 = (Case*)obj;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	710 return str->compare(c2->str);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	711 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	712 };
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	713
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 704 diff changeset	714 static LLValue* call_string_switch_runtime(llvm::Value* table, Expression* e)
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	715 {
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: 479 diff changeset	716 Type* dt = e->type->toBasetype();
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	717 Type* dtnext = dt->nextOf()->toBasetype();
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	718 TY ty = dtnext->ty;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	719 const char* fname;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	720 if (ty == Tchar) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	721 fname = "_d_switch_string";
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	722 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	723 else if (ty == Twchar) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	724 fname = "_d_switch_ustring";
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	725 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	726 else if (ty == Tdchar) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	727 fname = "_d_switch_dstring";
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	728 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	729 else {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	730 assert(0 && "not char/wchar/dchar");
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	731 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	732
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	733 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, fname);
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	734
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: 611 diff changeset	735 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: 611 diff changeset	736 {
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: 611 diff changeset	737 Logger::cout() << *table->getType() << '\n';
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: 611 diff changeset	738 Logger::cout() << *fn->getFunctionType()->getParamType(0) << '\n';
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: 611 diff changeset	739 }
197 bfcb657756f6 [svn r213] Fixed: foreach on an object seems to have been broken, the issue was that DMD generates an implicit delegate with conflicting types for 'this'. lindquist parents: 185 diff changeset	740 assert(table->getType() == fn->getFunctionType()->getParamType(0));
bfcb657756f6 [svn r213] Fixed: foreach on an object seems to have been broken, the issue was that DMD generates an implicit delegate with conflicting types for 'this'. lindquist parents: 185 diff changeset	741
bfcb657756f6 [svn r213] Fixed: foreach on an object seems to have been broken, the issue was that DMD generates an implicit delegate with conflicting types for 'this'. lindquist parents: 185 diff changeset	742 DValue* val = e->toElem(gIR);
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 704 diff changeset	743 LLValue* llval = val->getRVal();
197 bfcb657756f6 [svn r213] Fixed: foreach on an object seems to have been broken, the issue was that DMD generates an implicit delegate with conflicting types for 'this'. lindquist parents: 185 diff changeset	744 assert(llval->getType() == fn->getFunctionType()->getParamType(1));
bfcb657756f6 [svn r213] Fixed: foreach on an object seems to have been broken, the issue was that DMD generates an implicit delegate with conflicting types for 'this'. lindquist parents: 185 diff changeset	745
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 994 diff changeset	746 LLCallSite call = gIR->CreateCallOrInvoke2(fn, table, llval, "tmp");
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	747
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 994 diff changeset	748 return call.getInstruction();
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	749 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	750
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	751 void SwitchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	752 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	753 Logger::println("SwitchStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	754 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	755
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	756 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	757 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	758
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	759 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	760
263 2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	761 // clear data from previous passes... :/
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	762 for (int i=0; i<cases->dim; ++i)
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	763 {
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	764 CaseStatement* cs = (CaseStatement*)cases->data[i];
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	765 cs->bodyBB = NULL;
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	766 cs->llvmIdx = NULL;
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	767 }
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	768
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	769 // string switch?
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 704 diff changeset	770 llvm::Value* switchTable = 0;
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	771 Array caseArray;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	772 if (!condition->type->isintegral())
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	773 {
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	774 Logger::println("is string switch");
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	775 // build array of the stringexpS
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	776 caseArray.reserve(cases->dim);
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	777 for (int i=0; i<cases->dim; ++i)
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	778 {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	779 CaseStatement* cs = (CaseStatement*)cases->data[i];
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	780
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	781 assert(cs->exp->op == TOKstring);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	782 caseArray.push(new Case((StringExp*)cs->exp, i));
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	783 }
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	784 // first sort it
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	785 caseArray.sort();
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	786 // iterate and add indices to cases
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	787 std::vector<LLConstant*> inits(caseArray.dim);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	788 for (size_t i=0; i<caseArray.dim; ++i)
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	789 {
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	790 Case* c = (Case*)caseArray.data[i];
1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	791 CaseStatement* cs = (CaseStatement*)cases->data[c->index];
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	792 cs->llvmIdx = DtoConstUint(i);
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	793 inits[i] = c->str->toConstElem(p);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	794 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	795 // build static array for ptr or final array
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	796 const LLType* elemTy = DtoType(condition->type);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	797 const llvm::ArrayType* arrTy = llvm::ArrayType::get(elemTy, inits.size());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	798 LLConstant* arrInit = llvm::ConstantArray::get(arrTy, inits);
270 d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	799 llvm::GlobalVariable* arr = new llvm::GlobalVariable(arrTy, true, llvm::GlobalValue::InternalLinkage, arrInit, ".string_switch_table_data", gIR->module);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	800
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	801 const LLType* elemPtrTy = getPtrToType(elemTy);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	802 LLConstant* arrPtr = llvm::ConstantExpr::getBitCast(arr, elemPtrTy);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	803
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	804 // build the static table
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	805 std::vector<const LLType*> types;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	806 types.push_back(DtoSize_t());
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	807 types.push_back(elemPtrTy);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	808 const llvm::StructType* sTy = llvm::StructType::get(types);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	809 std::vector<LLConstant*> sinits;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	810 sinits.push_back(DtoConstSize_t(inits.size()));
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	811 sinits.push_back(arrPtr);
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 704 diff changeset	812 switchTable = llvm::ConstantStruct::get(sTy, sinits);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	813 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	814
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	815 // body block
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	816 llvm::BasicBlock* bodybb = llvm::BasicBlock::Create("switchbody", p->topfunc(), oldend);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	817
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	818 // default
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	819 llvm::BasicBlock* defbb = 0;
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	820 if (sdefault) {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	821 Logger::println("has default");
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: 201 diff changeset	822 defbb = llvm::BasicBlock::Create("default", p->topfunc(), oldend);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	823 sdefault->bodyBB = defbb;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	824 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	825
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	826 // end (break point)
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: 201 diff changeset	827 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("switchend", p->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	828
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	829 // condition var
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	830 LLValue* condVal;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	831 // integral switch
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	832 if (condition->type->isintegral()) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	833 DValue* cond = condition->toElem(p);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	834 condVal = cond->getRVal();
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	835 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	836 // string switch
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	837 else {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	838 condVal = call_string_switch_runtime(switchTable, condition);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	839 }
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: 201 diff changeset	840 llvm::SwitchInst* si = llvm::SwitchInst::Create(condVal, defbb ? defbb : endbb, cases->dim, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	841
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	842 // do switch body
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	843 assert(body);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	844
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	845 p->scope() = IRScope(bodybb, endbb);
311 9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	846 p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,p->scopebb(),endbb,true));
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	847 body->toIR(p);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	848 p->loopbbs.pop_back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	849
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	850 if (!p->scopereturned())
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	851 llvm::BranchInst::Create(endbb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	852
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	853 // add the cases
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	854 for (int i=0; i<cases->dim; ++i)
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	855 {
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	856 CaseStatement* cs = (CaseStatement*)cases->data[i];
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	857 si->addCase(cs->llvmIdx, cs->bodyBB);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	858 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	859
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	860 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	861 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	862
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	863 //////////////////////////////////////////////////////////////////////////////
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	864 void CaseStatement::toIR(IRState* p)
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	865 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	866 Logger::println("CaseStatement::toIR(): %s", loc.toChars());
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	867 LOG_SCOPE;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	868
263 2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	869 llvm::BasicBlock* nbb = llvm::BasicBlock::Create("case", p->topfunc(), p->scopeend());
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	870
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	871 if (bodyBB && !bodyBB->getTerminator())
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	872 {
263 2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	873 llvm::BranchInst::Create(nbb, bodyBB);
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	874 }
263 2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	875 bodyBB = nbb;
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	876
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	877 if (llvmIdx == NULL) {
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	878 LLConstant* c = exp->toConstElem(p);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	879 llvmIdx = isaConstantInt(c);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	880 }
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	881
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	882 if (!p->scopereturned())
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	883 llvm::BranchInst::Create(bodyBB, p->scopebb());
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	884
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	885 p->scope() = IRScope(bodyBB, p->scopeend());
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	886
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	887 assert(statement);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	888 statement->toIR(p);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	889 }
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	890
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	891 //////////////////////////////////////////////////////////////////////////////
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	892 void DefaultStatement::toIR(IRState* p)
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	893 {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	894 Logger::println("DefaultStatement::toIR(): %s", loc.toChars());
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	895 LOG_SCOPE;
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	896
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	897 assert(bodyBB);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	898
263 2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	899 llvm::BasicBlock* nbb = llvm::BasicBlock::Create("default", p->topfunc(), p->scopeend());
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	900
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	901 if (!bodyBB->getTerminator())
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	902 {
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	903 llvm::BranchInst::Create(nbb, bodyBB);
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	904 }
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	905 bodyBB = nbb;
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	906
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	907 if (!p->scopereturned())
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	908 llvm::BranchInst::Create(bodyBB, p->scopebb());
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	909
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	910 p->scope() = IRScope(bodyBB, p->scopeend());
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	911
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	912 assert(statement);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	913 statement->toIR(p);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	914 }
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	915
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	916 //////////////////////////////////////////////////////////////////////////////
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	917
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	918 void UnrolledLoopStatement::toIR(IRState* p)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	919 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	920 Logger::println("UnrolledLoopStatement::toIR(): %s", loc.toChars());
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	921 LOG_SCOPE;
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	922
774 9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	923 // if no statements, there's nothing to do
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	924 if (!statements \|\| !statements->dim)
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	925 return;
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	926
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	927 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	928 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	929
774 9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	930 // DMD doesn't fold stuff like continue/break, and since this isn't really a loop
797 340acf1535d0 Removed KDevelop3 project files, CMake can generate them just fine! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 778 diff changeset	931 // we have to keep track of each statement and jump to the next/end on continue/break
774 9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	932
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	933 llvm::BasicBlock* oldend = gIR->scopeend();
774 9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	934
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	935 // create a block for each statement
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	936 size_t nstmt = statements->dim;
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	937 LLSmallVector<llvm::BasicBlock*, 4> blocks(nstmt, NULL);
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	938
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	939 for (size_t i=0; i<nstmt; i++)
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	940 {
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	941 blocks[i] = llvm::BasicBlock::Create("unrolledstmt", p->topfunc(), oldend);
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	942 }
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	943
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	944 // create end block
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: 201 diff changeset	945 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("unrolledend", p->topfunc(), oldend);
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	946
774 9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	947 // enter first stmt
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	948 if (!p->scopereturned())
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	949 p->ir->CreateBr(blocks[0]);
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	950
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	951 // do statements
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	952 Statement stmts = (Statement)statements->data;
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	953
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	954 for (int i=0; i<nstmt; i++)
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	955 {
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	956 Statement* s = stmts[i];
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	957
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	958 // get blocks
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	959 llvm::BasicBlock* thisbb = blocks[i];
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	960 llvm::BasicBlock* nextbb = (i+1 == nstmt) ? endbb : blocks[i+1];
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	961
774 9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	962 // update scope
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	963 p->scope() = IRScope(thisbb,nextbb);
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	964
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	965 // push loop scope
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	966 // continue goes to next statement, break goes to end
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	967 p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,nextbb,endbb));
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	968
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	969 // do statement
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	970 s->toIR(p);
774 9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	971
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	972 // pop loop scope
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	973 p->loopbbs.pop_back();
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	974
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	975 // next stmt
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	976 if (!p->scopereturned())
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	977 p->ir->CreateBr(nextbb);
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	978 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	979
774 9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	980 // finish scope
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	981 if (!p->scopereturned())
9688da40cd4d Fixed problem with continue/break in unrolled loop statements. tomas@myhost parents: 758 diff changeset	982 p->ir->CreateBr(endbb);
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	983 p->scope() = IRScope(endbb,oldend);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	984 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	985
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	986 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	987
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	988 void ForeachStatement::toIR(IRState* p)
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	989 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	990 Logger::println("ForeachStatement::toIR(): %s", loc.toChars());
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	991 LOG_SCOPE;
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	992
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	993 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	994 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	995
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	996 //assert(arguments->dim == 1);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	997 assert(value != 0);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	998 assert(aggr != 0);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	999 assert(func != 0);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1000
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1001 //Argument* arg = (Argument*)arguments->data[0];
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1002 //Logger::println("Argument is %s", arg->toChars());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1003
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1004 Logger::println("aggr = %s", aggr->toChars());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1005
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1006 // key
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1007 const LLType* keytype = key ? DtoType(key->type) : DtoSize_t();
745 5761d7e6f628 Tried using DtoDeclarationExp for VarDecls in Statements to fix nesting issues Christian Kamm <kamm incasoftware de> parents: 733 diff changeset	1008 LLValue* keyvar;
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	1009 if (key)
747 46d0755451a4 Added DtoRawVarDeclaration routine to handle special variables in some statements. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 745 diff changeset	1010 keyvar = DtoRawVarDeclaration(key);
745 5761d7e6f628 Tried using DtoDeclarationExp for VarDecls in Statements to fix nesting issues Christian Kamm <kamm incasoftware de> parents: 733 diff changeset	1011 else
5761d7e6f628 Tried using DtoDeclarationExp for VarDecls in Statements to fix nesting issues Christian Kamm <kamm incasoftware de> parents: 733 diff changeset	1012 keyvar = DtoAlloca(keytype, "foreachkey");
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1013 LLValue* zerokey = llvm::ConstantInt::get(keytype,0,false);
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1014
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1015 // value
201 8f9191180c7a [svn r217] Updated: the rebuild profiles. lindquist parents: 200 diff changeset	1016 Logger::println("value = %s", value->toPrettyChars());
747 46d0755451a4 Added DtoRawVarDeclaration routine to handle special variables in some statements. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 745 diff changeset	1017 DtoRawVarDeclaration(value);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1018 const LLType* valtype = DtoType(value->type);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1019 LLValue* valvar = NULL;
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1020 if (!value->isRef() && !value->isOut())
745 5761d7e6f628 Tried using DtoDeclarationExp for VarDecls in Statements to fix nesting issues Christian Kamm <kamm incasoftware de> parents: 733 diff changeset	1021 valvar = value->ir.irLocal->value;
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1022
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1023 // what to iterate
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1024 DValue* aggrval = aggr->toElem(p);
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: 479 diff changeset	1025 Type* aggrtype = aggr->type->toBasetype();
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1026
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1027 // get length and pointer
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 305 diff changeset	1028 LLValue* niters = DtoArrayLen(aggrval);
6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 305 diff changeset	1029 LLValue* val = DtoArrayPtr(aggrval);
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1030
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1031 if (niters->getType() != keytype)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1032 {
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1033 size_t sz1 = getTypeBitSize(niters->getType());
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	1034 size_t sz2 = getTypeBitSize(keytype);
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1035 if (sz1 < sz2)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1036 niters = gIR->ir->CreateZExt(niters, keytype, "foreachtrunckey");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1037 else if (sz1 > sz2)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1038 niters = gIR->ir->CreateTrunc(niters, keytype, "foreachtrunckey");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1039 else
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1040 niters = gIR->ir->CreateBitCast(niters, keytype, "foreachtrunckey");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1041 }
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	1042
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1043 LLConstant* delta = 0;
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	1044 if (op == TOKforeach) {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1045 new llvm::StoreInst(zerokey, keyvar, p->scopebb());
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1046 }
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1047 else {
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1048 new llvm::StoreInst(niters, keyvar, p->scopebb());
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1049 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1050
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1051 llvm::BasicBlock* oldend = gIR->scopeend();
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: 201 diff changeset	1052 llvm::BasicBlock* condbb = llvm::BasicBlock::Create("foreachcond", p->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1053 llvm::BasicBlock* bodybb = llvm::BasicBlock::Create("foreachbody", p->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1054 llvm::BasicBlock* nextbb = llvm::BasicBlock::Create("foreachnext", p->topfunc(), oldend);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1055 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("foreachend", p->topfunc(), oldend);
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1056
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: 201 diff changeset	1057 llvm::BranchInst::Create(condbb, p->scopebb());
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1058
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1059 // condition
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1060 p->scope() = IRScope(condbb,bodybb);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1061
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1062 LLValue* done = 0;
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	1063 LLValue* load = DtoLoad(keyvar);
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	1064 if (op == TOKforeach) {
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 364 diff changeset	1065 done = p->ir->CreateICmpULT(load, niters, "tmp");
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	1066 }
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	1067 else if (op == TOKforeach_reverse) {
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 364 diff changeset	1068 done = p->ir->CreateICmpUGT(load, zerokey, "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 364 diff changeset	1069 load = p->ir->CreateSub(load, llvm::ConstantInt::get(keytype, 1, false), "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 364 diff changeset	1070 DtoStore(load, keyvar);
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	1071 }
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: 201 diff changeset	1072 llvm::BranchInst::Create(bodybb, endbb, done, p->scopebb());
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	1073
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	1074 // init body
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1075 p->scope() = IRScope(bodybb,nextbb);
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1076
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	1077 // get value for this iteration
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1078 LLConstant* zero = llvm::ConstantInt::get(keytype,0,false);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1079 LLValue* loadedKey = p->ir->CreateLoad(keyvar,"tmp");
308 6b62e8cdf970 [svn r329] Cleaned up a bunch of array code for handling special slice cases no lindquist parents: 305 diff changeset	1080 value->ir.irLocal->value = DtoGEP1(val,loadedKey);
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	1081
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	1082 if (!value->isRef() && !value->isOut()) {
585 fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 519 diff changeset	1083 DVarValue dst(value->type, valvar);
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 519 diff changeset	1084 DVarValue src(value->type, value->ir.irLocal->value);
fbb1a366cfbc Complex number should now follow the D ABI on x86. They're also treated as first class values now. Big change. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 519 diff changeset	1085 DtoAssign(loc, &dst, &src);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	1086 value->ir.irLocal->value = valvar;
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	1087 }
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1088
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	1089 // emit body
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1090 p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,nextbb,endbb));
519 bc0835cd3440 Don't assert on empty foreach body. Christian Kamm <kamm incasoftware de> parents: 518 diff changeset	1091 if(body)
bc0835cd3440 Don't assert on empty foreach body. Christian Kamm <kamm incasoftware de> parents: 518 diff changeset	1092 body->toIR(p);
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	1093 p->loopbbs.pop_back();
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1094
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1095 if (!p->scopereturned())
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: 201 diff changeset	1096 llvm::BranchInst::Create(nextbb, p->scopebb());
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1097
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1098 // next
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1099 p->scope() = IRScope(nextbb,endbb);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1100 if (op == TOKforeach) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1101 LLValue* load = DtoLoad(keyvar);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1102 load = p->ir->CreateAdd(load, llvm::ConstantInt::get(keytype, 1, false), "tmp");
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1103 DtoStore(load, keyvar);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1104 }
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: 201 diff changeset	1105 llvm::BranchInst::Create(condbb, p->scopebb());
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1106
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1107 // end
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1108 p->scope() = IRScope(endbb,oldend);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1109 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1110
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1111 //////////////////////////////////////////////////////////////////////////////
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1112
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1113 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1114
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1115 void ForeachRangeStatement::toIR(IRState* p)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1116 {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1117 Logger::println("ForeachRangeStatement::toIR(): %s", loc.toChars());
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1118 LOG_SCOPE;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1119
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1120 if (global.params.symdebug)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1121 DtoDwarfStopPoint(loc.linnum);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1122
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1123 // evaluate lwr/upr
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1124 assert(lwr->type->isintegral());
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1125 LLValue* lower = lwr->toElem(p)->getRVal();
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1126 assert(upr->type->isintegral());
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1127 LLValue* upper = upr->toElem(p)->getRVal();
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1128
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1129 // handle key
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1130 assert(key->type->isintegral());
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1131 LLValue* keyval = DtoRawVarDeclaration(key);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1132
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1133 // store initial value in key
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1134 if (op == TOKforeach)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1135 DtoStore(lower, keyval);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1136 else
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1137 DtoStore(upper, keyval);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1138
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1139 // set up the block we'll need
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1140 llvm::BasicBlock* oldend = gIR->scopeend();
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1141 llvm::BasicBlock* condbb = llvm::BasicBlock::Create("foreachrange_cond", p->topfunc(), oldend);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1142 llvm::BasicBlock* bodybb = llvm::BasicBlock::Create("foreachrange_body", p->topfunc(), oldend);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1143 llvm::BasicBlock* nextbb = llvm::BasicBlock::Create("foreachrange_next", p->topfunc(), oldend);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1144 llvm::BasicBlock* endbb = llvm::BasicBlock::Create("foreachrange_end", p->topfunc(), oldend);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1145
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1146 // jump to condition
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1147 llvm::BranchInst::Create(condbb, p->scopebb());
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1148
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1149 // CONDITION
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1150 p->scope() = IRScope(condbb,bodybb);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1151
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1152 // first we test that lwr < upr
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1153 lower = DtoLoad(keyval);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1154 assert(lower->getType() == upper->getType());
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1155 llvm::ICmpInst::Predicate cmpop;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1156 if (key->type->isunsigned())
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1157 {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1158 cmpop = (op == TOKforeach)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1159 ? llvm::ICmpInst::ICMP_ULT
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1160 : llvm::ICmpInst::ICMP_UGT;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1161 }
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1162 else
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1163 {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1164 cmpop = (op == TOKforeach)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1165 ? llvm::ICmpInst::ICMP_SLT
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1166 : llvm::ICmpInst::ICMP_SGT;
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1167 }
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1168 LLValue* cond = p->ir->CreateICmp(cmpop, lower, upper);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1169
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1170 // jump to the body if range is ok, to the end if not
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1171 llvm::BranchInst::Create(bodybb, endbb, cond, p->scopebb());
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1172
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1173 // BODY
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1174 p->scope() = IRScope(bodybb,nextbb);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1175
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1176 // reverse foreach decrements here
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1177 if (op == TOKforeach_reverse)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1178 {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1179 LLValue* v = DtoLoad(keyval);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1180 LLValue* one = LLConstantInt::get(v->getType(), 1, false);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1181 v = p->ir->CreateSub(v, one);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1182 DtoStore(v, keyval);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1183 }
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1184
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1185 // emit body
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1186 p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,nextbb,endbb));
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1187 if (body)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1188 body->toIR(p);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1189 p->loopbbs.pop_back();
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1190
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1191 // jump to next iteration
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1192 if (!p->scopereturned())
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1193 llvm::BranchInst::Create(nextbb, p->scopebb());
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1194
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1195 // NEXT
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1196 p->scope() = IRScope(nextbb,endbb);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1197
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1198 // forward foreach increments here
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1199 if (op == TOKforeach)
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1200 {
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1201 LLValue* v = DtoLoad(keyval);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1202 LLValue* one = LLConstantInt::get(v->getType(), 1, false);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1203 v = p->ir->CreateAdd(v, one);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1204 DtoStore(v, keyval);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1205 }
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1206
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1207 // jump to condition
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1208 llvm::BranchInst::Create(condbb, p->scopebb());
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1209
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1210 // END
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1211 p->scope() = IRScope(endbb,oldend);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1212 }
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1213
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1214 #endif // D2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1215
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1216 //////////////////////////////////////////////////////////////////////////////
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1217
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1218 void LabelStatement::toIR(IRState* p)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1219 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1220 Logger::println("LabelStatement::toIR(): %s", loc.toChars());
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1221 LOG_SCOPE;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1222
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1223 // if it's an inline asm label, we don't create a basicblock, just emit it in the asm
233 76ee1bbe487e [svn r249] Changed inline asm clobbers to a set instead of a list so we don't get duplicate clobbers. lindquist parents: 232 diff changeset	1224 if (p->asmBlock)
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1225 {
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1226 IRAsmStmt* a = new IRAsmStmt;
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	1227 a->code += p->func()->decl->mangle();
2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	1228 a->code += "_";
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1229 a->code += ident->toChars();
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1230 a->code += ":";
233 76ee1bbe487e [svn r249] Changed inline asm clobbers to a set instead of a list so we don't get duplicate clobbers. lindquist parents: 232 diff changeset	1231 p->asmBlock->s.push_back(a);
299 df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 298 diff changeset	1232 p->asmBlock->internalLabels.push_back(ident);
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1233
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1234 // disable inlining
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1235 gIR->func()->setNeverInline();
298 3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1236 }
3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1237 else
3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1238 {
355 d8357f7004ca [svn r376] Fix bug with finally blocks and labels. The labels would get emitted multiple times and conflict. ChristianK parents: 353 diff changeset	1239 std::string labelname = p->func()->getScopedLabelName(ident->toChars());
353 a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 352 diff changeset	1240 llvm::BasicBlock*& labelBB = p->func()->labelToBB[labelname];
a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 352 diff changeset	1241
298 3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1242 llvm::BasicBlock* oldend = gIR->scopeend();
353 a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 352 diff changeset	1243 if (labelBB != NULL) {
980 ae710cba0884 Clean up the code generated when jumping out of inline asm and make label names more expressive. Frits van Bommel <fvbommel wxs.nl> parents: 976 diff changeset	1244 labelBB->moveBefore(oldend);
353 a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 352 diff changeset	1245 } else {
980 ae710cba0884 Clean up the code generated when jumping out of inline asm and make label names more expressive. Frits van Bommel <fvbommel wxs.nl> parents: 976 diff changeset	1246 labelBB = llvm::BasicBlock::Create("label_" + labelname, p->topfunc(), oldend);
353 a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 352 diff changeset	1247 }
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	1248
298 3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1249 if (!p->scopereturned())
980 ae710cba0884 Clean up the code generated when jumping out of inline asm and make label names more expressive. Frits van Bommel <fvbommel wxs.nl> parents: 976 diff changeset	1250 llvm::BranchInst::Create(labelBB, p->scopebb());
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	1251
353 a7a26f538d6e [svn r374] Move label target basic block from AST to IRFunction. This is a first step to allowing labels to be emitted multiple times. (for instance within finally blocks) ChristianK parents: 352 diff changeset	1252 p->scope() = IRScope(labelBB,oldend);
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1253 }
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1254
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	1255 if (statement)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	1256 statement->toIR(p);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1257 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1258
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1259 //////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1260
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1261 void GotoStatement::toIR(IRState* p)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1262 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1263 Logger::println("GotoStatement::toIR(): %s", loc.toChars());
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1264 LOG_SCOPE;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1265
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1266 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1267 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1268
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1269 llvm::BasicBlock* oldend = gIR->scopeend();
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: 201 diff changeset	1270 llvm::BasicBlock* bb = llvm::BasicBlock::Create("aftergoto", p->topfunc(), oldend);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1271
356 44daf304421c [svn r377] The previous check was too strict, it completely disallowed gotos within finally blocks. This reenables them as long as they don't cross a finally boundary. ChristianK parents: 355 diff changeset	1272 DtoGoto(&loc, label->ident, enclosinghandler, tf);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1273
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1274 p->scope() = IRScope(bb,oldend);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1275 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1276
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1277 //////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1278
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1279 void GotoDefaultStatement::toIR(IRState* p)
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1280 {
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1281 Logger::println("GotoDefaultStatement::toIR(): %s", loc.toChars());
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1282 LOG_SCOPE;
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1283
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1284 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1285 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1286
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1287 llvm::BasicBlock* oldend = gIR->scopeend();
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: 201 diff changeset	1288 llvm::BasicBlock* bb = llvm::BasicBlock::Create("aftergotodefault", p->topfunc(), oldend);
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1289
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1290 assert(!p->scopereturned());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1291 assert(sw->sdefault->bodyBB);
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1292
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1293 DtoEnclosingHandlers(enclosinghandler, sw->enclosinghandler);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1294
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: 201 diff changeset	1295 llvm::BranchInst::Create(sw->sdefault->bodyBB, p->scopebb());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1296 p->scope() = IRScope(bb,oldend);
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1297 }
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1298
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1299 //////////////////////////////////////////////////////////////////////////////
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1300
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1301 void GotoCaseStatement::toIR(IRState* p)
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1302 {
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1303 Logger::println("GotoCaseStatement::toIR(): %s", loc.toChars());
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1304 LOG_SCOPE;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1305
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1306 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1307 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1308
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1309 llvm::BasicBlock* oldend = gIR->scopeend();
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: 201 diff changeset	1310 llvm::BasicBlock* bb = llvm::BasicBlock::Create("aftergotocase", p->topfunc(), oldend);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1311
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1312 assert(!p->scopereturned());
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	1313 if (!cs->bodyBB)
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	1314 {
263 2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	1315 cs->bodyBB = llvm::BasicBlock::Create("goto_case", p->topfunc(), p->scopeend());
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	1316 }
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1317
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1318 DtoEnclosingHandlers(enclosinghandler, sw->enclosinghandler);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1319
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: 201 diff changeset	1320 llvm::BranchInst::Create(cs->bodyBB, p->scopebb());
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1321 p->scope() = IRScope(bb,oldend);
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1322 }
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1323
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1324 //////////////////////////////////////////////////////////////////////////////
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1325
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1326 void WithStatement::toIR(IRState* p)
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1327 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1328 Logger::println("WithStatement::toIR(): %s", loc.toChars());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1329 LOG_SCOPE;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1330
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1331 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1332 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1333
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1334 assert(exp);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1335 assert(body);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1336
831 7e59caf41433 Fix with(symbol) statement. Christian Kamm <kamm incasoftware de> parents: 797 diff changeset	1337 // with(..) can either be used with expressions or with symbols
7e59caf41433 Fix with(symbol) statement. Christian Kamm <kamm incasoftware de> parents: 797 diff changeset	1338 // wthis == null indicates the symbol form
7e59caf41433 Fix with(symbol) statement. Christian Kamm <kamm incasoftware de> parents: 797 diff changeset	1339 if (wthis) {
7e59caf41433 Fix with(symbol) statement. Christian Kamm <kamm incasoftware de> parents: 797 diff changeset	1340 DValue* e = exp->toElem(p);
7e59caf41433 Fix with(symbol) statement. Christian Kamm <kamm incasoftware de> parents: 797 diff changeset	1341 LLValue* mem = DtoRawVarDeclaration(wthis);
7e59caf41433 Fix with(symbol) statement. Christian Kamm <kamm incasoftware de> parents: 797 diff changeset	1342 DtoStore(e->getRVal(), mem);
7e59caf41433 Fix with(symbol) statement. Christian Kamm <kamm incasoftware de> parents: 797 diff changeset	1343 }
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1344
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1345 body->toIR(p);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1346 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1347
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1348 //////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1349
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1350 static LLConstant* generate_unique_critical_section()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1351 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1352 const LLType* Mty = DtoMutexType();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1353 return new llvm::GlobalVariable(Mty, false, llvm::GlobalValue::InternalLinkage, LLConstant::getNullValue(Mty), ".uniqueCS", gIR->module);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1354 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1355
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1356 void SynchronizedStatement::toIR(IRState* p)
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1357 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1358 Logger::println("SynchronizedStatement::toIR(): %s", loc.toChars());
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1359 LOG_SCOPE;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1360
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1361 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1362 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1363
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1364 // enter lock
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1365 if (exp)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1366 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1367 llsync = exp->toElem(p)->getRVal();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1368 DtoEnterMonitor(llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1369 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1370 else
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1371 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1372 llsync = generate_unique_critical_section();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1373 DtoEnterCritical(llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1374 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1375
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1376 // emit body
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1377 body->toIR(p);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1378
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1379 // exit lock
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1380 // no point in a unreachable unlock, terminating statements must insert this themselves.
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1381 if (p->scopereturned())
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1382 return;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1383 else if (exp)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1384 DtoLeaveMonitor(llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1385 else
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1386 DtoLeaveCritical(llsync);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1387 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1388
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1389 //////////////////////////////////////////////////////////////////////////////
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1390
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1391 void VolatileStatement::toIR(IRState* p)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1392 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1393 Logger::println("VolatileStatement::toIR(): %s", loc.toChars());
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1394 LOG_SCOPE;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1395
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1396 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1397 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1398
206 cd2c9f4010e4 [svn r222] Forgot to remove volatile ATTENTION. lindquist parents: 205 diff changeset	1399 // mark in-volatile
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1400 // FIXME
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: 201 diff changeset	1401
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1402 // has statement
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1403 if (statement != NULL)
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1404 {
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1405 // load-store
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1406 DtoMemoryBarrier(false, true, false, false);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1407
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1408 // do statement
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1409 statement->toIR(p);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1410
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1411 // no point in a unreachable barrier, terminating statements must insert this themselves.
875 330f999ade44 Merged DMD 1.038 Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 831 diff changeset	1412 if (statement->blockExit() & BEfallthru)
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: 201 diff changeset	1413 {
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1414 // store-load
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1415 DtoMemoryBarrier(false, false, true, false);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1416 }
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1417 }
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1418 // barrier only
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1419 else
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1420 {
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1421 // load-store & store-load
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1422 DtoMemoryBarrier(false, true, true, false);
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1423 }
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1424
9d44ec83acd1 [svn r221] Update: Switched to the 2.3 LLVM svn branch, http://llvm.org/svn/llvm-project/llvm/branches/release_23 . lindquist parents: 201 diff changeset	1425 // restore volatile state
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1426 // FIXME
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1427 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1428
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1429 //////////////////////////////////////////////////////////////////////////////
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1430
331 04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1431 void SwitchErrorStatement::toIR(IRState* p)
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1432 {
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1433 Logger::println("SwitchErrorStatement::toIR(): %s", loc.toChars());
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1434 LOG_SCOPE;
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1435
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1436 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_switch_error");
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1437
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1438 std::vector<LLValue*> args;
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1439
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1440 // file param
715 30b42a283c8e Removed TypeOpaque from DMD. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 704 diff changeset	1441 args.push_back(DtoLoad(gIR->dmodule->ir.irModule->fileName));
331 04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1442
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1443 // line param
683 b411c41a9716 Only allocate the module file name once. Fixes #90. Christian Kamm <kamm incasoftware de> parents: 652 diff changeset	1444 LLConstant* c = DtoConstUint(loc.linnum);
331 04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1445 args.push_back(c);
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1446
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1447 // call
1013 8c73ff5f69e0 Use llvm::CallSite instead of custom CallOrInvoke class. Frits van Bommel <fvbommel wxs.nl> parents: 994 diff changeset	1448 gIR->CreateCallOrInvoke(fn, args.begin(), args.end());
331 04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1449
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1450 gIR->ir->CreateUnreachable();
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1451 }
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1452
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1453 //////////////////////////////////////////////////////////////////////////////
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1454
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	1455 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	1456
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1457 #define STUBST(x) void x::toIR(IRState * p) {error("Statement type "#x" not implemented: %s", toChars());fatal();}
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1458 //STUBST(BreakStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1459 //STUBST(ForStatement);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1460 //STUBST(WithStatement);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1461 //STUBST(SynchronizedStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1462 //STUBST(ReturnStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1463 //STUBST(ContinueStatement);
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	1464 //STUBST(DefaultStatement);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	1465 //STUBST(CaseStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1466 //STUBST(SwitchStatement);
331 04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1467 //STUBST(SwitchErrorStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1468 STUBST(Statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1469 //STUBST(IfStatement);
32 a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1470 //STUBST(ForeachStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1471 //STUBST(DoStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1472 //STUBST(WhileStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1473 //STUBST(ExpStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1474 //STUBST(CompoundStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1475 //STUBST(ScopeStatement);
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1476 //STUBST(AsmStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1477 //STUBST(TryCatchStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1478 //STUBST(TryFinallyStatement);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1479 //STUBST(VolatileStatement);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1480 //STUBST(LabelStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1481 //STUBST(ThrowStatement);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1482 //STUBST(GotoCaseStatement);
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1483 //STUBST(GotoDefaultStatement);
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1484 //STUBST(GotoStatement);
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	1485 //STUBST(UnrolledLoopStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1486 //STUBST(OnScopeStatement);
758 f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1487
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1488 #if DMDV2
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1489 STUBST(PragmaStatement);
f04dde6e882c Added initial D2 support, D2 frontend and changes to codegen to make things compile. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 747 diff changeset	1490 #endif
945 03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1491
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1492 //////////////////////////////////////////////////////////////////////////////
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1493
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1494 //////////////////////////////////////////////////////////////////////////////
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1495
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1496 AsmBlockStatement* Statement::endsWithAsm()
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1497 {
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1498 // does not end with inline asm
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1499 return NULL;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1500 }
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1501
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1502 AsmBlockStatement* CompoundStatement::endsWithAsm()
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1503 {
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1504 // make the last inner statement decide
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1505 if (statements && statements->dim)
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1506 {
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1507 unsigned last = statements->dim - 1;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1508 Statement* s = (Statement*)statements->data[last];
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1509 if (s) return s->endsWithAsm();
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1510 }
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1511 return NULL;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1512 }
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1513
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1514 AsmBlockStatement* AsmBlockStatement::endsWithAsm()
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1515 {
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1516 // yes this is inline asm
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1517 return this;
03d7c4aac654 SWITCHED TO LLVM 2.5 ! Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 920 diff changeset	1518 }

Mercurial > projects > ldc

annotate gen/statements.cpp @ 1051:dc608dc33081