projects/ldc: gen/statements.cpp annotate

annotate gen/statements.cpp @ 652:c8fcde3337b0

Fix TryFinally without body or finalbody.

author	Christian Kamm <kamm incasoftware de>
date	Sun, 05 Oct 2008 22:26:25 +0200
parents	df196c8dea26
children	b411c41a9716

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

Mercurial > projects > ldc

annotate gen/statements.cpp @ 652:c8fcde3337b0