projects/ldc: gen/statements.cpp annotate

annotate gen/statements.cpp @ 86:fd32135dca3e trunk

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

author	lindquist
date	Sat, 03 Nov 2007 14:44:58 +0100
parents	gen/statements.c@d8dd47ef3973
children	61615fa85940

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"
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	10 #include "llvm/Transforms/Utils/Cloning.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	11
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	12 #include "total.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	13 #include "init.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	14 #include "symbol.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	15 #include "mtype.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	16 #include "hdrgen.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	17 #include "port.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	18
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	19 #include "gen/irstate.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	20 #include "gen/elem.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"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	23 #include "gen/runtime.h"
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	24 #include "gen/arrays.h"
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	25 #include "gen/todebug.h"
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	26 #include "gen/dvalue.h"
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	27
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	28 //////////////////////////////////////////////////////////////////////////////
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	29
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	30 void CompoundStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	31 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	32 static int csi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	33 Logger::println("CompoundStatement::toIR(%d):\n<<<\n%s>>>", csi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	34 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	35
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	36 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	37 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	38 Statement* s = (Statement*)statements->data[i];
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	39 if (s)
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	40 s->toIR(p);
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	41 else {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	42 Logger::println("*** ATTENTION: null statement found in CompoundStatement");
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	43 //assert(0);
34 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
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	48 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	49
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	50 void ReturnStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	51 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	52 static int rsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	53 Logger::println("ReturnStatement::toIR(%d): %s", rsi++, toChars());
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 {
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	58 Logger::println("return type is: %s", exp->type->toChars());
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	59
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	60 Type* exptype = DtoDType(exp->type);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	61 TY expty = exptype->ty;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	62 if (p->topfunc()->getReturnType() == llvm::Type::VoidTy) {
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	63 assert(DtoIsPassedByRef(exptype));
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	64
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	65 TypeFunction* f = p->topfunctype();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	66 assert(f->llvmRetInPtr && f->llvmRetArg);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	67
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	68 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	69
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	70 DValue* rvar = new DVarValue(f->next, f->llvmRetArg, true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	71
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	72 p->exps.push_back(IRExp(NULL,exp,rvar));
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	73 DValue* e = exp->toElem(p);
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	74 p->exps.pop_back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	75
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	76 if (!e->inPlace())
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	77 DtoAssign(rvar, e);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	78
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	79 IRFunction::FinallyVec& fin = p->func().finallys;
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	80 if (fin.empty()) {
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	81 if (global.params.symdebug) DtoDwarfFuncEnd(p->func().decl);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	82 new llvm::ReturnInst(p->scopebb());
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	83 }
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	84 else {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	85 new llvm::BranchInst(fin.back().retbb, p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	86 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	87 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	88 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	89 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	90 DValue* e = exp->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	91 llvm::Value* v = e->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	92 delete e;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	93 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	94
28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	95 IRFunction::FinallyVec& fin = p->func().finallys;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	96 if (fin.empty()) {
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	97 if (global.params.symdebug) DtoDwarfFuncEnd(p->func().decl);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	98 new llvm::ReturnInst(v, p->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	99 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	100 else {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	101 if (!p->func().finallyretval)
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	102 p->func().finallyretval = new llvm::AllocaInst(v->getType(),"tmpreturn",p->topallocapoint());
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	103 llvm::Value* rettmp = p->func().finallyretval;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	104 new llvm::StoreInst(v,rettmp,p->scopebb());
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	105 new llvm::BranchInst(fin.back().retbb, p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	106 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	107 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	108 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	109 else
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	110 {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	111 if (p->topfunc()->getReturnType() == llvm::Type::VoidTy) {
54 28e99b04a132 [svn r58] Fixed cond expression resulting in a non-basic type. lindquist parents: 51 diff changeset	112 IRFunction::FinallyVec& fin = p->func().finallys;
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	113 if (fin.empty()) {
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	114 if (global.params.symdebug) DtoDwarfFuncEnd(p->func().decl);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	115 new llvm::ReturnInst(p->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	116 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	117 else {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	118 new llvm::BranchInst(fin.back().retbb, p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	119 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	120 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	121 else {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	122 assert(0); // why should this ever happen?
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	123 new llvm::UnreachableInst(p->scopebb());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	124 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	125 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	126 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	127
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	128 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	129
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	130 void ExpStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	131 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	132 static int esi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	133 Logger::println("ExpStatement::toIR(%d): %s", esi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	134 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	135
82 d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	136 if (global.params.symdebug)
d8dd47ef3973 [svn r86] Changed the way arguments are given storage. It is now detected if they will need it during semantic passes. lindquist parents: 81 diff changeset	137 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	138
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	139 if (exp != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	140 elem* e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	141 delete e;
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 /elem e = exp->toElem(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	144 p->buf.printf("%s", e->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	145 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	146 p->buf.writenl();*/
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	147 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	148
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	149 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	150
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	151 void IfStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	152 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	153 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	154 Logger::println("IfStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	155 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	156
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	157 DValue* cond_e = condition->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	158 llvm::Value* cond_val = cond_e->getRVal();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	159 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	160
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	161 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	162
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	163 llvm::BasicBlock* ifbb = new llvm::BasicBlock("if", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	164 llvm::BasicBlock* endbb = new llvm::BasicBlock("endif", gIR->topfunc(), oldend);
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	165 llvm::BasicBlock* elsebb = elsebody ? new llvm::BasicBlock("else", gIR->topfunc(), endbb) : endbb;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	166
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	167 if (cond_val->getType() != llvm::Type::Int1Ty) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	168 Logger::cout() << "if conditional: " << *cond_val << '\n';
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	169 cond_val = DtoBoolean(cond_val);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	170 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	171 llvm::Value* ifgoback = new llvm::BranchInst(ifbb, elsebb, cond_val, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	172
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	173 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	174 gIR->scope() = IRScope(ifbb,elsebb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	175
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	176 // do scoped statements
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	177 ifbody->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	178 if (!gIR->scopereturned()) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	179 new llvm::BranchInst(endbb,gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	180 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	181
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	182 if (elsebody) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	183 //assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	184 gIR->scope() = IRScope(elsebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	185 elsebody->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	186 if (!gIR->scopereturned()) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	187 new llvm::BranchInst(endbb,gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	188 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	189 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	190
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	191 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	192 gIR->scope() = IRScope(endbb,oldend);
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
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	195 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	196
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	197 void ScopeStatement::toIR(IRState* p)
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 Logger::println("ScopeStatement::toIR(): %s", toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	200 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	201
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	202 llvm::BasicBlock* oldend = p->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	203
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	204 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	205
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	206 // remove useless branches by clearing and reusing the current basicblock
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	207 llvm::BasicBlock* bb = p->scopebegin();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	208 if (bb->empty()) {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	209 beginbb = bb;
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	210 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	211 else {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	212 assert(!p->scopereturned());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	213 beginbb = new llvm::BasicBlock("scope", p->topfunc(), oldend);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	214 new llvm::BranchInst(beginbb, p->scopebegin());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	215 }
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	216 llvm::BasicBlock* endbb = new llvm::BasicBlock("endscope", p->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	217
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	218 gIR->scope() = IRScope(beginbb, endbb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	219
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	220 statement->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	221
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	222 p->scope() = IRScope(p->scopebb(),oldend);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	223 endbb->eraseFromParent();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	224 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	225
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	226 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	227
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	228 void WhileStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	229 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	230 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	231 Logger::println("WhileStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	232 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	233
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	234 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	235 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	236 llvm::BasicBlock* whilebb = new llvm::BasicBlock("whilecond", gIR->topfunc(), oldend);
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	237 llvm::BasicBlock* whilebodybb = new llvm::BasicBlock("whilebody", gIR->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	238 llvm::BasicBlock* endbb = new llvm::BasicBlock("endwhile", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	239
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	240 // move into the while block
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	241 p->ir->CreateBr(whilebb);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	242 //new llvm::BranchInst(whilebb, gIR->scopebegin());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	243
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	244 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	245 gIR->scope() = IRScope(whilebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	246
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	247 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	248 DValue* cond_e = condition->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	249 llvm::Value* cond_val = DtoBoolean(cond_e->getRVal());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	250 delete cond_e;
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 // conditional branch
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	253 llvm::Value* ifbreak = new llvm::BranchInst(whilebodybb, endbb, cond_val, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	254
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	255 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	256 gIR->scope() = IRScope(whilebodybb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	257
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	258 // do while body code
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	259 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	260
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	261 // loop
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	262 new llvm::BranchInst(whilebb, gIR->scopebegin());
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 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	265 gIR->scope() = IRScope(endbb,oldend);
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
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	268 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	269
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	270 void DoStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	271 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	272 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	273 Logger::println("DoStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	274 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	275
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	276 // create while blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	277 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	278 llvm::BasicBlock* dowhilebb = new llvm::BasicBlock("dowhile", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	279 llvm::BasicBlock* endbb = new llvm::BasicBlock("enddowhile", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	280
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	281 // move into the while block
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	282 new llvm::BranchInst(dowhilebb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	283
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	284 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	285 gIR->scope() = IRScope(dowhilebb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	286
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	287 // do do-while body code
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	288 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	289
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	290 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	291 DValue* cond_e = condition->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	292 llvm::Value* cond_val = DtoBoolean(cond_e->getRVal());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	293 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	294
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	295 // conditional branch
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	296 llvm::Value* ifbreak = new llvm::BranchInst(dowhilebb, endbb, cond_val, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	297
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	298 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	299 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	300 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	301
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	302 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	303
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	304 void ForStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	305 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	306 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	307 Logger::println("ForStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	308 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	309
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	310 // create for blocks
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	311 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	312 llvm::BasicBlock* forbb = new llvm::BasicBlock("forcond", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	313 llvm::BasicBlock* forbodybb = new llvm::BasicBlock("forbody", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	314 llvm::BasicBlock* forincbb = new llvm::BasicBlock("forinc", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	315 llvm::BasicBlock* endbb = new llvm::BasicBlock("endfor", gIR->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	316
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	317 // init
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	318 if (init != 0)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	319 init->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	320
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	321 // move into the for condition block, ie. start the loop
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	322 new llvm::BranchInst(forbb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	323
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	324 p->loopbbs.push_back(IRScope(forincbb,endbb));
14 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 // replace current scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	327 gIR->scope() = IRScope(forbb,forbodybb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	328
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	329 // create the condition
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	330 DValue* cond_e = condition->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	331 llvm::Value* cond_val = DtoBoolean(cond_e->getRVal());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	332 delete cond_e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	333
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	334 // conditional branch
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	335 llvm::Value* ifbreak = new llvm::BranchInst(forbodybb, endbb, cond_val, forbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	336
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	337 // rewrite scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	338 gIR->scope() = IRScope(forbodybb,forincbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	339
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	340 // do for body code
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	341 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	342
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	343 // move into the for increment block
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	344 new llvm::BranchInst(forincbb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	345 gIR->scope() = IRScope(forincbb, endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	346
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	347 // increment
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	348 if (increment) {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	349 DValue* inc = increment->toElem(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	350 delete inc;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	351 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	352
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	353 // loop
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	354 new llvm::BranchInst(forbb, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	355
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	356 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	357
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	358 // rewrite the scope
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	359 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	360 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	361
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	362 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	363
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	364 void BreakStatement::toIR(IRState* p)
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 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	367 Logger::println("BreakStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	368 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	369
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	370 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	371 Logger::println("ident = %s", ident->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	372 assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	373 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	374 else {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	375 new llvm::BranchInst(gIR->loopbbs.back().end, gIR->scopebegin());
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 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	378
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	379 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	380
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	381 void ContinueStatement::toIR(IRState* p)
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 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	384 Logger::println("ContinueStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	385 LOG_SCOPE;
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 if (ident != 0) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	388 Logger::println("ident = %s", ident->toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	389 assert(0);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	390 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	391 else {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	392 new llvm::BranchInst(gIR->loopbbs.back().begin, gIR->scopebegin());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	393 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	394 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	395
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	396 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	397
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	398 void OnScopeStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	399 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	400 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	401 Logger::println("OnScopeStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	402 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	403
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	404 assert(statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	405 //statement->toIR(p); // this seems to be redundant
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	406 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	407
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	408 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	409
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	410 static void replaceFinallyBBs(std::vector<llvm::BasicBlock>& a, std::vector<llvm::BasicBlock>& b)
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	411 {
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	412 }
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	413
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	414 void TryFinallyStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	415 {
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	416 Logger::println("TryFinallyStatement::toIR(): %s", toChars());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	417 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	418
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	419 // create basic blocks
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	420 llvm::BasicBlock* oldend = p->scopeend();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	421
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	422 llvm::BasicBlock* trybb = new llvm::BasicBlock("try", p->topfunc(), oldend);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	423 llvm::BasicBlock* finallybb = new llvm::BasicBlock("finally", p->topfunc(), oldend);
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	424 llvm::BasicBlock* finallyretbb = new llvm::BasicBlock("finallyreturn", p->topfunc(), oldend);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	425 llvm::BasicBlock* endbb = new llvm::BasicBlock("endtryfinally", p->topfunc(), oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	426
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	427 // 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	428 assert(!gIR->scopereturned());
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	429 new llvm::BranchInst(trybb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	430
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	431 // do the try block
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	432 p->scope() = IRScope(trybb,finallybb);
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	433 gIR->func().finallys.push_back(IRFinally(finallybb,finallyretbb));
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	434 IRFinally& fin = p->func().finallys.back();
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	435
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	436 assert(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	437 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	438
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	439 // 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	440 if (!p->scopereturned())
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	441 new llvm::BranchInst(finallybb, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	442
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	443 // do finally block
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	444 p->scope() = IRScope(finallybb,finallyretbb);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	445 assert(finalbody);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	446 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	447
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	448 // terminate finally
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	449 if (!gIR->scopereturned()) {
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	450 new llvm::BranchInst(endbb, p->scopebb());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	451 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	452
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	453 // do finally block (return path)
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	454 p->scope() = IRScope(finallyretbb,endbb);
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	455 assert(finalbody);
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	456 finalbody->toIR(p); // hope this will work, otherwise it's time it gets fixed
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	457
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	458 // terminate finally (return path)
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	459 size_t nfin = p->func().finallys.size();
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	460 if (nfin > 1) {
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	461 IRFinally& ofin = p->func().finallys[nfin-2];
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	462 p->ir->CreateBr(ofin.retbb);
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	463 }
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	464 // no outer
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	465 else
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	466 {
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	467 if (global.params.symdebug) DtoDwarfFuncEnd(p->func().decl);
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	468 llvm::Value* retval = p->func().finallyretval;
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	469 if (retval) {
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	470 retval = p->ir->CreateLoad(retval,"tmp");
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	471 p->ir->CreateRet(retval);
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	472 }
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	473 else {
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	474 FuncDeclaration* fd = p->func().decl;
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	475 if (fd->isMain()) {
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	476 assert(fd->type->next->ty == Tvoid);
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	477 p->ir->CreateRet(DtoConstInt(0));
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	478 }
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	479 else {
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	480 p->ir->CreateRetVoid();
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	481 }
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	482 }
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	483 }
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	484
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	485 // rewrite the scope
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	486 p->func().finallys.pop_back();
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	487 p->scope() = IRScope(endbb,oldend);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	488 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	489
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	490 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	491
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	492 void TryCatchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	493 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	494 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	495 Logger::println("TryCatchStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	496 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	497
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	498 Logger::println("*** ATTENTION: try-catch is not yet fully implemented, only the try block will be emitted.");
14 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(body);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	501 body->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	502
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	503 /*assert(catches);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	504 for(size_t i=0; i<catches->dim; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	505 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	506 Catch* c = (Catch*)catches->data[i];
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	507 c->handler->toIR(p);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	508 }*/
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	509 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	510
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	511 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	512
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	513 void ThrowStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	514 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	515 static int wsi = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	516 Logger::println("ThrowStatement::toIR(%d): %s", wsi++, toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	517 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	518
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	519 Logger::println("*** ATTENTION: throw is not yet implemented, replacing expression with assert(0);");
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	520
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	521 llvm::Value* line = llvm::ConstantInt::get(llvm::Type::Int32Ty, loc.linnum, false);
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	522 DtoAssert(NULL, line, NULL);
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	523
4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	524 /*
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	525 assert(exp);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	526 DValue* e = exp->toElem(p);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	527 delete e;
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	528 */
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	529 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	530
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	531 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	532
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	533 void SwitchStatement::toIR(IRState* p)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	534 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	535 Logger::println("SwitchStatement::toIR(): %s", toChars());
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	536 LOG_SCOPE;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	537
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	538 llvm::BasicBlock* oldend = gIR->scopeend();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	539
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	540 // collect the needed cases
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	541 typedef std::pair<llvm::BasicBlock, llvm::ConstantInt> CasePair;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	542 std::vector<CasePair> vcases;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	543 for (int i=0; i<cases->dim; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	544 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	545 CaseStatement* cs = (CaseStatement*)cases->data[i];
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	546
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	547 // get the case value
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	548 DValue* e = cs->exp->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	549 DConstValue* ce = e->isConst();
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	550 assert(ce && llvm::isa<llvm::ConstantInt>(ce->c));
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	551 llvm::ConstantInt* ec = llvm::cast<llvm::ConstantInt>(ce->c);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	552 delete e;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	553
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	554 // create the case bb with a nice label
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	555 std::string lblname("case"+std::string(cs->exp->toChars()));
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	556 llvm::BasicBlock* bb = new llvm::BasicBlock(lblname, p->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	557
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	558 vcases.push_back(CasePair(bb,ec));
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	559 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	560
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	561 // default
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	562 llvm::BasicBlock* defbb = 0;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	563 if (!hasNoDefault) {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	564 defbb = new llvm::BasicBlock("default", p->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	565 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	566
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	567 // end (break point)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	568 llvm::BasicBlock* endbb = new llvm::BasicBlock("switchend", p->topfunc(), oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	569
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	570 // condition var
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	571 DValue* cond = condition->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	572 llvm::SwitchInst* si = new llvm::SwitchInst(cond->getRVal(), defbb ? defbb : endbb, cases->dim, p->scopebb());
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	573 delete cond;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	574
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	575 // add the cases
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	576 size_t n = vcases.size();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	577 for (size_t i=0; i<n; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	578 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	579 si->addCase(vcases[i].second, vcases[i].first);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	580 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	581
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	582 // insert case statements
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	583 for (size_t i=0; i<n; ++i)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	584 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	585 llvm::BasicBlock* nextbb = (i == n-1) ? (defbb ? defbb : endbb) : vcases[i+1].first;
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	586 p->scope() = IRScope(vcases[i].first,nextbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	587
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	588 p->loopbbs.push_back(IRScope(p->scopebb(),endbb));
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	589 static_cast<CaseStatement*>(cases->data[i])->statement->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	590 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	591
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	592 llvm::BasicBlock* curbb = p->scopebb();
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	593 if (curbb->empty() \|\| !curbb->back().isTerminator())
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	594 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	595 new llvm::BranchInst(nextbb, curbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	596 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	597 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	598
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	599 // default statement
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	600 if (defbb)
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	601 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	602 p->scope() = IRScope(defbb,endbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	603 p->loopbbs.push_back(IRScope(defbb,endbb));
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	604 Logger::println("doing default statement");
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	605 sdefault->statement->toIR(p);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	606 p->loopbbs.pop_back();
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	607
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	608 llvm::BasicBlock* curbb = p->scopebb();
78 2332006e1fa4 [svn r82] Fixed: Fall-through switch cases were broken. lindquist parents: 73 diff changeset	609 if (curbb->empty() \|\| !curbb->back().isTerminator())
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	610 {
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	611 new llvm::BranchInst(endbb, curbb);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	612 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	613 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	614
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	615 gIR->scope() = IRScope(endbb,oldend);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	616 }
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	617
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	618 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	619
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	620 void UnrolledLoopStatement::toIR(IRState* p)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	621 {
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	622 Logger::println("UnrolledLoopStatement::toIR(): %s", toChars());
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	623 LOG_SCOPE;
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	624
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	625 llvm::BasicBlock* oldend = gIR->scopeend();
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	626 llvm::BasicBlock* endbb = new llvm::BasicBlock("unrolledend", p->topfunc(), oldend);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	627
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	628 p->scope() = IRScope(p->scopebb(),endbb);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	629 p->loopbbs.push_back(IRScope(p->scopebb(),endbb));
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 for (int i=0; i<statements->dim; ++i)
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	632 {
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	633 Statement* s = (Statement*)statements->data[i];
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	634 s->toIR(p);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	635 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	636
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	637 p->loopbbs.pop_back();
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	638
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	639 new llvm::BranchInst(endbb, p->scopebb());
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	640 p->scope() = IRScope(endbb,oldend);
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	641 }
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	642
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	643 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	644
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	645 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	646 {
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	647 Logger::println("ForeachStatement::toIR(): %s", 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	648 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	649
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	650 //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	651 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	652 assert(body != 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	653 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	654 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	655
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	656 //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	657 //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	658
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	659 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	660 Logger::println("func = %s", func->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	661
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	662 DValue* arr = aggr->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	663 llvm::Value* val = 0;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	664 if (!arr->isSlice()) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	665 val = arr->getRVal();
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	666 Logger::cout() << "aggr2llvm = " << *val << '\n';
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	667 }
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	668
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	669 llvm::Value* numiters = 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	670
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	671 const llvm::Type* keytype = key ? DtoType(key->type) : DtoSize_t();
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	672 llvm::Value* keyvar = new llvm::AllocaInst(keytype, "foreachkey", p->topallocapoint());
34 4648206ca213 [svn r38] * resizing dynamic arrays support lindquist parents: 33 diff changeset	673 if (key) key->llvmValue = keyvar;
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	674
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	675 const llvm::Type* valtype = DtoType(value->type);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	676 llvm::Value* valvar = !(value->isRef() \|\| value->isOut()) ? new llvm::AllocaInst(valtype, "foreachval", p->topallocapoint()) : NULL;
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	677
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	678 Type* aggrtype = DtoDType(aggr->type);
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	679 if (aggrtype->ty == Tsarray)
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	680 {
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	681 assert(llvm::isa<llvm::PointerType>(val->getType()));
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	682 assert(llvm::isa<llvm::ArrayType>(val->getType()->getContainedType(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	683 size_t n = llvm::cast<llvm::ArrayType>(val->getType()->getContainedType(0))->getNumElements();
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	684 assert(n > 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	685 numiters = llvm::ConstantInt::get(keytype,n,false);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	686 }
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	687 else if (aggrtype->ty == Tarray)
ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	688 {
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	689 if (DSliceValue* slice = arr->isSlice()) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	690 numiters = slice->len;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	691 val = slice->ptr;
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	692 }
b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	693 else {
81 3587401b6eeb [svn r85] Fixed: if a return statement appeared in the try block of a nested try-finally, only the inner-most finally block would be executed. lindquist parents: 80 diff changeset	694 numiters = p->ir->CreateLoad(DtoGEPi(val,0,0,"tmp",p->scopebb()));
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	695 val = p->ir->CreateLoad(DtoGEPi(val,0,1,"tmp",p->scopebb()));
73 b706170e24a9 [svn r77] Fixed foreach on slice. lindquist parents: 54 diff changeset	696 }
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	697 }
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	698 else
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	699 {
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	700 assert(0 && "aggregate type is not Tarray or Tsarray");
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	701 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	702
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	703 if (op == TOKforeach) {
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	704 new llvm::StoreInst(llvm::ConstantInt::get(keytype,0,false), keyvar, p->scopebb());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	705 }
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	706 else if (op == TOKforeach_reverse) {
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	707 llvm::Value* v = llvm::BinaryOperator::createSub(numiters, llvm::ConstantInt::get(keytype,1,false),"tmp",p->scopebb());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	708 new llvm::StoreInst(v, keyvar, p->scopebb());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	709 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	710
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	711 delete arr;
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	712
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	713 llvm::BasicBlock* oldend = gIR->scopeend();
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	714 llvm::BasicBlock* nexbb = new llvm::BasicBlock("foreachnext", 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	715 llvm::BasicBlock* begbb = new llvm::BasicBlock("foreachbegin", p->topfunc(), 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	716 llvm::BasicBlock* endbb = new llvm::BasicBlock("foreachend", p->topfunc(), 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	717
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	718 new llvm::BranchInst(begbb, p->scopebb());
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	719
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	720 // next
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	721 p->scope() = IRScope(nexbb,begbb);
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	722 llvm::Value* done = 0;
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	723 llvm::Value* load = new llvm::LoadInst(keyvar, "tmp", p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	724 if (op == TOKforeach) {
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	725 load = llvm::BinaryOperator::createAdd(load,llvm::ConstantInt::get(keytype, 1, false),"tmp",p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	726 new llvm::StoreInst(load, keyvar, p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	727 done = new llvm::ICmpInst(llvm::ICmpInst::ICMP_ULT, load, numiters, "tmp", p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	728 }
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	729 else if (op == TOKforeach_reverse) {
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	730 done = new llvm::ICmpInst(llvm::ICmpInst::ICMP_UGT, load, llvm::ConstantInt::get(keytype, 0, false), "tmp", p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	731 load = llvm::BinaryOperator::createSub(load,llvm::ConstantInt::get(keytype, 1, false),"tmp",p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	732 new llvm::StoreInst(load, keyvar, p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	733 }
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	734 new llvm::BranchInst(begbb, endbb, done, p->scopebb());
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	735
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	736 // begin
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	737 p->scope() = IRScope(begbb,nexbb);
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	738
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	739 // get value for this iteration
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	740 llvm::Constant* zero = llvm::ConstantInt::get(keytype,0,false);
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	741 llvm::Value* loadedKey = p->ir->CreateLoad(keyvar,"tmp");
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	742 if (aggrtype->ty == Tsarray)
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	743 value->llvmValue = DtoGEP(val,zero,loadedKey,"tmp");
45 ff359b65fa62 [svn r49] foreach on dynamic arrays lindquist parents: 40 diff changeset	744 else if (aggrtype->ty == Tarray)
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	745 value->llvmValue = new llvm::GetElementPtrInst(val,loadedKey,"tmp",p->scopebb());
61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	746
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	747 if (!value->isRef() && !value->isOut()) {
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	748 DValue* dst = new DVarValue(value->type, valvar, true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	749 DValue* src = new DVarValue(value->type, value->llvmValue, true);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	750 DtoAssign(dst, src);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	751 delete dst;
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	752 delete src;
51 61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	753 value->llvmValue = valvar;
61bc1b4ad3c4 [svn r55] Foreach was always generating code as if the value variable was 'ref' lindquist parents: 45 diff changeset	754 }
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	755
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	756 // body
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	757 p->scope() = IRScope(p->scopebb(),endbb);
bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	758 p->loopbbs.push_back(IRScope(nexbb,endbb));
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	759 body->toIR(p);
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	760 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	761
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	762 if (!p->scopereturned())
33 bc641b23a714 [svn r37] * Initial support for foreach on static arrays. Not 100% complete lindquist parents: 32 diff changeset	763 new llvm::BranchInst(nexbb, 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	764
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	765 // 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	766 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	767 }
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	768
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	769 //////////////////////////////////////////////////////////////////////////////
a86fe7496b58 [svn r36] * Fixed a bug where passing a regular argument to a ref argument did not allocate storage lindquist parents: 15 diff changeset	770
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	771 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	772 {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	773 Logger::println("LabelStatement::toIR(): %s", toChars());
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	774 LOG_SCOPE;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	775
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	776 assert(tf == NULL);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	777 assert(!isReturnLabel);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	778
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	779 llvm::BasicBlock* oldend = gIR->scopeend();
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	780 if (llvmBB)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	781 llvmBB->moveBefore(oldend);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	782 else
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	783 llvmBB = new llvm::BasicBlock("label", p->topfunc(), oldend);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	784
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	785 if (!p->scopereturned())
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	786 new llvm::BranchInst(llvmBB, p->scopebb());
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	787
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	788 p->scope() = IRScope(llvmBB,oldend);
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	789 if (statement)
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	790 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	791 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	792
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	793 //////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	794
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	795 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	796 {
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	797 Logger::println("GotoStatement::toIR(): %s", toChars());
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	798 LOG_SCOPE;
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	799
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	800 assert(tf == NULL);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	801
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	802 llvm::BasicBlock* oldend = gIR->scopeend();
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	803 llvm::BasicBlock* bb = new llvm::BasicBlock("aftergoto", p->topfunc(), oldend);
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	804
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	805 if (label->statement->llvmBB == NULL)
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	806 label->statement->llvmBB = new llvm::BasicBlock("label", p->topfunc());
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	807 assert(!p->scopereturned());
37 77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	808 new llvm::BranchInst(label->statement->llvmBB, p->scopebb());
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	809 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	810 }
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	811
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	812 //////////////////////////////////////////////////////////////////////////////
77cdca8c210f [svn r41] new'd dynamic arrays are now initialized with the element type's default initializer. lindquist parents: 34 diff changeset	813
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	814 void WithStatement::toIR(IRState* p)
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	815 {
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	816 Logger::println("WithStatement::toIR(): %s", toChars());
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	817 LOG_SCOPE;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	818
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	819 assert(exp);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	820 assert(body);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	821
86 fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	822 DValue* e = exp->toElem(p);
fd32135dca3e [svn r90] Major updates to the gen directory. Redesigned the 'elem' struct. Much more... !!! lindquist parents: 82 diff changeset	823 wthis->llvmValue = e->getRVal();
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	824 delete e;
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	825
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	826 body->toIR(p);
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	827 }
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	828
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	829 //////////////////////////////////////////////////////////////////////////////
8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	830
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	831 //////////////////////////////////////////////////////////////////////////////
37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	832
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	833 #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	834 //STUBST(BreakStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	835 //STUBST(ForStatement);
40 8b0e809563df [svn r44] Lots of bug fixes. lindquist parents: 37 diff changeset	836 //STUBST(WithStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	837 STUBST(SynchronizedStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	838 //STUBST(ReturnStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	839 //STUBST(ContinueStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	840 STUBST(DefaultStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	841 STUBST(CaseStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	842 //STUBST(SwitchStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	843 STUBST(SwitchErrorStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	844 STUBST(Statement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	845 //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	846 //STUBST(ForeachStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	847 //STUBST(DoStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	848 //STUBST(WhileStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	849 //STUBST(ExpStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	850 //STUBST(CompoundStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	851 //STUBST(ScopeStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	852 STUBST(AsmStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	853 //STUBST(TryCatchStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	854 //STUBST(TryFinallyStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	855 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	856 //STUBST(LabelStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	857 //STUBST(ThrowStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	858 STUBST(GotoCaseStatement);
0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	859 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	860 //STUBST(GotoStatement);
15 37a4fdab33fc [svn r19] * Added support for reassigning 'this' inside class constructors. lindquist parents: 14 diff changeset	861 //STUBST(UnrolledLoopStatement);
14 0e86428ee567 [svn r18] * Initial support for switch statements - No string switches yet. lindquist parents: diff changeset	862 //STUBST(OnScopeStatement);

Mercurial > projects > ldc

annotate gen/statements.cpp @ 86:fd32135dca3e trunk