projects/ldc: gen/statements.cpp annotate

annotate gen/statements.cpp @ 602:48f079b4fe0f

Fixed ArrayLiteralExp::toConstElem for dynamic arrays, tango-user library should now be possible to build. It seems to be related to DMD bug 2356, which must have been introduced recently, as we already handled this fine for ArrayInitializers, just not ArrayLiterals... Kinda annoying to have to do this work due to DMD bugs ...

author	Tomas Lindquist Olsen <tomas.l.olsen@gmail.com>
date	Mon, 15 Sep 2008 15:48:59 +0200
parents	fbb1a366cfbc
children	1b62222581fb

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 <sstream>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	6 #include <fstream>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	7 #include <iostream>
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	8
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	9 #include "gen/llvm.h"
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	10 #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	11 #include "llvm/Support/CFG.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	12
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	13 #include "mars.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	14 #include "total.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	15 #include "init.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	16 #include "mtype.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	17 #include "hdrgen.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	18 #include "port.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	19
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	20 #include "gen/irstate.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	21 #include "gen/logger.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	22 #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	23 #include "gen/llvmhelpers.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	24 #include "gen/runtime.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	25 #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	26 #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	27 #include "gen/dvalue.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"
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	30 #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	31
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	32 //////////////////////////////////////////////////////////////////////////////
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	33
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	34 void CompoundStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	35 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	36 Logger::println("CompoundStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	37 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	38
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	39 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	40 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	41 Statement* s = (Statement*)statements->data[i];
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	42 if (s) {
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	43 s->toIR(p);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	44 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	45 }
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
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	48
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
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	51 void ReturnStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	52 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	53 Logger::println("ReturnStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	54 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	55
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	56 if (exp)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	57 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	58 if (p->topfunc()->getReturnType() == LLType::VoidTy) {
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	59 IrFunction* f = p->func();
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	60 assert(f->type->retInPtr);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	61 assert(f->decl->ir.irFunc->retArg);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	62
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	63 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	64
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	65 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	66
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	67 DValue* e = exp->toElem(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	68
486 a34078905d01 Added pragma(llvmdc, "string") for misc per-module compiler configuration, currently "string" can only be "verbose" which forces -vv for module it appears in. Tomas Lindquist Olsen <tomas.l.olsen@gmail.com> parents: 479 diff changeset	69 DtoAssign(loc, rvar, e);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	70
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	71 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	72
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	73 if (global.params.symdebug) DtoDwarfFuncEnd(f->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	74 llvm::ReturnInst::Create(p->scopebb());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	75
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	76 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	77 else {
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	78 if (global.params.symdebug) DtoDwarfStopPoint(loc.linnum);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	79 DValue* e = exp->toElem(p);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	80 LLValue* v = e->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	81 delete e;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	82 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	83
185 89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	84 // can happen for classes
89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	85 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	86 {
89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	87 v = gIR->ir->CreateBitCast(v, p->topfunc()->getReturnType(), "tmp");
89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	88 Logger::cout() << "return value after cast: " << *v << '\n';
89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	89 }
89e21eeaf4c4 [svn r201] Fixed: return statement could fail codegen with type mismatch for classes, added cast. lindquist parents: 181 diff changeset	90
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	91 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	92
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	93 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	94 llvm::ReturnInst::Create(v, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	95 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	96 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	97 else
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	98 {
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	99 assert(p->topfunc()->getReturnType() == LLType::VoidTy);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	100 DtoEnclosingHandlers(enclosinghandler, NULL);
217 0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	101
0806379a5eca [svn r233] Added: -oq command line option for writing fully qualified object names. lindquist parents: 213 diff changeset	102 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	103 llvm::ReturnInst::Create(p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	104 }
267 c43911baea21 [svn r288] Let return statements start a new basic block after terminating the current one. ChristianK parents: 263 diff changeset	105
c43911baea21 [svn r288] Let return statements start a new basic block after terminating the current one. ChristianK parents: 263 diff changeset	106 // 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	107 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	108 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	109 p->scope() = IRScope(bb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	110 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	111
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	112 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	113
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	114 void ExpStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	115 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	116 Logger::println("ExpStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	117 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	118
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	119 if (global.params.symdebug)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	120 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	121
137 ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	122 if (exp) {
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	123 if (global.params.llvmAnnotate)
ce7b81fb957f [svn r141] fixed more problems with classinfo lindquist parents: 136 diff changeset	124 DtoAnnotation(exp->toChars());
518 243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	125 elem* e;
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	126 // 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	127 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	128 CastExp* cexp = (CastExp*)exp;
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	129 e = cexp->e1->toElem(p);
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	130 }
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	131 else
243485af6523 Prevent cast error for cast(void) around expression statements. Christian Kamm <kamm incasoftware de> parents: 517 diff changeset	132 e = exp->toElem(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	133 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	134 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	135 /elem e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	136 p->buf.printf("%s", e->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	137 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	138 p->buf.writenl();*/
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	139 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	140
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	141 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	142
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	143 void IfStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	144 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	145 Logger::println("IfStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	146 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	147
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	148 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	149 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	150
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 156 diff changeset	151 if (match)
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 156 diff changeset	152 {
479 672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	153 LLValue* allocainst = DtoAlloca(DtoType(match->type), "._tmp_if_var");
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	154 match->ir.irLocal = new IrLocal(match);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	155 match->ir.irLocal->value = allocainst;
163 a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 156 diff changeset	156 }
a8cd9bc1021a [svn r179] lots and lots of fixes, much more of tango now compiles/works. lindquist parents: 156 diff changeset	157
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	158 DValue* cond_e = condition->toElem(p);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	159 LLValue* cond_val = cond_e->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	160
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	161 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	162
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	163 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	164 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	165 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	166
244 a95056b3c996 [svn r261] Fixed debug info for integer and floating local variables, can now be inspected in GDB. lindquist parents: 234 diff changeset	167 if (cond_val->getType() != LLType::Int1Ty) {
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	168 Logger::cout() << "if conditional: " << *cond_val << '\n';
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 395 diff changeset	169 cond_val = DtoBoolean(loc, cond_e);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	170 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	171 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	172
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	173 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	174 gIR->scope() = IRScope(ifbb,elsebb);
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 // do scoped statements
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	177 if (ifbody)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	178 ifbody->toIR(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	179 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	180 llvm::BranchInst::Create(endbb,gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	181 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	182
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	183 if (elsebody) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	184 //assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	185 gIR->scope() = IRScope(elsebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	186 elsebody->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	187 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	188 llvm::BranchInst::Create(endbb,gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	189 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	190 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	191
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	192 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	193 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	194 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	195
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	196 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	197
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	198 void ScopeStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	199 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	200 Logger::println("ScopeStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	201 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	202
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	203 /llvm::BasicBlock oldend = p->scopeend();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	204
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	205 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	206
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	207 // 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	208 llvm::BasicBlock* bb = p->scopebb();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	209 if (bb->empty()) {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	210 beginbb = bb;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	211 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	212 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	213 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	214 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	215 llvm::BranchInst::Create(beginbb, bb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	216 }
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	217
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	218 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	219 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	220 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	221 else
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	222 p->scope().end = endbb;*/
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	223
181 ef4108f34db6 [svn r197] Fixed: empty scope statement segfaulted. lindquist parents: 175 diff changeset	224 if (statement)
ef4108f34db6 [svn r197] Fixed: empty scope statement segfaulted. lindquist parents: 175 diff changeset	225 statement->toIR(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	226
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	227 /*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	228 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	229 endbb->eraseFromParent();*/
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	230 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	231
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	232 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	233
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	234 void WhileStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	235 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	236 Logger::println("WhileStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	237 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	238
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	239 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	240 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	241
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	242 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	243 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	244 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	245 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	246 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	247
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	248 // move into the while block
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	249 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	250 //llvm::BranchInst::Create(whilebb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	251
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	252 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	253 gIR->scope() = IRScope(whilebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	254
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	255 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	256 DValue* cond_e = condition->toElem(p);
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 395 diff changeset	257 LLValue* cond_val = DtoBoolean(loc, cond_e);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	258 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	259
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	260 // conditional branch
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	261 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	262
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	263 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	264 gIR->scope() = IRScope(whilebodybb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	265
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	266 // while body code
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	267 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	268 body->toIR(p);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	269 p->loopbbs.pop_back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	270
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	271 // loop
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	272 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	273 llvm::BranchInst::Create(whilebb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	274
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	275 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	276 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	277 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	278
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	279 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	280
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	281 void DoStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	282 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	283 Logger::println("DoStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	284 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	285
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	286 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	287 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	288
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	289 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	290 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	291 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	292 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	293 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	294
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	295 // move into the while block
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	296 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	297 llvm::BranchInst::Create(dowhilebb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	298
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	299 // replace current scope
517 9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	300 gIR->scope() = IRScope(dowhilebb,condbb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	301
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	302 // do-while body code
517 9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	303 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	304 body->toIR(p);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	305 p->loopbbs.pop_back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	306
517 9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	307 // branch to condition block
9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	308 llvm::BranchInst::Create(condbb, gIR->scopebb());
9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	309 gIR->scope() = IRScope(condbb,endbb);
9534dbc70a56 Fix continue inside dowhile statements. Christian Kamm <kamm incasoftware de> parents: 486 diff changeset	310
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	311 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	312 DValue* cond_e = condition->toElem(p);
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 395 diff changeset	313 LLValue* cond_val = DtoBoolean(loc, cond_e);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	314 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	315
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	316 // conditional branch
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	317 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	318
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	319 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	320 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	321 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	322
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	323 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	324
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	325 void ForStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	326 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	327 Logger::println("ForStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	328 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	329
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	330 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	331 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	332
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	333 // create for blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	334 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	335 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	336 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	337 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	338 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	339
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	340 // init
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	341 if (init != 0)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	342 init->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	343
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	344 // 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	345 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	346 llvm::BranchInst::Create(forbb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	347
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	348 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	349
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	350 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	351 gIR->scope() = IRScope(forbb,forbodybb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	352
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	353 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	354 DValue* cond_e = condition->toElem(p);
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 395 diff changeset	355 LLValue* cond_val = DtoBoolean(loc, cond_e);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	356 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	357
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	358 // conditional branch
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	359 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	360 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	361
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	362 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	363 gIR->scope() = IRScope(forbodybb,forincbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	364
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	365 // do for body code
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	366 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	367
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	368 // move into the for increment block
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	369 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	370 llvm::BranchInst::Create(forincbb, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	371 gIR->scope() = IRScope(forincbb, endbb);
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 // increment
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	374 if (increment) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	375 DValue* inc = increment->toElem(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	376 delete inc;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	377 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	378
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	379 // loop
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	380 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	381 llvm::BranchInst::Create(forbb, gIR->scopebb());
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 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	384
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	385 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	386 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	387 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	388
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	389 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	390
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	391 void BreakStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	392 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	393 Logger::println("BreakStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	394 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	395
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	396 // 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	397 // 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	398 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	399 return;
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	400
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	401 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	402 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	403
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	404 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	405 Logger::println("ident = %s", ident->toChars());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	406
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	407 DtoEnclosingHandlers(enclosinghandler, target->enclosinghandler);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	408
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	409 // get the loop statement the label refers to
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	410 Statement* targetLoopStatement = target->statement;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	411 ScopeStatement* tmp;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	412 while(tmp = targetLoopStatement->isScopeStatement())
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	413 targetLoopStatement = tmp->statement;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	414
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	415 // 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	416 bool found = false;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	417 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	418 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	419 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	420 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	421 found = true;
d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	422 break;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	423 }
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	424 }
270 d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	425 assert(found);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	426 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	427 else {
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	428 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	429 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	430 }
270 d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	431
d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	432 // 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	433 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	434 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	435 p->scope() = IRScope(bb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	436 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	437
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	438 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	439
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	440 void ContinueStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	441 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	442 Logger::println("ContinueStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	443 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	444
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	445 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	446 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	447
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	448 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	449 Logger::println("ident = %s", ident->toChars());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	450
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	451 DtoEnclosingHandlers(enclosinghandler, target->enclosinghandler);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	452
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	453 // get the loop statement the label refers to
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	454 Statement* targetLoopStatement = target->statement;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	455 ScopeStatement* tmp;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	456 while(tmp = targetLoopStatement->isScopeStatement())
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	457 targetLoopStatement = tmp->statement;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	458
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	459 // 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	460 bool found = false;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	461 IRState::LoopScopeVec::reverse_iterator it;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	462 for(it = gIR->loopbbs.rbegin(); it != gIR->loopbbs.rend(); ++it) {
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	463 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	464 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	465 found = true;
71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	466 break;
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	467 }
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	468 }
395 71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	469 assert(found);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	470 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	471 else {
311 9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	472 // can't 'continue' within switch, so omit them
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	473 IRState::LoopScopeVec::reverse_iterator it;
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	474 for(it = gIR->loopbbs.rbegin(); it != gIR->loopbbs.rend(); ++it) {
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	475 if(!it->isSwitch) {
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	476 break;
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	477 }
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	478 }
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	479 DtoEnclosingHandlers(enclosinghandler, it->enclosinghandler);
9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	480 llvm::BranchInst::Create(it->begin, gIR->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	481 }
395 71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	482
71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	483 // 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	484 llvm::BasicBlock* oldend = gIR->scopeend();
71a40b62b408 Start a new basic block after a continue statement. Christian Kamm <kamm incasoftware de> parents: 365 diff changeset	485 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	486 p->scope() = IRScope(bb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	487 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	488
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	489 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	490
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	491 void OnScopeStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	492 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	493 Logger::println("OnScopeStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	494 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	495
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	496 assert(statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	497 //statement->toIR(p); // this seems to be redundant
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	498 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	499
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	500 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	501
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	502 void TryFinallyStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	503 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	504 Logger::println("TryFinallyStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	505 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	506
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	507 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	508 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	509
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	510 // create basic blocks
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	511 llvm::BasicBlock* oldend = p->scopeend();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	512
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	513 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	514 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	515 // 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	516 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	517 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	518
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	519 // 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	520 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	521 llvm::BranchInst::Create(trybb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	522
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	523 //
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	524 // set up the landing pad
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	525 //
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	526 p->scope() = IRScope(landingpadbb, endbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	527
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	528 gIR->func()->landingPad.addFinally(finalbody);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	529 gIR->func()->landingPad.push(landingpadbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	530
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	531 //
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	532 // do the try block
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	533 //
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	534 p->scope() = IRScope(trybb,finallybb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	535
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	536 assert(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	537 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	538
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	539 // 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	540 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	541 llvm::BranchInst::Create(finallybb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	542
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	543 gIR->func()->landingPad.pop();
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	544
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	545 //
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	546 // do finally block
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	547 //
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	548 p->scope() = IRScope(finallybb,landingpadbb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	549 assert(finalbody);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	550 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	551
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	552 // terminate finally
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	553 //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	554 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	555 llvm::BranchInst::Create(endbb, p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	556 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	557
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	558 // rewrite the scope
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	559 p->scope() = IRScope(endbb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	560 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	561
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	562 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	563
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	564 void TryCatchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	565 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	566 Logger::println("TryCatchStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	567 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	568
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	569 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	570 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	571
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	572 // create basic blocks
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	573 llvm::BasicBlock* oldend = p->scopeend();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	574
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	575 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	576 // 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	577 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	578 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	579
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	580 // 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	581 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	582 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	583
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	584 //
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	585 // do catches and the landing pad
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	586 //
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	587 assert(catches);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	588 gIR->scope() = IRScope(landingpadbb, endbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	589
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	590 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	591 {
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	592 Catch c = (Catch )catches->data[i];
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	593 gIR->func()->landingPad.addCatch(c, endbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	594 }
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	595
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	596 gIR->func()->landingPad.push(landingpadbb);
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	597
e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	598 //
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	599 // do the try block
314 8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	600 //
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	601 p->scope() = IRScope(trybb,landingpadbb);
8d98e42ece93 [svn r335] The basics of exception handling are in place. ChristianK parents: 311 diff changeset	602
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	603 assert(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	604 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	605
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 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());
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	608
319 e9c93739bc4c [svn r340] Rework exception handling to work with nested tryfinally and trycatch. ChristianK parents: 315 diff changeset	609 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	610
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	611 // rewrite the scope
44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	612 p->scope() = IRScope(endbb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	613 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	614
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	615 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	616
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	617 void ThrowStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	618 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	619 Logger::println("ThrowStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	620 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	621
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	622 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	623 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	624
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	625 assert(exp);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	626 DValue* e = exp->toElem(p);
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	627 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	628 //Logger::cout() << "calling: " << *fn << '\n';
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	629 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	630 //Logger::cout() << "arg: " << *arg << '\n';
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	631 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	632 gIR->ir->CreateUnreachable();
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	633
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	634 // need a block after the throw for now
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	635 llvm::BasicBlock* oldend = gIR->scopeend();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	636 llvm::BasicBlock* bb = llvm::BasicBlock::Create("afterthrow", p->topfunc(), oldend);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	637 p->scope() = IRScope(bb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	638 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	639
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	640 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	641
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	642 // used to build the sorted list of cases
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	643 struct Case : Object
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	644 {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	645 StringExp* str;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	646 size_t index;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	647
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	648 Case(StringExp* s, size_t i) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	649 str = s;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	650 index = i;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	651 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	652
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	653 int compare(Object *obj) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	654 Case* c2 = (Case*)obj;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	655 return str->compare(c2->str);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	656 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	657 };
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	658
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	659 static LLValue* call_string_switch_runtime(llvm::GlobalVariable* table, Expression* e)
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	660 {
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	661 Type* dt = e->type->toBasetype();
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	662 Type* dtnext = dt->next->toBasetype();
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	663 TY ty = dtnext->ty;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	664 const char* fname;
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	665 if (ty == Tchar) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	666 fname = "_d_switch_string";
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	667 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	668 else if (ty == Twchar) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	669 fname = "_d_switch_ustring";
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	670 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	671 else if (ty == Tdchar) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	672 fname = "_d_switch_dstring";
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	673 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	674 else {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	675 assert(0 && "not char/wchar/dchar");
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	676 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	677
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	678 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	679
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	680 Logger::cout() << *table->getType() << '\n';
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	681 Logger::cout() << *fn->getFunctionType()->getParamType(0) << '\n';
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	682 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	683
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	684 DValue* val = e->toElem(gIR);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	685 LLValue* llval;
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	686 if (DSliceValue* sval = val->isSlice())
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	687 {
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	688 // give storage
479 672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	689 llval = DtoAlloca(DtoType(e->type), "tmp");
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	690 DVarValue* vv = new DVarValue(e->type, llval);
399 0e6b4d65d3f8 Give error messages for invalid casts. Christian Kamm <kamm incasoftware de> parents: 395 diff changeset	691 DtoAssign(e->loc, vv, val);
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	692 }
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	693 else
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	694 {
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	695 llval = val->getRVal();
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	696 }
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	697 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	698
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	699 CallOrInvoke* call = gIR->CreateCallOrInvoke2(fn, table, llval, "tmp");
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	700
1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	701 llvm::PAListPtr palist;
1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	702 palist = palist.addAttr(1, llvm::ParamAttr::ByVal);
1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	703 palist = palist.addAttr(2, llvm::ParamAttr::ByVal);
1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	704 call->setParamAttrs(palist);
1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	705
315 a9697749e898 [svn r336] Made sure calls within a landing pad area are invokes. ChristianK parents: 314 diff changeset	706 return call->get();
122 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
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	709 void SwitchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	710 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	711 Logger::println("SwitchStatement::toIR(): %s", loc.toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	712 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	713
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	714 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	715 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	716
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	717 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	718
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	719 // 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	720 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	721 {
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	722 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	723 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	724 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	725 }
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	726
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	727 // string switch?
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	728 llvm::GlobalVariable* 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	729 Array caseArray;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	730 if (!condition->type->isintegral())
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	731 {
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	732 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	733 // build array of the stringexpS
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	734 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	735 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	736 {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	737 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	738
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	739 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	740 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	741 }
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	742 // first sort it
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	743 caseArray.sort();
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	744 // iterate and add indices to cases
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	745 std::vector<LLConstant*> inits(caseArray.dim);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	746 for (size_t i=0; i<caseArray.dim; ++i)
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	747 {
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	748 Case* c = (Case*)caseArray.data[i];
1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	749 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	750 cs->llvmIdx = DtoConstUint(i);
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	751 inits[i] = c->str->toConstElem(p);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	752 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	753 // 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	754 const LLType* elemTy = DtoType(condition->type);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	755 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	756 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	757 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	758
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	759 const LLType* elemPtrTy = getPtrToType(elemTy);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	760 LLConstant* arrPtr = llvm::ConstantExpr::getBitCast(arr, elemPtrTy);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	761
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	762 // build the static table
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	763 std::vector<const LLType*> types;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	764 types.push_back(DtoSize_t());
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	765 types.push_back(elemPtrTy);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	766 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	767 std::vector<LLConstant*> sinits;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	768 sinits.push_back(DtoConstSize_t(inits.size()));
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	769 sinits.push_back(arrPtr);
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	770 LLConstant* sInit = llvm::ConstantStruct::get(sTy, sinits);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	771
270 d9d5d59873d8 [svn r291] Fixed a bunch of the old Phobos tests to work with Tango. lindquist parents: 268 diff changeset	772 switchTable = new llvm::GlobalVariable(sTy, true, llvm::GlobalValue::InternalLinkage, sInit, ".string_switch_table", gIR->module);
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	773 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	774
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	775 // body block
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	776 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	777
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	778 // default
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	779 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	780 if (sdefault) {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	781 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	782 defbb = llvm::BasicBlock::Create("default", p->topfunc(), oldend);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	783 sdefault->bodyBB = defbb;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	784 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	785
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	786 // 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	787 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	788
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	789 // condition var
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	790 LLValue* condVal;
122 36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	791 // integral switch
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	792 if (condition->type->isintegral()) {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	793 DValue* cond = condition->toElem(p);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	794 condVal = cond->getRVal();
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	795 }
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	796 // string switch
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	797 else {
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	798 condVal = call_string_switch_runtime(switchTable, condition);
36ab367572df [svn r126] String switch is now implemented. lindquist parents: 121 diff changeset	799 }
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	800 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	801
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	802 // 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	803 assert(body);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	804
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	805 p->scope() = IRScope(bodybb, endbb);
311 9967a3270837 [svn r332] Fix codegen for continue within switch. ChristianK parents: 309 diff changeset	806 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	807 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	808 p->loopbbs.pop_back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	809
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	810 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	811 llvm::BranchInst::Create(endbb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	812
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	813 // 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	814 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	815 {
262 88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	816 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	817 si->addCase(cs->llvmIdx, cs->bodyBB);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	818 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	819
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	820 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	821 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	822
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	823 //////////////////////////////////////////////////////////////////////////////
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	824 void CaseStatement::toIR(IRState* p)
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	825 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	826 Logger::println("CaseStatement::toIR(): %s", loc.toChars());
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	827 LOG_SCOPE;
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	828
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	829 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	830
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	831 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	832 {
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	833 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	834 }
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	835 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	836
271 1e6e2b5d5bfe [svn r292] Fixed: string switch was broken in several ways. lindquist parents: 270 diff changeset	837 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	838 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	839 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	840 }
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	841
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	842 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	843 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	844
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, p->scopeend());
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	846
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	847 assert(statement);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	848 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	849 }
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	850
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	851 //////////////////////////////////////////////////////////////////////////////
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	852 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	853 {
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	854 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	855 LOG_SCOPE;
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	856
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	857 assert(bodyBB);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	858
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	859 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	860
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	861 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	862 {
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	863 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	864 }
2be09ee06bc7 [svn r284] Fixed some problems with cases, code is not as pretty, but it doesn't crash llvm! lindquist parents: 262 diff changeset	865 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	866
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	867 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	868 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	869
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	870 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	871
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	872 assert(statement);
88252a1af660 [svn r280] Fixed a bunch of issues with switch statements. Ended up a bit far reaching... lindquist parents: 244 diff changeset	873 statement->toIR(p);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	874 }
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	875
288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	876 //////////////////////////////////////////////////////////////////////////////
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	877
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	878 void UnrolledLoopStatement::toIR(IRState* p)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	879 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	880 Logger::println("UnrolledLoopStatement::toIR(): %s", loc.toChars());
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	881 LOG_SCOPE;
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	882
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	883 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	884 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	885
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	886 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	887 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	888
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	889 p->scope() = IRScope(p->scopebb(),endbb);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	890 p->loopbbs.push_back(IRLoopScope(this,enclosinghandler,p->scopebb(),endbb));
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	891
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	892 for (int i=0; i<statements->dim; ++i)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	893 {
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	894 Statement* s = (Statement*)statements->data[i];
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	895 s->toIR(p);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	896 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	897
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	898 p->loopbbs.pop_back();
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	899
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	900 llvm::BranchInst::Create(endbb, p->scopebb());
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	901 p->scope() = IRScope(endbb,oldend);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	902 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	903
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	904 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	905
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	906 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	907 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	908 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	909 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	910
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	911 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	912 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	913
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	914 //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	915 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	916 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	917 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	918
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	919 //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	920 //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	921
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	922 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	923
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	924 // key
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	925 const LLType* keytype = key ? DtoType(key->type) : DtoSize_t();
479 672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	926 LLValue* keyvar = DtoAlloca(keytype, "foreachkey");
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	927 if (key)
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	928 {
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	929 //key->llvmValue = keyvar;
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	930 assert(!key->ir.irLocal);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	931 key->ir.irLocal = new IrLocal(key);
db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	932 key->ir.irLocal->value = 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	933 }
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	934 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	935
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	936 // value
201 8f9191180c7a [svn r217] Updated: the rebuild profiles. lindquist parents: 200 diff changeset	937 Logger::println("value = %s", value->toPrettyChars());
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	938 const LLType* valtype = DtoType(value->type);
7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	939 LLValue* valvar = NULL;
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	940 if (!value->isRef() && !value->isOut())
479 672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	941 valvar = DtoAlloca(valtype, "foreachval");
201 8f9191180c7a [svn r217] Updated: the rebuild profiles. lindquist parents: 200 diff changeset	942 if (!value->ir.irLocal)
8f9191180c7a [svn r217] Updated: the rebuild profiles. lindquist parents: 200 diff changeset	943 value->ir.irLocal = new 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	944
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	945 // what to iterate
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	946 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	947 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	948
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	949 // 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	950 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	951 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	952
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	953 if (niters->getType() != keytype)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	954 {
133 44a95ac7368a [svn r137] Many fixes towards tango.io.Console working, but not quite there yet... lindquist parents: 132 diff changeset	955 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	956 size_t sz2 = getTypeBitSize(keytype);
109 5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	957 if (sz1 < sz2)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	958 niters = gIR->ir->CreateZExt(niters, keytype, "foreachtrunckey");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	959 else if (sz1 > sz2)
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	960 niters = gIR->ir->CreateTrunc(niters, keytype, "foreachtrunckey");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	961 else
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	962 niters = gIR->ir->CreateBitCast(niters, keytype, "foreachtrunckey");
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	963 }
5ab8e92611f9 [svn r113] Added initial support for associative arrays (AAs). lindquist parents: 108 diff changeset	964
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	965 LLConstant* delta = 0;
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	966 if (op == TOKforeach) {
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	967 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	968 }
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	969 else {
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	970 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	971 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	972
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	973 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	974 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	975 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	976 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	977 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	978
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	979 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	980
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	981 // condition
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	982 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	983
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	984 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	985 LLValue* load = DtoLoad(keyvar);
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	986 if (op == TOKforeach) {
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 364 diff changeset	987 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	988 }
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	989 else if (op == TOKforeach_reverse) {
365 bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 364 diff changeset	990 done = p->ir->CreateICmpUGT(load, zerokey, "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 364 diff changeset	991 load = p->ir->CreateSub(load, llvm::ConstantInt::get(keytype, 1, false), "tmp");
bfb9d28f045a [svn r386] Fixed broken DtoBoolean. lindquist parents: 364 diff changeset	992 DtoStore(load, keyvar);
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	993 }
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	994 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	995
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	996 // init body
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	997 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	998
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	999 // get value for this iteration
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1000 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	1001 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	1002 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	1003
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	1004 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	1005 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	1006 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	1007 DtoAssign(loc, &dst, &src);
173 db9890b3fb64 [svn r189] moving IR data back into DMD frontend nodes ChristianK parents: 163 diff changeset	1008 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	1009 }
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	1010
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	1011 // emit body
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1012 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	1013 if(body)
bc0835cd3440 Don't assert on empty foreach body. Christian Kamm <kamm incasoftware de> parents: 518 diff changeset	1014 body->toIR(p);
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	1015 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	1016
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1017 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	1018 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	1019
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1020 // next
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1021 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	1022 if (op == TOKforeach) {
213 7816aafeea3c [svn r229] Updated the object.d implementation to the latest Tango. lindquist parents: 206 diff changeset	1023 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	1024 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	1025 DtoStore(load, keyvar);
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1026 }
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	1027 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	1028
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1029 // 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	1030 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	1031 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1032
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1033 //////////////////////////////////////////////////////////////////////////////
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	1034
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1035 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	1036 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1037 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	1038 LOG_SCOPE;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1039
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1040 // 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	1041 if (p->asmBlock)
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1042 {
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1043 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	1044 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	1045 a->code += "_";
232 092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1046 a->code += ident->toChars();
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1047 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	1048 p->asmBlock->s.push_back(a);
299 df8a7b8d5929 [svn r320] Begun work on branches out of asm blocks. Unfinished. ChristianK parents: 298 diff changeset	1049 p->asmBlock->internalLabels.push_back(ident);
298 3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1050 }
3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1051 else
3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1052 {
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	1053 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	1054 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	1055
298 3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1056 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	1057 if (labelBB != NULL) {
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	1058 labelBB->moveBefore(oldend);
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	1059 } else {
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	1060 labelBB = llvm::BasicBlock::Create("label", p->topfunc(), oldend);
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	1061 }
305 2b72433d5c8c [svn r326] Fixed a bunch of issues with printf's that MinGW32 did not support. lindquist parents: 304 diff changeset	1062
298 3b8ada4c9f8b [svn r319] Call substatement->toIR in LabelStatement::toIR even when the label is inside an asm block. ChristianK parents: 271 diff changeset	1063 if (!p->scopereturned())
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	1064 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	1065
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	1066 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	1067 }
092468448d25 [svn r248] Fixed: labels in inline asm block now work for the normal case. lindquist parents: 219 diff changeset	1068
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	1069 if (statement)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	1070 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	1071 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1072
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1073 //////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1074
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1075 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	1076 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1077 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	1078 LOG_SCOPE;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1079
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1080 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1081 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1082
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1083 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	1084 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	1085
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	1086 DtoGoto(&loc, label->ident, enclosinghandler, tf);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1087
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1088 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	1089 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1090
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1091 //////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	1092
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1093 void GotoDefaultStatement::toIR(IRState* p)
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1094 {
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1095 Logger::println("GotoDefaultStatement::toIR(): %s", loc.toChars());
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1096 LOG_SCOPE;
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1097
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1098 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1099 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1100
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1101 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	1102 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	1103
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1104 assert(!p->scopereturned());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1105 assert(sw->sdefault->bodyBB);
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1106
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1107 DtoEnclosingHandlers(enclosinghandler, sw->enclosinghandler);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1108
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	1109 llvm::BranchInst::Create(sw->sdefault->bodyBB, p->scopebb());
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1110 p->scope() = IRScope(bb,oldend);
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1111 }
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1112
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1113 //////////////////////////////////////////////////////////////////////////////
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1114
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1115 void GotoCaseStatement::toIR(IRState* p)
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1116 {
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1117 Logger::println("GotoCaseStatement::toIR(): %s", loc.toChars());
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1118 LOG_SCOPE;
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1119
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1120 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1121 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1122
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1123 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	1124 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	1125
8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1126 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	1127 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	1128 {
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	1129 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	1130 }
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1131
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1132 DtoEnclosingHandlers(enclosinghandler, sw->enclosinghandler);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1133
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	1134 llvm::BranchInst::Create(cs->bodyBB, p->scopebb());
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1135 p->scope() = IRScope(bb,oldend);
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1136 }
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1137
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1138 //////////////////////////////////////////////////////////////////////////////
a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1139
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1140 void WithStatement::toIR(IRState* p)
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1141 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1142 Logger::println("WithStatement::toIR(): %s", loc.toChars());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1143 LOG_SCOPE;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1144
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1145 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1146 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1147
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1148 assert(exp);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1149 assert(body);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1150
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	1151 DValue* e = exp->toElem(p);
175 c44e6a711885 [svn r191] Fixed: array literals did not support all type/storage combinations. lindquist parents: 173 diff changeset	1152 assert(!wthis->ir.isSet());
c44e6a711885 [svn r191] Fixed: array literals did not support all type/storage combinations. lindquist parents: 173 diff changeset	1153 wthis->ir.irLocal = new IrLocal(wthis);
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	1154 wthis->ir.irLocal->value = DtoAlloca(DtoType(wthis->type), wthis->toChars());
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	1155 DtoStore(e->getRVal(), wthis->ir.irLocal->value);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1156
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1157 body->toIR(p);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1158 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1159
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1160 //////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1161
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1162 static LLConstant* generate_unique_critical_section()
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1163 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1164 const LLType* Mty = DtoMutexType();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1165 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	1166 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1167
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1168 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	1169 {
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1170 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	1171 LOG_SCOPE;
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1172
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1173 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1174 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1175
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1176 // enter lock
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1177 if (exp)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1178 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1179 llsync = exp->toElem(p)->getRVal();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1180 DtoEnterMonitor(llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1181 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1182 else
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1183 {
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1184 llsync = generate_unique_critical_section();
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1185 DtoEnterCritical(llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1186 }
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1187
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1188 // emit body
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1189 body->toIR(p);
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1190
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1191 // exit lock
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1192 // no point in a unreachable unlock, terminating statements must insert this themselves.
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1193 if (p->scopereturned())
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1194 return;
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1195 else if (exp)
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1196 DtoLeaveMonitor(llsync);
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1197 else
d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1198 DtoLeaveCritical(llsync);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1199 }
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1200
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1201 //////////////////////////////////////////////////////////////////////////////
61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1202
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1203 void VolatileStatement::toIR(IRState* p)
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1204 {
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1205 Logger::println("VolatileStatement::toIR(): %s", loc.toChars());
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1206 LOG_SCOPE;
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1207
268 23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1208 if (global.params.symdebug)
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1209 DtoDwarfStopPoint(loc.linnum);
23d0d9855cad [svn r289] Fixed: right shift >> was broken for unsigned types. lindquist parents: 267 diff changeset	1210
206 cd2c9f4010e4 [svn r222] Forgot to remove volatile ATTENTION. lindquist parents: 205 diff changeset	1211 // mark in-volatile
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1212 // 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	1213
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	1214 // 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	1215 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	1216 {
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	1217 // 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	1218 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	1219
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	1220 // 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	1221 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	1222
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1223 // no point in a unreachable barrier, terminating statements must insert this themselves.
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	1224 if (statement->fallOffEnd())
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	1225 {
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	1226 // 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	1227 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	1228 }
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	1229 }
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	1230 // 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	1231 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	1232 {
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	1233 // 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	1234 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	1235 }
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	1236
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	1237 // restore volatile state
309 d59c363fccad [svn r330] Implemented synchronized statements. lindquist parents: 308 diff changeset	1238 // FIXME
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1239 }
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1240
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1241 //////////////////////////////////////////////////////////////////////////////
1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1242
331 04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1243 void SwitchErrorStatement::toIR(IRState* p)
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1244 {
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1245 Logger::println("SwitchErrorStatement::toIR(): %s", loc.toChars());
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1246 LOG_SCOPE;
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1247
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1248 llvm::Function* fn = LLVM_D_GetRuntimeFunction(gIR->module, "_d_switch_error");
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1249
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1250 // param attrs
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1251 llvm::PAListPtr palist;
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1252 int idx = 1;
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1253
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1254 std::vector<LLValue*> args;
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1255 LLConstant* c;
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1256
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1257 // file param
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1258 // FIXME: every use creates a global for the filename !!!
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1259 c = DtoConstString(loc.filename);
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1260 llvm::AllocaInst* alloc = gIR->func()->srcfileArg;
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1261 if (!alloc)
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1262 {
479 672eb4893b55 Move AllocaInst creation into DtoAlloca helper. Will enable special zero-init of fp80 reals' padding. Christian Kamm <kamm incasoftware de> parents: 399 diff changeset	1263 alloc = DtoAlloca(c->getType(), ".srcfile");
331 04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1264 gIR->func()->srcfileArg = alloc;
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1265 }
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1266 LLValue* ptr = DtoGEPi(alloc, 0,0, "tmp");
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1267 DtoStore(c->getOperand(0), ptr);
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1268 ptr = DtoGEPi(alloc, 0,1, "tmp");
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1269 DtoStore(c->getOperand(1), ptr);
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1270
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1271 args.push_back(alloc);
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1272 palist = palist.addAttr(idx++, llvm::ParamAttr::ByVal);
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1273
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1274 // line param
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1275 c = DtoConstUint(loc.linnum);
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1276 args.push_back(c);
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1277
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1278 // call
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1279 CallOrInvoke* call = gIR->CreateCallOrInvoke(fn, args.begin(), args.end());
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1280 call->setParamAttrs(palist);
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1281
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1282 gIR->ir->CreateUnreachable();
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1283 }
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1284
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1285 //////////////////////////////////////////////////////////////////////////////
04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1286
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	1287 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	1288
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1289 #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	1290 //STUBST(BreakStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1291 //STUBST(ForStatement);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	1292 //STUBST(WithStatement);
94 61615fa85940 [svn r98] Added support for std.c.stdlib.alloca via pragma(LLVM_internal, "alloca"). lindquist parents: 86 diff changeset	1293 //STUBST(SynchronizedStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1294 //STUBST(ReturnStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1295 //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	1296 //STUBST(DefaultStatement);
108 288fe1029e1f [svn r112] Fixed 'case 1,2,3:' style case statements. lindquist parents: 100 diff changeset	1297 //STUBST(CaseStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1298 //STUBST(SwitchStatement);
331 04e1b4930975 [svn r352] Implement SwitchErrorStatement. Fixes #52. ChristianK parents: 319 diff changeset	1299 //STUBST(SwitchErrorStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1300 STUBST(Statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1301 //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	1302 //STUBST(ForeachStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1303 //STUBST(DoStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1304 //STUBST(WhileStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1305 //STUBST(ExpStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1306 //STUBST(CompoundStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1307 //STUBST(ScopeStatement);
131 5825d48b27d1 [svn r135] * Merged DMD 1.025 * lindquist parents: 123 diff changeset	1308 //STUBST(AsmStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1309 //STUBST(TryCatchStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1310 //STUBST(TryFinallyStatement);
132 1700239cab2e [svn r136] MAJOR UNSTABLE UPDATE!!! lindquist parents: 131 diff changeset	1311 //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	1312 //STUBST(LabelStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1313 //STUBST(ThrowStatement);
145 8f704cb9969b [svn r150] fixes #16 and #17, implements GotoCaseStatement ChristianK parents: 144 diff changeset	1314 //STUBST(GotoCaseStatement);
144 a27941d00351 [svn r149] fixed: a bunch of D-style variadics problems. lindquist parents: 137 diff changeset	1315 //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	1316 //STUBST(GotoStatement);
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	1317 //STUBST(UnrolledLoopStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	1318 //STUBST(OnScopeStatement);

Mercurial > projects > ldc

annotate gen/statements.cpp @ 602:48f079b4fe0f